n + 14. Which is greater: u or 1?
1
Let x be 2 - (156/4 + 0). Suppose 53*k - 518 = 67*k. Are x and k nonequal?
False
Let n(u) = 2*u + 34. Let b be n(-18). Let d be (0 + -2)*24/16. Which is smaller: d or b?
d
Let i(b) = -b**2 - 8*b - 10. Let d be i(-10). Let z = d + 51. Which is smaller: 22 or z?
z
Let x = -109/3 + 215/6. Let w be (-4)/(-2)*(-1)/(-2). Is w at most x?
False
Suppose 0 = -3*w - 3*h - 1383, -3*w + 2*h - 924 = 454. Which is smaller: -458 or w?
w
Let v(z) = z + 1. Let l be v(0). Let i = 0.0749 + 7.9251. Which is smaller: l or i?
l
Let z(v) = -3*v - 52. Let b be z(-23). Let t = 17 - b. Is t equal to 0?
True
Let s be (-60)/(-1 + 6) - (0 + -1). Let g(h) = h - 2. Let y be g(-9). Do y and s have the same value?
True
Let w = -217 - -1970/9. Which is smaller: w or 2?
w
Suppose 4*t = 2*k + 2 - 10, -7 = 3*t - 2*k. Do t and 2/1369 have the same value?
False
Let j(h) = -h**2 - 5*h + 42. Let l be j(-9). Which is smaller: 1 or l?
1
Let n(v) = v**3 + 4*v**2 - 11*v + 7. Let g be n(-6). Let f be ((-16)/(-6)*10/40)/g. Is f bigger than 0?
True
Let q be 5506/16 - 4/32. Are q and 344 equal?
True
Suppose m = 4*w - 5*w + 20, -2*m = w - 39. Let u = m + -17. Does 27/10 = u?
False
Let g = -1413.8 + 1415. Which is smaller: g or 66?
g
Let x = 4 - 4.1. Let o be 6/(-21)*4/(-24). Let z = o + -12/7. Is x bigger than z?
True
Let w(h) = 3*h. Let r be w(-6). Let l be (-51)/r - (-3)/18. Suppose 0*q - 3*o = 2*q + 19, 3*q + l*o + 21 = 0. Which is greater: q or -3?
q
Suppose 5*p = f + f + 28, -p + 8 = -f. Let n be 2*p/((-176)/4). Is n at least -0.2?
True
Let n = -6383.217 - -6387. Let l = n + 0.017. Which is smaller: 1 or l?
1
Suppose -1 = -2*j - 5. Let q = -382 + 379. Which is smaller: j or q?
q
Let u be (2 - (-447)/(-12))*16/(-6). Is u bigger than 93?
True
Let k = -2 - -9. Let c = -10 - -9. Let f(w) = -w**3 - 2*w**2 - w. Let l be f(c). Is k < l?
False
Let k = 62 - 56. Suppose -4 + 10 = k*l. Is -5/13 < l?
True
Let x = 278 + -479. Is x > -202?
True
Let r be 2*428/(-8) + -8. Which is smaller: r or -112?
r
Let t = 92 + -14. Suppose -2*b - 3*z = -0*z + 73, 2*z = -2*b - t. Let n be b/84 - (-1)/3. Which is smaller: 1 or n?
n
Let u = 23 + -13.8. Which is smaller: u or 1?
1
Suppose 0 = -5*r - f + 4, 3*f + 5 = -5*r + 17. Let u be (-5)/2 + (-4)/8. Let g be 150/(-280) + u/(-12). Is g less than or equal to r?
True
Let x = 5.9 - 6.02. Let d = -26.8 + 27. Is x <= d?
True
Let h = 93 - 50. Let l = 44 - h. Is l at most 2/159?
False
Let i be 0 - (0 - 12/100). Let p = -166/1175 + i. Does p = 0?
False
Let w be ((-7707)/(-56))/(42/(-56)). Which is greater: -183 or w?
-183
Let a = 44 - 43.29. Let s = a - 0.7. Let u = s - 0.21. Which is bigger: u or 3?
3
Let q be (107 + -108)*(1 - 236). Is q at most 235?
True
Let m = 349 + -348. Suppose 0 = 4*t + 2*x - 20, 4*x = 3*t + 3*x - 20. Let k(o) = -o + 4. Let u be k(t). Which is greater: u or m?
m
Let y = -56 - -60. Suppose 4*h + y = 3*h. Is h at least as big as -4?
True
Let o be 3*(-1)/((-20)/(-2)). Let c = 9 - 5. Suppose -2*j - 16 = -6*j, -5*l - c*j = -16. Which is bigger: o or l?
l
Let j = -260 + 252. Are j and 0 equal?
False
Let x(i) = i**2 + 5. Let y be x(4). Suppose -69 = y*c - 18*c. Which is smaller: c or -24?
-24
Let x(u) = 32*u**2 + u + 1. Let h be x(-1). Suppose h = 3*g - 7. Let d = g - 40/3. Is -10 at most as big as d?
True
Suppose 0 = -4*v + 5*f + 66, 2*v + 3*f - 6 = 38. Is 22 less than v?
False
Let u(c) be the third derivative of c**4/8 - 11*c**3/6 - 54*c**2. Let s be u(3). Which is greater: 0.1 or s?
0.1
Let r be (-2514)/(-4)*(-14)/21. Let c = 182 + r. Let d = 1893/8 + c. Which is greater: 1 or d?
1
Let m = -1965338/369641 + 420/79. Let b = m - -140384/32753. Which is bigger: 2/7 or b?
b
Let l = -23.4 + 23. Let f = -3.1 - 11.5. Let a = f + l. Is 0.1 at most as big as a?
False
Let w be ((-14)/60)/((-175)/100). Is 4/3 greater than or equal to w?
True
Suppose 4*c - 5736 = -z, 8 = -5*z + 28. Does 1433 = c?
True
Suppose -3*v = 6 + 3, -4*v - 14 = g. Let m = 3 + g. Let s = -20 - -16. Is m smaller than s?
False
Let t(j) = j**2 - 7*j - 6. Let d be t(8). Let i = 863/6 - 143. Which is smaller: d or i?
i
Suppose 123*w - 364 = 121*w. Which is smaller: w or 181?
181
Let o = 3 - 36. Let x = 32.9 + o. Is 0.2 less than or equal to x?
False
Let x be ((-2)/(-12))/(1291/(-6)). Which is smaller: x or 0?
x
Suppose 11*v - 12*v + 5 = 0. Let m(j) be the first derivative of -j**2 + 12*j + 1. Let w be m(v). Is 4/7 >= w?
False
Suppose -5*q - 687 = 3*i - 35, 0 = 2*q + 4*i + 258. Which is greater: -263/2 or q?
q
Let q be (-205)/30 + (-2 - -9). Is 1 less than or equal to q?
False
Suppose -80 + 15 = -5*y. Let s = 0 + 2. Suppose 0 = -z + s - y. Does -11 = z?
True
Let r be (-20)/(-14) - 9*8/168. Let x = 1493/56 - 184/7. Which is bigger: x or r?
r
Let j be (-2)/(-8) + 18/(-8). Suppose -z = 4*n + 10, 4*z - 4*n - 22 = 18. Suppose o = z*o - 5, -3*k + 2*o = 2. Is j at most k?
True
Let i be 3 - 3/((-12)/8). Suppose -17 = -i*b + 18. Suppose 2*s + 7 = -b. Which is smaller: -8 or s?
-8
Suppose 5*o + 0*o - 10 = 0. Let w be (-2)/(1 - 1 - o). Suppose 0 = -d + 2*d + w. Which is smaller: d or -2/5?
d
Let n = 0.159 + -4.159. Which is greater: n or 0.13?
0.13
Suppose 8 = 4*r - q - q, 0 = 3*r - 4*q - 1. Is -40 <= r?
True
Let m = 3.1 - 3.4. Let u = -0.1 + 0.15. Is u greater than m?
True
Let b = 59 - 9. Suppose -15*t - b = -20*t. Which is greater: 8 or t?
t
Let n = 2 + -62. Suppose 177 = -3*u - 2*t, 122*t = 126*t - 12. Is u bigger than n?
False
Let c = -1.1 - -1. Let r = 9 - 11. Is c != r?
True
Let u = -1 - -1. Let t = -0.1 - -0.9. Let d = 0.7 - t. Is d smaller than u?
True
Let w be 14/(-333)*192/640. Which is bigger: w or -1?
w
Let a = -2/72233 + -396543/51595. Let j = a - -58/7. Do j and 17 have different values?
True
Suppose -4*l = -16, -7*k - 110 = -12*k + 5*l. Which is bigger: 8 or k?
k
Let l = 128 + -148. Let i = -20 - l. Which is smaller: i or -18?
-18
Suppose -3*w - w = -20. Let r(x) = -2*x**3 - x**2 - 9*x + 6. Let j be r(3). Let k be j/(-22) + 4 + 84/(-22). Which is smaller: k or w?
k
Suppose -2*f + 6 = 0, 20 = -3*w + 4*f - 46. Let r(c) = -c**3 - 3*c**2 - 2*c + 1. Let n be r(-3). Let o be (-6)/w - n/6. Do -2 and o have the same value?
False
Let b(j) = j**2 + j + 2. Let x be b(2). Let i = x + 3. Is i >= 14?
False
Let h(f) = 4*f**2 - 2. Let g(b) = 2*b**2 - 1. Let c(t) = -7*g(t) + 4*h(t). Suppose -5*z = -z - 4. Let i be c(z). Is i at least as big as 1?
True
Let n = -24 - -15. Suppose 0 = 37*x - 22*x + 90. Let d be ((-8)/x)/(1/n). Is -12 < d?
False
Suppose 5*u + 5*z = -260, 0 = 2*u + 4*z + 18 + 88. Which is greater: u or -50?
-50
Suppose -75*z - 174 = -17*z. Which is smaller: 8 or z?
z
Let t = 16406 + -278752/17. Which is smaller: t or 8?
8
Let c(m) = m**3 + m + 14. Let b be c(0). Let n(v) = v**2 - 14*v - 7. Let w be n(b). Let h = -9 - -3. Which is greater: w or h?
h
Let o = 1056.9 - 1057. Let h = 36 - 17. Suppose -b - h = 4*l + 2*b, -l = b + 6. Which is smaller: l or o?
l
Let c(z) = z - 25. Let d be c(27). Is 23/11 equal to d?
False
Let q(g) = g**3 - 31*g**2 - 104*g + 70. Let c be q(34). Which is smaller: -15 or c?
-15
Suppose 0 = -3*y - 0*m - 2*m + 427, -4*y = m - 576. Is y < 146?
True
Suppose 2*q = 9 + 5. Let w = q + -8. Is w at least as big as -2/65?
False
Suppose 24 = 6*d - 0*d. Suppose 2*s + 2 = 2*c, 8*s + 4*c - d = 7*s. Which is smaller: s or -3/34?
-3/34
Suppose -4*t + 16 = -u, -3*u + 8*u + 99 = t. Let h = u + 5. Let f = 15 + h. Do f and -2 have the same value?
False
Let i = -0.3037 - 1.7963. Which is smaller: i or -4?
-4
Let h = 0.6 + 3.4. Let j = -1 + h. Let x = -156 - -156.1. Which is smaller: j or x?
x
Let a be (-1 - 1) + (0 - 80/22). Which is smaller: a or -5?
a
Suppose 0 = 5*o + 3*o + 384. Is -47 less than o?
False
Suppose 669 + 679 = -4*j. Which is bigger: -335 or j?
-335
Let g = 0.14 + -1.14. Let h = -25 - -25.07. Let b = -1.57 + h. Is b at least as big as g?
False
Let s = -59 + 59. Suppose -3*u + 8 - 14 = s. Which is greater: -7/4 or u?
-7/4
Suppose 70 - 10 = 4*u. Suppose f - 4*a + 9 = 0, 0 = -6*f + 11*f - 5*a + u. Let z = 3790/17 + -223. Which is smaller: f or z?
f
Suppose 0 = -5*w + 3*k - k + 6, 2*w = -2*k + 8. Let s = -32 - -45. Let o be s/(-2) + w/(-4). Are -7 and o nonequal?
False
Let z = 28 - 24. Suppose -z*n = -0*n - 20. Are 4 and n unequal?
True
Let m be 