 smaller than a?
False
Let p be ((-6)/8)/(1/8). Let x(v) = -v**2 - 6*v. Let n be x(p). Suppose 0 = r + 2*r. Is r > n?
False
Suppose -m - 110 = -11*m. Suppose 4*y + 5*s = 40, 3*s - 4 = -y + 6. Is m at least as big as y?
True
Suppose -3*f + 8 = -4*f + 3*a, 0 = -3*a + 12. Is 11/3 less than f?
True
Let w = -3.7 + 2.4. Let a = -3.7 - -4. Let u = a + w. Is -1 equal to u?
True
Suppose u + 3 + 4 = 0. Let m be 856/42 + (-2)/u. Let l = -21 + m. Is l < 0?
True
Suppose -7*z + 21 + 28 = 0. Which is greater: 10 or z?
10
Let x(c) = c**2 - 10*c + 4. Let k be x(11). Let p = -17 + k. Is p less than 0?
True
Let r be -6 - (3 - (1 - -4)). Is -2 != r?
True
Let w be 2 - (-1 + (-52)/(-10)). Which is smaller: -2 or w?
w
Let b(a) = 5*a**2 - a + 1. Let m(s) = s - 1. Let c be m(2). Let n be b(c). Suppose 3*h = -n + 14. Is 3 <= h?
True
Suppose -4*f - 14 = r + 7, -2*f - 5 = -5*r. Is -8/33 less than r?
False
Suppose 3*h - 3 = 3. Is h equal to 3?
False
Let l = 2 - 2.2. Let w(r) = -r**2 + 2*r + 2. Let u be w(2). Is u != l?
True
Let k(z) = z**3 - 10*z**2 - 11*z + 3. Let r be k(11). Suppose r*g - 8 = -g. Which is bigger: 3 or g?
3
Let u(g) = g**3 + 7*g**2 + 5*g + 4. Let a be u(-6). Which is smaller: a or 11?
a
Let w = -19 + -18. Is -40 <= w?
True
Let m(u) = -u**2 + u - 1. Let s be m(1). Is s bigger than -1?
False
Let n = -40 + 28. Let a = n + 17. Do a and 5 have the same value?
True
Let o be 2/(-12) - (-70)/36. Let m = -22/9 + o. Is -6 smaller than m?
True
Let v(z) be the first derivative of -z**2/2 + 18*z + 2. Let p be v(13). Which is smaller: p or -2/3?
-2/3
Suppose 0 = 3*u + 13 - 34. Is u smaller than 3/4?
False
Let l be 38/(-9) + (-20)/(-45). Which is greater: l or -5?
l
Suppose 0 = 2*o - 7*o + 5. Suppose 0 = -3*m + 2 + o. Let a be 49/28 + -1*2. Is m > a?
True
Let x = 0.05 - -0.85. Let h = 2 - 1. Let b = h - x. Is b at least 1?
False
Let h = 19 - 34. Let m be (5/h)/(1/(-3)). Which is greater: m or 0?
m
Suppose w - 4*k - 10 = 0, 2*w - 5 - 15 = -5*k. Do w and 10 have different values?
False
Let d = -54 + 52. Do -1 and d have different values?
True
Let c = 1 + -1. Suppose 4*m + 130 = 3*m + 2*p, 5*p - 15 = c. Let x = 622/5 + m. Which is bigger: 0.2 or x?
x
Let l(w) = w - 16. Let y be l(15). Is -1 at least as big as y?
True
Let x(k) = 2*k + 2. Let n be x(-2). Is n greater than -1?
False
Suppose 10 = -y - 2*s, -2*y + 3*s - 7 = 2*y. Which is greater: y or -5?
y
Let p = -29 - -9. Is -20 greater than or equal to p?
True
Let x be 6*5/(-15) - 2*7. Is -19 > x?
False
Let p(z) = -z**2 + 7*z + 8. Let j be p(7). Let x = 14 - j. Which is bigger: x or 5?
x
Let j = 8 + -7. Let r be (1 - j)/(-2 + 0). Is 2 at least as big as r?
True
Suppose 0 = v - 2 - 5. Let n = v - 5. Suppose -n*l = l - 9. Which is bigger: l or 2?
l
Suppose 2*v - v = -1. Is -4/7 >= v?
True
Let o = -1/103 + -201/515. Which is greater: o or 2?
2
Let v = -452/7 - -65. Is -1 at least as big as v?
False
Suppose 2*c + 1 = 5*h, -5*h + 3*c - 3 = -2*h. Let x(f) = -4*f**3 - f**2 + 3*f - 2. Let d be x(h). Which is smaller: d or -3?
d
Let f be (-1)/4*-2 - (-36)/72. Which is bigger: 6/55 or f?
f
Let h be (2/12)/(6 - 85/15). Which is smaller: 0.012 or h?
0.012
Let y = -3335/57 - -173/3. Which is smaller: -2 or y?
-2
Let u = 1 + -1.1. Let f = -14.7 - -14. Which is greater: f or u?
u
Let s be 2/(-4)*6/(-51). Is s not equal to -1?
True
Suppose -4*b = -3*b. Let u = b + 1. Is u equal to 2?
False
Suppose 2*h + i = 6, 0 = -3*h - i - 2*i + 9. Let w = 5 - h. Which is greater: 4 or w?
4
Suppose -2 = 3*z + 5*f + 5, 2*f = 3*z - 28. Is z at least 7?
False
Let o(h) = -h**2 - 5*h + 5. Suppose -25 = 3*q - 7. Let j be o(q). Is j bigger than 2/13?
False
Let a(w) = w**2 - 7*w + 9. Let u be a(6). Let g be (-1)/u*(-30)/100. Is 1 bigger than g?
True
Suppose -5*b = 4*c - 2*c + 173, 3*b + 102 = -3*c. Is -34 != b?
True
Suppose d - 14 = -5*r + 7, 5*r - 22 = -2*d. Let m = -2553/4 - -632. Let k = m - -7. Which is smaller: d or k?
k
Let m = 41 - 159/4. Are 1 and m nonequal?
True
Let u(k) = -24*k**3 + k**2 - 2*k + 1. Let c be u(1). Let v be c*((-4)/(-12))/(-1). Are 8 and v nonequal?
False
Suppose -5*l - 5*i = 50, 5*i - 2 = -22. Does 4 = l?
False
Let w be (-1)/(-4)*(1 - -1). Is w < 41?
True
Let d = -3429/11 - -312. Let z = -116 - -117. Is d > z?
False
Let c = 18.8 - 19. Which is smaller: c or 27?
c
Let n = 340 + -944/3. Let x = -53 - -29. Let h = n + x. Is h < 2?
True
Let q = -5.97 - -6. Let z = q + -3.03. Let i = -5 - z. Does -0.1 = i?
False
Let c = 2 + 1. Suppose 0 = -c*r + 5*d - 27, -3*d - 3 = r + 2*r. Suppose u - 11 = -2*j - 3*j, -5*u + 4*j = 32. Is r less than or equal to u?
True
Let b = 95 - 95. Which is greater: 2 or b?
2
Suppose l + 75 = 6*l. Let a be 1/(2/4) + 12. Which is smaller: a or l?
a
Let o = 42641/27 + -1579. Let b = o + -2/27. Let u = 5 - 5.3. Which is smaller: u or b?
u
Let k = 5 - -3. Let q = 9 - k. Is q greater than 0.9?
True
Suppose -3 - 27 = -5*n. Which is smaller: 3 or n?
3
Suppose -18 = 2*o - 2*j, 2*o = 2*j - j - 13. Suppose -3*q = -2*b + b - 16, -b - 4*q + 12 = 0. Is o at least b?
True
Let t be 23/(-2) - (-8)/16. Let r = 20 - 30. Is r less than t?
False
Let q(k) = 2*k - 2. Let y be q(1). Suppose -7*p = -3*p + 20, y = 2*l - p - 7. Which is bigger: -2/27 or l?
l
Let k = -8 + 6. Let i be (-1)/(k/4) - 9. Do i and -8 have the same value?
False
Suppose 9*c + 32 = -4*m + 4*c, 3*m = -2*c - 17. Which is smaller: m or -5?
-5
Let o be 3/4*(-1)/(-3). Let f = -355.03 + 353. Let m = f - -0.03. Is o > m?
True
Let q = 3.9 - -0.1. Let c = q - 3.9. Is c != 1?
True
Suppose -3*o - 47 = 5*f, -34 = 4*f - f - 4*o. Let z = f - -17. Is 4 < z?
True
Let k be 3/2*4/(-15). Let b = 7.82 + 0.18. Let p = b + -9. Is k greater than or equal to p?
True
Let t = -6.04 - -6. Let x = 1.04 + t. Which is smaller: x or 3?
x
Suppose 8 = 2*j, 5*y - 5*j + 2*j = -577. Let m = -73/169 - -133852/1183. Let x = y + m. Are 0 and x unequal?
True
Let s be -1 + 20/12 - 0. Suppose 3*k - y = -1, k - 2 + 3 = y. Is k greater than s?
False
Let x = -70160647/399 + 175841. Let w = x - -6/19. Which is smaller: -1 or w?
-1
Suppose -5*c + c + 4 = 0. Let n be (-4 - (-28)/7)/(-5). Which is smaller: c or n?
n
Let k(v) = v**2 + 10*v - 9. Let r be k(-11). Let o = -9953/9 - -1107. Is r >= o?
True
Suppose -3*k + 34 = 4*p - 33, -5*p + 55 = -2*k. Let u = 14 - p. Which is bigger: u or 2/17?
u
Let j = 15 - 6. Is 8 equal to j?
False
Suppose -5*a + 4 = 54. Let o = -11 - a. Are o and 4 nonequal?
True
Let q be (0 - (0 + -1))*1. Let u = q - 1. Let s(k) = -k**3 + 27*k**2 - 27*k + 24. Let b be s(26). Which is bigger: b or u?
u
Let q(v) = 8 - v**3 + 0*v**2 - v - v**2 + 0*v. Let p be q(0). Let w(s) = -s**3 + 9*s**2 - 7*s - 5. Let x be w(p). Which is greater: 2 or x?
x
Let h = 15 + -13. Suppose l = 5*r - 3, 0 = 3*l + 2*r - 0*r - 8. Suppose l = -4*a + h*t, -4*t = 3*a - 3 - 1. Is a smaller than -2/7?
False
Suppose 0 + 3 = 3*t, -2*q - 4*t = -10. Let c(o) = o**2 - 2*o - 4. Let w = -11 + 15. Let f be c(w). Which is greater: q or f?
f
Let v = 0 + -2. Let j be (-4)/6*6/v. Let z = -4 - -7. Which is greater: z or j?
z
Suppose s = 4*s + 3. Suppose 0 = n - 2 + 1. Let d be 56/480 + n/(-4). Which is smaller: s or d?
s
Let g be (-2)/(-3)*1/2. Let d = -5 - -6. Let q = d + -0.6. Is g smaller than q?
True
Let j be 38/6 - (-4)/6. Let x(y) = -y**3 + 7*y**2 + y - 6. Let c be x(j). Suppose 0 = q - 5, -3*s + 7 = 2*q. Which is bigger: c or s?
c
Let v = -0.2 + -2.8. Let i = -4 - v. Are i and 5 equal?
False
Let o = -0.1 + 0.2. Let f be ((-12)/8)/((-6)/(-32)). Let k be -1 - -1 - (f + 5). Which is bigger: o or k?
k
Suppose h + 5*x + 27 = 0, -2*h - 3*x - 7 = -6*h. Let y be (h/3)/((-14)/735). Let i be (-25)/y + (0 - -1). Which is greater: -1 or i?
i
Let z be -3*((-40)/(-6))/(-5). Suppose 2*v = -10, 4*k + 14 = -z*v - 6. Which is greater: -2 or k?
k
Suppose 4*n = -2*p - 2, -n - 1 = 4*p - 4. Is n at most as big as 2/11?
True
Let t = -1.3 + 1.4. Which is smaller: 0.8 or t?
t
Let h = 2115/913 + -2421735/933086. Let k = h + -1/146. Are 0.7 and k unequal?
True
Suppose 4*b - b = 9. Let g(a) = a - 8. Let k(y) = y**2 + y - 8. Let s be k(4). Let d be g(s). Which is smaller: d or b?
b
Let y = -5 + 6. Which is greater: 4 or y?
4
Suppose -8 = -3*i + 1. Let h = 10 - 7. Let u(p) = p**3 - 2*p**2 - p - 4. Let g be u(h). Which is smaller: g or i?
g
Suppose -z = 4*h + 15