v). Which is smaller: c or -117?
-117
Suppose -5*l - s = 0, 3*s = 2*l - 4*l. Suppose 0 = -l*q + 14*q - 4018. Which is smaller: 288 or q?
q
Let t = 45762 - 45764. Is 2/129 > t?
True
Let l(a) = 2*a**3 + 3*a**2 + 3*a. Suppose -5*h - 21 = -2*r, 3*h + 18 = 3*r - 0*h. Let i be l(r). Let s = 90 - i. Is -2/219 at most as big as s?
True
Let c be -4 + 51/12 - 14/(-488). Let b = -1125/3599 + c. Which is greater: b or 0?
0
Suppose 5*q + 45 = 6*h - h, 0 = -5*h + 4*q + 45. Let o be 1*(4*h/12 - 2). Is o at least as big as 2/17?
True
Let h = -1310 + 1354. Let v(i) = 14*i + 5. Let n be v(-6). Let z = h + n. Is z greater than -35?
False
Let y = 2902060/38523 - -2/12841. Which is bigger: 75 or y?
y
Let a = -1516 + 1323.2. Let u = -193 - a. Which is smaller: 5 or u?
u
Let p(q) = -5*q**3 + 75*q + 226. Let i be p(-3). Are 132 and i equal?
False
Let m(p) = 27*p - 190. Let u be (11*(-12)/48)/(1/(-4)). Let y be m(u). Which is smaller: 109 or y?
y
Let n be (165088/(-804))/((-4)/6). Suppose y = -2*d + 298, 4*y + d = 3*y + 303. Do y and n have the same value?
True
Let j be (-12)/(-504)*(0 + 1/(-1)). Let x(b) be the third derivative of b**6/120 - b**5/60 + b**4/8 - b**3/3 - 10*b**2. Let u be x(1). Which is greater: j or u?
u
Let d = -247.244 - -0.244. Let f = 247.1 + d. Which is smaller: 298 or f?
f
Let m = -727 - -732. Let a be m/((-10)/18) + 9. Let c = 0.05 + -0.047. Is c > a?
True
Let r(b) = -79*b + 520. Let g be r(9). Is -11 at least as big as g?
True
Let t = 264927 - 264877. Let a = 2766805/54369 - 3/6041. Is t at least as big as a?
False
Let u = -20 - -75. Let m be 2/u*5/(-2 - -1). Which is greater: m or -1/32?
-1/32
Let f = 44831.14 - 45246. Let t = -409 - f. Let d = -0.14 - t. Is 1/3 less than d?
False
Let f = 1832 - 1829. Which is smaller: -224 or f?
-224
Let b = 1040133/97 + -10723. Are 4 and b unequal?
True
Let v be ((-33)/1)/(2/4). Let i = v - -994/15. Let m = -3109 + 3109.1. Which is greater: i or m?
i
Let d = 3226 - 3227. Which is smaller: -2/3729 or d?
d
Let f(b) = 2*b**2 - 173*b + 49. Let q be f(85). Is -218 <= q?
True
Suppose 33 = -2*v + 3*s + 168, 0 = 5*v - s - 305. Let k = v - 38. Let l = -23 + k. Which is bigger: 1/4 or l?
1/4
Let a(z) = z**3 - 18*z**2 - 2*z + 29. Let b be a(-16). Let l = 8219495/951 + b. Which is smaller: l or -1?
-1
Let u = 33.95951 - -0.05049. Let o = u + -34. Which is bigger: o or -19?
o
Suppose p + 7 = 10. Suppose -i - 2*k + 6*k - 58 = 0, -p*i = 2*k + 104. Which is smaller: -33 or i?
i
Let h be (544/20)/(4/10) - 1. Suppose -h*g + 10 = -66*g. Let i be 2/6 - ((-740)/3)/g. Is 25 equal to i?
True
Let w = -20399 - -20552. Is 56 less than w?
True
Let m(q) = -2*q**3 + 2*q**2 - 15*q - 12. Let p be m(-4). Let t = -183 + p. Is t at least as big as 25?
True
Let o(r) = -r**3 + 28*r**2 - 2*r + 57. Let f be o(28). Let m be (-5 + 5)/((f - 4) + 5). Is m bigger than -2/937?
True
Let f = -4007 - -35819/9. Let r = f + 317/18. Is 0 less than r?
False
Suppose -13 = 2728*o - 2741*o. Is o > 9/1712?
True
Suppose 308 + 218 = 61*h + 160. Which is greater: h or -1/676?
h
Let v(i) = -2*i**3 - 1. Let q(j) = -j**2 - j + 3. Let o be q(-2). Let r = 0 - o. Let k be v(r). Is 1/33 equal to k?
False
Let z = 716 - 708. Which is smaller: z or 26?
z
Let f(q) = 31*q - 3281. Let l be f(102). Is l <= -172?
False
Let j(z) = z**3 + 11*z**2 - 15*z - 34. Let d be j(-12). Suppose -d*b - 6 = 0, -7*b = y - 8*b - 6. Which is bigger: y or 11/3?
11/3
Let t = 124 - 112. Suppose 0 = t*v + 18 - 102. Suppose -g = -v*g. Which is greater: g or -3?
g
Suppose 11*w - 416 = -86. Suppose -9*g - 15 = w. Is g smaller than -1/7?
True
Let d = 0.1 + -0.3. Suppose -125*x = 3*c - 120*x + 57, 3*c - 4*x = -30. Is d at least as big as c?
True
Let c = -814490035/33636 - 33/11212. Let f = 24144 + c. Let n = -285/4 - f. Which is bigger: n or 1?
1
Suppose 3*u - 219 = -5*w, -w - 33 = -2*w + 3*u. Let k = -41 + w. Let v be 2/6*k*-1. Which is smaller: v or -1/2?
-1/2
Let v = 22125 + -22187. Which is bigger: v or -1040/17?
-1040/17
Let g = 88861/6085 + -4/1217. Let s = 15 - g. Which is smaller: s or -66?
-66
Let j = 26 + -51/2. Let h = 3339 + -3339.187. Is j <= h?
False
Suppose -350*b + 341*b + 576 = 0. Suppose -64 = 3*v - 4*y, -2*v + 4*y = -16 + b. Is v less than or equal to 8?
True
Let m be ((-3)/12)/(-3 - 665/(-56)). Let z be (((-12)/45)/(-4))/((-2)/6). Is m at most z?
False
Let y(s) = -s**3 + 20*s**2 + 25*s - 92. Let h be y(21). Let z be (2/(-5))/(h/880). Which is bigger: 0 or z?
z
Let f = -551 - -508.9. Let d = f + 39. Let b = 328/845 + 2/169. Is d less than or equal to b?
True
Suppose 5*k - 2581 = -r + 13542, -k + 3 = 0. Which is bigger: r or 16107?
r
Let t = 38839 - 24349. Which is greater: 14491 or t?
14491
Let h be (-18 + (-1780)/(-100))*-1332. Is 265 at least as big as h?
False
Let r = -12 + 18. Let j(l) = -4*l + 2. Let m be j(r). Let p = -2251/76 + 140/19. Which is bigger: m or p?
m
Let k be ((-3198)/12)/(-41) - 3/1*2. Which is bigger: k or 67/2?
67/2
Let y(b) = b**3 + 14*b**2 + 35*b + 286. Let w be y(-13). Is w equal to -2/46255?
False
Let u be (-462)/(-66) + (7/28 - (-86)/(-10)). Let l(t) = -t**2 - 2*t - 1. Let f be l(-2). Is f at most u?
False
Let l = 1166.374 - 1167. Let p = -3.026 - -3. Let v = p - l. Is -1 >= v?
False
Let b = 10 - 10.11. Let u(d) = d**3 + 7*d**2 + 6*d. Let t be u(-6). Which is greater: b or t?
t
Suppose 0 = 34*n - 1236 - 22360. Which is smaller: 695 or n?
n
Let j(x) = -x**3 - 4*x**2 + 9*x + 8. Let o be j(-5). Let v be (-10)/o*15/25. Is -12.4 at most as big as v?
True
Let k be 2200/(-60)*12/10. Is k >= -41?
False
Let f = 4450573/302 - 14737. Which is smaller: 26 or f?
f
Let t = -0.1965 - 0.0035. Is 52 at most as big as t?
False
Let r = -2.533 - -62.533. Which is smaller: r or 27?
27
Let u = 0.37 + 11.63. Let o = -13 + u. Suppose 0 = 40*h - 38*h + 22. Which is bigger: h or o?
o
Suppose 0 = 3*l + 32 - 41. Let c be (6 + -1)*(-2)/(-5). Suppose 3*m = c*h - 44, 2*h - 70 = -2*h - l*m. Is 18 less than h?
True
Let g(p) = -13*p + 72. Let n be g(-15). Let s = n - 264. Is 72/17 less than s?
False
Let m be 3 - ((-4)/(-11) + 332/(-913)). Which is greater: 235/78 or m?
235/78
Let m(o) = o**2 + 1415*o + 14001. Let u be m(-10). Let t = -0.71 - -0.01. Let g = t + -0.3. Which is smaller: g or u?
u
Let p be (-16)/(-32) + 14/4. Suppose p*q = -4*g - 104, 29 - 137 = 4*g + 5*q. Which is smaller: g or -10?
g
Let s(h) = 257*h - 76. Let k be s(2). Let i = 437 - k. Which is greater: i or -9/68?
-9/68
Let h(o) = -6*o**3 - 2*o**2 + o + 2. Let m be h(-1). Let w(d) = -2 - 1 - 7*d**2 + d**3 + 11*d + m - 6*d. Let x be w(6). Is x less than or equal to -3?
True
Let k = -1024.4 + -378.6. Which is bigger: k or 2/7?
2/7
Let w = -805 + 8256. Which is smaller: w or 7453?
w
Let w(q) = -q**3 - 83*q**2 + 99*q + 1075. Let v be w(-82). Which is smaller: -13768 or v?
-13768
Let q be 60/21*1*35/10. Suppose 0 = 3*p - r + 6, p - q = 6*p - 5*r. Let u be (p + (-17)/(-10))/(9/12). Do u and 0 have the same value?
False
Let y = 7/479 - -276/13891. Which is smaller: y or -12?
-12
Let d be (3*14/(-6) + -5)/(-82). Let p(x) = -x - 2. Let h be p(-3). Let o be (-5 - -5)/(-3*h/(-3)). Do o and d have different values?
True
Suppose -3 = p - 4. Let q be (-1 - -3)*p/(-8). Let f = -0.087121 - -0.187121. Is q bigger than f?
False
Let v be (-21 + (-14 - -29))/1550. Is -1 at most as big as v?
True
Let a(n) = -67*n + 1028. Let r be a(16). Which is smaller: -20 or r?
r
Let y be (-2 + 1)*(4 + (-22 - 0)). Suppose 5*s + y*s = 0. Is s at least as big as 5/53?
False
Let v(z) = z**3 - 24*z**2 - 24*z - 32. Suppose 82*h = 83*h - 25. Let n be v(h). Let s be 2/1 - 70/n. Is s smaller than 59/5?
False
Let a be 1*15/10 - (-16005)/(-2210). Let c = a - -67/13. Let g be 1*-2*2/4. Which is bigger: g or c?
c
Suppose 69*c = 167*c. Let j be (-1)/2*2/(-131). Which is greater: c or j?
j
Let v(y) = -612*y - 3672. Let f be v(-6). Which is smaller: -1/3294 or f?
-1/3294
Let f(y) = 8*y**2 + y. Let p be f(1). Let n = -6946/9 + 48628/63. Which is bigger: p or n?
p
Let b = -22018 + 22011. Which is greater: b or -445?
b
Let a = 659 + -669. Let u be a/(100/(-95)) - 9. Do u and 1.48 have different values?
True
Let d be ((-338)/10)/((-445)/(-534) - 431/510). Is d smaller than 2874?
True
Let m(t) = -4161*t**3 + t**2 + t - 1. Let q be m(-1). Let k be (-2506)/q - (-5)/50*6. Which