is bigger: -228 or r?
-228
Suppose s = -5*f - 4*s + 10, 5*f - 3*s - 18 = 0. Suppose f*n = 11*n. Do n and 4/95 have different values?
True
Let i = -20192 - -13426. Is i greater than -6766?
False
Let m(r) = -4*r - 22. Let v(u) = -5*u - 21. Let a(h) = 4*m(h) - 3*v(h). Let l be (0 + 0)*(-8)/16. Let w be a(l). Do w and -24 have the same value?
False
Suppose 0 = 234*p - 228*p - 5946. Suppose 0 = -m + 4*o - 181, -4*m + 4*o - p + 327 = 0. Which is smaller: -163 or m?
-163
Let h be (24/(-20))/(8/(-7980)*-7). Is -1 at least as big as h?
True
Let z(d) = 2*d + 12. Let b(h) = -2*h + 13. Suppose 4*u - 14 = 5*m + 12, -m = -3*u + 25. Let r be b(u). Let i be z(r). Which is bigger: i or -0.4?
i
Suppose -3*i = -13*i - 30. Let y be (2/(-20))/(-9 + (5 - 143/(-66))). Is i >= y?
False
Let g be -1*4 + (-8)/10*-10. Suppose -5*y - 83 = -g*y. Is y less than or equal to -85?
False
Let x be (-1)/((-3)/(-2928)) + -10. Is -987 at most as big as x?
True
Let z(x) = 772*x - 2136. Let f be z(3). Which is smaller: f or -52?
-52
Suppose -2*d = -0*d - 2*c - 636, -5*d = -4*c - 1594. Let r = 265 - d. Is r smaller than -59?
False
Let t be 123/(-6)*(-1 + -1). Suppose 0 = a + 4*q - t, 0 = -4*a - q - 3*q + 116. Suppose -47 = 3*m - 4*p + a, 5*p = m + 24. Which is greater: -23 or m?
-23
Suppose 20*b = 25*b - 445. Let x be (-104)/(-234) - 806/(-9). Which is smaller: x or b?
b
Suppose 2*i - 616 = -0*g + 2*g, 3*g = 5*i - 1548. Suppose 18*y - 2550 - i = 0. Which is smaller: y or -0.1?
-0.1
Let g be (-4 - 1001/(-250))*(2754/1395 + -2). Is -1 <= g?
True
Let t be (-69)/(7/48 + (-2)/6). Suppose 24 + 435 = 5*x + a, 0 = 4*x + a - t. Let l be (1 - 119/x)*(-3)/4. Which is greater: -1 or l?
l
Let h be (52/16510)/((-1)/(-5)). Let r(b) = -b**3 + 27*b**2 - 48*b - 49. Let p be r(25). Are h and p equal?
False
Let t(j) = -5*j**3 - 34*j**2 + 11*j + 16. Let i be t(-7). Let m be 2/((-10)/(-6) + i + 10). Suppose 5*g = 4*d - 2, 2*g - 3*g + 2*d - 4 = 0. Is g smaller than m?
False
Suppose -7*j - 13959 = -16*j. Let z = 116327/75 - j. Which is smaller: -1 or z?
-1
Let x be 1*-2 + (-11 - -22). Let h = 39.98 - -1.02. Let o = -41 + h. Which is smaller: o or x?
o
Suppose -5*q = 13*q - 270. Suppose 17*t + q = 16*t. Which is bigger: -19 or t?
t
Let t = 4 - -4. Let l = 27169 - 461729/17. Which is greater: l or t?
l
Suppose -4*x - 5*h - 1 + 32 = 0, 5*h = -x + 19. Suppose 0*w + k - 983 = x*w, 0 = -4*w - 3*k - 987. Is -247 equal to w?
False
Let l(a) = -a**3 - 11*a**2 - 49*a - 121. Let d be l(-8). Which is greater: 227 or d?
227
Suppose 3*v + 155 = -o, 3*v = o - 66 - 85. Let q = v - -43. Let c = q - -87/11. Are c and -1 unequal?
True
Let w(k) = 4*k**2 + 13*k - 37. Let p be w(-13). Let l = 469 - p. Let h = 5449/200 - 217/8. Which is greater: l or h?
h
Suppose -3*y + 11*r - 13*r = 210, -y = -r + 65. Let w = -9 - -76. Let a = w + y. Which is bigger: -30/19 or a?
a
Let j = -7.18 + 307.18. Let n = -300.2 + j. Is -3.3 at most as big as n?
True
Let x = -102 - -211. Let f = x + -102. Does f = 6?
False
Suppose 6*i - 65 = 979. Let j = i + -181. Which is smaller: 0 or j?
j
Suppose -121 = 286*m + 165. Which is bigger: m or 0.1112?
0.1112
Let q be ((-9)/15)/(186/30 + -6). Let t be (-6 + 1 + q)/(2 + 0). Is t > -6?
True
Let y(s) = -33*s**3 - 3*s**2 + 4*s. Let n(r) = r**2 - r. Let m(o) = 3*n(o) + y(o). Let b be m(1). Let k be b/187 + (-16)/(-88). Do -1 and k have the same value?
False
Suppose 34*x - 30 + 12 = -52. Which is bigger: x or 2/5941?
2/5941
Let b be 780/66 - ((-4)/(-11))/(-2). Suppose 29*t + b = 17*t. Is t at most 13?
True
Let k = 442 - 1538/3. Is k != -1/4?
True
Let y be (-9 + -1)*(-9)/90*5. Let c(n) = n**3 - 8*n**2 + 16*n - 6. Let r be c(y). Let p = 185 - 24973/135. Which is bigger: p or r?
p
Suppose 3*n - 1472 = 49*n. Which is smaller: n or -159/5?
n
Let x = 76 + -74. Let h(u) = -3*u**3 + 29*u - 32*u**x - 7 + 23 + 5*u**3. Let g be h(15). Which is smaller: g or -5?
-5
Let f = 418 + -374. Let r = 0.073 + -43.073. Let o = f + r. Which is greater: 2/17 or o?
o
Let h be 3 - (-3)/((-14058)/11594). Are 1 and h equal?
False
Let w = -140 - -24. Let i = w - -56. Let s = i - -84. Which is smaller: s or -1?
-1
Let h be ((-12)/57447)/((380/30)/19). Which is bigger: 0 or h?
0
Suppose 49*s + 53 = 15 - 11. Which is smaller: 1/5278 or s?
s
Let f = -9369/1687 + -30/1687. Are f and 0.28 equal?
False
Let m = -7535 - -3642. Which is bigger: -3892 or m?
-3892
Let i be (-634)/321*(-21)/(-364)*137. Let l = i - -203/13. Is l at most as big as 0?
False
Let j(b) = -4*b - 3 + 6*b + 0*b. Let n be j(0). Let h be (4/(-6))/(n/(18/4)). Is h <= 3?
True
Let l be -41 + (-2)/1 - 1. Let r(g) = 6*g + 40. Suppose -22*j = -8*j + 196. Let f be r(j). Is l not equal to f?
False
Let i = -11.377 - -11.705. Which is smaller: i or 0.6?
i
Suppose -5*s = -10*s - 5*f, 0 = -3*s + 5*f - 16. Let w be s/62*(-63 - -53). Which is greater: w or 1?
1
Let r = 12.05 - -1.15. Let b = 1.2 - r. Let x = 465 - 466. Which is greater: b or x?
x
Let f = -1.4 + 1.2. Let m = 829 + -788. Is m less than or equal to f?
False
Let m be (1/(-10))/(15/4038). Let c = m - -27. Let s = -2 + 2. Which is bigger: s or c?
c
Suppose 39*i + 73*i = -45*i. Let x be (-16)/(-6)*18/728. Which is bigger: x or i?
x
Let m be -1*(0/1 + 0). Suppose 10*h = 6*h + 1136. Let f be h/(-490) + ((-24)/(-10))/4. Which is smaller: f or m?
m
Let r = 0.00043 + -0.00043. Let y = 1 + -19. Let w be (y/21)/(3/2). Which is bigger: r or w?
r
Let d = 12035 + -12035. Which is bigger: d or 3/9893?
3/9893
Let i(d) = 3216*d + 64307. Let o be i(-20). Suppose -3*s - 67 = -16. Let p = -31 - s. Which is smaller: o or p?
p
Let k = 218 + -251. Let p be (2/6)/((-112)/(-36)*k). Do p and -1 have the same value?
False
Let k(m) = -2*m + 5. Let c be k(-5). Let v be c/(3/(-45)*-9). Let g = -22 + v. Is 1 <= g?
True
Let u be 5/2*(-40)/(-25). Let i be 1/((-1)/(-44))*(-80)/(-1120). Is u < i?
False
Suppose -t = 4 + 2, 3*s + t = 14241. Which is smaller: 2 or s?
2
Let l = 9 + -10. Let f = 303.95 - 303.9. Do l and f have the same value?
False
Suppose 2*m = -4*c - 508, -2*m - 20 = 3*m. Let w = c - -3. Is -123 less than w?
True
Let s(b) = -13*b - 447. Let x be s(-33). Let v(d) = d**2 - 6*d + 3. Let q be v(6). Let l be (1/q)/(x/(-675)). Which is bigger: 12 or l?
l
Let r be 8/(-3 - (2 - 7)). Suppose -r*o - 14 = -3*o. Let q be (o/7)/((-3)/12). Is q at least as big as 9?
False
Let u = 122 - 324. Let l be -2*(-2)/(-4)*u. Suppose 4*b - 162 = -l. Are -47/5 and b nonequal?
True
Let o be (-7302)/36 - ((-14)/(-4) + -3). Let h = o - -204. Is 3/4 <= h?
False
Let z = -3020 - -3019. Which is smaller: -4/2337 or z?
z
Let l = 3291 - 1929. Which is smaller: 0 or l?
0
Let l be (-136)/(-612)*6*438/4. Is 3 at least l?
False
Let a be (-888)/1*(136/16 + -9). Let p = a - 448. Does -4 = p?
True
Let s(w) = -2*w**2 + 35*w + 29. Let z be s(19). Is -111/4 not equal to z?
True
Let d = 0.1718 - 0.1718. Which is smaller: d or -312?
-312
Let q be 22/4*(-60)/(-30). Let v = -25 + 10. Let p = 29 + v. Which is smaller: p or q?
q
Let u(t) = t + 3. Let w be u(8). Let s = w - 10. Let q be -2 + -7 - 36/(-6). Is s >= q?
True
Suppose 24*x + 15467 + 28213 = 0. Is x != -1820?
False
Suppose 2*b + 21 = 97. Suppose -9*v = 322 + b. Let u = v + 39. Which is bigger: -1/20 or u?
-1/20
Suppose 25 = 5*k - 0*k. Suppose l = k*l. Let x be -4*2/126*(-141)/94. Which is greater: x or l?
x
Let k = -1796 - -1758.08. Let i = 37 + k. Let q be ((12 - (16 + -7)) + 22/(-4))/((-90)/(-18)). Which is smaller: i or q?
i
Let t = -1/19184 + 844105/172656. Let w = 8 + -4. Is w != t?
True
Let a = 0.04886 - 0.34886. Is a >= -0.5626?
True
Let n be 1/(2 - (-84)/(-44)). Suppose -6*l = n - 11. Suppose 4*i - i - 2*c + 12 = l, 4*c = 2*i + 16. Is -3/4 at least as big as i?
True
Let q be (6 + 188451/(-31410))/(12/(-125535)) - -3. Does 0 = q?
False
Suppose 0 = -3*d + 62*d. Suppose 0 = 4*p - 61 - 23. Let j = -13 + p. Is j < d?
False
Let u = 192 - 1726/9. Let g be 11/13*1168/6424. Which is smaller: g or u?
g
Let w be ((-81)/36)/(9/636). Which is smaller: w or -160?
-160
Let o = -9347 + 205589/22. Let z = o - -39/11. Which is smaller: 3 or z?
z
Suppose -4*p + 4 = 5*z - 9*z, -4*z + 20 = 2*p. Suppose -2 = -n - 2*q, -4*q + p = n - 0*n. Is n <= -16/17?
False
Let j = -999874/65 - -15382. Is j smaller than 0?
True
Let m = -10.994 + 11. Let q = -2088 - -208