 t or -114?
-114
Suppose 135*i - 132*i - 969 = 0. Let v = i + -57. Is v greater than 266?
False
Suppose -30 = -3*i + 3*m, 16 = i - 5*m - 14. Let o be (6 - 6)/(8/4). Suppose -u + 4 = o, -2*p + i*u = 2*u + 6. Which is smaller: p or -2?
-2
Suppose 2*p - 24 = -5*b, 2*p + 11 = -4*b + 29. Suppose -2*s - b = 4*u, s + 12*u - 12 = 7*u. Is s less than or equal to -13?
True
Let h = 6534817/550 - 279886/25. Let q = h - 686. Let m be ((-3)/(-2))/(9/4). Which is smaller: q or m?
q
Let t(y) = -y**2 + 10*y - 12. Let a be t(8). Suppose 5*c = 4*h + 57, -3*c = -a*h - 0*h - 31. Let g = -31 + c. Is g less than -18?
False
Let o be (-14)/84 + 3 + 454/(-12). Let s(x) be the first derivative of -11*x**3 + x**2 + 2*x + 8. Let g be s(-1). Which is bigger: o or g?
g
Let d be (2492/(-98) - -25) + (-48)/(-14). Which is smaller: d or -3/4232?
-3/4232
Let p = -5932 - -5928. Which is bigger: p or 62?
62
Let s(t) = 63*t**2 + 313*t + 6. Let x be s(-5). Let u = 28 - 13. Which is smaller: x or u?
u
Let u be ((-176)/(-120))/((-34)/51) - -5. Is u < 196?
True
Let i = -1.168 + -0.832. Is i smaller than -256/41?
False
Let j = -2 - -4. Suppose -6*v - 40 = -11*v. Suppose -v*f + 10*f = 0. Is f equal to j?
False
Let q be 16512/288 - (-1)/6. Is q greater than 57?
True
Let s(f) = -f**2 + 13*f - 56. Let m be s(4). Let y be ((-248)/m)/((-2)/5). Do y and -35 have the same value?
False
Let g = -87265361/1588 - -54953. Which is smaller: g or -1?
-1
Suppose 3*u + 595 = -14*u. Let r = -1595 - -1558. Which is smaller: u or r?
r
Let v be 5/25 - 56/(-21)*(-276)/80. Suppose 4*h - 4 = -2*k, 5*k - 10 + 45 = 5*h. Is v > h?
False
Let t = 1982 + -1946. Is 61 > t?
True
Let d = 17814.467 + -17822. Let s = d + 7.66. Is -0.1 less than s?
True
Let d(n) = -2*n**2 - 81*n + 31. Suppose 3*i + 160 = 4*c + 45, 0 = -3*c - 6. Let w be d(i). Let z = 17365/6 - 2905. Which is greater: w or z?
w
Let i be 2595/(-1557)*(-3)/20. Which is greater: -32/25 or i?
i
Let d(t) = t**3 - 14*t**2 + 43*t - 31. Let a be d(10). Which is smaller: -2/7277 or a?
a
Suppose -g - 1 = 482*c - 483*c, 5*g = -3*c + 35. Is c less than or equal to -232/37?
False
Let d be ((-1)/(-15))/((-51940)/30870). Is d > 0?
False
Let q = -0.5885 + 328.5885. Is q at most as big as -3?
False
Suppose 2*k + 9 = 9*k + 51. Which is greater: -541 or k?
k
Let v = 115975/23 + -5079. Is v bigger than -2/7?
False
Let v = 4727/144 - 287/16. Let z = 130/9 - v. Let y = -3 - -4. Is y at most z?
False
Let j = 178 - 308. Let t = j - -127.35. Let l = t - -0.15. Which is bigger: -0.1 or l?
-0.1
Suppose -2*l + 14 = 4*f, 0 = -l + 3*f - f - 1. Let g = l + -18. Let w be (48/84)/(-5 - (-3645)/735). Is g less than w?
True
Let h = -4/69 + 6257/111504. Which is bigger: 0 or h?
0
Suppose 3*b - 21 = 0, -5*j + 11*b = 7*b - 112. Let p = -214 - -333. Let v = p - j. Which is smaller: v or 90?
90
Let y be 3 + (-3*5)/5. Suppose w + 74 - 19 = y. Let c = w - -117/2. Which is bigger: 4 or c?
4
Suppose 391 = k + 396, -2*g + 67 = 5*k. Are 24 and g equal?
False
Let b = 118 + -116. Suppose -v + 5*c = 17, -c = 4*v + 7 - b. Which is greater: 16 or v?
16
Let z be (1205/75 + -16)*10. Is z less than -13?
False
Let b = 6349 + -3471. Are 2877 and b equal?
False
Let o = -0.7046 + 2754.7046. Does o = 0.1?
False
Suppose t - 2*p = -349, 0 = -t - 8*p + 152 - 521. Which is smaller: 0 or t?
t
Let p = 143/20 + -47/5. Let t = p + 3/4. Let l be (-10)/6*(1360/425 + -3). Is t < l?
True
Let d = -1264046/61427 + 391/19. Is -1 at most d?
True
Let p = -4.48 - 141.52. Let s = p + 153. Let k = 3 - 5. Which is greater: k or s?
s
Let q = -830 - -835.71. Let d = q + 1.39. Is d at least -2?
True
Let x = 11.3 - -11.7. Let t = 23.29 - x. Let y = -1.5 - -0.5. Are y and t unequal?
True
Let s(u) = -u**3 - 2*u**2 + 5*u + 19. Let l be s(-6). Let f = l + -131. Which is bigger: 17/9 or f?
f
Let w(y) = y**3 + 2*y**2 - 7*y - 8. Let t be w(-4). Let o = 9 + t. Let l = -366 - -379. Which is bigger: l or o?
l
Let v be 96/64*(-1180)/(-255). Is v equal to 8?
False
Let m = -3248/11 - -81211/275. Which is smaller: m or -22.9?
-22.9
Let p(j) = -2 - 6*j**2 - 10*j**2 - 78*j**3 - 7*j - 2*j - 74*j**3 + 150*j**3. Let x be p(-7). Which is greater: x or -4?
-4
Suppose -3 = 2*r - f + 23, 0 = -f - 4. Let p(c) = -22*c - 36. Let v be p(-2). Let z(u) = u**3 - 8*u**2 - 14. Let d be z(v). Which is smaller: d or r?
r
Let k = 46.52 + -46.32. Is 1069 != k?
True
Suppose 94*h + 82*h = 6160. Does h = -27?
False
Let d = 30.4 - 34.4. Is 22/3 smaller than d?
False
Let x = 30.3 - -344. Let b = x + -374. Which is smaller: b or 49?
b
Let c = 3.1 + -3. Let g = -532 - -750. Let o = -207 + g. Which is smaller: c or o?
c
Let l(i) = -73*i - 1873. Let m be l(-28). Let o = 34.9 + -35. Is o not equal to m?
True
Let p = 16171 + -16170. Is -14/957 smaller than p?
True
Let r be ((-4)/(-6) + -1)*-3. Let o(h) = h**3 - 6*h**2 + 10*h - 6. Let u be o(4). Let p be (u/10)/((-32)/(-10)). Are p and r non-equal?
True
Let p(f) = -2*f**2 - 13*f + 3. Let u be p(-6). Let d(b) = -b**2 + 8*b. Let o be d(u). Let s be (57/o - -7)/((-1)/3). Which is bigger: s or 3?
3
Let n(m) = -7*m - 44. Let z be n(-7). Suppose -z*l - 4*y - 110 = 0, 11 = l + 2*y + 39. Which is smaller: l or -15?
l
Let j = 5732/37 - 2450820/15799. Let d = 3/14 + j. Is 0 <= d?
True
Let m be 93/(-31)*534/9. Is 2/13 smaller than m?
False
Let j(g) be the first derivative of -g**3/3 - 9*g**2/2 - 4*g + 3. Suppose 15*f - 84 = -234. Let c be j(f). Which is smaller: c or -15?
-15
Let z(y) = y**2 + 6*y - 12. Let s be z(-8). Suppose 4*g - s*t + 4 = 0, -4*g + 2*t + 16 = 3*t. Suppose 16 = -2*q + 4*i, 3*q - 5*i + 12 = -g*i. Does 0.4 = q?
False
Let s = -118 + 941/8. Let q = -300.211 + 300. Let u = 0.011 + q. Which is greater: s or u?
u
Suppose -4*k + 35 = 3*c - 3*k, -3*k + 53 = 5*c. Let z = -8 + c. Let u be (-8)/(-40) + 19/z. Is 27/7 less than u?
True
Let y = 24.85 - 26.2. Let s = y + 1.35. Which is smaller: s or 82?
s
Let m(b) = -8*b - 15. Let x be m(-3). Let j be (2 + 24/(-10))*(x - 309). Suppose 4*n + j = -11*n. Do -12 and n have the same value?
False
Let c be (-2)/(-6)*((-16216)/(-72999) + 398/(-1791)). Do c and 0 have the same value?
False
Suppose 0 = o + 2*o - 4*p + 333, -2*p + 327 = -3*o. Let s = -0.1955 + -0.0045. Is s at most o?
False
Suppose -22*c + 7*c = -10710. Suppose 0 = 2*a - 9*a + c. Which is smaller: a or 101?
101
Suppose 0 = 85*r + 84*r + 24987 + 5095. Is -177 at most as big as r?
False
Let l(s) = -2*s**2 + 4*s + 5. Let w be l(-1). Let r be (-5)/(-25) + (4/20)/w. Is -2/9 >= r?
False
Let b = -13841.9 + 13842. Is -4.67 < b?
True
Let j(v) = -v**2 + 4*v - 3. Let r be j(4). Let s be ((-1)/8)/(r/(-6)). Let z = -125.128 - -92.128. Are s and z non-equal?
True
Let f be (51 - 51) + ((-3499022)/(-19))/1. Let w = f - 184219. Let s = 60 + w. Which is greater: 0 or s?
s
Let r = 662560 + -662550. Let w = -0.06 + -0.54. Is r <= w?
False
Let y be (5/((-1340)/(-6)))/(31/3968). Which is smaller: y or 4?
y
Let z = -68.3 + -13.7. Let t = z + 81.53. Let a = 0.47 + t. Is a at least 0.03?
False
Suppose -671*k + j - 34 = -667*k, -j + 4 = -k. Which is smaller: k or -165/19?
k
Let j = -55 - -76. Suppose j = 20*r + r. Which is smaller: r or -5?
-5
Let j = -2 + 8. Suppose -4*x - 178*n = -176*n - 44, 2*x = -3*n + 34. Which is smaller: j or x?
j
Let x be ((-2394)/285)/((-8)/10). Let n = -0.2 + 1.3. Let r = n - 1.2. Which is greater: x or r?
x
Let y = -3.7106 - 3.2894. Is -367 bigger than y?
False
Suppose 46605*d = 46614*d. Which is greater: -33/134 or d?
d
Let r(j) = j**3 - 2*j**2 - 3*j + 1. Let m be r(3). Suppose -4*z - 7 - 1 = 0. Let x be (m + 127/129 + z)/(-1). Which is smaller: x or 1?
x
Let k be 25 - 30 - (0 + -4). Is k smaller than 2/53203?
True
Let k = 66 + -63. Suppose -3*j - 2*j - k*x + 141 = 0, -j - 3*x = -21. Let u be 1/j*6 - (-28)/10. Is 7 at least u?
True
Let y = -296.38 - -295. Let s = y + -2.62. Is 1 smaller than s?
False
Suppose 5*r + 862 = 4*n, -5*r + 2*n = 4*n + 844. Let g = r + 100. Which is bigger: g or -69?
-69
Let u(d) = -3*d**2 + 73*d - 25. Let f be u(16). Suppose l - f = -4*a, 8 = -15*a + 13*a. Which is bigger: -1 or l?
l
Let l be 8/30*(1454/140 + -1). Let w = -9481/850 - -333/34. Let o = w + l. Is o at most as big as 1?
False
Let p be 1/(-3) - (-58)/(-6). Suppose q = z, 4*z - q - 15 = -3. Suppose 2*s + m + 19 = 0, -7*s + 5*s + z*m - 4 = 0