) = -q**3 - 2*q**2 + 10*q + 19. Let v be x(-4). Suppose 2*o = v*o - 27. Is o greater than or equal to -21/4?
True
Suppose -3*k - 16 = -97. Let d be ((-18)/(-459))/((-3)/k). Is 1 <= d?
False
Suppose -4*i - 5*j - 23 + 69 = 0, 4*j = -3*i + 35. Suppose -i = -y - 10. Let p be 4/(-40)*(-8)/10. Do y and p have the same value?
False
Let g = 519 - 3101/6. Let b = -486 + 480. Which is bigger: g or b?
g
Let m be 5 + (-4 + -11 - (-5 - -9)). Let v be (-2)/((-12)/15) + 31/m. Which is greater: v or 75/11?
75/11
Suppose -3*f + 4*f - 2*d + 10 = 0, -f - 5*d = 10. Let z = 10682 - 10692. Is f != z?
False
Let i be 3 + 0 + -4 + 3 + -2. Let n be (3 - i)/9 + 12/(-9). Let z be (0 - 2/(-12))*(-22)/(-88). Is z != n?
True
Let j = -72 + 72. Let b = 979/756 - 34/27. Which is greater: j or b?
b
Suppose 2*x - 158 = 149 - 305. Which is greater: x or -202/9?
x
Let u = 2 - 2.1. Suppose 7 = -3*i - 5*g, -i = -0*g - 5*g + 9. Let o be (154/i)/7*2. Which is greater: o or u?
u
Let k = 5733 + -10868. Does k = -5136?
False
Let u(w) = w**2 + 27*w - 27. Let c = -328 - -300. Let x be u(c). Which is smaller: x or 10/13?
10/13
Let f(q) = q**3 + 13*q**2 + 26*q + 17. Let a be f(-12). Let p = -99 - a. Let g be 51 - 3/6*-2. Is g less than p?
False
Let i = -0.04014 + -4.65986. Is i smaller than 6.1?
True
Let z(j) = -4*j + 6. Let a be z(13). Let m = 50 + a. Which is smaller: m or 9?
m
Suppose -4*g - 161 = -2*g + 3*m, 3*m - 179 = 2*g. Let u be (-3)/(4 + g/25). Which is smaller: u or -20?
-20
Let g(h) = -h**3 + 4*h**2 + 16. Suppose 15*q = 72 + 3. Let o be g(q). Is o greater than or equal to -12?
True
Let m = 59 + 6. Let z = -67 + m. Let f be (-1 - -2)*z/((-10)/(-155)). Which is greater: -30 or f?
-30
Let d(b) = -3*b**2 + 4*b - 3. Let u be d(5). Let m = 58 + u. Is m < -9/10?
False
Let n be 60/(-170) + 24/(-221). Which is bigger: n or 92?
92
Let h be ((-36)/(-8))/((-6)/(-8)). Let w = 5 - h. Let y = -17449 + 17446. Are w and y equal?
False
Let w = 62.74 - 63. Let b = w + -3.64. Let g = 5.4 + b. Which is smaller: -2 or g?
-2
Let v = -21168 - -21066. Is 2/3 != v?
True
Let w be (-3)/((-3 - 3)/(-6)). Let x be w + 1 - (-16)/40. Which is smaller: x or -1?
x
Let a = -263051.124 - -263714. Let t = 663 - a. Is 1/4 greater than t?
True
Let f = -5/538 + 2197/4842. Which is greater: f or -65?
f
Suppose 119*l = 82*l - 37. Which is greater: l or -14/2683?
-14/2683
Let h = -29647/15094948 + -2/10813. Which is smaller: h or -1?
-1
Suppose -3*d = 15, 2388*d + 17171 = -3*n + 2387*d. Which is greater: -5724 or n?
n
Suppose 516*f - 517*f + 274 = 0. Let s = f + -276. Which is greater: 0 or s?
0
Let f = 770 - 6914/9. Is f >= -2/151?
True
Suppose -4*t - 28 + 12 = 0, 2*y - 8 = t. Suppose -3*r - 6 = 2*f, y + 4 = -3*r. Let g be (f - 3/36)*34. Which is greater: -0.1 or g?
-0.1
Let m be (-2)/13 + (-918)/(-221) - (-1 - -3). Is -8/305 equal to m?
False
Let f(q) = q**2 - 19*q + 21. Let y be f(-20). Let x be (y/15)/((-42)/(-70)). Which is bigger: x or 86?
x
Let y = -14090 - -6921. Which is smaller: y or -21503/3?
y
Suppose 2*d + 18 - 23 = -3*l, l - 5 = -4*d. Let a = -956341/460 - -2079. Is a greater than l?
False
Let k(m) = 3*m**2 + 20*m - 4. Let f be k(-7). Suppose -14 - 188 = 4*c - f*d, 4*c + 3*d + 214 = 0. Which is smaller: -54 or c?
-54
Let m be (-195)/583 - (-4)/12. Let r(w) = -9*w**2 - 1366*w + 303. Let u be r(-152). Is m at most as big as u?
False
Let t = 2829 - 2835.9. Is 14 less than t?
False
Let n = -8.2 - 45.8. Let k = n + 53. Let p = k + 1.2. Is p greater than 19?
False
Let f = 314 + -314. Which is smaller: f or -8/63?
-8/63
Let b = 271524 + -270146.43. Let h = b + -1372. Let u = h + -5.7. Which is greater: u or 0?
0
Let h be 1/1 - (-54)/(-38). Let c be (-1)/9 - (-192)/(-216). Does c = h?
False
Let l be -1 + 3 - 384/176. Let v = -54.727 - -20.727. Is l bigger than v?
True
Let u = -527271/68 + 7754. Is 1 less than u?
False
Let m = 142 + -148.1. Let v = 6.2 + m. Is v > -1/16?
True
Let b(q) = -41*q - 771. Let l be b(0). Is l < -769?
True
Let t = -1616.339 + 4.339. Which is smaller: -1 or t?
t
Let h be ((-924672)/53865)/32 - (-4)/(-54). Which is smaller: -2 or h?
-2
Suppose 3*a - q - 2 = 0, a + 12 = 2*q + 16. Let c be ((-15)/550)/((-9)/24). Which is greater: c or a?
c
Suppose 0 = -3*t + 431 - 209. Does 800/11 = t?
False
Let y = -16928 - -84357/5. Let h = 57 + y. Let g be 0*3/6*1. Which is greater: g or h?
h
Suppose 41*w - 319 = 173. Which is smaller: w or -21?
-21
Let d be 967 + 5 + (-2 + 3)/((-4)/20). Which is smaller: d or -5?
-5
Suppose -1736 - 13423 = 93*k. Suppose 13*g - 14*g = 163. Do g and k have different values?
False
Suppose 5*s = r - 215, s - 3*r + 33 = -24. Let t be (38/(-6) - 0)/((-14)/s). Is 0 at least t?
True
Let u be (11720/(-48))/5 - 5/30. Let i = 69 - 31. Let p = i + u. Which is smaller: -19/2 or p?
p
Let z = 7.5 + -7.427. Let u = 6.673 - z. Let t = -6.8 + u. Which is smaller: t or 1/2?
t
Let j = 2828/3 - 901. Let n = j + -3503/84. Is n greater than -1/3?
True
Let c = 0.028 + -1.828. Let d = -5.742 + -0.058. Let m = c - d. Is -1 != m?
True
Suppose w = -2*w + 534. Let s be 174/w + 1/(-1). Suppose -15*y + 53 - 68 = -0*y. Which is greater: s or y?
s
Let y(r) = -7*r - 36. Let o be y(-6). Let p be ((-4)/o)/(-4 + 60/9). Let w be ((-6)/4)/((-6)/40). Is p >= w?
False
Let k = 123.4 + 27.6. Let a = k + -151.6. Is a at least as big as -31?
True
Let m = -11410 + 11408.589. Is m less than 0?
True
Let u = -5326 - -5346. Is u at least as big as 207/10?
False
Let l be 6/16*((-45)/(-270))/((-2)/8). Is -2886 greater than l?
False
Suppose 3*b = 4*t - 0*b + 582, -t - 152 = -4*b. Let z = t + 143. Let i(c) = -c**3 + 11*c**2 + 13*c - 14. Let n be i(12). Does n = z?
False
Let w = 15 + -2. Let h be (-11 + w)*2/212. Suppose -4 = 5*u - 9. Is u != h?
True
Suppose -35 - 67 = 3*r. Let f = -34 - r. Suppose 27*j - 30 + 3 = 0. Which is greater: j or f?
j
Suppose -p + 2*o + 54 = 0, -10*p + 6*p = -o - 244. Suppose -66*i + p*i + 124 = 0. Is i bigger than 21?
True
Let c(z) = -5*z**2 + 70*z - 120. Let d be c(12). Which is bigger: d or 30/287?
30/287
Suppose -5*n = -5*d + 35, -83*d = -85*d + 14. Let f be -1 - (2098/(-698) - -2). Which is greater: f or n?
f
Let w(j) = -4*j**2 - 57*j - 9. Let o be w(-14). Let z be ((-56)/20 + 2)*o. Which is smaller: z or -6?
-6
Let a be (-700)/(-280)*1524/(-585). Which is smaller: -6 or a?
a
Let n = 186/17 + -12411/1139. Is n smaller than -2/93?
False
Let f be 2/((-10)/15*-1). Suppose 4*a - a = 9. Suppose -c + a*c - 6 = 0. Is c <= f?
True
Let n = 159 + -227. Let r = n + 67. Let b be ((-2)/(-3) - r) + (-4)/(-12). Which is greater: -20 or b?
b
Let h(z) = z + 9. Let k be h(-9). Let r be 4/(-1 - 28/(-12)). Suppose -r = j + 5*x - k, -5*j + x = -63. Is 12 smaller than j?
False
Suppose -4*y - 4*g + 32 = 0, 3*y + 115*g - 66 = 105*g. Is y <= -3111?
False
Let u = 392.09 - 550.09. Is u smaller than 5/29?
True
Let v = 3/12590 - -34513/459535. Is -1 not equal to v?
True
Suppose -3*k = -53 - 1. Suppose -6777*n - 105 = -3*g - 6775*n, 159 = 3*g - 5*n. Which is smaller: k or g?
k
Let s = -83 - 189. Let q = 193 + s. Is q equal to -79?
True
Let r = 0.74 + -0.04. Let z = -22.86 - -24. Let o = z - 1.44. Which is greater: o or r?
r
Let l = -0.547 + -51.428. Let r = 0.025 - l. Let j = r - 47. Which is smaller: -1 or j?
-1
Suppose -11*h - 3*x = -8*h - 78, -30 = -h + 3*x. Let d = h + -28. Are d and -5/28 equal?
False
Let b = 7024060.0321 - 7023579. Let m = b + -0.0321. Is m at most 0?
False
Let c(v) = 2*v**3 + 2*v**2 - 5*v + 12. Let k be c(-8). Let y = 89465/106 + k. Which is smaller: 3 or y?
y
Suppose 74 - 140 = -11*k. Suppose -c - 13 = 5*u, -k = -39*c + 41*c. Are -0.15 and u non-equal?
True
Let h = 3.25 + 175.75. Let k = h + -176.6. Which is bigger: 2/19 or k?
k
Let s = 22158 + -22267. Which is smaller: -0.9 or s?
s
Let n = 686 - 1035. Let t = n - -351. Which is greater: 0.158 or t?
t
Let b = 25.11 + 454.79. Which is smaller: 0.1 or b?
0.1
Let m(s) = -3*s**3 + s**2 + 2*s + 1. Let h be m(-1). Let q be (16/(-20))/(6/h). Is q > -200?
True
Let s = 112.6 + -110.6. Is -16.6 equal to s?
False
Let h(b) = b**2 + 23*b + 4. Let r be h(-23). Let z = 8 - 4. Does z = r?
True
Let c be (-3)/12 + 9639/28. Suppose 7*g = c - 1443. Let n be g/53 + (-22 - -25). Is 1 greater than n?
True
Let d be (-1380)/140 + (-7)/49. Let r be (-3 - 0)*(-13)/3. Let z b