)/((-72750)/(-3465) - 21). Is r >= 305?
True
Let m be 0/19 - (-2121)/7. Which is smaller: 302 or m?
302
Let q = 12 - -12. Suppose -3*f - q - 81 = 0. Suppose -5*a = -92 + 272. Is a smaller than f?
True
Let b = 110254 - 6284479/57. Suppose 0 = 3*x - 3. Suppose d = -3*y - x, -3*d = 2 + 10. Is y at most b?
False
Let g be (-969)/399*(-42)/(-12). Suppose -2*k + 3 + 1 = 0. Suppose -13 = k*u - u - 2*v, 5*u + 2*v + 41 = 0. Which is smaller: g or u?
u
Let t = 547 - 1632. Let u be (11/7 - 1)*t/(-558). Is u greater than or equal to -4?
True
Let r = 5247 - 5678. Which is bigger: -434 or r?
r
Let r be 2/(-25) - -2*25905/750. Which is smaller: 28 or r?
28
Suppose -109*j = 788161 - 116176. Which is smaller: j or -6168?
-6168
Let x = 439299156/5161 - 85119. Which is greater: x or 1?
1
Let j be ((-14)/(-371))/((-2)/21302). Let b = j + 402. Suppose 3*a + 3 = 4*a, 4*n - 2*a = -2. Do b and n have the same value?
False
Let s(z) = 3*z**3 - 16*z**2 - 7*z - 17. Let q be s(6). Let d = -27 - -11. Which is smaller: q or d?
d
Suppose 0 = -140*y + 153*y - 1001 - 1495. Suppose z = 5*q - 84 - 879, 4*q = 5*z + 783. Is y bigger than q?
False
Suppose 16 = 7*k - 3*k. Suppose -2*w - 260 = n + 4*n, 3*w = -k*n - 390. Let x be (-74)/w + 3/30*-6. Is x >= -1?
True
Let s = -76 + 167. Let o = -51 + s. Let a be (-3 - -2) + -1 + o/12. Which is smaller: 1 or a?
1
Let s(x) = -x**3 + 3*x**2 - 3*x + 10. Suppose 5*w + 0*w - 4*y = -177, -2*w = -3*y + 75. Let j = w - -37. Let f be s(j). Which is greater: -17 or f?
-17
Let y = 94 + -33. Let c = y + -181/3. Let f be 1/(176/10) - ((-456)/64 + 7). Is c at least as big as f?
True
Suppose 111 = 5*d + 3*f, -2*d + d + 5*f + 39 = 0. Suppose 20*i = d*i + 160. Which is greater: i or -38?
-38
Let q = -486 - -198. Let n = q + 308. Is n less than or equal to 19?
False
Suppose -34*v = 28*v + 1998 + 5318. Which is smaller: v or -68?
v
Let c be 9*(-4)/(-24)*(-2)/(-3). Let j = -280/139 + 190962/94937. Which is smaller: c or j?
j
Let o(t) = -2*t - 4. Let j be o(-4). Let p be (-101877)/10*j/50. Let r = 815 + p. Which is smaller: -1 or r?
-1
Let t be (-4)/(-8)*(-1 - -1). Suppose 5*w - 170 = -t*w. Suppose -x + 3*x = -w. Is x at most -17?
True
Let a = 1548 - 1547.9. Is 1965 smaller than a?
False
Let p(l) = l**3 - 17*l**2 + 2*l - 19. Suppose -2*m - 2*m + 2*k + 70 = 0, m - 19 = 2*k. Let u be p(m). Let z be 3/u*(62/(-16) - -2). Is z not equal to 1?
True
Let o = -150.18 + 182.18. Does o = 1?
False
Suppose 0*v = -3*f + 5*v - 224, 3*f + 203 = 2*v. Let r be (9/(-6))/(6/254). Which is greater: f or r?
f
Suppose -4926*r + 4910*r = 16. Which is bigger: r or -1/3070?
-1/3070
Let i be 1155/(-7) + 2 + 0. Let t = i + 8640/53. Suppose 0 = -2*k - 5*p - 8, 0*k + k = p + 3. Which is smaller: k or t?
t
Let a = 27.4 - -305.6. Let i = -258 + a. Do 0.2 and i have different values?
True
Let c = -401 + 410. Suppose 0 = t + 3*t - c*t. Which is smaller: -4/207 or t?
-4/207
Let j(r) = 7*r - 51. Let m be j(8). Suppose 0 = -4*d - 5*c + 988, 5*c = m*d - 1111 - 79. Do 241 and d have different values?
True
Let m = 51298/57 - 900. Let r = -30 + 29. Is m less than or equal to r?
False
Let d = 2 + -167. Let x = d + 164.82. Is x at most 2/7?
True
Let a(y) = -6976*y + 64. Let z be a(1). Is -6911 <= z?
False
Let i(x) = -x + 12. Let g be i(6). Suppose -8*s + g*s + 902 = 0. Let q = 41491/92 - s. Which is bigger: q or 0?
0
Suppose 3447 = 119*q - 110*q. Suppose q*z - 387*z - 368 = 0. Which is smaller: 1 or z?
z
Let x(o) = o**2 + 3*o - 54. Let b be x(-9). Suppose -3*j = -b*j - 5*h - 140, 4*j = -5*h + 140. Which is smaller: j or 2?
2
Suppose 8*o = 12*o - 76. Suppose -8 - 15 = 3*q + 4*n, 4*q = -3*n - o. Let j be ((-21)/98)/((-3)/q). Which is bigger: -1 or j?
j
Let f be (2/3)/((-3)/(-9)). Suppose -2*o - 2*h + 58 = 0, f*o + 2*o - 106 = -2*h. Let l = 100 - 77. Is o equal to l?
False
Let j be 13/(-18)*28 + -4 + 2. Let u = j - -1057/18. Which is greater: u or 38?
38
Let r = 10 + -8. Let f = -84.3356 - -1.3356. Which is smaller: r or f?
f
Let w = 7 - 6. Let d = 7041 - 112655/16. Is w at least d?
True
Let g be ((-3)/(-2))/(-1 + (-244)/(-248)). Let r = g + 98. Suppose -r*h - 6*f = -f - 40, 0 = -h - 5*f + 8. Which is bigger: 60/7 or h?
60/7
Let s = -37 + 81.8. Let r = s - 40.8. Which is smaller: r or 13?
r
Let g = 0.29 - -60.71. Let b = 18.224 + -16.224. Which is greater: g or b?
g
Let s = 1 - -24. Let q = -108 + 79. Let f = s + q. Is -0.8 <= f?
False
Let h(s) = 20*s**2 + 12*s - 13. Let b be h(1). Suppose 75 = 24*l - b*l. Which is smaller: 12 or l?
12
Suppose 3*x - 3 = 4*x. Let k be (x + 0 - -2) + 1. Let d = -2084/589 - -66/19. Which is smaller: k or d?
d
Let h(p) = -p**3 - 18*p**2 + 39*p - 25. Let x be h(-20). Is -1445 > x?
False
Let o = 1.7 + 72.3. Let l = o - 51. Let v = -23.2 + l. Which is greater: v or -8?
v
Suppose 4*k + 8 = -2*z, -3*k + 0*z + 2*z - 13 = 0. Let j be ((6/5)/2)/(1/k). Which is bigger: j or 1/6?
1/6
Suppose -5*l = -0*l + 5. Let r be (398/(-4577))/((-1)/5). Are l and r unequal?
True
Let t(u) = 5*u - 9. Let i(l) = -11*l + 19. Suppose 26 - 62 = -4*q. Let w(z) = q*t(z) + 4*i(z). Let b be w(4). Which is greater: 3 or b?
3
Let f = -5 + 6. Let a = 582 - 576. Let g be a/8 + (-3220)/4144. Which is greater: g or f?
f
Let y = -21 + 31. Let b be (2/3)/((-8)/(-1668)). Let q = -128 + b. Which is smaller: y or q?
y
Let u = 123 + -121. Let q be 191*u - (-4 + (-6 - -10)). Are q and 382 equal?
True
Let b = 93 - 30. Suppose 6*l + b = 21. Let y be l/2*12/(-2373). Which is bigger: 1 or y?
1
Let l = 109483983/17 + -6438090. Let h = 2143 - l. Do -1 and h have the same value?
False
Let y be -1 + 4 + 2 + 17. Let i = y - 17. Let c = 45/2 + -221/10. Which is bigger: i or c?
i
Let c be 6/42 - (-814)/(-210). Which is smaller: 4 or c?
c
Let i = -18.99 - -19. Let q = i - 2.01. Let s = -14.3 - -13. Which is greater: s or q?
s
Let t = -63.853 - 0.147. Let j = 6626.94 + -6691. Let p = j - t. Which is greater: -2 or p?
p
Let o(m) = 2*m - 42. Let s(g) = 8*g - 51. Let z be s(7). Let k be o(z). Which is bigger: k or -29?
-29
Let v be 79 + -2832 + (2 - 3)/(-1). Does v = -2754?
False
Let b = 4115 - 4115.471. Is b not equal to 4?
True
Let r(j) = -5*j + 0*j + 23*j - 9*j - 1 - 8*j**2 - j**3. Let z be r(-9). Is 3/83 smaller than z?
False
Let i(n) be the first derivative of 5*n**3/3 + n**2/2 + n - 21. Let z be i(1). Let t = z - 6. Is t less than or equal to 7/11?
False
Let l be (-3248)/(-110) - (-14 + 15). Let a = l + -189/5. Let j = a - -9. Which is bigger: 0 or j?
0
Let j be -2 + 3 + (-3)/3. Let l = -969 + 59103/61. Do j and l have the same value?
False
Let s = 193 - 2507/13. Is 1403 greater than s?
True
Let b = -154581/4 - -2189639873/56660. Which is smaller: b or 0?
0
Let w(h) = -35*h + 91. Let i be w(-10). Suppose -327*j + 324*j = i. Which is smaller: -146 or j?
j
Suppose -6 = 2*l - 12. Let j be l/4 - 58/87. Does j = 2?
False
Let g be (9 - 21)/((-5)/(5680/72)). Is g != 190?
True
Suppose 300 + 1888 = 3*t - 4*h, 0 = -5*h - 20. Suppose -244 = -6*n - t. Let v = -60 - n. Is 19 bigger than v?
False
Suppose -3*q - 11 = p, -8*q + 5*q - 3*p - 15 = 0. Which is greater: -111/28 or q?
q
Suppose 12 = 6*i - 5*i. Suppose -4*n + 4*a = 0, -5*n + 3*n - a + i = 0. Suppose 5 = -3*v - n*c - 10, 2*c + 6 = 0. Which is smaller: 6/43 or v?
v
Let p = 203 - 342. Let d = 697/5 + p. Let m = 14 + -15. Which is bigger: d or m?
d
Let d = -67 + 147. Let w = d - 88. Let t = 0.29 - 0.09. Which is bigger: t or w?
t
Suppose 26 = -3*v + 16*v. Let d be ((-1)/(-2) + -1)*v. Which is smaller: 4/153 or d?
d
Let a = 29061 + -25744. Which is smaller: a or 0?
0
Let b(f) = 6*f**2 - 15*f - 48. Let z be b(-13). Suppose z = -24*a + 3153. Is a >= 83?
True
Let i be ((-62)/154008*36)/((-2)/(-36)). Let d = 0.13 - 5.13. Which is smaller: d or i?
d
Let g = -2/1933 + -48313/11598. Let s(n) = 8*n + 220. Suppose 15*l = 8*l - 196. Let m be s(l). Is m less than g?
False
Let n = 30117 - 89087/3. Is 421 smaller than n?
True
Let w = 26/5 + -57/10. Let p = -4863/244 - 50/61. Which is greater: w or p?
w
Let c = -46 - -45. Let y be (-288)/(-54) + (c - 4). Which is bigger: 0 or y?
y
Let s be 7 + -3 - -9 - -3. Suppose -2*o - s = -10*o. Suppose -a + 0 = -u + 8, -o*u = -3*a - 14. Is -2 != u?
True
Suppose 0 = -513*m - 28354 + 158656. Which is bigger: m or 276?
276
Let j be (-210)/24*((-1)/5)/((-25)/(-3050)