t m = -396961115804/4305 + 92209318. Let s be (102/(-21))/((-75)/5). Let i = s + m. Is 0 > i?
True
Let r(o) = o**3 + o**2 - 8. Let n be r(0). Suppose -80*m = 83*m + 815. Is m > n?
True
Let l = -14 + 8. Let w = 0 - -6. Suppose 4*i + 4*h = -22 - w, 5*h + 23 = -3*i. Is l at most i?
True
Let a be -5 - (-4571)/(-56)*-3. Let s = -240 + a. Which is greater: s or 1?
1
Let g(d) = 6*d**2 - 2705*d - 8130. Let p be g(-3). Suppose 0 = 2*r - 33 - 49. Is p <= r?
True
Let x be ((-35)/(-100))/(110/18436) - (-3)/(-6). Which is bigger: x or 59?
59
Suppose 132 = -4*g - 14*i, 5*g + 4*i = 7*g. Which is greater: g or -3?
-3
Let s = 443/96 + -1349267/292704. Is 0 > s?
False
Let w = -989 + 986. Let g = -0.03 - -4.03. Let f = g - 3.7. Is f equal to w?
False
Let h = 19.2 - -4350.8. Is h less than or equal to -1/4?
False
Suppose -4*q + 6*q + 3*d + 104 = 0, -3*q - 134 = -d. Which is smaller: q or -870/19?
q
Let q = -143 - -186. Let t be (-24)/(-11)*q/(-172). Let w(o) = o**3 + 7*o**2 + 6*o - 1. Let i be w(-6). Which is smaller: t or i?
i
Let b = -1781 + 1173. Let o = 607 + b. Is o at most as big as 4.5?
True
Let x be 76/22 + (-2052)/(-132) + -15. Let r = 0 - 0.4. Let y = 1.4 + r. Are x and y unequal?
True
Let u(h) = h**3 - 10*h**2 + 9*h. Let k = -35 - -44. Let z be u(k). Let m be (-24)/99 - (42/9)/7. Which is smaller: m or z?
m
Let s be (126/588 - 386/(-28)) + -28. Let v be 14 + 2*3/6. Suppose v - 3 = -r. Is r at least as big as s?
True
Let g = -10782 - -12587. Do g and -3 have different values?
True
Suppose 3*h = -453 + 516. Suppose -h*k = -13*k + 296. Is -41 less than k?
True
Suppose -15 = 3*d, 8*f + 57 = 7*f - 5*d. Which is smaller: -473/15 or f?
f
Let n = 7649 + -6830. Is 819 >= n?
True
Let m = -3715/720213 - 2/4069. Let v = -349/885 + m. Is v smaller than 140?
True
Let t(b) = -56*b. Let y be t(-1). Let x be (1 + -4)/6*y/6. Is -4 >= x?
True
Let h(x) = x**2 + 22*x - 38. Suppose -2*d = w + 29, -6 = -4*d - 18. Let j be h(w). Are 1/2 and j equal?
False
Let m = -66 - -57. Suppose 5*i + 25 = 0, -4*u + 5*i + 40 = -u. Let s be ((100/(-3))/u + 4)*3. Which is bigger: s or m?
s
Let v be 1/(-3)*(-2 - 967). Let n = v - 402. Which is greater: n or -2?
-2
Let j = -7819/69 - -2660/23. Suppose 0 = -0*q + 4*q. Let b = 2 + q. Which is smaller: j or b?
b
Let i = 37.473 - 168.473. Let h = 2.1 - 2. Which is greater: h or i?
h
Let y(t) = 2*t**3 - 4*t**2 + 3*t. Suppose -3*s + 139 = -5*l, -l + 3*s - 20 - 3 = 0. Let k = 31 + l. Let x be y(k). Does x = 6?
True
Let v = -6532 + 5375. Is -1158 at most as big as v?
True
Suppose 3011 = 11*w - 4304. Suppose 3*n - w - 274 = 0. Which is smaller: 312 or n?
312
Let j = 2507 - 2787. Which is smaller: -279 or j?
j
Let h = -2161 - -10748/5. Let o be (-7 + -15)/(4/3*42/28). Which is smaller: o or h?
h
Let b = -855 + 853. Let f = 11.98 + -12. Let m = 15.02 + f. Is m less than b?
False
Let g(p) = -1 - 8*p + 12*p**2 - 13*p**2 + 2. Let h be (0 + (-6)/4)*16/6. Let u be g(h). Which is smaller: -1/2 or u?
-1/2
Let b(v) = -443*v**2 + 133*v - 421. Let i be b(3). Which is greater: -4011 or i?
i
Suppose 45*s + 216*s = 38*s - 275851. Which is smaller: s or -1238?
-1238
Let s be (-1)/(-2 - (5 + -8)). Are s and 2/2073 nonequal?
True
Suppose 0 = -5*m - 15, 0 = -5*v + 2*m + 3*m + 35. Suppose -2*j = -118*u + 117*u + 11, -7 = 3*u + 4*j. Let r be v - 2/((-6)/u). Which is bigger: r or 6?
6
Let n be (-87)/(6/(-14)*(-21)/(-6)*-1). Is -58 greater than n?
False
Let f(h) = h**3 + 12*h**2 + 15*h - 24. Let x be f(-12). Let k be 9 - 10 - (4 + x/9). Which is smaller: 17 or k?
17
Let g be (1122/(-10) - 1)/((-176)/110). Is g less than or equal to 71?
True
Let k be (15153/(-1011) - -6 - -9)*(-23)/(-2). Which is smaller: -1 or k?
-1
Let u be (494/57)/(574/114 + -5)*1. Is u bigger than 0?
True
Let r = 7604.95 - 7600. Which is smaller: r or -6?
-6
Let k = -325 - -62. Suppose 2489 + 1456 = -15*v. Is k != v?
False
Suppose -7*u = -33 + 19. Suppose u*o + 65 + 71 = 0. Is -2 <= o?
False
Suppose 0 = 4*o - 2*u + 74, o = 29*u - 31*u - 31. Let v be 1 + 342/o + 24/84. Is v greater than -111/8?
False
Let l = 6593 + -59338/9. Let y = 0 + -2. Is l bigger than y?
True
Suppose 2*h + 4*x + 38 = 28, -5*x - 10 = 5*h. Which is bigger: h or 1/618?
h
Let s = 1534/5 - 305. Let j(y) = -34 + 18*y - 10*y - y**2 + 30*y. Let a be j(37). Is a at least as big as s?
True
Let v = -231.5 + 228.5. Is -26 < v?
True
Let z = 267607/5 - 2929792/55. Let k = -253 + z. Do -2 and k have the same value?
False
Let g = -17389/119 + 5940/17. Let n = g + -203. Which is bigger: -479 or n?
n
Let q be ((-4416)/36)/(3/(-18)). Let r = q - 37538/51. Suppose c - 2 = -c. Is c > r?
True
Let x = 243 - 243.088. Let j = -10.088 - x. Which is bigger: j or -9?
-9
Let z = -447803043/211562 + 437378/1339. Let i = z + 1790. Suppose -5*j = -3*y - 1 + 14, -3*y + j = -5. Is i greater than y?
False
Let c be ((-231)/1540)/((-2598)/(-16)). Is c at least -1?
True
Let k = -0.66 - -79.66. Let t = k + -80. Is -109 less than t?
True
Suppose -14*v + 40 = 12. Suppose -6 = -4*t + v*a, 0 = 2*t - 0*a - 3*a - 5. Which is smaller: -5/14 or t?
-5/14
Let j = 865.8 + -944.8. Is 0.02 > j?
True
Suppose 0 = 3*b - 16 + 1, 2*b = -y + 35. Suppose -u + 7 = y. Let q be ((-2)/(-2))/(((-14)/u)/(-7)). Is q at least as big as -11?
True
Let k be (-108)/252 + (-81445)/(-190267). Do k and -1 have different values?
True
Let j = -436 - -433.1. Let z = 1.1 - -0.8. Let u = j + z. Which is smaller: -2.7 or u?
-2.7
Let n = 22.13 - 0.13. Let u be -11 - (-22)/(3872/1980). Which is smaller: n or u?
u
Let i = 2929 + -2899. Which is bigger: i or -0.1?
i
Let h be 1694/1470 + (-6)/21 - (-1)/(-5). Is -56/9 < h?
True
Let g be 7 + -12 - -4 - (15 - -212). Are g and -243 non-equal?
True
Suppose 0 = -5*a + 5*u, -a = 6*u - 2*u + 5. Which is smaller: a or 21/400?
a
Suppose -10*j + 239 + 121 = 0. Let n = j + -17. Which is smaller: n or 9?
9
Let i be 8/(-6)*(8 - 5401/(-22)). Which is greater: i or -339?
i
Suppose -o - 5*v - 347 = 0, -v = 3*o + 1523 - 538. Let s = 376 + o. Is s at most 50?
True
Let p be (18/9)/(2/6). Suppose -p*f + 9 = -3*f. Is f at most as big as 24?
True
Let m be 971/35 - 7/(770/(-44)). Is m at least as big as 8?
True
Let x = 0.62077 + -0.62077. Let a = -4.66 - -5. Is x less than a?
True
Let f = 0.04 + -5.04. Let i = -387.857 + -0.143. Let b = i - -391. Are b and f equal?
False
Let p(a) = 11*a - 59*a**2 + 26*a**2 + 32*a**2 + 21. Let d be p(12). Is d greater than or equal to 9?
True
Let h = 2574 + -2768. Is h at most as big as 22?
True
Let x(m) = -3*m**2 - 32*m + 24. Let a be x(-11). Suppose q - 4*i + 5 = 23, q - 3*i = a. Which is smaller: q or -11?
-11
Let i(g) = 8*g**3 + g**2 + 2*g + 15. Let u be i(4). Suppose 5 = 3*p + 20, 2*p - u = -3*f. Is 188 <= f?
False
Let q(a) = -35*a - 2529. Let y be q(-73). Let b(p) = 2*p - 5. Let f be b(5). Is y > f?
True
Let p(y) = 22*y**2 + 2*y - 1. Let o be p(1). Let a be 42/(-60)*15*(-24)/14. Suppose o - a = -5*i. Which is smaller: -4/3 or i?
-4/3
Let n(o) = -2*o**3 + 18*o**2 - 11*o - 19. Let i be n(7). Suppose 0 = -a - 3*h - 137, -5*a - 5*h - i = 535. Which is smaller: a or -123?
-123
Suppose -27*w + 26*w = -18. Suppose 5*n + 26 - 106 = 0. Let s be n + 1 + -3 - -2. Which is smaller: w or s?
s
Let g(r) = 4*r + 14. Let z be g(6). Suppose 0 = -5*t + 4*b - z, t + 0*b + 4 = -b. Let y be (-10)/(-165)*9/t. Which is smaller: y or 0?
y
Suppose -5*t + 2*d = 24, 5*t + 4*d = 2*d - 36. Let k = 5 + t. Let g = -11.41 + 0.41. Which is smaller: g or k?
g
Let y = 320 + -356. Let i(h) = -h - 93. Let u be i(y). Is -59 equal to u?
False
Let a be (-2*2/23233)/((-147)/3430*10). Is 1 <= a?
False
Suppose 2*c + 439 = -3*o, 8*o - 4*o - 5*c = -570. Is -150 > o?
False
Suppose -5*t + 19 = h, -2*t + 13 = -19*h + 14*h. Suppose 4*n - t*f = 120, -2*n - 5*f + 32 = -0*f. Is n less than 18?
False
Let b = -195 - -193. Let y be b/(-7) - (-2 + 120/42). Which is smaller: y or 2?
y
Let s = 815/3 + -814/3. Which is bigger: s or -1.993?
s
Suppose -2*s - 196 = 5*x, -3*x - 192 = 16*s - 14*s. Let k = s + 94. Is -1/74 less than or equal to k?
True
Suppose -61*g - 2 = -62*g. Let y be g/(-2)*2*(-55)/(-110). Is 132/13 greater than y?
True
Suppose 12*f + 363 = f. Let r = f - 11. Let h be (-2)/11 + (0 - 8/r). Does 4/11 = h?
False
Let l(g) = 5*g**3 + 12*g**2 + 24*g + 21. Let b(f) = 6*f**3 + 12*f**2 + 26*f + 23. 