16 or x?
x
Suppose -4*l + 6*c = 7*c + 51, 3*c = -2*l - 33. Do -458/39 and l have different values?
True
Let t = -168/13 + 16298/1261. Let z(s) = 2*s**3 + 56*s**2 + 149*s - 24. Let u be z(-25). Which is greater: t or u?
u
Suppose -2 = 4*w + 2*x, w - 10*x + 11*x + 2 = 0. Is w less than or equal to 120/131?
False
Let j = -879201/112 - -7850. Let m be ((-3)/15)/((-3)/15). Which is greater: j or m?
m
Let d = -1.023 - -0.123. Let a = -351 + 357. Is d bigger than a?
False
Let m = 0.00127 - -0.35873. Is m less than -5.7?
False
Let c = -5251 + 5296. Which is bigger: 51 or c?
51
Let j(o) = o**3 - 7*o**2 + 5*o + 12. Let x be j(6). Suppose h = x*h. Suppose h = -13*y + 11*y - 28. Which is greater: y or -13?
-13
Let m = 8424 + -5999. Which is bigger: 2/7 or m?
m
Let i be (26 - 18 - -13) + 16. Let g = -2 + 0. Is g smaller than i?
True
Let d be ((-2)/4)/(0 - 2 - 1160/(-560)). Suppose 7*u - 3*u = 0, 5*y = u - 30. Which is greater: y or d?
y
Let v = 5.36 - 5. Let k = 0.16 - v. Let a be (10/(-8))/((-15)/60). Is k at most a?
True
Let l be 633 + 99 - 0/1. Which is greater: 2194/3 or l?
l
Let n(w) = w**3 - 13*w**2 - 5*w + 70. Let a be n(13). Suppose z - 2*o - 149 = 0, -a*o + 2*o + 693 = 5*z. Which is smaller: z or 139?
139
Let x be -1 + (-132)/(-108) - 8212*2/(-450). Is x less than or equal to 36?
False
Let h = -456073/41 - -11124. Which is greater: h or 2/5?
2/5
Let t = 58 + -720. Let s = -503 - t. Is 160 >= s?
True
Suppose -h + 3*g + 87 = 0, -5*h + 4*g = -275 - 160. Which is smaller: h or 90?
h
Let h = -77 + 387/5. Suppose 3*s + 2*y + 1 = 0, -s - 3*y = -3*s + 8. Suppose 0 = 38*v - 37*v + s. Is v equal to h?
False
Let q = 0.8787 - 0.5637. Which is smaller: q or -2/9?
-2/9
Let p = 226 + -142. Let h = p - 19. Let z be (-26)/h - (-4)/10. Is z less than or equal to -9/16?
False
Let j be (-24)/30 + 176/20. Let w(y) = 2 + 2*y + j*y + 7*y - 4*y. Let s be w(2). Which is smaller: s or 27?
27
Let h be (1 - 2)/(6 + 2366/(-394)). Is h at least 195?
True
Let k = -87.44 - -156.4. Let s = -67 + k. Let i = -0.04 - s. Is i > 0.3?
False
Let n(h) = 6*h**2 - 2*h + 2. Let l be n(1). Let r be l/856*24/(-12). Which is bigger: r or 0?
0
Let p = 43261745/1659 + -26077. Suppose -z = g + 1, -g - 2*g = 5*z + 5. Which is greater: p or z?
p
Let z(s) = -15*s - 21. Let b be z(-1). Let p(o) = -5*o**2 + 18*o. Let f be p(4). Which is bigger: f or b?
b
Let s(a) = 86*a - 2668. Let n be s(32). Are 77 and n equal?
False
Let n = 1/3092 - -1265/868852. Which is smaller: 0 or n?
0
Let f be 2 - (12/10 - 4/(-5)). Let q = -233 + 5357/23. Is f <= q?
False
Let c = 36.745 - 37. Let r = c - 0.045. Let i = -6.22 + 0.22. Is r smaller than i?
False
Let y = -15 - -28. Suppose 27*q + 288 = 108*q - 33*q. Is q < y?
True
Suppose 5 + 7 = 4*q. Suppose q*p = p + 10. Suppose 2*b - 14 = 2*s, -4*s - 5 = b - 2. Is p less than b?
False
Let r be 6276/(-20) - ((-203)/35 - -6). Let x = 292 + r. Is x > -16?
False
Let b be ((-168)/(-20) + -8)/((-20202)/6735 + 3). Which is bigger: b or 897?
b
Let h = -3130 - -4101. Is h greater than 972?
False
Let c = -3.06 + 1.06. Is 26 < c?
False
Suppose -4*b + p = -21 - 272, -2*b + 157 = 3*p. Suppose b - 104 = 5*x. Is x < -6?
False
Let i = 8872 - 9175. Is -16 at most i?
False
Let x = -121271/4708 + 10/1177. Let k = -15 + -12. Which is smaller: k or x?
k
Suppose 7*l - 2*l + 289 = 3*i, -4*l + i - 227 = 0. Let u = 38120 - 38173. Which is smaller: l or u?
l
Suppose -17*m + 21 = 6*p - 14*m, 7 = m. Is p greater than 38/311?
False
Let i be 2/(-4) - 1/2. Let y(v) = -v**3 - 12*v**2 - 30*v - 19. Let h be y(-9). Let m be (h - 260/32)/(2/(-4)). Which is greater: m or i?
m
Let n be (((-4)/5)/2)/(55/(-33800)). Suppose 7*x - 2*x - 1230 = 0. Let l = n - x. Do l and -1 have the same value?
False
Let c = -7.66 + 678.66. Is -0.1 less than or equal to c?
True
Let n(s) = s - 13. Let y be n(15). Suppose -y*m - 6 = -0*m - 4*c, -2 = 4*m + 2*c. Which is bigger: m or -7?
m
Let f be 3 + (-4 - ((-12)/(-4) + -6)). Suppose f*m - 25 = -7. Let q be (39/130)/(m/5). Is -9 > q?
False
Let q(i) = -6*i**2 - 78*i + 83. Let h be q(-14). Is h greater than -11/93?
False
Let x = -196.84 - -4.84. Which is smaller: 4/3 or x?
x
Suppose 4*l - 3 = 9. Let v(u) = 4473*u + 4491*u - 15 - 8959*u. Let y be v(l). Which is bigger: -12 or y?
y
Let k = -18.71 + -0.29. Let q = 473 + 61. Let x = 534.1 - q. Is k less than or equal to x?
True
Let q = -120 + 65. Let t = q + 75. Suppose 0 = -8*l - 12 - t. Is l less than or equal to -1?
True
Suppose l - 14 = 3*t, -5*t - 12 + 0 = -l. Let r = l + -13. Suppose 3*o = r*o - 17. Is o > -0.1?
True
Let m = 491 + -492.172. Let y = 0.472 + m. Do 55 and y have different values?
True
Let a = -260 - -184. Let v = -87 - a. Let t = -24 - v. Which is bigger: t or -1/2?
-1/2
Let d = 0.385 + -0.28. Let j = 35.087 - 35. Let z = j - d. Which is smaller: z or 0?
z
Let d = 9 - 3. Let g(q) = -q**3 + 6*q**2 + 2*q - 11. Let x be g(d). Is x != 2/281?
True
Let p be 2/(-40)*-2*1353. Let f = 135 - p. Let n = 291 + -292. Does f = n?
False
Let u = 0.93768 - -0.06232. Is u smaller than 3821?
True
Let m be -15 - (-19120)/7170*2/(8/27). Suppose 3*p - 4*p - 5*g + 17 = 0, -2*p = -5*g - 4. Is p at least as big as m?
True
Let g = -38634 + 41567. Is g greater than 2933?
False
Suppose 24 = 4*m + 8. Let u be (-2 + 744/(-9))/((-2)/(-6)). Let n = -248 - u. Does n = m?
False
Suppose 0 = 17*g - 25*g + 2320. Suppose 468 = g*n - 286*n. Is n greater than 116?
True
Let w = 1360 - 1224. Which is greater: w or 949/7?
w
Let g be (27/2)/(-1 - -3). Let q(r) = -5*r - 97. Let w be q(-21). Is g less than w?
True
Suppose -28*q + 44*q = 39197 + 45187. Is q equal to 5275?
False
Let i(u) = -106*u - 517. Let p be i(-5). Let b be 4/(4/(-3)) + 6. Is p greater than b?
True
Let s = 8934 - 9173. Which is smaller: s or -2387/10?
s
Suppose 3*d + 15 = 23 + 34. Is d smaller than -133?
False
Let d = 3.7 + 11.6. Let z = d + -15.3. Suppose -27 = 4*q + c + 21, 0 = -5*c + 20. Is z != q?
True
Let d = -45.6 + 59. Let t = d + -3.4. Let x = -10 + t. Do x and -3 have different values?
True
Let u = -37.29 - -0.29. Let l = u - -35. Let g = -1.8 + -0.2. Is g smaller than l?
False
Suppose 1647*k - 1644*k + 9 = 0. Which is bigger: -28/11 or k?
-28/11
Let u be (-1088)/48*(-936)/(-32). Which is greater: -662 or u?
-662
Let j = 169 - 115. Let q = 61 - j. Suppose 0*h = 5*h - 25. Which is smaller: q or h?
h
Let b = 7.2 + -7. Let u = -2.0722 - 123.9278. Which is smaller: u or b?
u
Let b = -4 + 9. Suppose 0 = 5*z + s - 50, -19 = -2*z - s - 2. Let j(h) = h**2 - 8*h - 33. Let g be j(z). Which is bigger: g or b?
b
Let r = -6.22 - -470.22. Let d = r + -461.99. Let t = d - 0.01. Which is greater: t or 0.3?
t
Let i = 184 + -34. Let o be (-44)/(-12) - 4 - 2240/(-15). Is o at least i?
False
Let p = -1397 + 1397.3. Suppose 0 = -7*v + 2*v. Suppose v = 2*r - 0*r + 8. Is p > r?
True
Let s(h) = 3*h**3 - 6*h**2 - h + 5. Let x be s(4). Let f = -483/5 + x. Let d = -0.27 - -0.19. Which is smaller: f or d?
d
Suppose 35 = 2*l + 35. Suppose k - 224 = 3*m - 7*m, l = 2*m. Let j be (-2)/(-7) + 48/k. Which is bigger: 19 or j?
19
Let m = -12 + 13. Let i be (2/15)/((-8)/1128*m). Is -20 != i?
True
Let i be ((13/(-13))/(0 + 1))/((-244)/10553). Which is bigger: i or -2?
i
Let t be 4/3 + -4 + 388014/(-1494). Let i = t - 4321409/16932. Let z = i - -2073/4. Is 0 bigger than z?
False
Let d = 346901/5865 - 4082/69. Let k = 0.1 + -0.1. Is d > k?
False
Let t = 0.4 + 3.8. Let n = 1.2 - t. Let l = -0.25 - -0.2. Is n less than or equal to l?
True
Suppose -13*c - 19*c - 884 = 428. Which is greater: -54 or c?
c
Let n = 7/80 + 111/560. Let m = 102 + -103. Which is smaller: n or m?
m
Let a(t) = -t**3 - 6*t**2 - 8*t + 7. Let y be a(-3). Let o(m) = 2*m + 20. Let k be o(-6). Do y and k have the same value?
False
Let g = -0.079 - 4.221. Let c = 1.2 + g. Let j = c - -2.8. Which is greater: 1 or j?
1
Let k = 293 - 294. Which is greater: -22/179 or k?
-22/179
Suppose 48 = 4*l - 4*i, 2 - 60 = -5*l + 3*i. Let z = l + -12. Let p = -1627/6 + 270. Are p and z nonequal?
True
Let a(x) = x**3 + 11*x**2 - 36*x - 8. Let s be a(-12). Let u be (-1039)/(-8) - (-35)/s. Which is smaller: u or 128?
128
Let h be 35/(-49) + 2/(-7). Suppose 2*m - 4*z = -0*z + 476, 0 = m - 4*z - 230. Let b be ((-1107)/m)/(3*8/(-2)). Which is smaller: b or h?
h
Suppose -60*w = -2499 