 is greater: c or -126?
c
Let d(c) = -22*c - 83 + 71 + 4*c. Let m be d(-2). Suppose -m - 66 = -3*z. Is z at most as big as 31?
True
Let v = 7265.6 + -7262.5491. Let c = v + -0.0509. Do c and -1/39 have the same value?
False
Suppose -4*q + 63*o + 786 = 58*o, 2*q - 402 = -2*o. Which is smaller: q or 235?
q
Let l = -627113380597/170287 - -3682685. Which is bigger: l or -1?
l
Let u = -0.11976 - -0.01976. Let q = -11 - -21. Let i be 2*4/((-56)/q). Which is greater: i or u?
u
Let k = 24/13 - 3158/1781. Let x = 8318 + -8317. Which is greater: k or x?
x
Let p = -7271609/2226 - -9800/3. Which is greater: 1 or p?
1
Let a be 0 + 9 - 2 - (-2054)/(-3). Which is bigger: -678 or a?
a
Let p be (-2944)/576 + -1 + -1 + 12. Suppose 6 = 2*l - l. Which is smaller: p or l?
p
Let k = -0.016 + -2.984. Let n = -2065 + 2104.11. Let o = -39 + n. Is o greater than k?
True
Let z(b) = -10 + b**2 - 20 - 2*b**3 + 28 + 3*b. Let h be z(3). Which is smaller: -36 or h?
h
Let b be -12 + 28 + -4 + -11. Which is smaller: -2/2369 or b?
-2/2369
Let p = 3727 - 48541/13. Suppose -7*a = -4*a + 18. Is a < p?
False
Let h = 23255 - 24114. Is h at least as big as -855?
False
Let z = 1.606 - 1.506. Let k = 935 + -463. Which is smaller: k or z?
z
Let a be ((-16)/1008)/(25/(-1925)*11). Let n = 0.9 - 1. Which is smaller: a or n?
n
Suppose -2*r = 10 - 0, -2*j - 3*r = 205. Suppose 5*h - 304 - 146 = 5*w, 0 = -2*w + 5*h - 171. Is w < j?
False
Let s be 196/56*(-348)/(-10) - 0. Which is greater: 2 or s?
s
Suppose -60*x = 1009 + 551. Is x at least -27?
True
Suppose 0 = -2*x + 3*u - 0 + 496, 5*x = 4*u + 1247. Which is greater: -7 or x?
x
Let d(i) = i**3 + 3*i**2 - 4*i + 1. Let j = -27 + 23. Let a be d(j). Let g be 2 + a/6 - 3. Is g not equal to -2?
True
Let g = 21557/14 + -1539. Suppose 0 = -45*u - 4*u + 98. Which is greater: g or u?
u
Let f be 29334/(-72)*30 + 1/(-2). Is -12224 at most f?
True
Let c = 12 - 13. Let b = 10/17 + -271/374. Let u = b - 4/11. Which is bigger: u or c?
u
Let b be ((-1182)/(-34))/(1/19). Let a be 2920/73*(2 + 111/(-6)). Let u = a + b. Which is bigger: 1 or u?
1
Let s = 30007 + -30008. Which is bigger: s or 2/1417?
2/1417
Let a = 21 + -34. Let z = 17 + a. Let n(d) = 8*d - 10. Let w be n(z). Is 21 greater than or equal to w?
False
Suppose -2*q - 6 = 2*t - 2, 0 = 4*q - t + 3. Is q at most -2/2955?
True
Let m(h) = -h**3 - 3*h**2 + 3*h + 2. Let v be m(-4). Suppose -i - 3*y - v = 0, -24 = -2*i + 3*y - 0. Let l = -6150 - -6150. Is l greater than i?
False
Suppose -1227 = -3*g + 3549. Let v be -213322*(2 + 1068/(-536)). Let t = g + v. Which is smaller: 0 or t?
0
Let b = 20 - 34. Let f(j) = -j**3 - 15*j**2 - 17*j - 3. Let i be f(b). Let a = i + -27. Is 0.1 greater than or equal to a?
False
Let l(t) = -59*t + 1400. Let v be l(19). Which is greater: 282 or v?
282
Let a(r) = 20*r - 22. Let b be a(3). Suppose -b*s + 36*s - 62 = 0. Is s < -32?
False
Let o(d) = d**3 - 2*d**2 + d - 4. Let n be o(-3). Let v = n - -34. Let a be 28/126 + (-140)/v. Is a at most 3?
False
Let k = -0.20992 - -9.92882. Let q = k + 0.0811. Which is smaller: q or -4?
-4
Let s = 7012.8 - 3832.8. Which is bigger: s or 0?
s
Let g be 25/77 - 4*(-4)/(-112). Let i = 1.59 + -0.44. Let k = -0.15 - i. Is g not equal to k?
True
Let b be 4 + (-77064)/(-38550) - ((-36)/(-9) + 2). Which is greater: b or -1?
b
Let a = -0.27 - -0.329. Let s = 1.754 - 0.813. Let b = s + a. Does b = 9/5?
False
Let b = -3464 + 4975. Is 1511 less than b?
False
Let k(t) = 2*t**2 + 25*t - 13. Suppose 8*s - 3*s + 65 = 0. Let x be k(s). Which is greater: x or -3/142?
x
Let n = -62.49 + 64. Let f = -32.49 - n. Let h = f + 36. Which is greater: 17/3 or h?
17/3
Suppose 5*a - 166 - 74 = 0. Let m be ((-76)/a)/((-4)/(-16)). Which is greater: -6 or m?
-6
Let j(w) = 3*w**2 + 16*w + 11. Let b be (84 + 3)/3 + 1. Let a = b + -35. Let h be j(a). Is -3 at most h?
True
Let h(s) be the third derivative of -s**5/60 + 5*s**4/4 + s**3 + 75*s**2. Let z be h(30). Is z != 1.1?
True
Let x be (-3)/(-6) - (-2)/(-4). Let c be (-4)/(1760/(-24))*(-280)/(-48). Is c bigger than x?
True
Let u be 2636*3/18 + (-4)/(-6). Let v = -23323/53 + u. Which is smaller: v or -1?
-1
Suppose -3652 = 112*s + 16620. Which is smaller: s or -273?
-273
Let n = 591715268/4473 - 132286. Is n != 1?
True
Suppose 3*i = 14*i + 2354. Let t = -216 - i. Are -25/11 and t equal?
False
Let l = 129 + -113. Let k = -1 - -4. Suppose 0 = -2*w + k*s + l - 51, -3*s = 3*w + 45. Do w and -15 have the same value?
False
Let n = 28 + 80. Suppose 0 = -3*z - n + 18. Let c be (-9)/(-30)*25/z. Which is greater: -6/5 or c?
c
Let t = -26656 - -186282/7. Which is smaller: t or -45?
-45
Suppose 2*y - 31*g - 10 = -29*g, -5*y + 20 = -4*g. Let w(j) be the third derivative of j**4/6 - j**3 + j**2. Let z be w(y). Which is smaller: -33/5 or z?
-33/5
Suppose 1183 = 4*o - 225. Let c = 2953 + -2954. Let b be ((-2)/(-4))/((4/o)/c). Which is smaller: -45 or b?
-45
Let y(g) = 239*g + 5750. Let a be y(-24). Are -2.58 and a nonequal?
True
Let d = 3809/33 + 96434/33. Which is smaller: 3038 or d?
d
Let w = -114 + 113.7. Let k = -0.018 - 0.212. Let b = w - k. Which is bigger: 3 or b?
3
Let z = -22.66192 - 0.02808. Let j = 22 + z. Which is smaller: j or 0.1?
j
Let w be (90/(-24) - -5)*16/4. Let o be ((w - 1) + -1 - -3)/(-2). Is o less than -15/4?
False
Let v(b) = -5*b**3 + 7*b**2 + 19*b + 20. Let a be v(-2). Which is smaller: 70 or a?
a
Let y be (-214*(-394)/1197)/((-13)/78). Let b = 1268/3 + y. Are b and -1 equal?
False
Let p = 1084.5 + -1091.5. Is p greater than -151?
True
Suppose -2*z - 15 = -37. Suppose 22*h - z = 33*h. Is 52 at most h?
False
Let h = 1/7760 + 504381/147440. Is -9 at least as big as h?
False
Suppose 0 = 395*z - 99994 - 22354 + 22808. Which is smaller: z or 249?
249
Suppose -8578 = -43*v + 1742. Suppose -30*j + v = 30*j. Which is smaller: j or -42?
-42
Let o = 4778 + -4716. Is 2/47 not equal to o?
True
Let n = -582 + 522. Let p be n/18 - 2/3. Which is greater: -14 or p?
p
Let y = -13420637/157 - -85481. Are y and -1 nonequal?
True
Suppose -21*y + 288 = -12*y. Let r(g) = 9*g - 46. Let s be r(6). Is y bigger than s?
True
Let g be (22/(-33))/(4/(-126)). Let k be g - (-15)/((-45)/24). Does k = 8?
False
Suppose -2*o - 26 + 126 = 0. Let u(c) = -14*c - 1 + 8*c + o*c. Let d be u(1). Is d at most 45?
True
Suppose -5*d + 10 = -t, 37 = d - 4*t + 35. Which is smaller: d or -1/61?
-1/61
Let b = -15879 + 24390. Is 8512 > b?
True
Suppose 7 + 3 = 5*g, 474 = 5*v + 2*g. Let o = v - 92. Suppose -2*q = -2*x, x + 4 = 3*q + o*x. Are q and 0 equal?
False
Let s = -34 - -38. Let a(k) = 2*k**2 - k**2 - 2 - s*k - 4*k + 0*k**2. Let m be a(6). Is m bigger than -14?
False
Let f be (-4)/(26/65 + (-4)/(-15)). Let r be (-2)/(-6)*3 - -13. Suppose -r = 2*l - 2. Are l and f non-equal?
False
Let f be (-22)/66 + (-219007)/15. Let d = 14689 + f. Is d at most as big as 87?
False
Let c be (42/5)/((-8)/(-20)). Suppose -156 = 4*z - 4. Let b = c + z. Which is bigger: -16 or b?
-16
Suppose -4*j + 5*v + 154 = -213, -5*j - 3*v + 431 = 0. Let p = -43 + j. Let z = 631/14 - p. Do z and 0 have the same value?
False
Suppose 16*d + 7 + 9 = 0. Let f be ((-96)/18 - -5)*(-1 + d). Is 659 not equal to f?
True
Let u be 90/(-14) - (-104)/(-182). Suppose 0 = 24*o - 29*o + 4*y - 30, 5*y = 2*o + 12. Is u >= o?
False
Let i = 3 + -3.91. Let t = -162.82 + 159.63. Let v = i + t. Is -0.2 < v?
False
Suppose -68*v = -63*v - 205. Suppose v*r + 48 = 37*r. Let k be -4*(27/r)/(-9). Is -4/3 <= k?
True
Let p be (50 - 22)/(4/18). Are p and 628/5 nonequal?
True
Suppose 54515 + 17214 - 1919 = -13*p. Is p smaller than -5371?
False
Let b = -366 - 4. Let z = b - -371.2. Which is greater: -4 or z?
z
Let a = 0.2 - 0.365. Let v = -0.118 - a. Let s = 0.147 - v. Does s = -3/4?
False
Let m be 46/10 - (-2)/5. Let h(j) = -56 - 72 - 52 + 163 + 10*j. Let s be h(2). Is m >= s?
True
Let k = 6123 - 2542. Let m = 5742 - k. Let q = m - 13001/6. Which is smaller: q or -2?
q
Let f be (-33)/198*48/(-1124). Are -1 and f nonequal?
True
Suppose -g - 5*s + 604 = 4665, -3*s = 4*g + 16193. Which is bigger: -4045 or g?
-4045
Let k = -6660 + 6659.582. Is -13 less than k?
True
Suppose 0 - 2 = 2*s. Let k = -242916 - -19676176/81. Which is smaller: s or k?
s
Let u = -22615 - -22604. Is u smaller than -591/52?
False
Let l(j) = -8*j**2 - 7*j 