 Are z and o equal?
False
Suppose -24*x + 24 = -18*x. Suppose -196 = 5*o + 2*k, -23 = -x*o + 4*k - 191. Are o and -38 non-equal?
True
Let x be (6/(-20) - (-13)/(-65))*-98. Let j be 8/6*(-9)/6*-26. Which is bigger: x or j?
j
Let c = 17531 - 17531.2. Which is greater: c or -612?
c
Let t = 7373.9 + -7374. Which is smaller: t or -5344?
-5344
Let q be 392/28 - (-17178)/(-1290). Is 2 smaller than q?
False
Let t = -145/6 - -691/30. Which is bigger: 0 or t?
0
Let c = -4.787 + 8.787. Which is smaller: c or -38/39?
-38/39
Suppose 0 = -92*a + 98*a + 12. Which is smaller: a or -64/109?
a
Let l = -3/12109 - -206174/1295663. Which is greater: 0 or l?
l
Let s be 3*2*(-124)/186. Let t be (-7)/18 - (-1 - s)/6. Let c = 0 - -0.1. Are t and c equal?
False
Suppose -2160 = -f - 5*v - 2648, 3*v + 2550 = -5*f. Are -524 and f non-equal?
True
Let s = 2111 - 1580. Do 2 and s have different values?
True
Let j = -20551 - -37156209/1808. Is 1 at most as big as j?
False
Let h = 296 - 290. Let t(u) = -36*u - 34. Let f be t(h). Are -251 and f nonequal?
True
Let f(m) = -3*m**3 - 157*m**2 + 105*m - 53. Let g be f(-53). Which is smaller: -10/271 or g?
-10/271
Let v = -31753 + 31753. Which is bigger: 3/43213 or v?
3/43213
Let w be (49078/143 - 2) + (-2)/(-11). Let r = -599 - -940. Let o = w - r. Which is smaller: o or -1?
-1
Suppose 4*b = 2*d - 180 + 188, 2*b - 10 = 2*d. Which is greater: b or 0.3365?
0.3365
Suppose 9 = l + 2*a, -945*l = -944*l + 3*a - 15. Is l equal to -0.099?
False
Let n = 824 + -831.66. Let c = n + 0.06. Let a = 7.586 + c. Which is bigger: 0 or a?
0
Let u = -145 - -139. Let t be ((-1)/(-3) - (-5)/(-195))/u. Is t <= -1?
False
Suppose -121 = -i + 4*u, -5*i + 500 = -142*u + 143*u. Is i greater than 96?
True
Let a(n) = n + n**2 - 3*n + 3 - 4*n + n**2. Let c be a(2). Let z be 3 + (5 - c) + -3. Which is smaller: z or 2?
2
Let p be 48/27 + -3 + 116/36. Suppose p*j = 29 - 23. Suppose -j*b + 19 = 16. Which is bigger: -17 or b?
b
Let p = -21.083 - -17.23. Let f = 0.047 - p. Which is smaller: f or 1?
1
Let l = 3712 - 3714. Let a = -0.07 - 0.93. Which is bigger: a or l?
a
Let c be (1326/104)/(286/12). Let f = -21/26 + c. Which is bigger: f or -4?
f
Let x(n) = -n**3 - 23*n**2 + 26*n + 49. Suppose 7*u + 96 = 9*u. Let q be (u/14)/(5/(-35)). Let b be x(q). Is 1/56 at most b?
True
Let a be (-1)/(-3) + 126/135*5. Suppose a*z - 15 = -20. Let k = 28 - 28.01. Is z less than k?
True
Let p = 16424.78355 - -0.21645. Which is smaller: p or 1?
1
Let j = -10449 - -10475. Which is greater: 55 or j?
55
Let h = 5831 + -5839. Is -45 at most h?
True
Let c(p) = -p**2 - 7*p + 3. Let k be c(-7). Suppose -3 = -r + k. Suppose 12*h - 115 - 5 = 0. Is h smaller than r?
False
Let d be (4 - 1)/(-3) + 64/4. Suppose 3*r - 9 = -3*q, 2*r - d = 5*r - 3*q. Which is greater: -3.1 or r?
r
Suppose 0 = 2*l - 10, 10*l = 5*b + 13*l - 20. Is 27/44 not equal to b?
True
Let d = 2194.4556 + -2195. Let k = d + -0.0556. Which is smaller: -2.2 or k?
-2.2
Suppose -221 = -19*i + 121. Suppose -21*g = -3*g + i. Which is smaller: -1/53 or g?
g
Let g = 23124 + -23123.8. Is 160 != g?
True
Let k = 12517 + -12516. Which is smaller: k or -50.91?
-50.91
Let h(w) be the first derivative of -2*w**3 + 239*w**2/2 - 19*w + 104. Let s be h(40). Which is smaller: 3/7 or s?
s
Let o = -31448 - -817483/26. Is -7 bigger than o?
False
Suppose -42 = -5*i + 8. Suppose 0 = u + u + i. Suppose 3*g + 15*g + 54 = 0. Is u less than or equal to g?
True
Let l be 3 - 2 - 1 - -1. Let b be 1/(-38)*(439 - 427). Is b at most l?
True
Let f be 8 - (6/2 + 0). Suppose 7*z - 12 = -f. Suppose -h + 16 = 3*h. Which is bigger: h or z?
h
Let j = 280 - -431. Suppose -5*k + 18 = -2*k. Let z be (k/(-33) - 0) + j/3366. Which is smaller: z or 1?
z
Let c = -179839/3 - -61166. Is c < 1219?
False
Let l = 43.1 + -47. Let t = l - -2.2. Let h = 1.7 + t. Do h and -19 have the same value?
False
Let y = -0.6306 + -0.0094. Does y = -26?
False
Let g be (-169)/(-4)*(3*(3 - 2) - -1). Which is smaller: 0.1 or g?
0.1
Suppose -70*a = 140172 + 9138. Is -2132 smaller than a?
False
Suppose 59*d + 20*d - 97 + 18 = 0. Is d bigger than 3062?
False
Let r = 1502.9 + -1154. Let l = 376 - r. Let h = -27 + l. Is h <= -4/5?
False
Let x = 525 + -26247/50. Is x >= 0?
True
Let g = -2689 - -2873.7. Let f = g + -186. Which is bigger: f or -21?
f
Let w be 7/28 - (-26)/(-8). Let y(z) = 5*z**2 - 14*z - 2. Let o(a) = -2*a**2 + 5*a + 1. Let u(v) = -11*o(v) - 4*y(v). Let x be u(0). Is x > w?
False
Let x(t) = 71*t + 18. Let i be x(7). Let q be ((-1)/((-25)/i))/(4/5). Which is bigger: 26 or q?
26
Let r be (-15)/(-1060)*71 + -5 + 4. Suppose -6*a + 3*a + 5*k = 20, k - 4 = 2*a. Which is smaller: a or r?
a
Let p = -0.55 + 0.48. Let l = p + 0.17. Which is bigger: l or -31?
l
Suppose 0 = 5*r + 15 - 110. Suppose 3*j + 30 = 5*j. Is j != r?
True
Let u(x) = -x**3 - 3*x**2 + 2*x - 4. Suppose 30 = 3*f - 8*f. Let z be u(f). Let j = -92 + z. Which is bigger: -1/13 or j?
j
Suppose 55*y + 89*y = -28*y + 40936. Which is smaller: y or 2150/9?
y
Suppose c + 11153 = -5*d, -d = 5*c + 2394 - 173. Which is smaller: -2233 or d?
-2233
Let i = -1191 - -2457/2. Let d be 92/8 - (-3)/6. Let m(h) = h**2 - 9*h + 2. Let r be m(d). Which is bigger: r or i?
r
Let z = -2962 + 2962.1. Is -3404 less than or equal to z?
True
Suppose 0 = -a + 4 + 1. Suppose -a*z = 2*n - 0*n - 11, -4*z = 2*n - 8. Let y be n/10*(2 + -7). Which is bigger: y or 15/7?
15/7
Let a be -25663*15/75 - (-8)/30. Is a != -5131?
True
Let a(d) = -40*d - 15. Let w be a(3). Let f = 231 - 365. Does f = w?
False
Let b = -26623/7 + 3803. Is b at most as big as -135/4?
False
Let u be -1 - 6 - (676 - 5). Let q = 613 + u. Is -63 != q?
True
Let q = 14.8 + -69.8. Let h = 54.56 + q. Let m = -0.01 + -0.09. Is m < h?
False
Suppose 0 = 5510*c - 5520*c + 20. Is 50/73 at least c?
False
Let x(r) = -r**2 - 15*r - 94. Let w(h) = h**2 + 30*h + 189. Let c(p) = -2*w(p) - 5*x(p). Let u be c(-5). Which is smaller: u or 91?
91
Suppose 0 = -2*y + 3*x - 1977, x = -y - 1425 + 419. Which is greater: -6990/7 or y?
-6990/7
Let k(w) = 323*w + 3397. Let t be k(-15). Is -1447 less than t?
False
Let k = -1026169.751 - -1027049. Let b = 879 - k. Is b less than or equal to 0?
True
Let t(n) = -10*n + 34. Let z be t(5). Let v = -32 - z. Let c = -19 - v. Is 0 < c?
False
Suppose 0 = -0*z - 4*z - 12, 0 = -3*w + 4*z + 10977. Do w and 3654 have different values?
True
Let a = 206 - 206. Suppose a = 8*k - 11*k - 102. Let t = 54 - 89. Is k smaller than t?
False
Let y(q) = -q**2 + 6*q + 4. Let r be y(6). Suppose -4 = 3*c + c + r*w, -5 = 5*w. Suppose -v = 5*t + 38, 6*t + 31 = 2*t - v. Which is smaller: c or t?
t
Let v = -178 + 138. Let b = v + -23. Which is smaller: 2 or b?
b
Let t(u) = 9*u**3 + 30*u**2 + 8. Let f be t(-3). Which is smaller: 33 or f?
33
Let t(h) = 6*h - 11. Let m be t(2). Let d be ((-14)/(-618))/(80/96*(-6)/(-15)). Are m and d nonequal?
True
Let b(n) be the second derivative of n**5/20 + 13*n**4/12 + 11*n**3/6 - 7*n**2/2 - 2*n + 42. Let y be b(-12). Is y < 4?
False
Let f be (-175)/50*192/98. Is 5 at most as big as f?
False
Let o = -144 - -222. Let g = o + -81. Which is greater: -13/4 or g?
g
Let v = 30 - -43. Let n = -19 + v. Let i = -53.9 + n. Are 0.31 and i equal?
False
Suppose -4*o = 4*w - 8*o - 28, w = -o - 3. Suppose x + 3*m - 15 = 8*m, -43 = -w*x - 3*m. Let r(p) = 2*p**2 - 8*p - 5. Let h be r(6). Which is smaller: h or x?
h
Let i = 51 + -49. Let h be i + -5 + 6/3 + 4. Suppose -v + 4*d - 92 = h*v, 2*v + 61 = -d. Which is smaller: v or -29?
-29
Let q be 16/(-3)*126/84. Let a be (-219)/18*(-5 - q)*1. Which is greater: -38 or a?
a
Let s be 4/((-12)/(-9)) + (-4 - -7). Let j be (-7 + -50)*(-4)/s. Which is greater: 36 or j?
j
Let l be 14 + -6 + 11410/(-1524) + (-2)/12. Does l = -1?
False
Suppose f + 2*f = 4*f, 2*f = 4*r + 84. Which is smaller: r or 0.4?
r
Let h be 1/(195/(-174) - -2). Let l = 8/17 - h. Is l less than -11?
False
Let w(q) = q**3 - 17*q**2 - 31*q + 31. Let u be w(19). Suppose 0 = -160*l + u*l + 876. Is -218 smaller than l?
False
Let j = 1 + 0. Suppose -7*x = -21*x - 1120. Let m be (-6)/(-3)*((-190)/x)/19. Are m and j unequal?
True
Suppose 3*u + 50*t = 53*t - 19593, 2*t + 32662 = -5*u. Which is greater: u or -6533?
u
Let v = 4368 + -4368. Which is smaller: v or 7/1642?
v
Let w = -1.855 + 1.955. I