3637.6 + -3630. Suppose 21 - 22 = d. Is d > u?
False
Let s = 1509 - 1507. Is s smaller than 95.9?
True
Let x(r) = -17*r**2 + 56*r - 91. Let w be x(2). Which is smaller: w or -335/7?
-335/7
Let s(a) = a**3 - 26*a**2 + 23*a - 51. Let d be s(25). Let x = -100 - d. Does x = 3/14?
False
Let c be (21 - (-2)/(-1))/(-1) - -5. Let x be (-2404)/c - ((-92)/28 + 3). Which is smaller: x or 171?
171
Let x = 36.049 - 36. Let g = -599 + 599.151. Let s = x + g. Which is smaller: 7 or s?
s
Let g(v) = 3*v**2 - 10*v + 12. Let c(w) = -w**3 - 36*w**2 - 33*w + 76. Let b be c(-35). Let k be g(b). Which is smaller: 61 or k?
k
Let l(m) = m**3 + 3*m**2 - 2*m - 4. Let o be l(-3). Suppose -3*t - 9 = 0, -54 = -o*s - 5*t + 19. Let r = s - 43. Which is smaller: r or 7/3?
r
Let l(n) be the first derivative of n**4/4 + n**3 + n**2 - 71. Let t be l(-1). Which is greater: -4/69 or t?
t
Suppose -37*a = -2 + 2. Suppose -5*r + 160 - 155 = a. Is -7/6 smaller than r?
True
Let k(v) = v**3 + 36*v**2 - 69*v + 265. Let d be k(-38). Are 395/2 and d unequal?
True
Suppose 3*w - 52 + 28 = 0. Let j be (14/5)/(8/(-20))*-1. Is w equal to j?
False
Let y = 89 - 85. Let w be (1182/y)/(70/(-28)). Let d = w + 119. Is 0 greater than or equal to d?
False
Suppose 0 = -125*m - 857072 + 270572. Is m <= -4692?
True
Let t be (-22)/((((-120)/(-9))/20)/((-16)/12)). Let v be (-48)/8*(-4)/6. Suppose -3*b - v*q - q + 101 = 0, -4*b + 163 = q. Is t less than b?
False
Let w = -1.605 - -1.62. Let p = w + -0.015. Let s be (-15)/(-20)*-1 + 2/8. Are p and s nonequal?
True
Suppose k + 5*c - 28 = -114, -c + 128 = -2*k. Which is smaller: k or -64?
k
Let v(w) = 2*w**2 + 17*w + 22. Let l = 124 + -130. Let c be v(l). Is c at most -5?
True
Let y be (1/(-5))/(-12 - (-559629)/46635). Is y >= -1036?
False
Let t(b) = -638*b - 3863. Let f be t(-5). Which is smaller: -679 or f?
-679
Let p(n) = -n**2 + 9*n - 24. Let f(i) = -i + 9. Let k be f(4). Let t be p(k). Let v be (-38)/20 - (-1 - 1). Is t greater than or equal to v?
False
Let z be (2/4)/((-30)/600). Let q(s) = 3*s**2 - 4*s + 1. Let v be q(3). Suppose 0 = -4*l - g - 45, -g - 1 + v = -2*l. Does l = z?
True
Let j be 7052/344 - 18/2. Is j not equal to -6/7?
True
Let l(j) = -j**2 + 14*j. Let n be l(5). Which is bigger: 50 or n?
50
Let v = -7608767/4275772 + 6/62879. Are -2 and v unequal?
True
Let s(l) = -37*l - 183. Let j be s(-5). Let o = -13 + 68. Which is bigger: o or j?
o
Let x be 0 + (-12)/4 + 3. Suppose -2*j + j + 5*z = -98, x = 2*j + 4*z - 224. Suppose -4*r + 3*q - 68 + 510 = 0, -2*r - 2*q = -214. Are r and j equal?
False
Let v = 479 + -250. Suppose 5*k = 3*f - 331 - 363, 3*k - 906 = -4*f. Which is greater: f or v?
v
Suppose 5*z + 328 = z. Let y = -33216 + 33133. Is y equal to z?
False
Let b(t) = -t**3 - 2*t**2 - t + 3456. Let n be b(0). Suppose 0 = 31*y - 23*y + n. Which is greater: -431 or y?
-431
Let v be 1/2*60/(-95). Let g(t) = 49*t + 121. Let z be g(3). Let q = z - 269. Is v < q?
False
Suppose l - 26 = -10. Let i = 8 - l. Let q be ((-3)/117)/(i/24). Which is greater: q or 1?
1
Let k = 195 - 199. Let z = -5090273/9 + 564951. Let b = z - -632. Are b and k non-equal?
True
Let d = -341 - -347. Let o be d/27 - 110/90. Is o < 5/127?
True
Let s = -45154 - -45187. Are -91 and s nonequal?
True
Let g(f) = 33*f**2 - 12*f + 8. Let q be g(5). Suppose 0 = 5*a + 133 - q. Let r be 4/(a/(-56) + 2/7). Is r bigger than -15/7?
True
Let s be 1 + -15 + (0 - -1). Suppose 845 = 206*i + 1226 + 3533. Are i and s equal?
False
Let m = 25.3 - 24. Let t = 18 + -14. Suppose 2*v + 0*v - 2*a - 4 = 0, 2 = v + t*a. Which is greater: v or m?
v
Let x(w) = -w**3 - 16*w**2 + 21*w - 19. Let f be x(-20). Which is smaller: f or 1156?
1156
Suppose -8*g + 18 - 2 = 0. Let l(u) = 10*u + 11. Let r be l(g). Is r greater than or equal to -1?
True
Suppose 6370 = -16*n + 2*n. Let l = -454 - n. Is 1/267 > l?
False
Suppose -12 = 3*j, 3*g + 13*j - 12 = 16*j. Suppose 4*f - 41 + 53 = g. Let n be ((-1)/5)/(55/(-25)). Are n and f unequal?
True
Let g be ((-150)/156 - 1)/((-196)/(-96) - 2). Is -48 not equal to g?
True
Suppose 2*q + 2*g - 474 = -390, 2*g = 4*q - 198. Is 325/7 smaller than q?
True
Let g = -1/15341 + -13776211/107387. Which is greater: -127 or g?
-127
Suppose s - 10 = -4, -24 = 2*l - 4*s. Is l less than -5/663?
False
Let l = 155 - 18.5. Let h = 137 - l. Is h less than -9?
False
Suppose 0 = q + 4*q + 140. Let g be 7519/q + 14/49. Let z = 270 + g. Which is smaller: 1 or z?
1
Let h = -178.028 + 178. Let n = 432/5 + -86. Which is greater: n or h?
n
Let v be (13 - 13) + (2/(-6))/1. Let d = -341 + 419. Is v less than or equal to d?
True
Let k be -30 + (-86670)/18 + -1*3. Which is greater: k or -4849?
k
Let y be (-28)/(-4) - (0 - 618/(-69)). Are -3 and y unequal?
True
Let n(c) = 48*c + 55. Suppose u - 18 = -5*i, 0 = 2*u - 0*u + 4*i - 6. Let z be n(u). Which is smaller: 0 or z?
z
Let d be (-1719)/27 - 2/(-3). Let b be (204/40 + -5)/((-3)/d). Is 2/7 equal to b?
False
Suppose -2*x = 0, 2*l - 3*x = -4 + 16. Suppose -3*c + 9*c = -36. Let j be 1/3*(l + c). Is 0 bigger than j?
False
Let l = -44 - -49. Let x = 0.1026 - -20.8974. Which is smaller: x or l?
l
Let o = -3819 + 3541. Is o < -275?
True
Let x = -139732 - -3775111/27. Let y = -107 - -20. Let b = y + x. Which is greater: b or 1?
1
Let u = -1467 + 1467. Is 1/4305 at most u?
False
Let m = -187 + 190. Suppose 5*s + 6 = 4*x, m*s = 2*s + x - 2. Let t = 5 - 2. Which is greater: t or s?
t
Suppose -158 = -3*x + 715. Suppose 0 = 4*v - 3*c - x, -c + 3*c = -10. Let o = v - 64. Which is smaller: -1 or o?
-1
Let f = 144 + -456. Let p(u) = 2468*u + 414313. Let n be p(-168). Is n >= f?
True
Suppose -o = 4*v - 1, 16*v - 20*v + 85 = 5*o. Let u = 14 - -3. Suppose j + p = -3*p - u, -j - 5*p - o = 0. Which is smaller: j or 1?
j
Let z(l) = 3*l**2 - 3*l + 10. Let x be z(5). Suppose 0 = 14*t - x - 196. Is t less than or equal to 210/11?
True
Suppose 2*w = -4*a + 38, 9*w = 7*a - 3*a - 27. Which is bigger: -1/12637 or w?
w
Let s be (-18)/(-12)*10552/6. Let o = 683239/259 - s. Are o and -1 equal?
False
Let d(k) = 8*k + 16. Let v be d(5). Suppose -144 = 68*i - v*i. Is -11 equal to i?
False
Let y = -16329 + 16330. Let n = 148624/107 - 1389. Which is greater: n or y?
y
Let o = -34960 - -7130. Let d be (-5)/2*(-184)/o. Which is bigger: d or -1?
d
Let k = -8475/7 + 1211. Is k greater than 2/157?
True
Let r(k) = -k**2 + 15*k + 62. Let f be r(18). Let p be (-1 - (-2)/f)*(-1392)/3654. Is p greater than or equal to -3/80?
True
Suppose -111*v + 2360 = -g - 113*v, -4*v + 8 = 0. Is g at least as big as -2363?
False
Let b = -43 + 53. Suppose -y + 3*y = 3*c - 4, 2*c - b = 5*y. Let i be c*(-4)/(1*-4)*1. Which is greater: i or 1/6?
1/6
Suppose 30*v + 127836 = 36*v - 4*p, 2*v + 3*p - 42612 = 0. Which is smaller: v or 21307?
v
Suppose 127 = -70*f + 57. Which is greater: f or -57/49?
f
Let r(d) = -2*d**2 - 15*d - 9. Let y be r(0). Let a be 2*y/6*(-6 + 4). Suppose 0*v = 3*u + 2*v - 16, 0 = 5*u - 5*v - 60. Which is smaller: u or a?
a
Suppose 1 = w, -n - 1746 = 6*w - 27. Is -1724 at most n?
False
Let j = 15719 + -21754. Is -2/3 equal to j?
False
Let h be 48/36*(-2)/((-12)/9). Suppose 11*p + h*p - 962 = 0. Which is smaller: p or 70?
70
Let i be (11/2)/((-8)/(-16)). Let f(q) = 2*q - 27. Let p be f(i). Let o be (-1 + (-78)/(-30))/((-1)/p). Which is smaller: o or 0.2?
0.2
Let w be (0 - 14) + (-3 - -2). Let d(f) = -f + 6. Let j be d(4). Let u be (j/6)/(7/((-3906)/12)). Is w > u?
True
Let r = 9188 + -9185. Which is smaller: 161.3 or r?
r
Let h = -69 - -129. Let n be (2/3)/(32/h). Suppose 0 = -5*q + 4*q + 4*k + 22, -3*q = 4*k + 14. Which is greater: q or n?
q
Suppose 2*w = -v - 2*w - 15, 5*v - 5*w - 50 = 0. Suppose 3*l + v*q = 2*q + 159, 5*q + 77 = l. Let r be 57 - 0/5 - (1 + -1). Is l < r?
False
Let b be 35 + 2 - (4/2 + 3). Suppose -2*s - 42 = -2*z - 8, -4*z = -s - b. Is s > -12?
False
Let t be (-892)/(-669) + (-3)/2124*1202. Which is smaller: t or -2?
-2
Let a be 262*(87/30 + -3). Let u = a - -139/5. Which is smaller: u or 2?
u
Let b = 188 - 125. Let l = 59 - b. Which is smaller: l or -24?
-24
Let p(t) = -6 - 56*t + 117*t - 52*t. Let q be p(3). Suppose 5*v - 80 = v. Which is bigger: q or v?
q
Let q = 5616 + -5608. Is 161 at most as big as q?
False
Let g = 21788 + -21800. Is 61 not equal to g?
True
Let g(c) = -15*c**2 