= -3588 + 104068/29. Is 2 smaller than a?
False
Let n = -40 - -43. Suppose 7 = 2*m - 3*u, -13 + 3 = -n*m + 4*u. Are m and 15/7 equal?
False
Let y be (-384)/(-66) + (-2)/(-11). Suppose -5*x = -y*x. Let g = x + -2. Is g < 0?
True
Let a = -24 + 28. Suppose -5*b = -4*n + 21, b = -0*n + n - a. Do 1/10 and n have the same value?
False
Let w = -34.2 - -34. Let z = 0.2 - w. Which is smaller: -2 or z?
-2
Suppose -5 = 4*n - 9*n. Let y = -453479/15 - -30300. Let l = -68 + y. Is l greater than n?
False
Let x = 7606 + -258605/34. Let c be 1/3 - 2/6. Are x and c unequal?
True
Let z = -66 - -63.1. Let w = z + 6.9. Which is smaller: 3 or w?
3
Let c(u) = -u**2 + 5*u - 8. Let o be c(5). Let s be (-5877)/(-44) - 2/o. Let f = -134 + s. Which is smaller: 0 or f?
f
Suppose 4*r - 16 = 8. Suppose 4*d = 11 + 5. Is d less than or equal to r?
True
Suppose -3*x = 0, -x = r + r + 4. Suppose -6 = -26*d + 20. Let j be 10/15*d/r. Are -11 and j nonequal?
True
Let o be 36/(-24)*(0 - 4/(-177)). Which is smaller: o or -1?
-1
Let m = 1125.3 + -1125. Which is smaller: m or 2?
m
Let d = -112.705 + -0.995. Let g = -114 - d. Is g at most 0.04?
True
Let t = -173 + 172. Which is smaller: t or 0.15?
t
Let v(m) be the third derivative of m**4/6 + 13*m**3/3 + 14*m**2. Let b be v(-6). Which is smaller: b or 3/8?
3/8
Suppose 0 = 4*g - 3*g - 2. Do g and 7/9 have the same value?
False
Let y be (-28)/56 - (-89)/18. Is 4 at most y?
True
Let v be 3/1*-1 + -3. Let q be (-4)/v + 88/(-6). Which is bigger: q or -15?
q
Suppose -3*k + 6*k = -87. Let h = k - -34. Which is smaller: h or -0.1?
-0.1
Suppose 5*g = -g + 270. Suppose 5*a = -2*j + g, 2*a = -j + 8 + 15. Is -0.1 at most as big as j?
True
Let b = -2164 - -1917. Is -1724/7 < b?
False
Let m = -12.498 + 0.498. Is m not equal to -1/14?
True
Let k(o) = 47*o + 422. Let r be k(-19). Which is smaller: r or -472?
-472
Suppose -2*h = h + 3. Let i be 7 + 1/h*1. Let g be (8/12)/((-4)/i). Which is greater: -3 or g?
g
Suppose u = -4*t + 5 + 2, 0 = -t + 3*u + 18. Suppose -3*r - t*r + 18 = 0. Suppose w + 22 = 3*p, r*p + w - 34 = -p. Which is smaller: p or 4?
4
Let c be 7/(-4)*(4284/49 + -10). Is -136 smaller than c?
True
Let g = -1033/1197273 - -5/1491. Let o = g - -44962/2409. Let f = -127/6 + o. Is -2 smaller than f?
False
Let q(s) = 2*s**3 + 73*s**2 + 36*s + 51. Let m be q(-36). Is -2 bigger than m?
False
Let f(k) = -k**3 + 19*k**2 - 6*k + 48. Let w be f(19). Is -63 greater than w?
True
Suppose -4*h - 2*f = 50, -10 = 2*h - 4*f + 20. Let k = -3 - h. Let p be 12/k*(-90)/48. Is -2 greater than or equal to p?
True
Let y = -0.0446 - 0.4554. Which is smaller: -16 or y?
-16
Suppose 5 = 24*w - 19. Which is greater: -887 or w?
w
Suppose 5*s = 8*s - 18. Suppose -d = 3 - s. Let n = -81/2 + 42. Is n at least as big as d?
False
Let n(v) = 2*v**3 + 1. Let z be n(-2). Let d be (-18)/(-45) - (-8)/z. Which is greater: 0 or d?
0
Let x be 12 + -16 - (-3)/(3/(-13)). Which is smaller: x or -1?
x
Let w = 389 - 381. Which is smaller: 11 or w?
w
Let c = 1.2 + -0.2. Let b = -11579 + 11573. Which is smaller: b or c?
b
Let f(c) = c**3 - 12*c**2 + 10*c + 14. Let v be f(11). Let j be -2*541/(-1632) + (-20)/30. Let o = j - -2997/1360. Are v and o equal?
False
Suppose -7*s - 660 = -18*s. Which is smaller: 58 or s?
58
Let f = -14/465 + 2719/2790. Is f > 2?
False
Let y = -132 - -204. Do y and 72 have the same value?
True
Let l be -5*(37170/(-25))/(-6). Let v = -1053537/5 - -209474. Let x = l - v. Is x less than -5?
True
Let r = 61.752 - 61.8. Which is bigger: r or 1?
1
Let f = 11 + -21. Suppose -2 = 2*n, 20 + 104 = 2*l - 2*n. Suppose 0 = 5*z + 5*c - 3*c + 37, 5*z + l = 4*c. Which is smaller: f or z?
f
Let t = 0.01 + 0.14. Let k = t + -0.45. Let h = 15 - 12. Which is bigger: k or h?
h
Let o = 13 - 13. Suppose o = -18*z + 13*z - 50. Let x = -35 + 24. Which is smaller: x or z?
x
Let h be ((-10)/49)/(2 - (-5 - -5)). Is 1 less than or equal to h?
False
Let i(f) = -34*f + 30*f - 2 - 8 - 48. Let w be i(-17). Which is bigger: w or -3/7?
w
Let p(v) = 1 - 5 + v + v. Let x be (-4)/((-12)/(-7))*(-2 + -1). Let d be p(x). Is 0 at most as big as d?
True
Suppose w - 2*j = 9, -j - 2*j = 12. Let t = -65 - -196/3. Which is smaller: w or t?
t
Let o = -6 + 9. Let p be (-324)/(-88) + ((-93)/(-33) - 3). Are p and o equal?
False
Let s = -130 + 2991/23. Which is bigger: -1 or s?
s
Let l be 6/(-21) + 87/35. Suppose -9 = -3*d + 12. Let k(w) = -w**3 + 6*w**2 + 6*w + 8. Let x be k(d). Which is smaller: l or x?
x
Let z(h) = h**2 - h - 2. Let j be z(0). Let d be j*(-12)/16*2. Suppose -s = 3*t - 14, -2*s + 5*s = -d*t + 48. Do s and 17 have the same value?
True
Let y(g) = -g**3 - 16*g**2 - 16*g - 8. Let c be y(-15). Suppose -90 = -v + c*v. Is v at least as big as -15?
True
Let f be 1/((-24)/(-46) - 9/18). Let l = f - 46. Is -4/3 at most l?
True
Let w(o) = 20*o + 105. Let i be w(-15). Does i = -195?
True
Let x be (0 + -3)*(-35)/21. Suppose 79 = 2*s + s - 2*q, -5*q + 90 = x*s. Which is smaller: 22 or s?
22
Let z(k) = 3*k - 27. Let f be z(3). Let p(g) = -g**2 - 3. Let u be p(4). Is f smaller than u?
False
Suppose -2*b + 3 + 21 = 0. Let j be b/(-18) + (-128)/6. Which is bigger: -23 or j?
j
Let j(z) = -z + 3. Let r = -2 - -5. Let n be j(r). Let p = 3/10 + -7/10. Do p and n have the same value?
False
Suppose 7*c = 2*c - 75. Suppose -86 = -3*l - 44. Suppose -246 = l*p - 22. Which is smaller: c or p?
p
Suppose 902 = -5*r - 188. Is r at most -218?
True
Let f be (0 - (-26)/(-3))*-9. Suppose 0 = 5*t - 3*d - 394, -d = 3*t - 0*d - 228. Which is greater: f or t?
f
Let g = -0.28 - 1.22. Let v = g + 5.5. Which is greater: v or -0.6?
v
Let i(q) = -q**3 - 3*q**2 + 5*q + 3. Let f be i(-4). Suppose 2*o = -10*o - 360. Let j = 151/5 + o. Which is smaller: j or f?
f
Let n be (7/(-14))/(3/132). Which is greater: n or -83/4?
-83/4
Let n = 1 - 2. Let d be (4/8)/(n/10). Suppose 2*g + l + 4 = 0, 2*g + 3*l + 7 - 3 = 0. Is g at most d?
False
Let w = 1.509 - 1.578. Is -0.12 at most as big as w?
True
Suppose 0 = -66*a + 65*a - 1, 5*b + 4 = -4*a. Is b smaller than -40/29?
False
Let b(r) = r**3 - 12*r**2 + 23*r - 29. Let t be b(10). Let p = 19/17 + -481/476. Which is bigger: t or p?
t
Let n = 2/3037 + -3081/66814. Let x be (-1)/((-1)/2*1). Let u = x - 1. Which is greater: n or u?
u
Let g = -4 + 4. Let d = 0 + g. Let i be 493/510 + 2/(-12). Which is smaller: d or i?
d
Suppose 0 = -6*m + 10 + 2. Suppose m*a - 73 = o + 59, 2*a + 4*o - 122 = 0. Suppose 3*g + w = a, 0 = 5*w + 8 - 3. Is g greater than or equal to 22?
True
Let r(b) = -2*b**2 - 7 - 3*b**2 + 8*b**2 - 2*b**2 + 4*b. Suppose -5*a = 6*g - 3*g + 37, -3*g + 3 = -3*a. Let n be r(a). Which is smaller: -0.1 or n?
n
Suppose 2*b + 3 = 7, l = -5*b - 769. Let w = l - -7003/9. Which is bigger: -2 or w?
w
Let z = -53 - -27. Let d be 18/45 + (142/(-5) - -3). Is d >= z?
True
Suppose 4*p - 3*a - 5 = 0, 2*a - a = -3. Do -0.14 and p have the same value?
False
Suppose 4*y = 3*l + 499, -2*l - 615 = -14*y + 9*y. Which is bigger: y or 122?
122
Let r = 1252 - 1843. Let f = r - -1796/3. Let x = f + -43/6. Is -4/5 smaller than x?
True
Let p = 71 - 63. Suppose p*o = 27*o + 1938. Does -102 = o?
True
Let w = 1021.4 - 1021. Is w >= 0.27?
True
Let u = 0.16 - 53.16. Which is smaller: -2 or u?
u
Let o(v) = v**2. Let l be o(0). Which is smaller: 9/217 or l?
l
Suppose t + 4*t = 0. Let x be 2 - (-2324)/(-34) - (-2 - -3). Let i = x + 67. Is i != t?
True
Let z = -84 - -83.94. Let j = -0.3 + 0.26. Let i = z + j. Is i greater than 0?
False
Let a = 1.2182 - 0.2182. Is a less than or equal to -9?
False
Let x(j) = 10*j - 3*j - j**3 + 6 - 5*j**2 - 1 - 4*j. Let d be x(-6). Which is greater: d or 91/4?
d
Suppose 4 + 26 = -5*l. Let h be (5 - 18/l)*(-2)/(-4). Is 17/4 at most as big as h?
False
Suppose o = -2*h + 2, 2 = 2*h + h + o. Is -15/38 <= h?
True
Let y(z) = -3*z - 42. Let f be y(-15). Let m be (5 + -1)/(-4) - (2 - f). Let t be (-1)/(-2) - (-3)/(-4). Is m at most as big as t?
False
Let b = -59 + 111. Let f = -52.15 + b. Which is smaller: f or -2?
-2
Let y(x) = x**2 - 4*x + 9. Let k be y(-3). Is 37 greater than k?
True
Let s = 61 + -54. Suppose -s*c - 12 = -9*c. Which is smaller: c or 20/3?
c
Let n = 0 + -15. Let v = 13 - 38. Let b = n - v. Which is smaller: b or -1?
-1
Suppose -25 = -3*x + 2. Let l = 20 - 41. Let i = x + l. Which is big