
False
Let u be (1*2)/(2/(-4)). Let w(d) = d - 7. Let b be w(4). Which is smaller: u or b?
u
Let r = -0.04 + -0.36. Let y = r - -0.41. Let p = y + -0.01. Is p > 1?
False
Let f = -1.3 - 1.74. Let k = 3 + f. Which is smaller: k or -1?
-1
Let m = 0.04 + -0.03. Let a = 0.21 - m. Which is smaller: -2 or a?
-2
Let h be ((-1)/(-4))/(((-10)/4)/5). Which is greater: -6/11 or h?
h
Suppose -59 = 5*r + 3*u, 3*u - 20 = -3*r - 59. Let f be (-2)/5 - 4/r. Let p = 9 + -25/3. Which is greater: p or f?
p
Let l(c) = -33*c**2 + c + 1. Let w = 3 - 4. Let y be l(w). Let h be (-60)/y + (-2)/(-11). Which is greater: h or 1?
h
Let z(d) = d**2 + 6*d + 3. Let u be z(-6). Suppose r = -u*r - 20. Is -5 at least r?
True
Let g be (-32 - -2)*17/(85/6). Which is smaller: -33 or g?
g
Suppose -a = 5*s + 3*a + 1, 0 = -s - 5*a + 4. Which is smaller: 1/4 or s?
s
Let k be (21 - 12)*(-4)/(-6). Is k > 7?
False
Let a = 11 - 7. Suppose a*g - 6 = -14. Which is smaller: 0 or g?
g
Let w be 83*(34/(-28) - -1). Let g = -125/3 - -145/6. Let u = g - w. Which is greater: u or -1?
u
Suppose 0 = -5*b - 5*l - 5, 11 = 5*b - 0*b + l. Suppose -d = b*d. Let j be -1*(18/(-10) + 2). Which is bigger: j or d?
d
Suppose -33 = 9*f + 30. Is -3/5 equal to f?
False
Let d = 0 + 1.5. Let s = d + -2. Which is greater: 1/5 or s?
1/5
Let a(x) = -3 - x - 2 + 0*x. Let c be a(-3). Let w be (c/12)/((-8)/6). Is 1 greater than or equal to w?
True
Let k be (-1077)/14*6/9. Let z = k + 51. Which is smaller: 3 or z?
z
Let k(j) = j**3 + j**2 - j - 1. Let x be k(-1). Let w be x + (3 - (-2 + 3)). Which is smaller: 2/3 or w?
2/3
Let g = -0.08 - -3.08. Let j = g - 3. Is j not equal to -0.06?
True
Let u = 1 + -2. Let y = u - -1.1. Let a = -3.1 + 3. Is a greater than or equal to y?
False
Let z be 148/8 - 3 - 1. Suppose -2*p + 0*p + 3*m = 25, -2*m = -5*p - 68. Let g = z + p. Which is smaller: -2 or g?
-2
Let z = -99 - -77. Is z greater than or equal to -70/3?
True
Let p = -14 - -9. Suppose 0 = -5*b - 7*f + 3*f - 34, -4*b + f = 23. Which is greater: b or p?
p
Let y(u) = u**2 + u - 1. Suppose 2*z = 4*i - 18, i + 11 = -4*z + 4*i. Let n be y(z). Is n > 3?
False
Suppose 4*r + 64 - 15 = 5*f, -5*f + 38 = -3*r. Is r greater than -13?
True
Let p be -1*6*4/(-12). Let b(m) = -m - 1. Let k be b(p). Let o(f) = f**2 - 4*f - 2. Let n be o(4). Does k = n?
False
Let d = -3.06 - -3. Which is smaller: d or 2?
d
Suppose -5*k + 6*k = -262. Let i = -2876/11 - k. Suppose 2*w - 3*p = -2*p + 1, 2*w + 1 = 3*p. Do i and w have the same value?
False
Suppose 4*c = 6*c. Is -3/5 greater than c?
False
Suppose 4*m = 5*c + 2, 2*m = 3 + 3. Suppose -c*j - 2 = -6. Is 5/7 less than or equal to j?
True
Suppose 4*s - 8 = u + 4, s = 3*u + 14. Which is bigger: -8/3 or u?
-8/3
Let g = 103 - 100. Let m = -4/9 + 2/9. Is m smaller than g?
True
Let l = -20 + 16. Let t be l/(4*-1)*0. Let w be (-2)/7 + (-4)/(-28). Is t < w?
False
Let h be (0 + 1)*-1*-16. Let m = -13 + h. Which is bigger: m or 5?
5
Let w be (2 - (-1 + 3))/1. Let k(z) = z**2 + 8*z + 15. Let c = -3 - 2. Let i be k(c). Is i bigger than w?
False
Let c be ((-1)/(-8))/(1/(-2)). Let q(m) = m**3 + 5*m**2 + 3*m + 1. Let k be q(-4). Suppose -8 = k*n - 3. Are c and n nonequal?
True
Let a be ((-21)/(-18) - 0)*16/(-4). Let d be (-12)/15*45/6. Do d and a have the same value?
False
Let t(j) = -19*j - 1. Let n be t(-1). Let b be (-1)/1 + n/14. Let z = 2.7 - 5.7. Which is greater: b or z?
b
Let j = 0.2 + -13.2. Let o = -12 - j. Which is greater: o or 2?
2
Let u = 0.051 - -2.949. Is u > -0.3?
True
Let g(k) = -k**3 - 6*k**2 + 10*k - 4. Let n(y) = 2*y**3 + 13*y**2 - 21*y + 8. Let i(v) = 7*g(v) + 3*n(v). Let j be i(-5). Is j at most as big as 9?
False
Let u = -72/35 + -12/35. Let s be 1*(-4 - -2 - 0). Is s bigger than u?
True
Suppose 6*t = 4*t + 4. Suppose 2*c + 4*h - 14 = 0, -5*h + 14 = -0*c - c. Let b = c - t. Is b greater than -1?
False
Let b(w) = -3*w**2 + 2*w - 1. Let o be b(1). Is -15/11 smaller than o?
False
Suppose 7*r - 4*r = 0. Let s = r - -3. Suppose -2*k + 3*f + 6 = 5*f, s*f - 9 = 0. Which is bigger: -3/4 or k?
k
Suppose 2*x = -3*n + 2*n - 89, 0 = 5*n + 5*x + 445. Does -90 = n?
False
Let q = 2965 - 1949. Let o = -12241/12 + q. Let m = -13/3 - o. Which is greater: 0.5 or m?
0.5
Suppose -5*n + 152 = 2*o + 2*o, -4*o + 152 = -5*n. Which is greater: o or 37?
o
Let i = -9 + 14. Let m(c) = -c**2 + 5*c - 1. Let p be m(i). Is -2/59 less than p?
False
Let j = 9 + -9. Let z be 2 - (j + -4)/(-2). Is 4/3 < z?
False
Suppose -2*z - 14 = -4*h, 6*h - 2*h - 5*z = 23. Is h != 2?
False
Suppose 4*s - 75 - 1 = 0. Which is bigger: 16 or s?
s
Let v = 59.36 - 58. Let q = v + -0.26. Let t = -0.8 + q. Is -0.2 at least t?
False
Suppose 5*b - 33 = o + o, 0 = 5*b - 25. Let m be (-1)/(-3) - o/6. Let d = 1 - 1. Is m at most d?
False
Let c = -88 + 60. Is c > -28?
False
Let f(n) = -n**2 + 4*n + 1. Let j be f(2). Suppose -j*v + 10 = 30. Let k(p) = p**2 + 4*p - 3. Let h be k(v). Do -1 and h have the same value?
False
Let h = -5.2 + 5. Let i = -0.1 - h. Let w be (-2)/6*(-6)/7. Is i equal to w?
False
Let v = -98/3 + 32. Is v at most -12?
False
Let z be 1 - (-14 + 10)*3/(-4). Is z greater than or equal to -4?
True
Suppose 2*y + 43 = -1. Which is greater: -21 or y?
-21
Let f(b) = b**2 + 4*b + 1. Let s be f(-4). Suppose 2*q + s = q. Let i = -120 + 594/5. Which is greater: i or q?
q
Let k be (-1934)/(-388) + 10/(-2). Do k and -1 have the same value?
False
Let c = -0.14 + 7.14. Let x = c - 5. Let l = -0.3 - 0.7. Which is bigger: l or x?
x
Let n be (-2)/12 + (-7)/84. Is n >= -1?
True
Suppose -2 + 10 = 2*j. Suppose -5*c + 19 - j = 0. Suppose 6*a - 3*a = -c. Which is smaller: a or 2/5?
a
Let b = -114 - -72. Let t be (1014/(-8))/(-3) - 0. Let v = t + b. Is v less than or equal to -1?
False
Let h(q) = -q**2 - 5*q + 3. Let t be h(-6). Suppose 11*l - 4*l = -21. Does t = l?
True
Suppose -8 = 2*d + 3*w, -w - 11 = 3*d + 1. Let l be 20/(-15)*6/d. Is -1 > l?
False
Let d be -7 + 1/(-4)*-4. Let r be ((-9)/(-18))/(d/4). Which is smaller: r or -1?
-1
Suppose -2*t + 3*t = -1. Which is smaller: t or 0?
t
Suppose 2*q - 3*c = -69, 0 = 3*q - 0*c - 2*c + 101. Is -32 greater than or equal to q?
True
Let c = -3 - 41. Let g be (-4)/(-6) + 6608/(-147). Let d = g - c. Do 0 and d have different values?
True
Let h be 163/(-3) + 1*-3. Let f = h + 58. Which is bigger: f or 1?
1
Let b = 86505/11 - 7847. Let g = b + -477/44. Let h = -6 + g. Does -2/5 = h?
False
Let q = -0.14 - -0.13. Let m = 0.09 - q. Which is smaller: -1 or m?
-1
Suppose 0 = -5*l - 5*o + 15, 2*l + 5*o + 0*o + 9 = 0. Which is greater: 1 or l?
l
Suppose 0 = j + 2*f + 2, -3*j - 2*f = -f + 11. Let t be ((j - -1) + 3)/(-3). Which is bigger: t or -3/5?
t
Let k = 0.1 + 0.4. Let b = 0.4 - k. Let u = -1.1 - b. Is u greater than 1/2?
False
Let p = 13 + -26. Is -15 equal to p?
False
Suppose 20 = 3*r + 5*l - l, -5*r + 2*l = 10. Is r > 2?
False
Let t(l) = -l**3 + 4*l**2 - 2*l - 2. Let j be t(3). Let y be (28 + 3)*3/j. Let v = y - 1211/13. Which is bigger: 0 or v?
0
Let f be (2 - 3) + 0 - -5. Let j be 0 - (f/14 - 0). Let m = -10 + 10. Which is bigger: m or j?
m
Let d = 6.05 - 0.05. Let r = 5 - d. Which is smaller: r or 1?
r
Let h be 0/(-2) + -2 + 1. Let u(b) be the first derivative of b**3/3 + b**2/2 - b + 4. Let z be u(0). Is h bigger than z?
False
Let c = 0.98 - -3.32. Let n = -22.3 + c. Is -1 less than n?
False
Let c = 22/27 + -4/27. Is c equal to -6?
False
Let y be (-3)/(9 + -6)*(-2)/2. Which is smaller: 3/17 or y?
3/17
Let h = 38 - 35. Suppose -4 = 3*a - 16. Is a at most h?
False
Let d be 2/(-4)*-4 + 2. Suppose -3*a + 19 = 5*g, -3*g = a - 7*g + 5. Which is smaller: d or a?
a
Let o be (6/10)/(-1) + (-12)/5. Suppose 3*q + 2 = q. Which is bigger: q or o?
q
Suppose q - 5 = -4*q. Let w be (q/8)/((-34)/(-92)). Let m = w - 10/17. Is 0 equal to m?
False
Let y(w) = -w + 2. Let x be y(1). Let c = -9 + 14. Suppose -i = -6*i - c. Which is bigger: x or i?
x
Suppose i = -i. Suppose 3*u + 15 = 0, i*r + 5*u + 28 = 3*r. Let q be -2 + 5 + (-62)/22. Which is smaller: r or q?
q
Suppose -4*l - 5*y = -0*l + 48, -y = 0. Which is smaller: l or -11?
l
Let h be (188/6)/(((-616)/(-21))/11). Is 12 != h?
True
Let r(w) = -w**3 - 6*w**2. Let b be r(-6). Let h = 205937/81606 + 1/3886. Let u = h + -20/7. Is b smaller than u?
False
Let o = 4 - 9. Let r = -10 + 7. Which