4 = -15*c. Is c at most i?
False
Let u be (-1)/4 + 6/(-4). Suppose -n - 7 = 4*c, 12*n - 14*n + 3*c - 3 = 0. Which is bigger: n or u?
u
Let q = -67 + 70.1. Let o = -61781 - -6548729/106. Let b = o - -2/53. Is q greater than b?
True
Let d = 2436/47 - 129375/94. Is -1324 smaller than d?
False
Let a be 9/15 + -24 + (-5362632)/(-229080). Is a > 0?
True
Suppose 168 = -5*m - 11*m + 4*m. Which is greater: m or -73/5?
m
Let f = 42/319 + -17968/141317. Let x = 2.518 - 2.618. Which is smaller: f or x?
x
Let l be (22695/(-340))/((-10)/(-8)). Which is greater: -52 or l?
-52
Suppose -3*h + 2*z + 13 = 0, 118 = -4*h + 5*z + 133. Is -1045 at least h?
False
Let y be (-106)/(-2 - 12/(-8)). Suppose 7*d = -0*d + 1477. Which is smaller: d or y?
d
Suppose 0 = -12*t + 11 + 1. Suppose -2*x + t = 3. Let p be (1*x/(-3))/((-15)/90). Which is bigger: 8 or p?
8
Let g(y) = -y**3 - 28*y**2 - 72*y + 13. Let o be g(-25). Are 12 and o equal?
False
Suppose -4*u = 2*p + 126, -2*p - 3*u - 128 + 2 = 0. Let x be -369*(2/16)/(258/344). Is x greater than or equal to p?
True
Let s be (-13565)/(-15) + (-16)/12. Which is smaller: 902 or s?
902
Let s(k) = -10*k + 52. Let q be s(6). Let w be (-164)/(-779)*(1 + 18/q). Let m(j) = j - 2. Let b be m(3). Is w > b?
False
Let k = 2951 - 2820. Do k and 127 have the same value?
False
Let p(m) = -2*m + 56. Let t = 194 + -164. Let h be p(t). Which is bigger: h or -18/7?
-18/7
Suppose 0 = -252*c + 236*c + 16. Is c greater than -4/805?
True
Let m be -3*(11 - 32/3). Let o = 22360/23 + -972. Is o > m?
True
Let a = 41 + -20. Let y(c) = -126*c**2 - 124*c**2 + 251*c**2 - a - 2*c. Let k be y(-4). Which is greater: 8/5 or k?
k
Let n(u) = u + 16. Let l be n(-19). Suppose x = -2 + 4. Let v be (x/l)/(12/18). Is -3/32 less than v?
False
Suppose 5*a + 2443 = -q, -q - 1535 = 3*a - 72. Is -487 equal to a?
False
Let r be ((-2072)/16)/((-2)/(-7)). Let v = -453 - r. Which is smaller: -1/3 or v?
-1/3
Let h = 633 + -3159/5. Let o be (4 + 1)/(0 - -1). Suppose -2*u = -3*l - 0*l + 11, 0 = -l - o*u - 19. Does h = l?
False
Let g = -32.36 - -32. Let q = 0.0534 + -10.6934. Let x = q + g. Which is bigger: x or -0.2?
-0.2
Let p = -178 + 179. Suppose 4 = 4*s - 4*n, -2*n = -n - 1. Let l = s + -5. Is l equal to p?
False
Let m be 0/(-4) - 0 - 8788/247. Is -36 smaller than m?
True
Let q = -726 + 682.65. Let f = q - 8.55. Let o = 52 + f. Is 31 smaller than o?
False
Let k be (80/(-34))/(10 - 224/28). Suppose 0 = o + 2 - 1. Is k greater than o?
False
Let z(r) = -2*r + 45. Let p be z(23). Let l be (-2*(-4)/(-76))/p. Which is smaller: l or -1?
-1
Suppose t + 3 = -2*h - 1, h - 2*t - 3 = 0. Is -1/8060 less than or equal to h?
False
Let w(x) = -4*x + 48. Suppose 15*a - 24*a + 999 = 0. Let n = -97 + a. Let p be w(n). Is -7 > p?
True
Let w = -4006 + 4003. Is -5.91 greater than or equal to w?
False
Suppose -4253*x - 2 = -4270*x + 15. Is 1/1205 smaller than x?
True
Let b = 37616 + -33128. Is b greater than 4493?
False
Let n = -1254/1003 + 105/59. Which is smaller: 1 or n?
n
Let f = 1085 + -3607. Is -2523 <= f?
True
Suppose 23*f + 2708 = 9286. Suppose -7*j = -f + 1896. Which is smaller: j or -231?
-231
Let n(r) = 7*r**2 + 25*r + 82. Let t be n(-5). Is t not equal to 132?
False
Let y = -33355.38 - -33385. Which is bigger: 1 or y?
y
Let r(z) = -z**3 + 12*z**2 - 11*z + 8. Let s be r(8). Suppose -s = h - 17*h. Let f be (-12)/((-9)/6 - 0). Is f > h?
False
Let j = 82 + -120. Let p = j - -33.4. Let v = p - -6.6. Are -10 and v nonequal?
True
Let m(r) = 2*r**2 - 24*r - 2. Let j be m(12). Let h be (5/j + 3)*18. Let d = h - -43. Is d equal to 53?
False
Let v(q) = 2*q**3 + 13*q**2 - 28*q - 204. Let g be v(-6). Which is smaller: 6/1417 or g?
g
Suppose -64*k = 1664 - 896. Let l be -2 - (-2)/(-4)*2. Which is smaller: k or l?
k
Let g = 1/9300 + -2713/4650. Which is smaller: -4 or g?
-4
Suppose 4 - 20 = 2*l. Let s = -632 - -275. Let m = s + 354. Is l greater than m?
False
Let u be -38*(-9087)/(-130)*5/(-5). Is 2656 smaller than u?
True
Suppose -3*v + 3*y = -2379, 5*y + 416 = v - 365. Is v greater than 796?
False
Let l be 4*(-35)/20 - -62. Suppose -34*f = l - 21. Let v = 746 + -37299/50. Do v and f have different values?
True
Let o(a) = 14*a**2 + 19*a + 2. Let n be o(-10). Let m = n - 607214/501. Which is smaller: 0 or m?
m
Let p = -2 + 2. Let s = 43302/95 - 846307/855. Let g = 534 + s. Which is greater: p or g?
p
Let r = 1.43 - 4.73. Suppose 0 = j - 2*o - 2*o - 4, 0 = -5*o. Let y be j - (-45)/(-16)*(-12)/(-9). Is y bigger than r?
True
Let d = -0.125 - -0.125. Let h = -0.437 + -0.013. Let o = -0.05 - h. Is o greater than or equal to d?
True
Let l = -6506 - -10800. Which is smaller: 0 or l?
0
Let v = 34737/14 + -4091/2. Which is smaller: 435 or v?
435
Let o = -111846 + 1008088/9. Which is smaller: o or -0.1?
-0.1
Let b = -108 - -107. Let w = -1403/78 - -107/6. Do w and b have the same value?
False
Suppose 4*r + 53495 = 4*w - 65925, 5*w + 29909 = -r. Which is bigger: -29865 or r?
r
Let m = -53911.82 - -53913. Let x = 0.1 + -0.2. Which is greater: x or m?
m
Let k be (4 - ((-425)/20)/(-5))/((-24)/32). Which is smaller: 2239 or k?
k
Suppose a - b - 366 = 0, -7*b = -2*a - 6*b + 730. Let r be a/35 - ((-24)/15 + 1). Is 18 smaller than r?
False
Let t(w) = -134*w + 5418. Let p be t(34). Which is bigger: 4313/5 or p?
4313/5
Let c be (225/(-20))/((-117)/2028). Is 195 greater than or equal to c?
True
Let h = -1428 + 1424. Which is smaller: -0.38 or h?
h
Let n(h) = 19 + 20 + 8*h - 13. Let x be n(-4). Which is smaller: x or -26/5?
x
Let j be (-2)/(-6) - 11/(198/4650). Let b be (24/3)/4 - j/(-123). Is b smaller than -1?
False
Let d = -8811 - -8342. Which is greater: 0.2 or d?
0.2
Suppose -12*x = -43 - 5. Suppose 2*c - 3*j + 34 = 0, -4*j = x*c + 67 - 19. Suppose -3 = -5*t - 63. Is t equal to c?
False
Let s = -275 - -256. Let r(h) = h + 11. Let i be r(-23). Let t be (14/6)/(-7) + (-1)/i. Which is greater: t or s?
t
Let x(w) = -4*w - 47. Suppose 6*s = -4*s - 120. Let g be x(s). Let v = -1/25 + 6/25. Which is greater: v or g?
g
Let s be (-1446)/(((-3)/(-10))/((-46)/(-230))). Which is smaller: s or -965?
-965
Suppose 5*i - 21 + 6 = 0, i = 4*h - 149. Let o(l) = l**2 + 81*l + 924. Let m be o(-13). Which is bigger: h or m?
m
Let t = 1 - 1. Let k be 12*(-6)/108 - (-65)/3. Let i be (-2)/k*7623/(-1188). Which is greater: i or t?
i
Let g = 236/3 + -81. Let o(x) = -2*x**3 + 15*x**2 - 8*x + 4. Suppose w + 0 = -2*j - 1, 34 = 2*w - 5*j. Let s be o(w). Which is greater: s or g?
g
Let x = -20/1659 - -3369869/36498. Let s = -277/3 + x. Which is smaller: 7 or s?
s
Let q be 50/20*(-21616)/40. Is q greater than -1348?
False
Let n = -294 - -296. Suppose -4*y = n*j - 10, 0*y + j = 5*y - 9. Which is smaller: 21/5 or y?
y
Let c(x) = -x**3 + 4*x**2 + 10*x + 27. Let s be c(6). Let q = 3 + 3. Which is bigger: q or s?
s
Let f(r) = 2*r + 19. Let a be f(-11). Let k be a/4*2*(-2)/(-3). Let i be ((2 - k) + 2)/(-1). Is i equal to -7?
False
Let x be (-76)/18 + 6/27. Let a be (-2 - x)*(-1)/(-2). Let j = 3773/48100 + 3/1924. Is j smaller than a?
True
Let o(n) = n - 20. Let u be o(25). Let x be (-21 + 25)/(u/(-32)). Is x greater than or equal to -27?
True
Let r be 3/((-81)/(-26)) - 1. Let k(g) = g**3 + 7*g**2 + 3*g - 17. Let z be k(-5). Let f be (-7)/(378/(-48)) - (-2)/z. Which is smaller: f or r?
r
Let c = 159787/2 + -79893. Let p = -76 + 379/5. Is p != c?
True
Let g be 9/7 - (-6)/(-21). Let v = 52532/79 - 665. Does v = g?
False
Let r = -362 - -359. Let q be r/(-9)*-4*18/1544. Which is greater: q or -1?
q
Let a(i) = i**3 + 7*i**2 + 6*i - 4. Let n be a(-6). Let m be (-2)/4*(n + 2). Let q be (2/15)/((-2)/5 + 10560/(-2475)). Which is bigger: m or q?
m
Let t(d) = -3*d**3 - 222*d**2 + 3*d + 114. Let z be t(-74). Which is smaller: z or -87?
z
Let x = 177 + -143.4. Let b = x + -33.53. Which is bigger: -5/4 or b?
b
Let d = -8566 + 738. Is -7828 > d?
False
Let m be 87*((-1725)/153 + 6) - (-6)/(-51). Is -4 greater than m?
True
Suppose -v + 3*v + 4*i = 596, 554 = 2*v - 3*i. Is 281 >= v?
False
Suppose 5*i - 4*i = 5*x + 22, 0 = 3*i + 3*x - 12. Is i smaller than -1749?
False
Let z = -32947 + 32953. Is z < -75?
False
Let f = 279 - 261. Let m = f - 18.1. Which is smaller: 2 or m?
m
Suppose 3*u - 9 = 5*h, 2*h - 3*u + 209 = 200. Is -2/3149 at most h?
True
Suppose -24664 = -9*w + 5