 -700.229 + 700. Let i = k - -0.219. Which is bigger: -46 or i?
i
Let b be (-4)/(-10) + -76*81/90. Is 21 greater than or equal to b?
True
Let r be (0 + -1)*(-5)/35 - 32/28. Is r equal to -86/95?
False
Suppose -2*m + 2*t + 0 + 18 = 0, -5*m - 5*t = 5. Let k = -128099/11 - -11649. Which is smaller: k or m?
k
Let m = -188.557 + -0.443. Let c = -189 - m. Is c less than or equal to -1.2?
False
Suppose 4*x = 3*c + 1349, -x + 5*c = -3*x + 681. Let v = 336 - x. Let g be 3/(27/(-31)) + 1. Is g at most v?
True
Suppose -c + 3 = 4. Let h be ((30656/(-153408))/((-1)/(-15)) - 2) + 5. Which is smaller: h or c?
c
Let k = -194 - -196. Let x = k - 0. Is -5 greater than x?
False
Let t = -212.0559 + 0.0559. Let c = t + 211.703. Which is bigger: c or 2/9?
2/9
Suppose -5*x = -3*p - 30144, -4*p = -2*p + 6. Suppose -x = 7*o - 1974. Which is smaller: -580 or o?
-580
Let n be ((4/(-10))/1)/((-4)/620). Suppose n = -7*i + 258. Suppose -3*j + 1 = -o, 7*o = 3*o + 4*j - i. Do -9 and o have the same value?
False
Let h = 1679 - 2543. Let r be 2*9/h*-6. Which is bigger: r or 1?
1
Suppose -6 = -2*a - 2. Suppose 0 = -d - g - 39, -3*d - 155 = a*d - 3*g. Let r = 34 + d. Which is smaller: -2/21 or r?
-2/21
Let t = -11150 + 11098. Is -0.04 at most as big as t?
False
Suppose -36*d + 2 = -67*d + 29*d. Are -24/175 and d non-equal?
True
Let w(b) = b**3 + 3*b**2 - 5*b - 5. Let t(a) = a**3 + a - 3. Let s be t(0). Let l be w(s). Let d be 5*(l/25 - 33/105). Is d at most as big as 0?
False
Let x = 4236.1 + -4041. Let z = x + -195. Is z <= 4.2?
True
Let u be ((-3)/2)/(2622/(-552)). Let p be (-18)/(-15) + 1/(-5). Which is smaller: u or p?
u
Let s be (-3)/((-84)/(-16))*(1 + 33/(-6)). Suppose -5*m = 2*r - 14, -2*m + 14 = -3*r + r. Is s != m?
True
Let g be ((-1)/12*-2)/((-3)/(-18)). Let k(d) = 9*d + 3. Let x be k(g). Suppose -16*q = -14*q - x. Which is bigger: q or 8?
8
Let h be 0 + 55/(-11) - (-16 + 0). Let c(g) = -g**3 + 13*g**2 - 12*g + 4. Let u be c(12). Suppose 5*m - d = -3*d + 13, 0 = -4*m - u*d + 8. Is m at most h?
True
Suppose -3*z + 6 = -z. Suppose 4*d + 17 = n, z*n - 23 = -2*d + 42. Let f be (-2)/n*8/((-560)/15). Which is greater: -1 or f?
f
Let n = 40569/91 - 3118/7. Which is bigger: 7 or n?
7
Let h = -12138 + 35545/3. Which is smaller: h or -289?
h
Let s = 196672715/1507792 + -6/94237. Is 129 smaller than s?
True
Suppose -9*q - 288 = -33*q. Suppose -q + 10 = -2*l. Let c = -191/9 + 21. Is l <= c?
False
Suppose 3*g - 5*j = 922, j = -g - 0*g + 318. Let b = 295 - g. Which is greater: b or -18?
-18
Let p = 27408 + -27409. Which is smaller: p or -79/99?
p
Let c(m) = m**3 - m**2 + m - 1. Let k(r) = 4*r**3 + r**2 + r - 15. Let b(q) = -5*c(q) + k(q). Let n be b(5). Let x be ((-4)/6)/(24/(-9) - n). Is x at least -2?
True
Let c = -3762 + 3762.3819. Are c and 1 equal?
False
Let b = -115 - 63. Let z = 166 + b. Is -13 < z?
True
Let g = -5623 + 483547/86. Is g not equal to 1?
True
Let c = -132 - -130. Let q be 75 - ((0 - 1) + c). Suppose 12*b + q = 9*b. Is -74/3 greater than b?
True
Suppose 3 = 34*c - 14 - 17. Let b be (0 - 34/37) + 1. Is b greater than or equal to c?
False
Suppose -1341 + 225 = 4*n. Let o = n + 148. Is o at least -133?
True
Let c = 2523 - 2522. Which is smaller: 2915 or c?
c
Let f be (-1)/8079*((-50)/9 + 136/(-306)). Is -1 not equal to f?
True
Let c be (58 + 18 - -14)/(3 + 172/(-58)). Which is smaller: c or 2613?
c
Suppose 86*o + 38893 = 195671. Is o greater than or equal to 1826?
False
Let c = -5.22 + 8.11. Let z = -2.39 + c. Which is bigger: z or 0.1?
z
Let g be 53/(-2)*(-3 - 2/(-2)). Let r = g - 93. Are -41 and r unequal?
True
Suppose m - 3*k = 97 + 51, -3*k = -3*m + 462. Do m and 157 have the same value?
True
Suppose 0 = 33*v + 8*v + 4*v + 30465. Let k = 827282 - 9107555/11. Let n = v - k. Is n at most as big as 2?
True
Let g = -1639/59 - -1365556/49265. Is 1 bigger than g?
True
Let k = 922.6 + -925. Which is smaller: -0.05 or k?
k
Suppose 0*w = 19*w + 23484. Let f = 16035/13 + w. Which is greater: -3 or f?
f
Let c = -18.65 - -18.45. Which is bigger: 1.207 or c?
1.207
Let a = 345 - 5867/17. Let v be ((-9)/12)/(23/(-12) - -2). Let k be v/(-24)*-2*36/(-135). Which is greater: a or k?
k
Let c = -1.455 + -146.645. Let s = 161.32 + c. Let f = 1.22 - s. Which is bigger: -2/3 or f?
-2/3
Let g(o) = 2*o**2 - 45*o + 19. Let z(q) = 4*q**2 - 91*q + 38. Let f(p) = 9*g(p) - 4*z(p). Let r be f(20). Does r = 6/41?
False
Let p = 497.9 + -504.1. Are 2.5 and p non-equal?
True
Let b(v) = 489*v**2 - 30*v - 32. Let j be b(-1). Which is bigger: 488 or j?
488
Let l = -23 - -42. Let p = -80 + l. Let x = -65 - p. Is x at most -7?
False
Let f = -21 + 29. Let t = -6.2 + -3.8. Let s = f + t. Which is bigger: -10 or s?
s
Suppose g - 33 = -30. Let i be (-153)/45 - (g/5 - 1). Which is greater: i or -18/7?
-18/7
Let t(p) = -6*p**3 + 49*p**2 - p - 16. Let k be t(8). Let d = 54 + -15. Which is smaller: k or d?
d
Let y = 48704/9 + -5410. Which is smaller: y or 7.5?
y
Let z be 17355/(-21225) - (30/40)/(15/(-16)). Is 1 <= z?
False
Let y(h) = 6*h**3 - h**2 + h. Let v be y(1). Suppose -v*z - 30 = -3*z. Let a be 638/10 + ((-6)/z)/3. Which is smaller: a or 63?
63
Let g = -8 - -8. Let k be ((-2)/3 - 0) + (-8)/(-3). Suppose k*n + 60 = 58. Are n and g non-equal?
True
Let c = 1265879/220 - 5754. Let y = 3 + -2. Which is smaller: y or c?
c
Let q be 5*16/(-40) - -3. Is 34/75 greater than q?
False
Suppose 0*f + 1 = -5*f + y, -4*f + 3*y = 3. Suppose f = -5*h + 9*h - 40. Suppose 2*i = h, 5*c + 5*i = 22 + 3. Is -1/60 != c?
True
Suppose 4*i = 5*i + 2*g - 117, 0 = -3*i - 4*g + 357. Let d be (-8)/(288/i) - -4. Which is bigger: 1 or d?
1
Suppose 3*s + 232 = 5*c, 3*c - 3*s = 2*s + 152. Suppose -5*i + 271 + c = 0. Let h = -48 + i. Are 10 and h equal?
False
Let u be 288/240 - (1 - (-981402)/30345). Let p = 225/7 + u. Is 0 less than p?
True
Let r be 60/(-78)*-13 - (-3828 - -1). Is 3838 greater than r?
True
Let b be (-15)/(-5) - (-102)/(-10) - (9 - 16). Which is greater: -2474/9 or b?
b
Let y(r) = 2*r**3 + 79*r**2 - 42*r - 81. Let z be y(-40). Which is smaller: z or -1/6808?
z
Let m be (142/(-4))/(627/(-12)). Let h be 8/10*715/247. Let r = m - h. Are r and -1 nonequal?
True
Let h = 239401 - 239401. Let w be (-244)/(-2) + 0/(-2). Suppose -4*c + 10 = -w. Which is bigger: h or c?
c
Let i be -2*35/14*(-62)/10. Let w(l) = -2*l**2 + 2*l**2 - l**2 - i + 20*l + 0*l. Let v be w(17). Is v less than or equal to -1?
False
Suppose 15*c - 19 = 16*c. Let t = c - -21. Let v be (-11)/(-11) + t/8. Which is smaller: 0 or v?
0
Let u = 185.9 + -186. Let g = 562.397 - 0.397. Is u smaller than g?
True
Suppose 7*y - 2*y = -25, 3*y = -3*p + 45. Let c be 8/6*(-10 + (-2010)/(-84)). Is p less than c?
False
Suppose -8*i + 28 = -4. Suppose -4*j = 4*b - 8*j - 12, -i*j = -5*b + 15. Which is bigger: 19/6 or b?
19/6
Let n(t) = -9*t - 12. Let l be n(-1). Let a be (0 - l)/((-66)/48 - -1). Let h = 12 - 20. Is h equal to a?
True
Let k be (-1)/2*(11 - -196)/((-12)/(-104)). Do k and -898 have the same value?
False
Let i = 54 - 27. Let f be (-1 - i)*2*3/(-12). Let b be (-21)/f*(2 + 0 + -4). Is b bigger than -13?
True
Let t = 18 - 18.55. Let m be 144/60*35/(-210). Is t < m?
True
Let l be (-4 + 2)/(28/5). Let u(i) = 76*i - 1597. Let n be u(21). Are n and l nonequal?
True
Let q = -1.251 - 0.129. Let c = q - -1.47. Let m = -6 + 4. Which is smaller: c or m?
m
Suppose -10*u + 48 = 2*u. Let i be ((-4)/(-9))/(u - (-189)/(-45)). Which is greater: i or -0.4?
-0.4
Let m = -569 - 1019. Which is smaller: -1590 or m?
-1590
Let h be ((-4)/(-22) + 0)*1991/88. Let m = h - 19/4. Is m at most 0?
True
Let g = -9625 + 9611. Is g at least 2?
False
Let z be (-7)/(357/(-156)) - 3. Let o = -162 - -161. Which is greater: z or o?
z
Let y = -6325 - -37819/6. Which is smaller: y or -23?
-23
Let g = -211 + 1897/9. Suppose -2*x - 8 = h + x, 2*h + 3*x = -4. Suppose 2*t = h*t. Which is greater: g or t?
t
Suppose -464 + 61 = 13*j. Which is bigger: 1/20 or j?
1/20
Suppose 0 = -5*y + 826 + 854. Let c be (y/78 - 4)*27. Which is smaller: c or 7?
7
Suppose -2 = -5*s - 42. Let f(u) = u**2 + 10*u + 19. Let h be f(s). Suppose p - h*p - 6 = 0. Is p bigger than -15/4?
True
Let w = -428.513 - 6.487. Is w smaller than -3?
True
Let r = 0.42 + 0.08. Let g = 2374.4 - 2150. Let y = -223 + g. Which is bigger: r or y?
y
Let 