Do 45 and n have different values?
False
Let t be 34*3/(-27) - (-2)/(-2). Which is bigger: t or -6?
t
Let w(i) = 17*i + 36. Let r be w(0). Is 35 < r?
True
Let b(c) = -2*c**2 + 3*c. Let n be b(4). Let f(o) = -o**3 - 21*o**2 - 20*o - 2. Let l be f(n). Let h be 1/2*(-28 + l). Which is greater: -14 or h?
-14
Let z be (-466)/22 - 2/(-11). Which is smaller: z or -19?
z
Let c = -0.033 - 3.067. Let d = -3.5 - c. Which is smaller: 3 or d?
d
Let h(b) = -b**3 - 23*b**2 + 9*b + 25. Let l be h(-23). Which is smaller: -183 or l?
-183
Let m = 39 + -38.81. Let j = 0.09 - m. Which is smaller: 2/3 or j?
j
Let g = 41449 + -456471/11. Is -48 smaller than g?
False
Let v = -1.5 - -7.5. Let g = -5 + v. Let h = g + -1.1. Are h and 2 unequal?
True
Let r be (14098/1540)/(-19)*-5. Which is bigger: 2 or r?
r
Let t be 1/((-1)/(-3)) - 1. Let i = 153327/13 - 11787. Let v = 475/52 - i. Is v less than t?
True
Suppose 16*b - 14*b = 0. Suppose t + 34 = -5*k, b = -t - t + k - 24. Is t >= -14?
True
Let n(j) = -6*j**2 + j + 2. Let c be n(-2). Let a = 24 + c. Which is bigger: a or -1/2?
a
Let u = 254 + -332. Is -80 not equal to u?
True
Suppose 4*y - 13 = j, -5*y = -0*y + j - 5. Suppose 0 = s + 5*c + 25, -4*s + y*c = -2*s - 10. Is s > 3/13?
False
Let p(b) = b**3 - 2*b**2 - 4*b + 4. Let m be p(3). Let h = 0.029 + -11.029. Is m bigger than h?
True
Let z = -412/1295 + 6/185. Which is greater: 2/41 or z?
2/41
Suppose 4 = 4*q - p - 2, 0 = -5*q + 2*p + 9. Let g be (q - (-24)/9)/(6/(-18)). Suppose 3*y + 2*x = -30, 40 = -3*y - y - 3*x. Is g < y?
True
Let v = -17 - -17. Let d = -38 - -1. Which is smaller: d or v?
d
Let o = -954 - -968. Let r = 14 + 1. Are r and o nonequal?
True
Let m be (((-144)/(-28))/6)/((-44)/(-28)). Does m = 2?
False
Let f = 211 - 210.883. Let r = f + 1.883. Is -18 at least r?
False
Let l(s) = s**3. Let i be l(-2). Let c(x) = -x - 9. Let v be c(i). Let h = 2 + -3. Is h >= v?
True
Let q be (16/48)/(1/(-3)). Let c be 5/(-10 + 5) - (-17)/q. Is -18 > c?
False
Let q(x) = -x**2 - 12*x - 10. Suppose -3*l = l + 48. Let n be q(l). Let k be 12/(-9) + n/15. Are -2 and k non-equal?
False
Suppose 0 = 2*n - 11*n + 783. Suppose 82*r = n*r + 155. Which is smaller: r or -30?
r
Let q = 170 + -1039/6. Which is bigger: -1 or q?
-1
Let z = -17/112 + 5/56. Is z less than -1/5?
False
Let p(o) = -o**3 + 3*o**2 + 11*o - 8. Let l be p(5). Let c = -40 + 76. Let y be 96/c*6/(-4). Is l greater than or equal to y?
True
Suppose 0*r + 7 = 4*r - c, 17 = 2*r - 5*c. Is r greater than 1/348?
True
Let b(t) be the second derivative of t**3/6 - 7*t**2 - 14*t. Let y be b(5). Which is smaller: -10 or y?
-10
Suppose 31*b - 14 = 33*b + 2*x, 4*b - 2*x + 40 = 0. Which is bigger: -0.25 or b?
-0.25
Let i = -5.38 + 2.68. Is 0.07 bigger than i?
True
Let z = 137/5 + -1258/45. Let i = 2752 + -2752. Which is bigger: z or i?
i
Let n be 30/(-20)*(-4)/6. Let u = -18 + 0. Let p be (2/52)/(3/u). Is n >= p?
True
Suppose -268*o = -263*o - 5. Do -421 and o have the same value?
False
Let d(j) = j**3 + 21*j**2 - 3*j - 59. Let t be d(-21). Is t != 46/13?
True
Let i = 17.48 - -11.76. Let w = 29 - i. Which is bigger: 0 or w?
0
Let o = -8 + 23. Suppose 8*n - 3*n + o = -5*a, 4*n + 21 = -a. Let t be 57/(-72) + n/(-9). Which is greater: 0.3 or t?
0.3
Let i(g) be the first derivative of g**3/3 - 5*g**2/2 + 5*g + 5. Let j be i(3). Let f be (0 + 1 - -1) + j. Which is smaller: f or -1?
-1
Suppose -23*g + 63 = -75. Is g at least 58/9?
False
Let c(v) = -v**3 - 3*v**2 + 5*v + 3. Let z(d) = d + 1. Let x(u) = c(u) - 6*z(u). Let o be x(-3). Which is greater: 5/8 or o?
5/8
Let v(s) = s**2 + 5*s + 2. Let t be v(-5). Suppose 2*k = 5*p - 1419, p = -4*p - k + 1428. Let u be p/189 - 10/45. Which is greater: t or u?
t
Let z = -310 - -311. Which is smaller: -115 or z?
-115
Let h = 874 - 862. Is -7 <= h?
True
Let d be 3 + 2 - -2 - 1*3. Suppose -5*u + d = -3*r + 4*r, 4*u = 16. Which is smaller: -15 or r?
r
Let g = -4 + 3. Let d(l) = -7*l + 42. Let w be d(10). Let k be (48/(-21) - 8/w) + 0. Which is bigger: k or g?
g
Suppose 5*r - 39 = 6. Let k be (2 + (-95)/40)/(r/4). Let w(i) = i**2 - 5*i + 3. Let y be w(4). Which is smaller: y or k?
y
Suppose 0*s + 9 = 5*s + a, 0 = -4*s + a. Let r be (-4 - -3)*s + 4. Suppose -2*i - r*i = -30. Which is smaller: i or 8?
i
Let u = 63.013 + -63. Let q = -1.987 - u. Let o = 0.57 - 0.6. Which is smaller: q or o?
q
Suppose 49*n - 60*n = -4543. Is n < 413?
False
Let g = -6 - -4. Let i = g + 7. Which is smaller: 2 or i?
2
Suppose 0 = 14*i + 406 + 252. Which is smaller: -142/3 or i?
-142/3
Suppose -10*v + 12011 - 4781 = 0. Which is greater: v or 722?
v
Let k = 12 - 36. Let l = -23.8696 + -0.0304. Let z = l - k. Which is greater: 2/3 or z?
2/3
Let x = 299/5 - 61. Suppose 5*y = 2*a - 7, -5*y + y - 3*a - 1 = 0. Is x at least y?
False
Let m be (56304/208)/(-1 + 2). Let h = -272 + m. Which is bigger: 0 or h?
0
Suppose 0 = 5*n + 4 - 14, -5*w = 4*n - 3. Which is bigger: 1/906 or w?
1/906
Suppose 2*b - 10 = -3*m + b, -16 = -4*m - 2*b. Suppose -2*v + 6*v + 8 = 0, -m*o + v = -12. Is 5 at most o?
True
Let y = -31 - -36. Let q be 1*(11 - (y - 1)). Which is smaller: 9 or q?
q
Let m = 31999/546 + -1055/18. Which is greater: -1 or m?
m
Let y(u) = -u**3 - 6*u**2 + 2*u - 8. Let d be y(-7). Suppose 3*x = -0*x - d. Let g(o) = -2*o - 24. Let r be g(x). Which is smaller: r or -5?
r
Suppose 2*u + 5*f = -55, 3*u + 48 = 4*f + 23. Suppose -z - 6 = 10. Is u greater than or equal to z?
True
Let c = 84167/11 - 7662. Which is smaller: c or -11?
-11
Suppose -14 = 4*w - 3*q - 7, -5 = -5*q. Which is greater: w or 12/31?
12/31
Let x = -16 + 18. Suppose 0 = 5*f - u, 0 = -f - 7*u + x*u + 26. Let d be (f - (0 + 0)) + -19. Are d and -17 unequal?
True
Let j = -13 + 12. Let l be 192/15 + j/(-5). Suppose -c + 2*w - 7 = 0, -4*c = -c - 2*w + l. Which is bigger: c or -4?
c
Let c = -32/25 - 147/100. Let p = -3 + 4. Are c and p unequal?
True
Let k = -26 + 25.9. Let i = -12 + 2. Let f be (-4)/10 - (-156)/i. Which is greater: k or f?
k
Let n = -99 + 99. Suppose n = g + 3*z + 19, -4*g - 5*z - 76 = -z. Are -16 and g equal?
False
Let h(t) = -t**3 + 4*t**2 + 4*t + 7. Let z be h(5). Let g(o) = -o**2 + 3*o - 6. Let u be g(z). Which is smaller: u or -13/3?
-13/3
Suppose 0 = 4*t + 1 - 5. Let k = 90 - 90.047. Let a = 0.023 - k. Which is bigger: t or a?
t
Let w = -130.6 + 139.49. Let c = w + 0.11. Let k = c - 8. Which is greater: k or 11?
11
Let c(v) = -v + 4. Let y be c(0). Let g be (3/(-1170))/((-1)/y). Which is smaller: -1 or g?
-1
Let b = -1.5 + 0.8. Let q = 1126 - 1124. Which is bigger: q or b?
q
Suppose t - 4*x = 5, 2*x - x - 30 = -t. Do t and 79/3 have different values?
True
Let b(a) = a + 3. Let r be b(-10). Let d be (208/56)/((-16)/28). Is r greater than or equal to d?
False
Let x = 130 + -88. Suppose 0 = -18*d + 4*d + x. Is 4 at least d?
True
Suppose -152 = 2*t + 14. Is t less than or equal to -82?
True
Let t = -0.15 + 0.21. Let y = 1.36 - t. Is y less than or equal to -0.1?
False
Let w(n) = -4*n + 66. Let d be w(-5). Is d less than or equal to 85?
False
Suppose -4*u = 3*g + 8, 15 = -36*u + 31*u - 5*g. Are u and 9/10 nonequal?
True
Let i(a) = 5*a + 26. Let h be i(8). Let l = h - 66. Let w(v) = -v**3 - 8*v**2 - 8*v - 6. Let o be w(-7). Are l and o unequal?
True
Let v = -792 - -772. Is -7 bigger than v?
True
Let y be ((-7 - -2) + -1)/(4/(-8)). Which is smaller: 59/5 or y?
59/5
Let p be 2336/12 - (-1)/3. Are 195 and p unequal?
False
Suppose 0 = -n + p + 8, -2*p - 20 = -5*n - 7*p. Is 6 > n?
False
Let h be (0 - -7)/((-1)/(-1)). Suppose 3*t - h = 50. Suppose t + 13 = 4*k. Which is bigger: k or 7?
k
Let b = 249.93 - 250. Let v = 17.1 - 17. Which is greater: v or b?
v
Let j be (-1)/((-52)/(-8)) - (-282)/(-26). Do j and -13 have the same value?
False
Suppose 55*q = 60*q + 15. Suppose -8*z = -3*z - 5. Let b(l) = -l**2 + 2*l - 1. Let t be b(z). Which is bigger: t or q?
t
Let j = -23.29 + -4.71. Let m = -225.4 + 253. Let r = m + j. Is 1/2 greater than r?
True
Suppose -o - 4 = o. Let v be (32/20)/(o/(-95)). Suppose d - 5*d = v. Is -19 >= d?
True
Suppose 0*z = -3*z + 18. Suppose -m = g - 10, -2*m + z*m = -5*g + 45. Do g and 3 have different values?
True
Let f = 1211/144 - 74/9. Let c = -16 - -65/4. Which is smaller: f or c?
f
Suppose 0*g - 4*g = 3*m + 25, 2*g - 3*m = -17. Let p(z) = -2*z