u be h(-9). Is 4 bigger than u?
False
Let u = 14.964 - 0.164. Let w = 15.0196 + -0.0196. Let r = u - w. Is r not equal to 3?
True
Let h be (1*(-86)/8)/(70/1400). Is h less than or equal to -219?
False
Suppose 15*p = 20*p + 15. Let k = 0.5 - 0.5. Which is greater: p or k?
k
Let a = -2107/15 - -314/3. Let m = a + 602/15. Which is smaller: 3 or m?
3
Let z = 0 - -0.3. Let r = z - 0.2. Let i = -271 - -279. Is r equal to i?
False
Let y(u) = -u**2 - 5*u + 10. Let p be y(-5). Let i be 0/p - 14/(-12). Let w = 1 + -1. Are i and w unequal?
True
Let g be 8/20*1 + 1044/15. Let c = -63 + g. Which is greater: 3 or c?
c
Let b = -2 - 16. Let p = 30 + b. Let t = 12 - p. Which is smaller: 0.03 or t?
t
Let f = -8 + 4. Let n = -4.02 - f. Let h = 0.05 + n. Which is smaller: 1 or h?
h
Let m = -147.2 + 161. Let w = -14 + m. Let x = -0.09 - -0.19. Which is smaller: x or w?
w
Let y = -2569 + 2330. Which is greater: y or 2/17?
2/17
Suppose -11*t = -8*t + 462. Which is greater: -155 or t?
t
Let c be 4/34 - 106/34 - -16. Let k be 1*(-2 + (2 - 2)). Let q be ((-82)/c)/k - 3. Do 0 and q have different values?
True
Let i = 3.8 + -4. Let f = 17.6 + -20. Let j = -0.6 + f. Which is smaller: i or j?
j
Let y = -52 - -46. Suppose 6 - 16 = -5*n. Suppose 7 + 5 = -n*h. Is y greater than h?
False
Let p = -6/91 - 1/13. Let r = 168 - 169. Which is greater: p or r?
p
Let q = -6 + 26. Let x be q/(-9) + 32/144. Which is bigger: x or -19?
x
Suppose y - 4*f = 108, 7*y = 9*y + 2*f - 176. Is y equal to 91?
False
Let h = -14 + 22. Let w(j) = j**2 + 3*j - 1. Let p(b) = b**3 + 2*b**2 - 3*b - 4. Let n be p(-2). Let q be w(n). Which is smaller: h or q?
h
Let l = -1 - -4. Suppose 7*f = 297 - 24. Let i = f + -37. Which is bigger: i or l?
l
Let b = -68 + 139/2. Suppose 0 = -5*g + u + 29, -5*g - 4*u = -7*u - 37. Let p = g - 3. Which is smaller: b or p?
b
Let q = -17494/5 - -3538. Which is smaller: 39 or q?
39
Let h = 238 - 219. Is -2/7 less than h?
True
Let o(d) = -d**3 - 3*d**2 + 2*d + 1. Let x(m) = m**3 + 3*m**2 - 2*m. Let t(l) = 3*o(l) + 4*x(l). Let a be t(2). Is a <= 19?
True
Let j(f) = -f**3 + 36*f**2 - 40*f - 220. Let u be j(35). Which is smaller: u or -394?
u
Let w = -36671/27952 + -1/1747. Which is smaller: -2 or w?
-2
Suppose 2*g = 4*g. Let b = g - -2. Let k be (b*3/(-102))/(-1). Is k >= -1?
True
Let a be -19 - ((-3 - 2) + 4). Let w = a + 6. Which is bigger: -10 or w?
-10
Suppose 2*a = -3*a + 10. Suppose 3*b - 6*b = -12. Suppose b*y = a*y + 2. Is 2/13 greater than or equal to y?
False
Let r = 383/5 - 77. Suppose 8*x + 20 = 13*x. Suppose 0 = o + x*o. Which is smaller: o or r?
r
Suppose 4*u = -4 + 16. Let j be ((-1 + 7)*-1)/2. Let x be (2/j)/(48/36). Which is smaller: x or u?
x
Let x = -10793/235 + -135/47. Which is bigger: -50 or x?
x
Let z be (-1*2/(-6))/((-8)/(-24)). Let k be ((-7754)/2584)/1 - -3. Let p = k - -9055/14212. Is p > z?
False
Let y = -9 + 14. Suppose 2*v - f - 10 = 0, -2*v = -2*f + 6 - 20. Which is bigger: y or v?
y
Let u be (3/12)/((-2)/(-8)). Suppose 0 = 2*k - 5*c + 6 - 16, -k + 4*c + 2 = 0. Suppose 2*v = 3*t + k, -3*v + 16 = -5*t - 1. Which is smaller: t or u?
t
Suppose -50 = -18*u - 14. Is u not equal to -6?
True
Let v(m) = -m - 8. Let s be v(-12). Suppose -s*c = 93 - 121. Let n be -1*1/2*-14. Is n <= c?
True
Suppose -4*d + 465 = -5*g, d = -3*d. Which is smaller: g or -95?
-95
Let s = 21 - 64. Let d be (24/(-96))/(s/(-2)). Does d = 1?
False
Let v = 519 - 895. Is -377 less than or equal to v?
True
Let c = -115 - -115.1. Let x(n) = -17*n + 1. Let h be x(1). Is c at most h?
False
Let m = -4.2 + 0.2. Let f = -15.2 - -13.2. Is f at most as big as m?
False
Suppose -4*g + 9*g = -25. Let h(i) = -i**3 + 26*i**2 - 71*i + 38. Let v be h(23). Which is greater: v or g?
g
Suppose -3*k + 0*p - 2*p + 185 = 0, -3*k = -5*p - 199. Suppose 0*y + k = 9*y. Let q(a) = a + 3. Let w be q(4). Is y < w?
False
Suppose -2*w - 2*w = 0. Let m be 3*-8*(-168)/(-36). Let x be 18/(-4)*(m/(-60) - 2). Is w >= x?
False
Let m(i) = i**2 - 6*i - 1. Let h be m(6). Let z be h/8 + 0 + 0. Let b(v) = -3*v**2 + 2*v + 4. Let n be b(-1). Is z at least n?
True
Suppose -264 = -2*y + 5*y. Let g be (34/(-48))/((-4)/y). Let i = g + 63/4. Is 1 less than or equal to i?
False
Let d be (-16)/(-80) + (-214)/(-5). Which is bigger: d or 253/6?
d
Let t be 14/(-77) - 1989/(-231). Is t <= 8?
False
Let r(z) = -z + 5*z - 15 + 10 + z**2 + 8. Let u be (-3)/1 - (-21)/(-7). Let s be r(u). Are s and 15 nonequal?
False
Let m be -1*(2 - 0) + 4. Let s be (120/(-36))/((-32)/12). Which is smaller: s or m?
s
Let n = -41 - -53. Suppose -9*x - n = -12*x. Are x and 4 unequal?
False
Let s = -1124 + 1129. Let o be 1/((2/(-56))/(-1)). Suppose 0 = s*a + o + 7. Is 0.3 equal to a?
False
Let d = -1291 + 1387.77. Let i = 97 - d. Which is bigger: i or -1?
i
Let h = -189 + 190. Is h less than or equal to 1/56?
False
Let s(f) be the third derivative of f**4/12 - 7*f**3/6 + 2*f**2. Let z be s(6). Let t be z/12 - (-4)/(-6). Which is smaller: -4 or t?
-4
Suppose 25*t - 26*t = -19. Suppose t*y - 7*y = -396. Does -33 = y?
True
Let x = 299 + -11064/37. Suppose -3*h + 1 = -4*h. Which is bigger: h or x?
x
Let m = -5 - -4.92. Let o = -33 + 33.08. Let f = o + m. Which is smaller: 1 or f?
f
Suppose -3*y + 6 = -j, -5*j + 1 + 29 = 5*y. Suppose 0 = h + h - 20. Let a be 55/h*(-4)/(-10). Which is greater: j or a?
j
Let q be 8/20 + 114/15. Let u be 0*((-9)/(-12) - 2/q). Is u bigger than 2/15?
False
Let d = 20 + -20. Let i = -4 + 24. Let m be 5/2*i/325. Which is smaller: d or m?
d
Let z = -0.9 + 1. Let d = 0 - z. Let g be 39/42 + (-9 - (-300)/35). Is g at most d?
False
Suppose 5*h = 3*a + 4824, h - 2*a = -319 + 1281. Let n = 67621/70 - h. Is n <= -1?
False
Let l = 37.16 - 37.05. Let j = -0.4 - 0.6. Which is smaller: l or j?
j
Suppose 5*q = 15, -3*q + 6*q - 45 = -2*t. Let i be t/(-20) - 9/(-6). Which is smaller: 1 or i?
i
Let g be ((-3212)/(-11))/((-2)/1). Which is smaller: g or -145?
g
Let j = 24.4 + -16.4. Is -11 <= j?
True
Let s = -18 + 6. Let c = -1.6 + -10.7. Let k = c - s. Is 0 >= k?
True
Suppose u + 4*u = 10. Let v be (u + 3)*(-4)/10. Let w = -861 + 9461/11. Is v < w?
True
Let x be (-3)/(4 - (-26)/(-6)). Suppose x = 3*v - 12. Which is greater: v or 6?
v
Suppose 3*o - 13 = -4, -2*o - 159 = -5*x. Suppose -q + 4*z + x = 0, 0 = -3*q - 4*z + 2 + 161. Which is greater: q or 48?
q
Let p be (-2)/2*(-21)/(-15). Let u = 61/40 + p. Let m be (-10)/6 + (-2)/(-3). Which is greater: m or u?
u
Suppose w + 234 - 7 = 0. Which is bigger: w or -228?
w
Let g be 9/27 + 2/(-6). Let s be (-1)/(-7)*(g + 7). Which is smaller: -12 or s?
-12
Suppose -12*r = -11*r + 46. Let w be 3/9 - r/(-210). Is w at least as big as -1?
True
Let l = -24.986 + -0.014. Let g = 24.9 + l. Is 2 less than or equal to g?
False
Let o = -14644167/43 + 340515. Let p = -47 - o. Let v = -217/86 + p. Which is greater: -1 or v?
-1
Let u(y) be the first derivative of 2*y**3/3 + y**2 - 9. Let x be u(-2). Suppose 0 = -x*p - 0 - 4. Which is smaller: p or -2/3?
p
Let h(m) = -5*m**2 - 17*m - 18. Let n be h(-13). Let c = -17332/27 - n. Are c and 7 equal?
False
Let q(j) = 3*j**2 + 5*j - 2. Let a be q(-2). Do -4/347 and a have the same value?
False
Let c = 14620/33 + -443. Suppose 2*h + 2 = j, -h - h - 2*j = -10. Let s = 2 - h. Which is smaller: s or c?
c
Let j(q) = 42*q - 256. Let b be j(6). Which is smaller: 2 or b?
b
Let g = 251/12 + -81/4. Which is smaller: -11.4 or g?
-11.4
Let g = -0.45 - -0.55. Let j = -0.2 + g. Which is bigger: -72 or j?
j
Let y be 1840/912 - (-1)/3. Let k = y + 25/19. Which is smaller: 5 or k?
k
Let g(s) = s - 9. Suppose -a = 1, -4*j + 41 = 5*a - 10*a. Let z be g(j). Which is smaller: z or 8/7?
z
Suppose 27*u + 5 = 32*u, -5*v = 3*u + 797. Is v >= -158?
False
Let l(o) = o**2 - 15*o - 93. Let b be l(19). Let x = 16 + -30. Is x not equal to b?
True
Let z be (2/2)/(17794/820). Are z and -1 non-equal?
True
Let s = 90.2 - 119.2. Which is greater: -1/2 or s?
-1/2
Let n be 6/(-4) + (-99)/(-54). Which is smaller: -4 or n?
-4
Let h(l) = -l**3 + 2*l**2 - 2. Let n be h(2). Let x = n + 0. Let o = -17706 + 17702. Is o < x?
True
Let k = -44 + 26. Let s = 20 + k. Let o = s + -10. Are o and 0 non-equal?
True
Suppose 93 = -7*h - 19. Let v = -4 - 11. Which is smaller: h or v?
h
Suppose -20 = -s - 2*t + 5*t, -t = 4*s - 145. Suppose 