< -1?
False
Let y = -2.06 + 2.06. Does 10.7 = y?
False
Suppose -18 = -6*v + 4*v. Suppose -t + 0 - 5 = -3*p, -v = -4*p - t. Which is greater: p or 4?
4
Let n be -8 - 3 - (-240150)/21830. Is 0 >= n?
False
Let r = 304 + -295. Let y = 34439/55 - 3079/5. Is y != r?
True
Let q = -160/7 + 2873/126. Suppose 4*l = -3*o + 20, 5*o + 0*o + 3*l - 15 = 0. Which is greater: o or q?
o
Let r = -1 + 9. Suppose -s + 3*q = r - 2, -5*q = -15. Let z be (-20)/20 - (-9)/3. Which is smaller: z or s?
z
Let m = -25 - -42. Let f = 91/4 - m. Do 5 and f have the same value?
False
Let w = -1/1678 - -78029/3356. Let o = -23 + w. Which is bigger: -1/62 or o?
o
Let z = 537.974 - -1.026. Which is smaller: -1/4 or z?
-1/4
Suppose 3*m = 6*m - 33. Let c(i) = 2*i - 18. Let l be c(m). Suppose -o + h + 1 = 3*h, 0 = -5*o - h + 23. Is l at least o?
False
Let j(s) = -28*s + 12. Let h be j(-2). Which is smaller: h or 70?
h
Let h(t) = -t**2 + 31*t + 32. Let z be h(32). Suppose -10*a - 42 + 172 = z. Suppose 28 = 5*o - 3*o. Is o < a?
False
Suppose -6*t - 160 = -2*t. Is -41 at most t?
True
Suppose -z - 2*h = -2, 4*h = -3*z + 10 + 6. Suppose 18 = -z*c + 9*c. Is -6 not equal to c?
False
Suppose o = -2*o + 12, 2*o = -2*j + 10. Let p be (-6)/39 + 788/52. Suppose -5 = 10*g - p*g. Is j at most g?
True
Let y = -0.87 - -4.97. Is y greater than 1/2?
True
Let u = -86 + 93. Suppose -9 = u*r - 2. Which is bigger: r or -5/9?
-5/9
Suppose -138268 = 3*i + u, 3*i + u - 184369 = 7*i. Let a = 598509/13 + i. Let c = -52 - a. Is 0.2 greater than or equal to c?
True
Let l(c) = -c**3 - 7*c**2 - 11*c + 1. Let r be l(-5). Let p(b) be the first derivative of 7*b**3/3 - b - 4. Let w be p(1). Is r equal to w?
True
Let v be 2*(-2 + 14/4). Suppose b + 3 = m + 5, -4*m - b = -2. Is m bigger than v?
False
Let o be 3600/(-63) + -2 - (-3)/21. Is o != -61?
True
Suppose -44*i + 10 = -34. Which is bigger: i or -1/37?
i
Let g be ((-2)/3)/((-2)/(-15)). Let t be (-65)/13*(-16)/g. Is -16 at most as big as t?
True
Let u(m) = -m + 16. Let x be u(10). Let f be (2 - (-78)/(-36)) + (-131)/x. Which is smaller: -4 or f?
f
Let g = 57 - 26. Let f = g - 7. Is f not equal to -1/4?
True
Let d = 0.042 - 4.342. Let v = 6.7 + -10.6. Let p = v - d. Is p != -0.3?
True
Let d be 5*5/25*3. Suppose -q - 5*r + d = -16, -5*r + 15 = 5*q. Is q smaller than -0.8?
True
Let a = -3200 + 380802/119. Suppose 0 = 8*p - 11*p. Which is greater: a or p?
a
Let k(l) = 9*l**3 - 2*l**2 + 1. Let a(z) = z**3 + 6*z**2 + 8*z + 4. Let u be a(-5). Let w(f) = f + 12. Let t be w(u). Let d be k(t). Which is smaller: -1 or d?
-1
Let r = 394 + -202. Which is smaller: r or 191?
191
Let b = 83 - 497/6. Let j = -1 + 2. Suppose 0 = -5*p + 5*x - j + 21, 4*p = -x - 4. Which is bigger: b or p?
b
Let j be 6/((-13500)/(-1129)) + (-1)/2. Which is greater: 1 or j?
1
Let j be (-26)/(-91) + 250/7. Let r be j*(3 - (-11)/(-3)). Are r and -25 non-equal?
True
Let g = -12 + 18. Suppose -g*o = -2*o. Suppose o = -4*n + 9*n + 30. Which is smaller: n or -8?
-8
Let l be (4/(-3))/((-5)/135). Let s = 18 - l. Is s less than or equal to -18?
True
Let l = -178 + 41. Are l and -137 nonequal?
False
Suppose -3*l + 5*o - 97 = 0, 3*l + 7*o - 8*o + 113 = 0. Suppose 0 = t - 3*v + 40, -t - 5*v = 4*t + 200. Is l <= t?
False
Let a(s) = -7*s**3 + 2*s**2 + 3*s + 7. Let p be a(-2). Do p and -2 have different values?
True
Let j = -15 - -15. Suppose 2*z = -4*o + 24, 3*o - 5*z + 8 = -j. Which is greater: 3 or o?
o
Let d be 3/10*6695/(-618). Let i(q) = -q**3 - 6*q**2 + 2*q + 7. Let b be i(-6). Let l = b + 1. Do l and d have the same value?
False
Let k(v) = -v**2 + 7*v + 1. Suppose -2*c = 2*d - 5*c + 5, -d = -2*c. Let j = 17 + d. Let h be k(j). Is h at least 1?
True
Let m(a) = -a**2 + 17*a - 9. Suppose -r - 32 = -4*s, -4*r + 3 = -13. Let k be m(s). Which is greater: k or 62?
k
Let w = -0.2 - 0.8. Let o = 4.7 + -4.666. Let p = o + 0.366. Which is smaller: w or p?
w
Let r = -62/45 - -3829/2790. Is -1/3 smaller than r?
True
Suppose b + 10 = 11. Let a be 8/(-30) + 4/6. Which is smaller: a or b?
a
Suppose -4*i - 2 + 6 = 0. Let h be ((-2)/5)/(1/5 - 0). Let t be (38/(-133))/(h/((-28)/(-6))). Are i and t nonequal?
True
Let j = 106.4 + -0.4. Which is greater: -1 or j?
j
Let y be (-30)/(-5) - 1/(-1). Suppose 4*m - 2*w = -5*w - 5, -w - 1 = m. Which is smaller: y or m?
m
Let o = -3 - -3.1. Let z(v) = -3*v - 5. Let c be z(-5). Suppose -5*s - 20 = -c. Is s less than or equal to o?
True
Let i be (6 + -8)*59/(-2). Suppose -2*c + 69 = -i. Let q = -574/9 + c. Is q equal to 0?
False
Let f = -0.572 + 0.062. Let l = f + 0.45. Which is greater: -4 or l?
l
Suppose 0 = 5*m - 0*m - 2*g + 5, m - 4*g = -1. Let r be 2/(-4 - m - -4). Is r at least as big as -2?
True
Let y = 472 - 474. Which is bigger: -32/31 or y?
-32/31
Let j(t) be the first derivative of -4*t**3/3 + t**2/2 + t - 8. Let h be j(-1). Let b(s) = -s - 4. Let x be b(h). Do x and -2 have different values?
True
Suppose 5*c + 98 = -3*n, -16 = 4*c - 0*c. Let w = n + 27. Which is smaller: -5 or w?
-5
Suppose -3*h + 4 = t, -3*h + 5*t - 24 = -4. Suppose h = 2*z + z. Suppose -y - 5*m = -z*y + 25, -3*y + 1 = -4*m. Which is smaller: y or 1/3?
y
Let m(p) = 2*p**3 + 3*p**2 - 2*p. Let o(n) = n**3 + 2*n**2 - n. Let b(w) = -2*m(w) + 5*o(w). Let v be b(-4). Let l = -3 + v. Is l smaller than 2/3?
False
Suppose 4*n = 14 + 14. Suppose -4*b = 3*o + 5, -o = -2*b - b - n. Let c = b + 5. Does c = 4?
False
Let z = -80/17 + 2725/561. Which is smaller: z or 1?
z
Let g be (-3)/(-2) - 18/(-4). Let p(s) = s**2 - 10*s + 3. Let v(i) = -i + 1. Let b(n) = g*v(n) - p(n). Let h be b(5). Is h <= -1?
True
Let z = 17 - 8. Suppose 215 = 3*y - y - 5*i, 0 = y + 3*i - 113. Suppose 3*w = -8*w + y. Is w at most z?
False
Let x be (-252 - -27 - -27)/(1/2). Which is greater: x or -397?
x
Let p = 0.56 + -47.56. Let n = p + 47. Is 0.8 smaller than n?
False
Let j = 190.023 - 190. Which is smaller: j or -0.1?
-0.1
Let q(m) = 2*m**3 - 3*m**2 + 5. Let p be q(2). Let a be p/(-3) + 90/24. Which is bigger: a or -1/5?
a
Let d(v) = v**3 + 9*v**2 + 15*v + 6. Suppose 8*k + 49 = k. Let b be d(k). Which is smaller: 2/9 or b?
b
Let j(l) = l**2 - l - 3. Let t be j(-2). Suppose t*s - 11 + 8 = 0. Is 2 less than s?
False
Let f = 18 + -21. Let l be 10 + 0 + (f - -1). Let y be 1/(-2) - l/16. Is 2/7 < y?
False
Let m = -33 - -32. Which is greater: -1/44 or m?
-1/44
Let p be 45/(-5) + 4 + 94. Suppose 5*z = -5*h - 365, -3*h = 2*z + 61 + p. Is z equal to -68?
False
Suppose -s - 137 = 4*u - 7*u, -5*u = -25. Let a = s + 731/6. Which is smaller: a or 3/7?
a
Let s = 2510 - 2611.1. Let w = 96 + s. Which is bigger: -0.1 or w?
-0.1
Let i = -142/17 - -551/68. Which is smaller: i or 1.62?
i
Let j be 0 + 54504/(-7784) - (-5 - 2). Are j and 0 equal?
False
Let c = 1123.9 + -1176. Let b = 52 + c. Which is smaller: -32 or b?
-32
Let q be 5 + -12*(-16)/(-36). Suppose 16 = -4*o, 5*k = -2*o - 31 - 22. Let x be ((-6)/8)/(k/6). Is x equal to q?
False
Let s(n) = -n**2 - 20*n - 92. Let i be s(-13). Let v be 4/84*(-2)/(-14). Which is greater: i or v?
v
Suppose 24 = 4*d + o, 2*o - 24 = -4*d + 5*o. Let i be (1 - d - 1)/(-2). Suppose 0*z - 16 = -3*z - 2*t, -z - 13 = -i*t. Which is smaller: 18/7 or z?
z
Let n be (-15 - -17)*2/(-4). Let m be (78/65)/(62/(-5)). Which is greater: m or n?
m
Let z be -1 - -2 - 28/27. Let u = -34 - -71. Let m = u + -38. Which is smaller: z or m?
m
Let c = -2605 + 2603. Which is greater: c or -84/65?
-84/65
Let k = -159191/802 + 397/2. Is k at most as big as -2/3?
False
Let t(j) = j**3 - 22*j**2 + 21*j + 3. Let g be t(21). Let x(u) = -u**3 - u**2 + 3*u + 3. Let w be x(-2). Which is smaller: w or g?
w
Suppose p + 2*p = 18. Suppose 28 = p*a - 2*a. Suppose 36*s - 248 = 5*s. Is a greater than or equal to s?
False
Let g(o) = o + 5*o + 0*o - 1. Let h be g(-1). Is h != -2?
True
Let l = 5.7 - -5.1. Let x = l - 9. Let z = x - 0.8. Which is bigger: z or -0.1?
z
Let o = -21 + -16. Let y = 37 + o. Let w(a) = -a**3 + 5*a**2 - 3*a - 4. Let t be w(4). Is y <= t?
True
Let u(l) = l**3 + 12*l**2 - l - 6. Let n be u(-12). Suppose 2*j - n*j + 23 = -3*b, -4*j = -4*b - 24. Which is greater: -2/13 or b?
-2/13
Let i be 1 - ((-59224)/5376)/(-11). Which is bigger: i or 1?
1
Let c be (4*20)/(0 + 12/(-54)). Which is smaller: c or -361?
-361
Let t be 1408/18 - 8/36. Let l be 12/t - (-4)