 = -0.06 + -0.14. Is r != c?
True
Let u = -15456 + 45943/3. Is u smaller than -142?
False
Let h = 265 + -265. Is h less than -40?
False
Let g = -0.12 + 32.12. Let m = 56 - g. Let q = -29 + m. Which is greater: q or 0?
0
Let o = 3.69 - 1.21. Let i = -0.08 + o. Let q = -1.4 + i. Which is bigger: 1/4 or q?
q
Let q be ((-185)/3 - -7)*15. Is -821 smaller than q?
True
Let u(m) = -m**2 + 4*m + 1. Let k be u(4). Let j = 1525 - 1525.1. Are k and j non-equal?
True
Let y be (-2)/10 + 2/10. Suppose -38 = 3*v + 2*p, -20*v + 21*v - p = -6. Is y equal to v?
False
Let b be 11/12 + 1/(-4). Let h = -0.1 + -0.1. Let y = h + 2.2. Is y at least b?
True
Let f be (6/4)/(38/4). Let g(z) = -3*z**3 + 111*z**2 - 3*z + 112. Let c be g(37). Are f and c unequal?
True
Let b be ((-6)/(-21))/((-18532)/287). Is b less than or equal to 0?
True
Let z be (-6)/(-3) - 9/(882/208). Which is smaller: 0 or z?
z
Let s be (2/(-6))/(336/72). Is s != 8?
True
Let n be -769*-1*(-5 + 6 + 0). Is n at least as big as 771?
False
Suppose 5*y - 9*y - 19*y = 0. Suppose 0 = i + 2*i. Is i != y?
False
Let z = 0.53 - 2.63. Let g = z - -12.1. Let m = 15 - g. Which is bigger: -1 or m?
m
Let v = -40 + 39. Let b be 5*12/(-15)*v. Let y(k) = k**2 + 5*k - 9. Let h be y(-7). Which is smaller: b or h?
b
Let d = 99 + 487. Let w = d - 610.9. Let u = -25 - w. Do -1 and u have different values?
True
Suppose 4*k - 13 - 35 = 0. Let c be 76/(-3) + 4/3. Let w = 35 + c. Which is greater: k or w?
k
Let f(b) be the first derivative of b**3/3 - 3*b**2 + 2*b + 5. Let z be f(7). Suppose -t + 2*l = z, 3*t + 6*l = l - 60. Which is bigger: t or -14?
-14
Suppose -20 + 34 = -j. Let z(q) = 5*q + 2. Let g be z(-3). Do j and g have the same value?
False
Let y = 24 - 27. Suppose -2*x - 2*x = -20. Let a(r) = -r**2 + 4*r + 1. Let p be a(x). Does y = p?
False
Suppose 0 = -p - 1 - 0. Let c = 73/207 - 3/23. Is p > c?
False
Let l be 204/(-9) - 4/(-6). Let h be 99/l*(-4)/(-14). Which is smaller: h or 0?
h
Let m = -8 + 10. Suppose 3*g + 15 = -c, 0 = 3*c + m*c. Let i(v) = -v**3 - 9*v**2 - 11*v - 28. Let n be i(-8). Is n < g?
False
Let r be (-8 - 1)*147/(-42). Is 33 < r?
False
Let v be (-3)/4 + (-36221)/116. Is -313 greater than or equal to v?
True
Let m(h) be the third derivative of h**5/60 - h**4/2 + 3*h**2. Let j be m(12). Let c be 42/18 + (-2)/1. Which is bigger: c or j?
c
Suppose 0 = 34*y - 9*y. Which is bigger: 52 or y?
52
Let z = 12 - 18. Let x = z - 7. Which is smaller: -1 or x?
x
Let j = -14 + 9. Let f(q) be the second derivative of -5*q**3/6 + q**2/2 - 3*q. Let n be f(1). Is j equal to n?
False
Let v = 6697/6 - 1117. Let j be 1 + (-1)/(-105)*-229. Let l = -22/15 - j. Which is smaller: l or v?
v
Suppose -9 = 40*o - 37*o, 0 = -4*w + 4*o + 24. Let q = -1/35 - -86/35. Is q greater than w?
False
Let l = 29.15 + 43.05. Which is smaller: l or 0.1?
0.1
Let f = -14 - -18. Suppose 3*q = 3*l + q, -f*l = 2*q. Which is greater: l or 2.5?
2.5
Let w = -27 + 32. Suppose b = -w*b - 48. Is b > -7?
False
Suppose -7*o - 383 = -5*c - 11*o, 4*o + 407 = 5*c. Let x = -78 + c. Let y = -2 - -3. Is y smaller than x?
False
Suppose -4*q - 3*w - 5 - 16 = 0, 3*w = -5*q - 27. Suppose 16 = -4*m, 5*f - m - 11 + 47 = 0. Which is bigger: q or f?
q
Let x = 0.91 + -0.65. Let o = -431 + 435.74. Let h = o + x. Which is greater: -1 or h?
h
Let v = 224 - 223.8. Let w = 7 + -6.93. Is v < w?
False
Let y = 664 + -664.0386. Which is smaller: y or -1?
-1
Let r be 0 - 12/9*6/4. Let a be 52/(-4)*2/r. Suppose -h - 5*k + 29 = -0*h, -5 = -h + 3*k. Which is bigger: h or a?
h
Suppose -4*f + 153 = -y, -3*f - 113 = -6*f - y. Suppose 0 = -2*v - 3*q + 68, -5*v - 38*q + 196 = -37*q. Which is greater: f or v?
v
Let q = -2055 + 6052/3. Is q smaller than -38?
False
Suppose 0 = -5*y + 2*z + 60, 15 = 2*y - 0*z + z. Suppose -9*a + y*a = -4. Let b be (6/8)/(a/6). Which is smaller: b or 0?
b
Suppose -2*v - 1 = -15. Suppose 0 = -10*k + v*k + 6. Suppose 0 = -3*z + 4*n - 6*n + 53, z - k*n = 23. Is z less than or equal to -1?
False
Let m = 20954/55 + -381. Suppose -6*z = -13*z + 7. Which is smaller: z or m?
m
Let p be -9 - (-4 - (-2 - 1)). Let v(x) = x + 1. Let s be v(5). Let g = p + s. Is -2 greater than g?
False
Let v be (25 + -26)*-2*(-18)/(-4). Suppose -7 = -2*o + v*o. Is -3/94 <= o?
False
Suppose 10 - 50 = -5*f - 5*d, 3*d = 5*f - 16. Suppose 3*v - 4*k + 2 = -0, 0 = -f*v + k + 25. Let i be 2/(-3) + (-56)/v. Which is greater: i or -11?
i
Let a(t) = 3*t**2 - t - 4. Let r be a(3). Suppose -2*v - 22 = -0*v - 4*i, -5*v + 3*i - r = 0. Is -1 equal to v?
True
Let a be 12/114 - (-186)/38. Let m be 0 - a*5/200. Is -0.2 at least m?
False
Let y(d) = -2*d**2 - 8*d + 2. Let t be y(-5). Let n be ((-228)/42)/(t/14). Is n < 10?
True
Let j = 1/471 - 4273/16014. Is j bigger than -1?
True
Suppose -5*w + 20 = 0, -h + 3*w - 6 - 3 = 0. Suppose -28 = -h*g + 47. Which is bigger: g or 24?
g
Suppose 3*t - 2*b - 38 = 0, -t - 4*b = -5*t + 52. Suppose 5*x = t - 7. Is 1/62 != x?
True
Suppose 5*i - 63 = -58*i. Which is smaller: i or 3/151?
3/151
Suppose 0*x - z = 3*x - 20, -3*x + 2*z = -32. Let v be (-1)/(-4) + (-98)/8 - 0. Let l = v + x. Is l greater than -5?
True
Suppose 4*d = -4*q - 684, -q - 5*d - 228 + 37 = 0. Is q greater than -166?
False
Let h = 23 + -37. Suppose -33*b = -27*b + 84. Does b = h?
True
Suppose -5*s = 2*f + 22 + 11, 5*f + 3*s + 111 = 0. Let o = 9 + 0. Let u be o/f*(-2 + -6). Which is greater: u or -2?
u
Let c = 325 + -108. Which is smaller: 216 or c?
216
Suppose -10 = 13*j + 16. Is j at least as big as -22/15?
False
Let w(b) = -20*b + 12. Let f be w(-6). Is 133 at most f?
False
Let l = 206 - 407. Let s = l - -36. Let f be 6/(-8)*(-40)/s. Is f >= -1?
True
Let u = -773/45 + 87/5. Is -34/55 != u?
True
Suppose -x - 8 = -13. Suppose -p = x*p. Which is smaller: 2/19 or p?
p
Let m = -113.9 - -120. Let o = m + -3.4. Let j = -2.8 + o. Is j at least -1.3?
True
Suppose -6*t + 54 = -0*t. Suppose 4*s = -3*m + 34, 4*s = s - 2*m + 26. Is s <= t?
False
Let d(s) = -7*s + 14*s - 8*s + 0 - 9. Let f be d(0). Let w be f/(-12) + (-4)/8. Which is smaller: 1 or w?
w
Suppose 4*y - 3*h - 48 = 0, 0*h = 5*h + 20. Suppose 0*j - j = -2*b + y, -3*b + 15 = 0. Is j equal to 12?
False
Let q be (-4)/70 - (-15 + 18976/1120). Let b(n) = -3*n**2 - n. Suppose 0 = -4*y + 3*t + 8, -2*y + 4*t = 3*t - 2. Let f be b(y). Are f and q equal?
True
Let i = -8 - -25/3. Suppose 0 = -5*v + 76 + 214. Let z = v - 58. Which is bigger: z or i?
i
Let g = 29 + -23. Let b = 129 + -122. Which is smaller: b or g?
g
Suppose -4*p + 9 = 1. Suppose 0 = 3*f - f. Suppose f = -4*l + 2*n + 18, 7*l = 3*l - 4*n. Which is bigger: l or p?
l
Let k be (-171)/133 + 104/(-28). Let n = -7/2 - 1/4. Which is smaller: n or k?
k
Let a(k) = -k**3 + 16*k**2 + 19*k + 14. Let n be a(17). Let w = -48 + n. Are 6/11 and w nonequal?
True
Suppose 2*k = -2, 3*i + 4*k - 5 = 15. Suppose -4*z = -2*z - 14. Which is greater: z or i?
i
Let n(u) = 56*u**2 + 18 + 0*u - 57*u**2 + 4*u. Let v be n(-4). Which is smaller: v or -9?
v
Suppose -3*y + 4 = -2. Suppose 3*k = y*k + 50. Let q = 1752/35 - k. Which is smaller: q or 0?
0
Suppose 3*m = -2*m + f - 16, -f = m + 2. Let a be 0/2 + -1*m/(-132). Which is smaller: a or -1?
-1
Let l be (-6)/(336/328) + 7. Do l and 2 have different values?
True
Let h = 2 + -2. Let n = 14856 + -623953/42. Is h smaller than n?
False
Let c be 33/(-42) + (-8)/(-28). Let a = -0.01 + -0.06. Let l = 0.87 + a. Is c > l?
False
Let d = 285 + -170. Is 115 at most d?
True
Let t be (159/(-6) + 1)*(-5)/15. Suppose 4*m - 24 + 4 = 0, 2*u + 2*m - 30 = 0. Which is bigger: u or t?
u
Let y(s) = -s - 7. Let c be y(2). Let w(r) = r**2 + 13*r + 23. Let a be w(c). Is a equal to -13?
True
Let p = -0.15 + 1.16. Let a = 6.81 - p. Which is greater: -1 or a?
a
Suppose 16 = -4*s - 40. Let o = -4 - s. Let w = 21 - 12. Is o less than or equal to w?
False
Let m = 30 + -136. Let o = -105 - m. Which is smaller: o or 2/9?
2/9
Let g = -647.53 + 648. Is g greater than -0.7?
True
Suppose 24 = -4*u + 10*u. Suppose -i - u = -4*i - c, -3*c + 12 = -4*i. Is 2 less than or equal to i?
False
Let s = 5 - 3. Let i be ((-3)/3)/2*s. Let z = 6/131 - -470/1179. Do z and i have the same value?
False
Let k be (8/(-2))/((-2)/(-4)). Let p be 156/(-208) + 29/(-4). Is k less than or equal to p?
True
Suppose -3*y = -i + 1 - 8, 2*y - 7 =