Let d = -11841 + 11837. Is d less than or equal to -242?
False
Let u(f) = -2*f**2 - 93 + 2*f**2 - f**2 - 32*f + 65*f. Let r be u(30). Is r >= -5?
True
Let p be ((-120)/180 + 4/(-3))*5908/8. Is p at least -1477?
True
Suppose 0 = -16*r + 11*r - 30. Suppose 35 = -17*p - 16. Is r > p?
False
Suppose -9*x + 696 = -2850. Suppose 14*u + y + x = 13*u, y - 1186 = 3*u. Is -395 less than u?
False
Let d = 125 - 33. Let a = 141/344 - -31/344. Is d greater than a?
True
Suppose 0 = t - 16 + 13. Let w be -3 - (2/t - 850/222). Does w = 1?
False
Let d = -3 - -15. Let a = 350.6 + -353.6. Is a at least as big as d?
False
Let i = 1597 + -2150. Which is smaller: -3/7 or i?
i
Let r be (-4)/246*(-4011)/(-1528). Which is greater: r or 1?
1
Let h be 24/(-9) - -3 - (-8)/12. Suppose -4*u = -2*o + 22, 86*o - 81*o - 48 = 3*u. Which is smaller: o or h?
h
Let o be 2*25/(-35)*14/(-2). Let s be (-2)/o - 2/(-3260)*346. Let r be (-2)/(-4)*(-2 + 2). Which is smaller: s or r?
r
Suppose -61*n = 10*n + 48564. Is n at most as big as -682?
True
Suppose 4*y - 8*y = -56. Suppose 4*s - 12 = 5*j + 1, j = -1. Let u be (1 - 2)*s*y/(-4). Which is greater: 2 or u?
u
Let t(k) = -k**3 - 4*k**2 - k + 3. Let i be t(-4). Let n be i/(-2)*48/32. Suppose 149*d - 54 = 158*d. Is d at least as big as n?
False
Let u = -2297/4 + 598. Let z(i) = i + 16. Let p be z(7). Are u and p non-equal?
True
Suppose 2663*t - 2657*t = 0. Let b be (-2)/8*-26*(-57)/(-38). Is b < t?
False
Let q(s) = 9*s**2 + 16*s + 58. Let p be q(-4). Suppose -5*r + p = -27. Which is smaller: -1 or r?
-1
Let n = -38.4 + -8.6. Let u = -2582.4 - -2583. Which is smaller: n or u?
n
Let u = 63 + -60. Suppose 0 = 3*w + 9, -2*z + w = -u*z + 153. Suppose 0*i + 4*i = -4*t + z, 2*t + i - 78 = 0. Which is smaller: 37 or t?
37
Let j be (-1)/2*(-68 - -44). Suppose j = -369*m + 363*m. Is -6/5 less than m?
False
Let n = -62.2 + 61.2. Let a = -7.04 + 7. Is a equal to n?
False
Let g = 24 - 25. Let c be 1*(-2 + 2) + 56. Let h be (-63)/c + (1 - -1). Which is smaller: g or h?
g
Let x be (6/1)/(-3) + (-659)/1. Which is bigger: x or -660?
-660
Let t = 0 - 8. Suppose -205 + 1227 = 7*k. Suppose 30 + k = -22*o. Are t and o non-equal?
False
Let k = 104 + -101. Suppose 4*g + 4 = 4*l, -3*l + 4*l + k*g - 17 = 0. Is l != -25?
True
Suppose 15*a + 3705 = 34*a. Suppose 6*s + a = 21*s. Is s at most 8?
False
Let r(g) = g**2 - 7*g - 12. Let i be r(8). Let w be ((-649)/22)/(i/(-16)). Is w != -118?
False
Let m = -5.48 - -6.1. Let k = m + 0.08. Suppose 3*o = -0*o + 6. Which is smaller: k or o?
k
Let m = 4.9232 + -4.9132. Let g = -3.5 + -0.5. Is m at most as big as g?
False
Let p = 16204 + -16184. Which is greater: -22/13 or p?
p
Let h = 39 + 17. Suppose h + 56 = 2*p. Let a be (48/p)/(4/7). Is 4 > a?
True
Let p be 3/(-2 - 1) - 0. Let z be 4/(p/(141/6)). Let w be (-1 - 92)/(62 - 61) + 0/(-2). Is z at most as big as w?
True
Let s(z) = -z**2 + 10*z - 10. Let h be s(8). Let q(f) = f**2 - 26*f + 157. Let o be q(18). Let l be ((-104)/48)/o - 31/(-6). Which is smaller: h or l?
l
Suppose 20*i = 319 + 161. Suppose 2*f = -s - 29, -2*f + 4*s - 10 - i = 0. Do -21 and f have different values?
True
Let d(u) = -u**2 + 249*u - 5537. Let o be d(26). Is o < 259?
False
Let z be (-22)/20*(-22)/(-11) - -2. Which is smaller: -182.8 or z?
-182.8
Suppose -24*p + 196 = 121 + 99. Is p < -29/476?
True
Let o = -5914 - -1813. Which is smaller: -4102 or o?
-4102
Let f = -10383/2405 - -16/185. Suppose 22*a - 40 = 32*a. Is f >= a?
False
Let h be 2860/429*(0 - 12/10). Let v be 3 - (7392/(-309))/h. Let f be -1 - -1*0/1. Is f smaller than v?
True
Let j = -6144 - -6142. Which is bigger: 261 or j?
261
Let h(n) = -4781 - 3*n + 4781. Let f be h(0). Do 1/254 and f have different values?
True
Let t be (0 + 8/(-204))*167. Let x = -19/17 + t. Which is smaller: -7 or x?
x
Suppose s - 2369 = 24*s. Is s < -102?
True
Let a = -280 + 583. Let c = -196 + a. Is 106 greater than c?
False
Let d(v) = v**3 + 31*v**2 + 60*v + 74. Let n be d(-29). Let x(p) = p - 12. Let j be x(12). Suppose -5*r - 25 = j, o - 7*r = -2*r + 40. Which is smaller: o or n?
o
Let u be ((-12)/(-24))/((-1351)/(-6)). Let n = -9523/29722 + u. Which is greater: 0 or n?
0
Let g = 442 - 442.02. Let y be 5*4/10*1. Which is greater: g or y?
y
Let u = -31 - -34. Suppose -u*f = 4*p + 132, 0*p + 4*p - 3*f = -108. Let t = p + 31. Is t > 2/43?
True
Suppose 2 = -2*s, -2*s + 9 = z - 36. Let b = -47 + z. Suppose -3*k - 2*h - 2 = 0, -4*k - 2 = 2*h - b. Which is greater: -3/31 or k?
k
Let u(i) = -5*i**2 + 3*i + 113. Let n(s) = s**3 + s**2 + 6*s + 16. Let a be n(-2). Let r be u(a). Which is smaller: r or 111?
111
Let h be (-221)/(-7) + (-20)/35. Let u(b) = -b**3 + 32*b**2 - 32*b + 18. Let p be u(h). Let l be p/(11115/(-175)) - (-4)/(-18). Is 0 equal to l?
False
Let t be 3 - (12255/43 + 29). Let p = -2 - -2.1. Which is bigger: p or t?
p
Let s = 427 - 427. Let r be ((-5)/15)/(-59 + -2). Is r at least as big as s?
True
Let c = 505 + -166. Let h = -3089/2 + 18823/10. Let i = h - c. Are -2 and i equal?
False
Let g be (-36)/(-150)*(-25)/(-1785). Do g and 1 have the same value?
False
Let w be (758/(-50))/(28/(-140)). Which is smaller: w or -2/23?
-2/23
Suppose 2*f = 4*i + 6 - 4, 0 = 4*f + 4. Let c be i + 7 + 3 + -10. Is -1/43 >= c?
True
Let g be -8*10/(-20) + 74590/(-18647). Which is greater: g or 1?
1
Let x(o) = 2*o + 105. Let j be x(-43). Suppose -j*u = -24*u + 5. Let r be (6/5)/((-7)/(-5)). Is r at most as big as u?
True
Let w be 1/((20/36)/5). Let c = -14 + w. Let m = 2/215 + -3661/645. Is c smaller than m?
False
Suppose -s + b - 11842 = 0, 5*s + 15267 = -4*b - 43952. Does s = -11843?
True
Let d be -13 - -16 - (1 + (2 - 1)). Let f(c) = -6*c + 6. Let x be f(d). Suppose 2*q = 10 - x. Is -5 != q?
True
Suppose -3*h - 4*t + 9 = -4*h, 0 = -h - t + 1. Let o(p) = -4*p**2 + 4*p + 16. Let i be o(-6). Let n be (-32)/i*9/6. Which is smaller: n or h?
h
Let o = -498 + 502. Suppose -54 = -o*p - 5*p. Is 5 less than or equal to p?
True
Let x = 0.09206 + -1.09206. Is -21.5 greater than x?
False
Let i(t) be the third derivative of -19*t**6/30 - t**5/20 - t**4/12 + 15*t**2. Let l be i(-1). Suppose 0 = -7*h - 5 + l. Which is smaller: h or 11?
h
Let r(c) = c**3 - 6*c**2 + 33*c - 199. Let w be r(6). Is 310 <= w?
False
Suppose -27 = -10*z + z. Suppose 44*o + z = 45*o. Is o less than 1?
False
Suppose -150596 = 152*n - 29604. Is -795 not equal to n?
True
Let l be (-9 - 564/(-63))/((28/72)/7). Suppose 2*n - 3*j = 4*n - 18, -3*n = j - 13. Suppose u + 5*f + 20 = 0, -4*f - 13 = 2*u + n. Is l >= u?
False
Let s be 76/80 + (-10)/(-40) + (-8)/(-10). Which is smaller: s or 73/25?
s
Suppose 7*l + 20 = 11*l. Suppose z + l*p = -21, -3*z + 13 - 4 = -3*p. Let w be z - (-2 + 4 - 2). Which is greater: w or -42/17?
w
Let c(k) = -115*k**2 - 25*k + 22. Let v be c(-5). Is 1/3 greater than v?
True
Suppose 2*a - 3*v + 12 = -7*v, 3*v = -4*a - 4. Suppose -b - a = -4*i, 5*i - 16 = 2*b + i. Let q be (-7)/(b/8) - 50. Is q < 2/7?
True
Suppose -n = -2 + 5. Suppose 0 = -2*c + 5*o - 235, 0*o + 4*o = 2*c + 232. Let g be ((-35)/c)/((-11)/88). Which is smaller: n or g?
n
Let a = -1666105 - -53321407/32. Let q be ((-6)/4)/(1/126). Let b = q + a. Which is greater: b or 0.1?
0.1
Let f be (27/6)/(1/2). Let u = -1219 + 1240. Which is smaller: f or u?
f
Let d(t) = -1617*t - 14557. Let u be d(-9). Is u less than or equal to -151/34?
False
Let g = -0.21 - -0.44. Let c = g - 0.3. Let f = -64.7 - -65. Is f bigger than c?
True
Suppose -639 = -4*i + 5*a, 765*i - 762*i + 2*a = 508. Which is smaller: 190 or i?
i
Suppose 0 = -8*v + 32*v + 2055 + 27537. Which is smaller: v or -1232?
v
Let z = 61 - 58. Suppose -z*g = -2*y + 12, 2*y + 5 - 13 = g. Let c be y + (-18)/(4/(-2)). Are 12 and c non-equal?
False
Let r be (-10)/(-60) + (123845/(-43530))/17. Is r bigger than -1?
True
Suppose -6 + 1 = 5*u. Let t = 716 + -203. Let j = t + -6667/13. Is u > j?
False
Suppose -12*z + 1357 + 299 = 0. Suppose 42 = -9*n - z. Suppose 2*s - 3*q + 13 = -25, 0 = 4*s - 2*q + 76. Which is smaller: s or n?
n
Suppose 2*d = d - 10. Let j be (4/(-6))/(d/637). Let h = j - 134/3. Which is bigger: h or -3?
h
Let o be (40610/(-20))/(5715/3). Let q = o - 1/1270. Which is smaller: -1 or q?
q
Let o(j) = j**3 - 22*j**2 + 30*j - 21. Let q be o(20). Are 2/9 and q unequal?
True
Let j(v) = 12*