<= s?
False
Suppose 13 = 8*p - 3. Is p greater than 3?
False
Let u = 31 - 7. Which is greater: u or 23?
u
Let d = 0 - -2. Suppose 0*x = 2*x + 8. Let l be (x + (3 - 2))*-1. Which is smaller: l or d?
d
Suppose 3 - 7 = -2*s. Let v(d) = -d + 9. Suppose 5*m - c - 39 = -2*c, -m - 4*c = -4. Let i be v(m). Is i < s?
True
Let s be 10 + -6 + -1*2. Let h be 24/14 - 6/(-21). Is h smaller than s?
False
Let g = -211/26 - -34/13. Which is greater: g or -5?
-5
Let v be -18 + (4 + 2 - 3). Is v greater than -14?
False
Let y = 0.5 - 0.5. Let m = 3 + -5. Let w = y - m. Is w > 0?
True
Let u(x) = 2*x**2 - 4*x + 6. Let a be u(3). Is 12 equal to a?
True
Let w(g) = -8*g + 6. Let z be w(1). Which is greater: z or -5/4?
-5/4
Let k = -12 - -14. Let h = -4 - -4. Which is bigger: k or h?
k
Let c = 2.1 - 1.8. Let b = -0.3 + c. Let z = 2 - 3. Which is greater: z or b?
b
Suppose 3*v + 2*v + 5 = 0. Let w be 0 + 3 + (-25)/8. Are v and w equal?
False
Let f = 0.053 + -1.053. Suppose 5*j + 0*j = 30. Let k be -1 - ((-16)/j)/(-4). Do f and k have different values?
True
Let f = 13.8 - 14. Which is greater: 2/9 or f?
2/9
Let i = -3 - -5. Let g = 18 - 19.6. Let u = i + g. Is 0 greater than u?
False
Let m = -0.13 - 6.17. Let x = m - -0.3. Which is greater: 1/3 or x?
1/3
Let j(r) = r**3 - r**2 + 2*r - 3. Let y be j(2). Suppose 3 = l - 4*q, -2*l - y*q = -3*l + 3. Is 3 not equal to l?
False
Let l(m) = m**2 - 2. Let i be l(0). Let w be (-1)/(8 - i)*4. Suppose 2*v = -4*v - 6. Which is bigger: w or v?
w
Let c = 18 + -20. Are -2 and c non-equal?
False
Let m be (3/(-2))/((-6)/(-24)). Let s(g) = -g**2 - 5*g + 9. Let i be s(m). Which is bigger: i or 4?
4
Let h(s) = -s**3 + 3*s**2 + 4*s + 2. Let m be h(4). Suppose -3*t + 3*p - 14 - 43 = 0, 2*t + p = -35. Let n be (-1)/3 + (-42)/t. Is n < m?
False
Let y be 1/2*(2 - 2). Which is smaller: y or 9?
y
Suppose 0 = 2*g - 4*g. Suppose 3*w + 3 = 6. Let s = w + g. Is s at most 1/6?
False
Let k = 36 - 46. Is -7 at least as big as k?
True
Let p = 5.9 + -6. Which is smaller: p or 5?
p
Let y = 6652/227331 - -2/3393. Let i = 2/206995 + -40778283/27737330. Let p = y - i. Which is smaller: -0.1 or p?
-0.1
Suppose -2*m - 4 = -0, -5*w - 2*m + 6 = 0. Suppose -t - 2 = -w*t. Which is bigger: 1 or t?
t
Let u = 3.8 - -1.2. Suppose 8*f - 20 = -2*f. Is u at least f?
True
Let s be (2936/140 - 3/(-7))/(-1). Which is bigger: s or -20?
-20
Let j be -2 + 119/9*-17. Let i = j + 227. Is i greater than or equal to -0.2?
True
Let c = 26 + -25. Which is greater: 110 or c?
110
Let r = -0.14 + 6.14. Let g = -4 + r. Let u = 2 + -1. Is u greater than or equal to g?
False
Let m be (-1 - 2)*-1 + 0. Let t be (-7)/(-1) + (5 - m). Let q be t/(2 - -1) + -2. Is -2/7 greater than q?
False
Let l(f) be the second derivative of f**3/6 - 4*f**2 - f. Let a be l(5). Is -3 equal to a?
True
Suppose 7*k = -43 - 6. Which is smaller: -8 or k?
-8
Let o = 76 + -77. Let w = -78 - -153/2. Which is bigger: o or w?
o
Let t be 2/3 + 35/15. Let h be 0 - t*(-1)/(-9). Is 0.5 < h?
False
Let k = -196765/16 - -38763903/3152. Let y = -1/197 + k. Which is smaller: y or 1?
y
Suppose 2 = -24*g + 26*g. Which is smaller: 4/7 or g?
4/7
Let w = 1.47 - 1.87. Let r = -0.3 - -0.1. Which is smaller: w or r?
w
Let y be 1/1 + (-12)/18. Let v = y + 13. Let b = 14 - v. Which is smaller: -5/4 or b?
-5/4
Let o = 1752564 - 29812192/17. Let s = o + 1094. Which is smaller: -1 or s?
-1
Let v = -42 + 259/6. Is v at least as big as 1?
True
Let c be -2 + 2 + 2 + 24/(-10). Is 7 smaller than c?
False
Suppose -81 = -4*a - 3*n, -a - 2 + 20 = 3*n. Let g = -28 + a. Which is smaller: g or -8?
-8
Let y = -18 - -22. Let n = y + -4. Is 6/13 equal to n?
False
Let k be 2/(-3) - 1/(-15). Let d be ((-20)/6 - -3)*9. Let b be 2/3 - (-8)/d. Which is smaller: k or b?
b
Let a = -14 + 24. Let t be ((-3)/(-6) + -1)*a. Which is bigger: t or -4?
-4
Let o = 42 + -39. Which is bigger: 4 or o?
4
Let j = 1313 - 66961/51. Which is smaller: j or 0?
0
Let f be (-1)/1*(1 - 7). Suppose 5*g + 6 = -3*w - 4, 0 = -2*w - 4*g - f. Let r = -6 - w. Is -2/25 at least as big as r?
True
Let b = 1 + -0.6. Let u(w) = w**3 + w**2 - w - 2. Let c be u(0). Is c greater than b?
False
Let b(t) = -t + 14. Let z be (4/(-5))/((-2)/25). Let g be b(z). Suppose 4 = g*x + 5*h + 3, 0 = -5*x - 3*h - 2. Which is smaller: -2 or x?
-2
Let w be (-20)/64*(-32 + 4). Is 10 at least w?
True
Let n(d) = d**2 - d - 4. Let j be n(0). Let z(f) = -2*f + 14. Let k be z(8). Let u be k/5*10/j. Which is greater: u or -2/13?
u
Let j(c) = -15*c - 1. Let f be j(-1). Suppose f = 2*a + 2*s - 6*s, 3*s = 3*a - 9. Is 2/7 <= a?
False
Let t = 7.9 - 0.9. Let s = 0 + t. Let q(d) = d - 8. Let h be q(7). Which is bigger: h or s?
s
Let x be (5 - 5) + -1*9/(-21). Are x and -1 unequal?
True
Let x be ((-3)/(-6))/(2/44). Is 10 equal to x?
False
Let i(z) = -z + 1. Let t be i(-3). Let c = t - 4. Suppose c = -3*k - 4*a + 23, -6*k + k - 10 = -3*a. Is 3/4 at most as big as k?
True
Let h(n) = 12*n**2 + 36*n. Let g be h(-3). Let v = 1/162 - 491/810. Which is greater: g or v?
g
Let x = 7 + -1. Which is bigger: x or -0.3?
x
Let h = -490 + 30869/63. Which is smaller: h or 1?
h
Let f = -0.9 - 0.1. Let w = -272 - -2994/11. Are f and w equal?
False
Let v = 39 - 56. Let k = 7 + v. Let a = k - -8. Is a at most -3/4?
True
Let q = 11 + -6. Suppose 0 = -3*h - 15, q*w - w - 3*h - 15 = 0. Let r = 62/5 + -444/35. Do w and r have different values?
True
Let p be 2154/(-592) - 64/(-16). Let s = p - -1/74. Is -1 less than or equal to s?
True
Suppose 1 + 9 = 5*l. Let k be (2/6)/(l/(-6)). Which is smaller: k or -2/7?
k
Suppose 5*p = 13 - 43. Suppose 0 = 5*u - 5*q + 35, -2*q + 1 = u - 4. Is p at least as big as u?
False
Let b = 15 - 13.1. Which is smaller: 1 or b?
1
Let y = 15 - 15. Suppose -4*d + d = y. Let v = 285/7 - 41. Which is smaller: d or v?
v
Suppose -5*u + 3*u = -4. Which is smaller: 1 or u?
1
Let b be 10*(15/(-6) + 2). Let w be (b/(-2))/(1/2). Suppose 0 = -4*r + w*r - 1. Which is smaller: -2/9 or r?
-2/9
Suppose 3*f - y - 3 = -4*y, 4*y = 3*f + 11. Let j = -11 + f. Which is bigger: j or -11?
-11
Let y be (-2)/4*(-10 - 0). Let l be 0 - (-2)/(-6) - 16/240. Which is smaller: y or l?
l
Let y = 11 - 36. Are y and -25 nonequal?
False
Let j be ((-1)/10)/(15/(-30)). Let m(s) = -s**2 + 8*s + 8. Let p be m(9). Which is smaller: j or p?
p
Let m be ((-1)/(-2))/((-5)/(-60)). Let k = m - 9. Is -2 not equal to k?
True
Suppose 0 = -2*o - x + 8, -o + x + 0 = -1. Suppose 0 = -3*a + 5*k + 19, -o*a + a + 3*k = -12. Let m be (0 - a) + 1*4. Is 1/4 <= m?
True
Let j = -0.18 - -7.18. Let n = j - 4. Let d = 4 - n. Is 3 bigger than d?
True
Let k be ((-6)/(-72))/(2/4). Let g(n) = -n**3 + 8*n**2 - n + 8. Let i be g(8). Which is smaller: k or i?
i
Let n = 1.3 + -0.3. Let i = -4 - -3.6. Let g = i - 0.6. Which is smaller: n or g?
g
Let k be (-78)/(-8) + 7/28. Let m be (-36)/k + (7 - 3). Are 0 and m non-equal?
True
Let d = 10 - 5. Let k be -3 + 7 + (-28)/d. Which is greater: -3 or k?
k
Let y(t) = -t**3 - 9*t**2 - 9*t + 12. Let s be y(-7). Is -24 at least s?
False
Suppose b = 2*b - 2. Suppose -2 - 26 = -2*i + b*h, -6 = i + 4*h. Suppose 3*f + i + 2 = -3*r, -27 = -2*r + 5*f. Which is smaller: 1/3 or r?
1/3
Suppose -5*t = -4*y + 20, 10*y - 25 = 5*y + t. Suppose 4*x + 1 - y = 0. Suppose -2*q + x = -3*q. Is -2/7 at most q?
False
Let a(u) = -u**3 - 18*u**2 - 18*u - 17. Let o be a(-17). Does 1/3 = o?
False
Let l(q) = q**2 - 3*q - 7. Let z be l(5). Let y be 2*(-4 + z) - -4. Let m = 0 - 0.2. Are y and m equal?
False
Let y = 14 + -2. Is y less than -0.08?
False
Let p be 3/(90/88) + -3. Let y(c) = -c**3 - 2*c**2 + 2*c - 2. Let a be y(-3). Which is smaller: p or a?
p
Let n = 0.27 - 0.57. Which is smaller: n or 0.1?
n
Let p = -0.1 - -0.1. Let z = 0.521 + -31.611. Let s = 31 + z. Do p and s have the same value?
False
Suppose 0 = -f - 5*t + 26, 4*f + 1 = -0*f + t. Is 10/11 greater than or equal to f?
False
Let t = -13.5 - -13. Which is bigger: t or 0.1?
0.1
Let f = -6 + 5.9. Let l = f + 0. Which is greater: l or 0?
0
Let i be (-2 + -1)/((-6)/4). Suppose -3 + i = -c. Which is bigger: -2/37 or c?
c
Let s be (23/(-3))/(16/48). Which is smaller: s or 4/5?
s
Let o be 9*((-2)/(-3) - 1). Suppose -5*g + 9*g = 0. Is o < g?
True
Let o be 29/28 - 6/21. Let i(y) = y**3 - 4*y**2 + y + 1. Let s be i(3). Let f = -