 g < u?
False
Let l = 125.9 - 10.9. Let s = 115.1 - l. Let v = 1.8 + -0.5. Which is smaller: s or v?
s
Let z = 508.62 - 509. Which is smaller: z or -0.03?
z
Let r(a) = a**3 + 7*a**2 + 8*a - 16. Let s be r(-4). Which is smaller: 18/25 or s?
s
Let k(v) be the second derivative of v**3/6 + v**2 + v. Let r be k(-9). Let x(j) = -2*j**2 + 12*j + 7. Let n be x(7). Is n < r?
False
Suppose -1 + 13 = -3*x. Let t = -46 - -63. Let q = t + -23. Is q >= x?
False
Let q = 48.1 - 48. Let a = -2 + -1. Let d = a + 2.9. Which is smaller: q or d?
d
Let h(v) = -5*v**2 - 2*v - 50. Let r be h(8). Is r smaller than -385?
True
Suppose 0 = 8*x + 1910 + 2362. Let q be (-2)/(-14)*44854/(-12). Let h = x - q. Which is bigger: -1 or h?
h
Let h = 576/13 - 46. Do h and -1 have the same value?
False
Suppose -3*t + 3 = -2*f + 22, -2*t - 8 = f. Suppose -4*s + 4*m = 4, 0 = f*s + 2*m - 7*m + 8. Which is smaller: -3 or s?
-3
Suppose 14*s + 97 - 111 = 0. Which is smaller: s or 3/208?
3/208
Let m be ((-126)/45 + 2)*39/4. Is -8 greater than or equal to m?
False
Suppose 3*s - 26 = -35, 5*z + 5*s = 10. Which is smaller: z or 1?
1
Let t(u) be the first derivative of u**4/2 - 2*u**3/3 - u + 12. Let w be t(2). Is 9 equal to w?
False
Let y(r) = -2*r + 46. Let d be y(24). Is d greater than 3?
False
Let h = -2.25 - -2.251. Does 3 = h?
False
Let l be ((-21)/14)/(3/(-4)). Suppose l*q - o + 2*o - 17 = 0, o + 19 = 4*q. Let b be -5*-2*(-1)/(-2). Which is bigger: q or b?
q
Let z = -242 + 249. Is -0.04 >= z?
False
Suppose -46*w + 170 = -41*w. Let c be w/(-8) + (-2)/(-16)*-6. Which is smaller: -19/3 or c?
-19/3
Let v be (-36)/(-270) - 86/(-30). Which is smaller: v or 25/13?
25/13
Let g be 1*-1 + (-11)/154*-62. Is 4 bigger than g?
True
Suppose -172 = 4*l - 4*z, 6*l = 2*l + 5*z - 173. Let v be 6/14 - (-4)/l. Which is smaller: v or 7/2?
v
Let y = 85 - 72. Suppose -2*z - 3 = -y. Is z at most 3?
False
Suppose 16 = -n + 9*n. Suppose -n*a - 219 = 17. Is a not equal to -117?
True
Let h(c) = -c**2 + 7*c. Let y be (-3)/9 + 26/6. Let g be h(y). Let t = -12 + g. Is 3/16 smaller than t?
False
Let s = -1521.1 + 1462. Let z = s + 59. Do -24 and z have the same value?
False
Let y be (-8)/6*(-450)/4. Which is smaller: -2/9 or y?
-2/9
Let x(u) = -u. Let p be x(-8). Let z(f) = f**2 - 6*f - 11. Let y be z(p). Let q be ((-4)/y)/((-4)/(-70)). Is -15 greater than q?
False
Let t be (-26)/(-10) + (-34)/(-85). Suppose 2*f + t*c = 4, f + 0*f = 2*c + 16. Which is bigger: f or 6?
f
Let y be (3641/(-605) - 4/22)*-5. Let c = 29 - y. Is -20/7 at least c?
False
Let k = 157/390 + 2/65. Are k and 1 equal?
False
Let a = 0.8 - -0.2. Let x = 0.166 + -0.178. Let u = -13.988 + x. Is u greater than a?
False
Let l(o) = -o**3 + 8*o**2 - 4. Let m be l(8). Let x be -12 - 2/4*m. Let f be 2/x*0 - 1. Are f and -2 equal?
False
Let q = -24 - -26. Let v(r) = -2*r**2 + 19*r - 12. Let y be v(9). Let i be (y - -5 - q)/(-2). Does i = -8/9?
False
Let g = 37.27 + -35.5. Let r = g - -0.03. Let u = r + 0.2. Are u and -2/5 non-equal?
True
Let j(m) = m**2 - m. Let i(c) = 4*c**2 - 6*c + 2. Let n(t) = i(t) - 3*j(t). Let z be n(2). Suppose -4*l + u - 2 + 13 = z, -u - 9 = -3*l. Is 8/3 >= l?
True
Let x = -6.26 + 6.37. Is x greater than 1/5?
False
Let j be (-20)/((-8)/2) + -3. Let g be (-15)/12 + j/8. Let r(w) = -w**2 - 3*w - 4. Let o be r(-3). Which is smaller: g or o?
o
Suppose a = 5*a + 8. Let t be (-1 - 1)*(-2)/(-8)*-2. Let c = a + t. Which is greater: c or -2/29?
-2/29
Let d = 10 + -9.8. Let l = d - 0.4. Let b = l - -0.2. Is b less than 3?
True
Let g be -2 + 15 + -7 + 2*1. Let l(c) = -4*c**2 + 34*c - 5. Let f be l(g). Let j = 0.8 - -0.2. Is j less than or equal to f?
True
Suppose 2*o - 3*g = g - 14, -4*o = g + 73. Let d = o + 9. Suppose 4*m + 19 = 5*l, -4*m + 2*l - 22 = -0*l. Which is greater: d or m?
m
Suppose 3*x = -0*x. Suppose -2*k + 0*k = 6, x = -5*b - k - 53. Which is smaller: b or -11?
-11
Let x be (72 - -2)/(11/110). Let u = 6668/9 - x. Which is bigger: u or 2?
2
Let g(h) = h**2 - 9*h - 37. Let x be g(12). Are x and 1/123 non-equal?
True
Let u = -0.13 - 0.03. Let v = u - -1.86. Let r = 2.1 - v. Is 0.2 at most r?
True
Let z = 16.3 + -17. Let m = -21 - 15. Let w be 4 - (-3)/m*51. Which is smaller: z or w?
z
Let r be 120/32 + 9/(-12) + -4. Which is smaller: 1/1114 or r?
r
Let d = 1168 - 1157. Let t be 1/4*-2*-24. Which is greater: t or d?
t
Let z = 3 - 21. Suppose 0 = -4*b - 2*h - 68, 5*b - 4*b - 5*h = -39. Which is smaller: z or b?
b
Let i = -21.891 + -0.109. Which is smaller: -2 or i?
i
Let t = 1068 - 943. Is 129 != t?
True
Let j = -0.05 - 21.95. Let t = j - -23.4. Which is smaller: t or 2?
t
Suppose 420 = 9*g - 14*g. Which is greater: g or -82?
-82
Let x = -573/190190 - -1/910. Is x at most 1?
True
Let p(i) = -7*i**2 + i + 1. Let b be p(-1). Let w = -3 - b. Suppose -w*h - 12 = -4*l, 42 = 6*l - 2*l + 2*h. Is 7 greater than l?
False
Let y be (-61)/(-127)*(-44)/55. Let l = 2/127 - y. Let f be (-2)/(-5) - 28/20. Is f less than or equal to l?
True
Let v(m) = 46*m**3 + m**2 + 2*m - 2. Let i be v(1). Suppose u = -i + 25. Which is smaller: -21 or u?
u
Suppose 13*a - 16*a + 441 = 0. Let i be 2/(-8)*12/a. Is 0 bigger than i?
True
Let l be (-2)/7 - 18/(-14). Let i be 3 - l - (-20)/(-12). Are i and -0.02 non-equal?
True
Let c = 72 + -67.3. Let b = c - 3.7. Does b = 1/14?
False
Suppose -4*n + u = 6 + 23, 5*u = 5. Let b(x) be the first derivative of x**3/3 + 4*x**2 + 9*x - 9. Let a be b(n). Which is bigger: a or 6/5?
a
Let i = -0.6 + 1.2. Let p = -0.18 - i. Let r = 0.22 - p. Are -1 and r non-equal?
True
Let l be (-973)/(-3) + (-15)/5. Is 322 bigger than l?
True
Suppose -4*r = -4*z + 8, 7*r - 2*r = -z + 20. Suppose z*t = 2*d - 1 - 2, -d - t + 12 = 0. Which is bigger: 8 or d?
d
Suppose 0 = -u - 2*b - 3*b + 6, 4*u + 3*b - 92 = 0. Let c be -2 - (-82)/u - 40/260. Which is smaller: 7/6 or c?
c
Let i = 1089 - 1089. Which is smaller: -6/361 or i?
-6/361
Let z be 12/12*3/(-3). Let k be -2*(-3 - (-51)/13). Which is bigger: z or k?
z
Let f(n) = -n**2 + 16*n + 16. Let q be f(17). Let b = -93 + 280/3. Does b = q?
False
Suppose 57 = -2*h + 3*h. Let s = h + -45. Which is greater: s or 13?
13
Let w be 2/(-3) - (-8)/(-12). Suppose -13 = -2*o + 5. Let x = o - 9. Are w and x equal?
False
Let t = -9/122 - -4027/427. Let n = t - 19/2. Is n less than -4?
False
Let h = 141.2 - 145. Is h at most as big as 15?
True
Let n = 10044747/25432 - 129/2312. Let p = n - 394. Which is smaller: 2 or p?
p
Let k = 165060272/105 - 1572038. Let n be 24/15*-1*89/4. Let h = n - k. Which is greater: -1 or h?
h
Let q be 244/126 - (-26)/(-117). Suppose 0 = 5*t + 437 - 442. Which is smaller: q or t?
t
Let u be (-2)/(6/(-15)) + -3. Suppose 0 = 5*y - 0*n - 4*n - u, n = -y + 4. Is 5/7 at least y?
False
Suppose -69*p = -72*p + 18. Let n = 42 - 39. Is n at most as big as p?
True
Suppose -7 = 3*w - 49. Let r be 2519/(-77) - 4/w. Is -33 at most as big as r?
True
Let v be -3 + (84 - 5) + -3. Let n = 63 - v. Which is smaller: n or -7?
n
Let z(a) = -14*a - 349. Let q be z(-25). Which is smaller: 11/170 or q?
11/170
Let a = 1002719/870 - 5766/5. Let p = 178945/29 + -6169. Let i = a - p. Which is smaller: i or -1?
i
Let r(g) = -3*g + 18. Let c be r(9). Let o be 1*-2 - (-8 - c). Which is smaller: o or -2/5?
o
Let q(w) = w**2 + 9*w + 8. Let m be q(-8). Suppose m = 2*v + 3*v. Let i be (-6)/(-24) - (v - 0). Which is bigger: i or -2/13?
i
Suppose 6*a = 9*a. Which is bigger: -28/23 or a?
a
Suppose c = 3*c. Let f be ((2/1542)/(-1))/(3/18). Do c and f have different values?
True
Let p(r) = -r**3 - 4*r**2 - 6*r - 5. Let x be p(-3). Suppose -m - 4*m = -x*q - 29, -m + 6 = -q. Let z be (1 - (2 + 0))*3. Which is greater: q or z?
q
Suppose -3*w - 51 = -3*p - p, 6 = 2*w. Suppose -18 = 3*m - p. Is -3/10 less than m?
False
Let j = 384795/575939 - -14/6329. Let o = 5/13 - j. Is o greater than or equal to 4?
False
Let y be (2/(-1) + 1)*(-6)/(-6). Is -7/4 not equal to y?
True
Suppose -2*a + 0*a = -8. Suppose -28 = -6*n + a*n. Which is greater: n or 15?
15
Let z = -4341.94413 - 0.05587. Let h = 4360.91 + z. Let g = 19 - h. Is -1 at least g?
False
Let g = 102 + -102. Suppose g = -4*j + 3*j - 4. Is j <= -26/7?
True
Let u(v) = 2*v**3 - 13*v**2 + 2*v + 28. Let d be u(6). Which is smaller: d or 5?
d
Let o be 2/(-8) + (-146)/(-8). Let c be o/(-3)