+ 3*u, 4*z = -o*u. Are u and n non-equal?
True
Let j = 3897/11 + -353. Let w = 67/44 - j. Which is bigger: 1 or w?
1
Let k be 30 - 45/(-10)*4/6. Is k greater than or equal to 33?
True
Let f(h) = h - 2. Suppose 3*p - 20 = -y, 4*p - 5 = 3*y - 0. Let m be f(y). Do 1 and m have the same value?
False
Let c = 271/30 + -46/5. Is c greater than 1?
False
Let g be ((-3)/11)/((-6)/(-4)). Let n = -14 - -15. Do g and n have the same value?
False
Let o = 17 + -33. Let g(m) = -50*m**2 - m + 1. Let d be g(1). Let t be -1 - (d/o)/(-5). Do t and 1 have the same value?
False
Let c(n) = n - 25. Let s be c(24). Is 5/32 greater than s?
True
Let g = -33 + 99. Let x(k) = k**2 + 13*k - 20. Let o be x(-15). Let z be o/(-25) + g/(-10). Are -8 and z unequal?
True
Let m = -0.8 + 0.5. Let d = m + 0.1. Let q = 0.1 + d. Which is bigger: q or 1?
1
Let h = -17 + 18. Which is bigger: h or 11/3?
11/3
Let a be -5 - -37 - (0 + -3). Suppose -y = -0*z - 5*z + a, 3*y = 3*z - 21. Which is smaller: z or 8?
z
Suppose -3*l = 5*a + 900, 4*a + 720 = -6*l + 2*l. Let k = -9 + 11. Let x be 32/a + k/5. Which is bigger: 0 or x?
x
Let g be 0/1 - 1/7. Let p be 0*1*(0 - 1). Which is bigger: g or p?
p
Let y = -2 - -1. Let t be 1 + 1 + (1 - 0). Suppose 4 = -m - t*m. Is m < y?
False
Let u = -7.363 + -0.037. Let r = 0.4 + u. Let n = 9 + r. Which is greater: 4 or n?
4
Let s = 62 + -61.9. Is 0 greater than or equal to s?
False
Let v be 4 - (-33)/(-6) - (-6)/(-4). Is -12/5 not equal to v?
True
Suppose b + 91 = 5*g + 556, -4*g - 372 = b. Which is bigger: -94 or g?
g
Let m = 14 + -14. Which is smaller: m or 1/11?
m
Let v be 2/(-3)*(-405)/(-36). Is v greater than -7?
False
Let i = 3 - 4. Which is bigger: i or 2/55?
2/55
Suppose 45 = -v + 45. Let n be 68/42 - (-2)/(-7). Is v bigger than n?
False
Let i be (-14)/7 - (-15)/8. Let o = -0.12 - -3.12. Is o greater than i?
True
Let c = -0.4 - -0.4. Let o = -2 - -2.2. Let f = c - o. Which is bigger: f or -1?
f
Let r be (1*6)/(-3) + 9. Let i(q) = q**3 - 7*q**2 + q - 9. Let s be i(r). Let x be 1 - 1/(1/2). Is x > s?
True
Suppose -c = -5*v - 74, 13 = -v + 5*c + 3. Which is bigger: v or -13?
-13
Let i be 9/(36/32)*-2. Does i = -15?
False
Let u be 0 - ((-65)/(-6))/13. Which is smaller: 0 or u?
u
Let c = -14 - -17. Let q = c + 2. Is q at most 2?
False
Let f = 117 + -116.96. Which is smaller: f or -0.05?
-0.05
Suppose 7*g = 11*g - 8. Which is greater: 3 or g?
3
Let n be (-3)/(0 + 12/9). Which is smaller: -1 or n?
n
Let o be 1/(-4) - 2/56. Let q = -201 + 200. Which is bigger: o or q?
o
Let i be 2/14*(2 - 1). Is 0 < i?
True
Let h = -0.04 + 0.44. Let m = 21 + -20.5. Let o = h - m. Is -1/3 less than or equal to o?
True
Suppose -2*b + 15 = 3*b. Let r be b/(-6)*2*1. Which is greater: r or -2/15?
-2/15
Let p = 0.61 + -0.01. Let x = p - -0.4. Which is greater: x or -1/2?
x
Suppose -13 = -5*m + 17. Suppose 0 = 3*b - m*b. Let p = 3 - 2. Which is smaller: b or p?
b
Let p be -2 + 0 + (-3)/(-12). Let l = 53/44 + p. Which is smaller: -2 or l?
-2
Let n = -3383/537 - 6/179. Which is greater: -6 or n?
-6
Let q(c) be the first derivative of -4*c**3/3 + 3. Let d be q(-2). Let p = 33/2 + d. Is p smaller than 1?
True
Suppose 8*b - 4*z + 52 = 4*b, 4*b = 2*z - 48. Do b and -13 have different values?
True
Let o = 0.1 - 0.1. Let t = o - 1. Is t less than 8?
True
Let p(r) = -9*r + 1. Let g be p(1). Let t be g/(-4)*1/(-1). Let u be 6/4 + 1/t. Which is smaller: 2/9 or u?
2/9
Let r be (-2)/(-6) - (-55)/15. Suppose -p - 3*u + 12 = 0, 3*p - 2*u - 8 = -r*u. Let t = -222/5 + 45. Is p <= t?
True
Let p be (64/33 + -2)/(18/(-702)). Is 3 less than p?
False
Let i = 120.2 - 110. Let x = 10 - i. Is -0.2 not equal to x?
False
Let x = 27 - 14. Is x equal to 1?
False
Let z = -470/3 + 162. Is 5 smaller than z?
True
Suppose -5*j - 21 = -4*w, -j - 2*j + 5*w = 23. Let s = 3.6 - 4. Let r = s + 0.4. Are r and j nonequal?
True
Let v = 0.9 + -2.8. Let y = -1.7 - v. Let x = -1.9 + 2. Is x greater than or equal to y?
False
Let d(s) = 5*s + 12. Let x(u) = 4*u + 11. Let c(g) = 3*d(g) - 4*x(g). Let k be c(-9). Which is greater: k or -5/6?
k
Let z = 29 + -41. Which is smaller: z or -1?
z
Let z = -0.33 - 0.07. Which is greater: -2/7 or z?
-2/7
Let b = -3 + 10. Which is smaller: b or 2?
2
Let m be -6 - 19/(-3) - (-5)/(-6). Which is greater: m or -31?
m
Suppose 3*g - 6*i - 175 = -2*i, 2*g = 5*i + 105. Is g equal to 66?
False
Let y = 0.03 + 1.97. Let m(p) = p**3 - 2*p - 2. Let r be m(2). Is y <= r?
True
Let h be 0 + (-1 - 1) + 4. Suppose h*g + 2*g + 4*b - 16 = 0, 0 = -2*b. Which is greater: g or 1?
g
Suppose -q = 10 - 3. Let y be (-1)/(-3) + 22/6. Let k = q + y. Which is smaller: k or -4?
-4
Let w(q) = 4*q**2 + 2*q + 1. Let x be w(-1). Let j = 0 + x. Suppose -4*t = 4*m - 4, 3*m + 2*t + 3*t + 1 = 0. Is m not equal to j?
False
Let d = -2 - -1.7. Let y = 0.2 - 0.6. Let x = y - d. Which is greater: x or -1/3?
x
Let p be (3/(-24))/1 + (-510)/144. Is p <= -3?
True
Suppose -2*n + 4 = 2*n. Is n at least as big as 0?
True
Let l be 1 + 1 + -2 - 3. Let v be (-30)/27*l/5. Suppose -4*x - 3*n + 4 = 0, -n - 2 = -2*x + n. Is v at most x?
True
Suppose -3*h + 7*h = 3*v + 17, 0 = -2*h + 2*v + 8. Suppose -a = -2*c + 10, 2*c + 3*a + 25 = 7*c. Let q(w) = -w**2 + 5*w + 3. Let p be q(c). Is p > h?
False
Let h = -1663/9 - -185. Let v = -8/9 + h. Which is smaller: v or -2?
-2
Let a = 6 - 13. Is a equal to -7?
True
Let u be 776/(-10) - -1*3. Let s = 75 + u. Which is greater: 0 or s?
s
Let u be (-1 + 1)/((-4)/(-2)). Which is bigger: u or 8/15?
8/15
Let g(r) = -r**2 - 12*r - 7. Let t be g(-11). Suppose t*f + 18 = 6. Do f and -3 have the same value?
True
Suppose 3*r - 13 = b, 4*b - b + 5*r = 17. Let n = 1.017 - 0.017. Is n at least b?
True
Let d = 19 - 16. Is d smaller than -1/7?
False
Let f = -1 + -3. Let c = f + 2. Which is bigger: -1 or c?
-1
Let f = -2/1301 + -1195/68953. Which is smaller: 1 or f?
f
Let w = 141861 - 679415. Let q = 9133813/17 + w. Let m = 271 + q. Which is bigger: 0 or m?
m
Let y = -5 - -7. Let k = y + -3. Let m = 36 - 37. Does k = m?
True
Let y be 4/(0 + -1 - -2). Suppose y*u = 8*u + 16. Is -2 >= u?
True
Let q = -6 - -10. Suppose -15 = q*f - 9*f. Suppose -k + 6 = 3. Is f at most as big as k?
True
Let v = 0 - 1. Let z be (2/24)/(6/(-27)). Is v greater than or equal to z?
False
Let v be (-20)/110 + (-42)/11. Is v smaller than -5/2?
True
Let o be 2/(-4) + 3/(-12). Let g = 12 + -13. Which is smaller: g or o?
g
Let d be 9 - (1 + (-8)/2). Let j = d - 7. Are j and 6 unequal?
True
Let k be 6/(-27)*(-7)/(-7). Which is smaller: -16 or k?
-16
Suppose -5*x = 1 + 4. Let j be (9/(-4))/((-2)/8). Let q be ((-6)/j)/((-35)/(-15)). Which is greater: x or q?
q
Suppose -5*d = 3*h + 14, -2*d - 5*h + 8 = 25. Let v be (98/21)/14 - (-23)/(-33). Is v greater than d?
True
Let p = 34 - 84. Is p less than 0?
True
Let x(v) = -v + 17. Let m be x(6). Let g = m - 9. Let n = 1 - 0. Is n at most g?
True
Suppose 21 = 5*m - 14. Let y = -20/3 + m. Is 1 < y?
False
Let c = 110.2 + -110. Is c > -36?
True
Let m(k) = -2*k + 2. Let t be m(1). Which is greater: -1 or t?
t
Suppose 0 = -4*x - 2*f + 8 - 2, -8 = -5*x - 2*f. Let b be (-1)/(2/(-4))*x. Let u be (1 - 16/4) + 6. Which is smaller: u or b?
u
Suppose -8 = 4*d - 0. Suppose -3*o + 35 = 14. Suppose -g = 5*a + 11, 5*a = g - 2 - o. Which is smaller: g or d?
d
Let o be 1/(-1) + 0 - 1. Let i(q) = -q**2 + 8*q - 3. Let f be 16/(0 + (3 - 1)). Let u be i(f). Is o < u?
False
Let z = 15112/4905 + -704/109. Let j = z + 34/9. Let p = 3 - 2. Which is smaller: p or j?
j
Suppose 0*k - 6 = -3*c + k, 5*c + 3*k - 24 = 0. Suppose -5*u = 5*y - c*y + 25, 0 = y + u + 5. Which is greater: y or 1?
1
Let s = 17 + -16.6. Which is smaller: -0.1 or s?
-0.1
Suppose -a = -4*f - 5, -4*a + 3*f = -4 - 3. Let y = 0 - a. Let q = 29/52 - 4/13. Is q at most as big as y?
False
Let w = -6 + 8. Let f be ((-2)/4)/(w/4). Suppose 0 = 2*g - g - 4*z + 17, -3*z = -3*g - 15. Is g less than f?
False
Suppose 5 = -4*q + 4*y + 1, q - 3*y = -3. Which is bigger: -3/4 or q?
q
Let n be 1*-1 - (1 + -4). Let x = -46 - -95/2. Is x at most n?
True
Let u(c) = -c**3 + c + 2. Let f be u(0). Which is bigger: f or 1?
f
Suppose 2*l + 4 = -2*l. Let c = l + -2. Which is greater: c or 0.1?
0.1
Suppose 0 = 3*h - 2*b - 5, 0 = 6*b - 3*b + 12. Is h at least 1/5?
False
Let c = -11.7 + -2.3. Which is