
False
Let m(d) = -d**2 + 4*d + 36. Let h be m(6). Is 23 bigger than h?
False
Let i be 0/(-2 + 5) + -19. Let s be 3*-1 - i/7. Do s and 0.2 have different values?
True
Let c = -0.7 + 0.6. Let h be (0 - 1) + 3 - -2. Suppose -3*n + 4*n + 3*r - 4 = 0, -3*r + 14 = -h*n. Which is smaller: c or n?
n
Let x be (-168)/(-70)*2/((-8)/(-30)). Which is smaller: x or 1?
1
Suppose q = -4*p + 4, -q + 0*q + 4*p = 4. Are q and 2/11 non-equal?
True
Suppose -5*o = -0*o + 10. Let y(u) = -2*u**3 - 3*u**2 + u + 2. Let m be y(o). Suppose -2*v - m*r + 1 = 3, 0 = -r - 2. Is v smaller than 2?
False
Let n = 0.1 - 0.08. Let q = 0.02 - n. Is -0.6 at least q?
False
Suppose 0 = -4*p - p. Let f be (1 - 0)/(9/(-2)). Is f bigger than p?
False
Let g = -3 + 2. Let v = -25.1 + 26. Let k = v + g. Does 2 = k?
False
Let j be (-4)/(-6) - (-12)/9. Suppose -10 = -3*m - 2*h, 4*m - 3*h + 0 = j. Suppose -x = -5*q - 6, 3*q = m*q + 2*x - 3. Is 0 != q?
True
Let i(k) = k**3 - 8*k**2 + k - 12. Let y be i(8). Let p be ((-6)/10)/(y/16). Which is smaller: p or 1?
1
Let a be (-14)/49 - (-18)/14. Suppose 2*m + 4 = 2*j + 12, 2*j + 23 = 5*m. Let l = a - j. Which is smaller: l or 2/9?
l
Let n = 387 - 5809/15. Is 1 equal to n?
False
Let u = -20/9 - -91/45. Suppose -b - 1 - 2 = 0. Let n be 2 + b + 2/3. Is u < n?
False
Let t(h) = h**3 - 7*h**2 + 7*h - 8. Let r be t(6). Let z = 1.5 - 1.55. Which is greater: z or r?
z
Let p(f) = f**3 + 10. Let j be p(0). Let t be (-4)/j - (-759)/(-15). Let w be 2*(t/18 + 3). Is w > 0.1?
True
Suppose a - 18 = -12. Is 5 at most as big as a?
True
Let x be (-16)/6 + -5 + 18/3. Is x bigger than 1?
False
Let u be 252/(-60) - (-2 + 2). Are -2 and u non-equal?
True
Suppose -2*w = -0*w - 14. Let f = -7 + w. Suppose h + f*h = 0. Are h and 2/17 non-equal?
True
Let p = 5.1 + -4.9. Let w = 1 + -1. Is p at least w?
True
Let t be 2/4*2 - -6. Let z = 7 - t. Which is smaller: 1 or z?
z
Let c(k) = 1. Let w(h) = -h**2 + 3*h + 3. Suppose s + 4 = -0*s. Let x(r) = s*c(r) - w(r). Let b be x(5). Are b and 3 unequal?
False
Let q be ((-1)/8)/((-1)/(-2)). Suppose -o - 5*y - 95 = 0, 0*o - 2*o - 176 = 3*y. Let i = 423/5 + o. Which is smaller: i or q?
i
Let w be 6/5*85/(-34). Let o(n) = n**2 + 6*n + 2. Let v be o(-5). Is v < w?
False
Let w = 10 - 9. Is w smaller than -0.1?
False
Let k = -344/3 + 113. Let i = 28 - 29. Which is bigger: i or k?
i
Suppose -28 = 97*y - 93*y. Which is smaller: -28/5 or y?
y
Let z = 17 - 14. Let j be (30 - 0)*2/3. Suppose -8*b + 3*b = -j. Which is bigger: b or z?
b
Let n be 275/(-90) + 2/12. Let p = 49/18 + n. Which is bigger: p or -1?
p
Let n(r) = -r**2 - 6*r + 4. Let g be n(-7). Suppose 0 = 4*d + 5*j + 32, 20 = -3*d - d - 2*j. Is g less than d?
False
Let y = 13 - 15. Let o be (-9)/90*(-15)/y. Which is greater: -2 or o?
o
Let p be ((-404)/(-16665))/(1 + (-14)/10). Which is smaller: p or -1?
-1
Suppose -4*l - 6 = 26. Let m be (-4)/l - (0 - 0). Which is bigger: 1 or m?
1
Suppose -4 + 0 = 4*a. Let t = 19/2 - 31/3. Is a greater than or equal to t?
False
Suppose -f - 5*y = -8, 5*y - 2*y = 4*f + 14. Which is smaller: -3 or f?
-3
Let y = 19 + -17. Let t = -49/2 - -24. Which is greater: y or t?
y
Let k = -131 + 174. Which is smaller: 41 or k?
41
Let g be (-4)/3 - (-6 - -5). Let t(u) = u - 7. Let a be t(8). Which is greater: g or a?
a
Let k(q) = q**3 - 14*q**2 - 12*q - 32. Let o be k(15). Which is smaller: 12 or o?
12
Suppose -12 = 4*w + 4*t, 2*w + t = -3*w - 7. Let b = -0.34 + 0.04. Is b < w?
False
Let r = 1.6 + 0.7. Let c = r - 2.5. Is 2 equal to c?
False
Let h = 22 + -25. Which is smaller: h or 1?
h
Let u = -5 - -12. Let r be 4*(u/2 - 1). Let h be 4/(-2) + r/4. Is 0 less than or equal to h?
True
Let v = 3.088 + 0.012. Let j = 3 - v. Let h = -1.25 - -4.25. Is h > j?
True
Suppose 20 = 5*j, 5*j - 48 = -3*v + 71. Let l be 6/v + 62/22. Suppose -4*m + l*p = -0*p + 22, -m - 5*p = -6. Is m < -4?
False
Let u be (-10)/15 - (-10)/6. Let f(m) = 2*m - 1. Let n be f(u). Is n <= 2?
True
Suppose -14*p + 20 = -18*p. Is p > -8?
True
Let m = 32.19 - 32. Let i = 1.51 + -1.6. Let a = m + i. Which is bigger: -1/3 or a?
a
Let n(z) be the second derivative of z**4/12 + z**2 - 3*z. Let d be n(0). Is d != 0?
True
Let j = 46 - 46. Is j >= 0?
True
Suppose -2*p - 2*r - 86 = 0, 3*r - 31 = p + 32. Is p at least as big as -47?
False
Let r = 3.9 + 0.1. Let g = -2.948 + -0.052. Let o = r + g. Does o = 0?
False
Let v(t) = 9*t**2 + t. Let l be v(1). Suppose -l = 5*m - 45. Do m and 5 have the same value?
False
Let v be ((-28)/(-6))/((-10)/225). Let d = -40458 - -446195/11. Let w = v + d. Which is bigger: 0 or w?
w
Let k = 0.2 - 0.3. Let r = 34.9 - 32.9. Which is greater: r or k?
r
Let x = -400 + 401.91. Let i = -0.09 - x. Which is greater: i or 0.2?
0.2
Let r = -0.3 - 0. Let y = -9 - -10. Let i be y/(1 - 1 - -1). Is i <= r?
False
Let d = 9 - 20. Let g = d - -9. Which is bigger: g or -1?
-1
Let s = 0 - 3. Which is smaller: s or 0.9?
s
Let l = 20 - 19.9. Which is smaller: -2 or l?
-2
Let h = 20.3 + -17. Let t = -5 - -2. Let w = t + h. Is 1 < w?
False
Let n be -5 - (1 - -1)/(-6)*3. Which is greater: -6 or n?
n
Let z be (-6)/4*(-5 - 1). Let i = -11 + z. Is -2 less than i?
False
Let c(u) = -3*u**2 - 9*u - 3. Let p(n) = 2*n**2 + 4*n + 2. Let z(r) = -3*c(r) - 5*p(r). Let k be z(7). Is k at least -1/4?
False
Let o(j) = 2*j**2 + j + 3. Let a(w) = 3*w**2 + w + 3. Let m(c) = 3*a(c) - 4*o(c). Let d be m(0). Suppose 0 = q - 1 + 3. Do d and q have the same value?
False
Let g = 0.29 + -0.33. Is g >= 0.3?
False
Let g be (16/6)/(2/3). Let a be g/(-6) + (-5)/15. Is -2 at least as big as a?
False
Let g = 3 - -5. Let t = 9 - g. Which is smaller: t or 1/2?
1/2
Let c = -9 + 9.44. Let l = c + -0.04. Which is smaller: l or 2?
l
Let n = -4.01 - -0.01. Which is smaller: 2/13 or n?
n
Let r = -149/5 - -4331/145. Which is smaller: r or 1?
r
Let k = 19 - 10. Which is smaller: k or 1?
1
Let h(x) = -x**3 + 16*x**2 - 2. Let i be h(16). Which is bigger: 11 or i?
11
Suppose 5*j = 7*j + 30. Let g be -12*(2 - 6/4). Let p be (g/(-28))/(j/40). Do p and -2 have the same value?
False
Suppose -3*n + 9 = 4*x - 136, 2*x - 100 = 4*n. Suppose -j + x = -6*j. Is -9 less than j?
True
Suppose -7*f + 5*f - 16 = 0. Is f != -2?
True
Suppose k = 2*k - 1. Is k less than 1/82?
False
Let q be 152/104 + 1/(-1). Let m(k) = k - 4. Let d(t) = t**2 + 8*t - 6. Let p be d(-9). Let z be m(p). Is q less than or equal to z?
False
Let d be (98/(-28))/(1/(-8)). Let v = 20 - d. Is v equal to -8?
True
Let k = -7 - -7. Let a = 18 - 17.93. Which is smaller: a or k?
k
Let z = 18 - 40. Which is smaller: -21 or z?
z
Suppose -13*w = -9*w. Is w != -10?
True
Let s = -23.9 - -22. Let v = -22 + 24. Let y = s + v. Which is smaller: 3 or y?
y
Suppose 0 = 5*a - 3*n - 190, -3*n - 8 = a - 28. Is a at least as big as 35?
True
Let n = -19/99 + 10/33. Is 1 > n?
True
Let b = -2 + 2.2. Let u = 0.4 - 4.4. Let n = u - -3. Which is bigger: n or b?
b
Let o be 3/6*(-60 - -4). Are -31 and o unequal?
True
Let l(f) be the third derivative of f**5/60 - f**4/6 - f**3/6 + f**2. Let o be l(4). Let m be (-4)/(-6)*o/3. Is -2 < m?
True
Let u(y) = -y. Let b(w) = -2*w - 2. Let c(v) = b(v) - 3*u(v). Let m be c(4). Suppose 0 = -4*k - 6*q + 4*q, 0 = -5*k - q + 6. Are m and k nonequal?
False
Suppose w = 4*w - 3. Let r be (-18)/8 + w/4. Let j be (-10)/(-4)*(-36)/45. Is j >= r?
True
Let n = -0.5 - 0.5. Let t = -0.6 - n. Let w = t + -0.5. Which is smaller: w or -0.2?
-0.2
Let a = 1.8 - 5.8. Are a and -0.1 equal?
False
Let i be (-12)/(-9)*(-6)/(-4). Let j = 8.4 - 0.4. Which is smaller: j or i?
i
Let r = -2 + 3. Let i = r - 0.4. Let a = 0.4 - i. Is -1/3 less than or equal to a?
True
Let s = 5 - 1. Let a be -3*(0 + -2 + 1). Suppose a*w + 21 = 3*m, 4*m - m - 19 = 2*w. Which is bigger: m or s?
m
Suppose -28 = -4*a - 0*a. Let x = -8 + a. Do -1 and x have the same value?
True
Let j be 107*2*(-1)/14. Let g = -15 - j. Which is smaller: 0 or g?
0
Suppose 4 = 4*d - 2*d. Let w be 16/7 - d/7. Let h be (2/2)/(4/w). Is h greater than or equal to 1?
False
Let v(z) = -2*z - 6. Let d be v(-3). Which is bigger: d or 1?
1
Let i = 19 + -12. Is i != 6?
True
Let o = -1.5 + 2.5. Is -2 greater than or equal to o?
False
Let q = -0.47 - -0.5. Let b = -5.03 + q. Let i = 0.48 - -0.52. Which is smaller: i or b?
b
Suppose -p - 11 = -4*v + 4, 4*p - 3*v + 8 =