or k?
-11191
Let u = -443.5 + 426.5. Which is greater: 31.4 or u?
31.4
Let a be 3/((-420)/8) + (-8268)/(-140). Suppose b - 52 = -2*w + 69, w = 2*b + 53. Is w equal to a?
True
Let b be (-25)/(-35) - 1 - 22077/(-21). Is 1051 less than or equal to b?
True
Let n = 1941/151208 + -27/461. Which is bigger: 0 or n?
0
Let a be (-6 + 11)/(16 + -19 + (2 - 0)). Let c be 0 + (-28)/(-6)*-1. Which is smaller: a or c?
a
Let l = -197 + 203. Suppose 59 - 65 = -l*q. Which is greater: -12/61 or q?
q
Suppose -7*f + 167 = -15. Let i = f - 82. Which is greater: i or -58?
i
Let n be 1/(2 + (-220)/112). Let p be (77/n)/((-5)/(-4)). Let u = -155 + 156. Is p < u?
False
Let r = -2201 - -2232. Suppose 35 = z + q, -3*q + 47 = -5*z + 182. Which is greater: z or r?
r
Let b = -0.05712 + -1695.94288. Which is smaller: b or 4?
b
Let q be (3/(3 - 3654))/(3/(-9)). Which is smaller: q or 0?
0
Let w = 11.69 - -0.31. Let a = 2.3 - -5.2. Let z = a - 9.5. Which is smaller: z or w?
z
Let j(m) = 3*m**2 - 110*m - 42. Let d be j(37). Let b(s) = -2*s**2 + 22*s + 87. Let l be b(d). Which is smaller: l or -69?
l
Suppose 58*f - 2134 + 6020 = 0. Suppose -5*b = 3*x + 203, -b = -x - 30 - 35. Which is bigger: f or x?
x
Let u be (1 - 249)/((-17)/204*-24). Which is bigger: -45 or u?
-45
Suppose 127769 = -8*p + 236961. Which is smaller: 13650 or p?
p
Let t(u) = -1022*u + 1050. Let z be t(1). Is 28 >= z?
True
Let k(q) = q**3 + 46*q**2 - 205*q - 249. Let a be k(-50). Which is bigger: a or -2/38193?
a
Let v(c) = -4*c + 20. Let b be v(5). Let o be (b - 2) + (-4)/1350*-678. Let i = -2 - -1. Is o greater than i?
True
Let r be (-8)/42*784434/(-76). Is r less than 1963?
False
Let d be (384/50560)/((-3)/10). Which is greater: d or -76?
d
Let u(v) = -v**3 + 6*v**2 + 12*v + 14. Let r be u(8). Let t be ((-1)/2)/((-9)/r). Is t > 0.013?
False
Let u be (-5)/7 - (-63075)/3045. Which is greater: u or 19?
u
Let h(y) = 79*y - 312. Let s be h(4). Suppose -p = f + 6, -s*f - 9*p + 4*p - 29 = 0. Let k = 673865/181 - 3723. Is f <= k?
True
Let o(g) = -3*g - 25. Let w be o(-7). Let h be w/(-6)*12/(-152). Which is greater: h or -0.4?
h
Let t = 5119.8 + -5120. Is 548/9 at most as big as t?
False
Let n(r) = 2*r - 61. Let y be n(15). Let i = y + 31. Suppose 21*k - 25*k - 4 = i. Which is smaller: 1/125 or k?
k
Let u = -108 + 107.717. Let a = -0.183 - u. Which is greater: 15 or a?
15
Let k(s) = -s**2 + 3*s - 1. Let w be k(2). Let f = 140377126/91 + -1542641. Let r = -456/13 - f. Which is smaller: r or w?
r
Suppose 6 = h - m - 14, 1 = m. Suppose -h*c + 348 = -27*c. Let a = c - -93. Is a <= 33?
False
Let q be (-400)/(-18) - 6/27. Let l = 70 - -32. Suppose -234 = -14*a + l. Are a and q unequal?
True
Let y = 371 - 370. Let u be (-2)/(y - 3)*(-14 + 8). Is u bigger than -66/13?
False
Let u be (-12)/(-250)*183350/(-570). Is u greater than -14?
False
Let j(m) = 42*m + 50. Let p be j(0). Let s be (-640)/p*(-40)/2. Are s and -1 nonequal?
True
Let k(x) = -331*x - 338*x + 670*x + 83. Let m be k(11). Is m at most as big as 95?
True
Suppose -1370 = -56*w + 1038. Which is smaller: w or 2?
2
Let x = 1541 + -7801/5. Let n = -349/20 - x. Let j = -5/4 + n. Which is greater: 0 or j?
j
Let f(y) = 7*y**3 + 12*y**2 + 7*y + 575. Let o(j) = -11*j**3 - 19*j**2 - 11*j - 863. Let d(u) = 8*f(u) + 5*o(u). Let b be d(0). Is 285 greater than b?
False
Suppose -5*n = -8*n + 120. Let c = -7789 + 7783. Let i be c/n + 10*(-5)/(-125). Does i = 2?
False
Let k = 17.341 + -10.341. Is 0.0201 greater than or equal to k?
False
Let a = -6914 + 235061/34. Is -3/5 equal to a?
False
Let a be (-10 - 1)/((-24)/252 + (-3)/189). Let o(j) = j**3 + 6*j**2 + 7*j - 1. Let n be o(-7). Let w = a + n. Is w smaller than 6/61?
True
Let z = -56 - -52. Let h(b) = 24*b + 36. Let y be h(z). Let d = y + 24. Which is bigger: -2 or d?
-2
Let l(r) = -5*r + 4. Let q(a) = -4*a + 3. Let g(i) = 3*l(i) - 2*q(i). Let u be g(-2). Let t be 2/(-3)*4/u. Is 0 at most as big as t?
False
Suppose -422 = 4*w - 2*l, -3*w + 10215*l - 319 = 10213*l. Let a = 1.2 - 0.2. Is a less than w?
False
Let c = -144 - -213. Let m be c/(-99) + 1/3. Let y = -2292 + 2293. Do y and m have the same value?
False
Let i = -7.29 + 6.908. Let t = i + 1.482. Which is smaller: t or 7?
t
Let h(k) = 51*k**3 - 2*k**2 + 10*k. Let f be h(6). Let o be f/(-8262) + 4/3. Let s = 5204/1377 - o. Is s equal to 5?
False
Suppose 8*i = 65 - 25. Suppose -5*o = -5*v - 8*o + 350, 0 = 5*v - i*o - 310. Which is smaller: v or 69?
v
Let h = -1568980750888/368137 + 4261948. Let n = h - -11680367/11780384. Let v = n - -9/32. Which is greater: v or 2?
2
Suppose 2*p = 2*t + 4, 0 = 2*p - 6. Let a(c) = 14*c + 1. Let h be a(t). Let o be 1 + (h/(-5) - -4). Which is greater: o or 11?
11
Suppose 91 = -102*u - 62 + 51. Let d be 121/324 - 2/8. Do d and u have different values?
True
Let v = -3952 - -3962.8. Is -2/5 smaller than v?
True
Let c be 0*(0 + 4/8). Let g = c - 1. Let r be (-70)/525*10/(-12). Do r and g have the same value?
False
Let a be -1 + (-27)/(-3) - (41 + -20). Is 22 at least as big as a?
True
Suppose -46*j + 1 = -47*j. Let k be j/(2 - 1 - (14 - 12)). Which is bigger: -2/91 or k?
k
Suppose 0 = 2*c + 2*c - 3*c. Suppose c = -7*p + 2*p + 25. Let g be p/7 + (-4)/(-14). Which is smaller: 2/167 or g?
2/167
Let k be -1*6*(-1)/37. Let z(o) = -4*o - 189. Let t be z(0). Let n = 189 + t. Are k and n equal?
False
Let q = 118619/978087 - -2/9141. Which is smaller: q or -1?
-1
Let t = -40/271 + 8352/71273. Let d = t - -4576/81267. Let c = 3298/103515 - d. Which is smaller: c or -1?
-1
Suppose y - 4*r = -17, 4*y + 4*r + 3 = y. Let q be ((-6)/y)/(27/5670). Let p be (-4)/(-6) - (-120)/q. Which is smaller: p or 2?
p
Let j be (-1300116)/1299669 + -2 + (1 - -2). Let q = 4/1393 - j. Let t = 6526/1555 + q. Which is smaller: 1 or t?
1
Let h(i) = -i**2 + 2*i + 1. Let w(u) = 2*u**2 - 17*u - 1. Let o(a) = -5*h(a) - w(a). Let r be o(-9). Is 177 != r?
True
Suppose -26*n = 60*n - 104 - 68. Which is bigger: n or 43.3?
43.3
Let f(k) = -k**3 + 12*k**2 - 26*k - 44. Let p be f(9). Which is bigger: -1/19 or p?
-1/19
Suppose 0*p - 5*p + 65 = 0. Suppose -p*k = -10*k + 3. Let w be (3 + k - -1 - 2)/1. Which is greater: 30 or w?
30
Let d be (-7847)/(-15631) + (-7)/((-77)/(-2)). Let j = -1/29 + d. Which is smaller: j or -38?
-38
Suppose 3*q + 8 = 5*c, c + 3*c - 12 = q. Suppose -2*t = q, 3*r + 28 = 2*t - 4. Let s be (r - -12)*(-2)/6. Is -2/25 != s?
True
Suppose -214*i - 521 = -93. Is -31 <= i?
True
Let f = 82.5 + -13.5. Let y = 67.96 - f. Which is smaller: -2/3 or y?
y
Let a be -2 + -1 + 38670/(-15). Is a bigger than -2580?
False
Let k = 27971/476 - 1002/17. Do 0 and k have the same value?
False
Let a be 27/(-18)*6/9*-8. Suppose 3*o = -a + 23. Let p(k) = k**2 - 5*k - 1. Let q be p(o). Are q and 1/41 non-equal?
True
Let q = 29773 - 23062. Are q and 6712 equal?
False
Let q(k) = -k**2 - 25*k + 11. Let x be q(-14). Let h be ((-22)/x + (-22)/60)*-1. Let a = -0.1 - -0.1. Which is bigger: h or a?
h
Let u(b) = b**2 + 4*b - 1. Let p be u(-2). Let w = -6599 + 6587. Is p at least as big as w?
True
Let a(q) = -64*q**2 - 132*q + 266. Let t be a(2). Suppose 0 = -3*m + 83 - 845. Is m smaller than t?
False
Let r = -577 + 579. Suppose 3*s - r*t - 10 = -4*t, 25 = -3*s + 5*t. Which is smaller: 169 or s?
s
Suppose -3*a - 51*y - 7 = -50*y, -3*y = 12. Let c = 67/13 + -5. Which is bigger: c or a?
c
Let u = 453 + -404. Let y = 54 + -6. Let l = u - y. Which is smaller: l or -15?
-15
Suppose -1050 = 3*l + 5*v, 3*l = l + 3*v - 719. Let u = 369 + l. Is 16 bigger than u?
True
Let m = 7605 + -8025. Which is smaller: -416 or m?
m
Let i be 3*(-12)/(-5859)*9*(-56)/(-2808). Which is smaller: 1 or i?
i
Suppose -4*c + 6 + 10 = 4*w, -5*c = -4*w - 38. Which is bigger: w or 236?
236
Let j = 1.6 + -1.5. Let s be (-300)/(-90)*3/(-465). Which is bigger: j or s?
j
Let g = -81.76 + 82.72. Which is smaller: -0.38 or g?
-0.38
Let r = 13.8 + -8.7. Let n = -0.699 + -3.401. Let t = r + n. Is 0.49 less than or equal to t?
True
Let h(b) = 2*b + 3. Let w(m) = 2*m + 3. Let d(k) = -7*h(k) + 6*w(k). Let a be d(-10). Let j = a - 5. Is j <= 11?
False
Let i = -801 - -1173. Which is bigger: i or 371?
i
Let a = 1425/5668 - 2/1417. Is 1192 < a?
False
Suppose 4*p - 20 = -4*r, 0 = -2*p - 3*r + 7*r - 2. Suppose -p*a - 61 = -5*w, -5*a = -0*a + 5*w + 35. Which