 bigger: -1 or u?
u
Let l(s) = 29*s**3 + 3*s**2 + 2*s. Let o be l(-2). Let n be o/(-108) - (-2)/(-1). Which is bigger: -1 or n?
n
Let i = 41 + -125/3. Let b be 2/9 - (-190)/(-45). Let p be 0*(b + 2)/2. Which is bigger: i or p?
p
Suppose -5*v = r - 4*r + 67, 3*v = 2*r - 40. Is v greater than or equal to -9?
False
Suppose -3 = 3*u + d, -5*u + 3*d = -0*d + 19. Suppose -4 = 2*f - 20. Suppose i - f = -l - i, -l + 4*i - 22 = 0. Is u equal to l?
True
Let n = 62.8 - 63. Is -14 at most as big as n?
True
Let i = 0.01 - 1.01. Are i and -1/4 equal?
False
Let n = -21 + 5. Are n and -0.1 unequal?
True
Suppose -2*b = -2 + 22. Let m be (8/b)/(10/25). Let z be (-1 - 9/(-8))*-2. Is m at most z?
True
Let a = -3 - 3. Let o = a - -6.5. Which is smaller: -2/7 or o?
-2/7
Let p(d) = -6*d - 2. Let y be p(-1). Suppose 5*q + 4*h + 2 = 0, 3*q + h = -0*q + 3. Suppose 5*b - y - 4 = -3*g, -2*b = -4*g + q. Is -2/11 smaller than g?
True
Let i = 15/4 - 93/28. Which is greater: i or -0.3?
i
Let u = 3.55 + -3. Let m = u - 0.05. Let w = m + -0.6. Do w and 1 have the same value?
False
Suppose -9*y = 53 + 19. Which is smaller: y or -10?
-10
Suppose c - 5*h - 3 = 10, 5*c - 3*h + 1 = 0. Let b be -3*(-2)/4*-2. Is c <= b?
False
Suppose -5*h = 1 + 14. Let b(d) = -d**2 + 3*d - 3. Let o be b(3). Is o not equal to h?
False
Let j be (2/4)/((-2)/(-24)). Suppose -j*n - 6 = -4*n. Is 0.1 < n?
False
Suppose 3*s = 12 + 30. Which is smaller: 11 or s?
11
Let f be 21/(-14) + (-237)/2. Which is greater: -119 or f?
-119
Let v = -1 - 1. Let z be (-56)/(-90) + v/5. Is 1 at least as big as z?
True
Let c(v) = -v**2 + 13*v + 1. Let o be c(13). Is 1 at least as big as o?
True
Let w = 20 - 20. Let p = -2.05 + 0.05. Which is smaller: p or w?
p
Suppose 30 = -5*g + 5*m, -4*g - 38 = 5*m + 31. Let c = g + 7. Let z be c/6 + 12/45. Which is greater: z or -1?
z
Suppose 6*f + 4*q + 120 = 11*f, -4*q = 4*f - 60. Do f and 22 have the same value?
False
Let g = -1/22 + -5/11. Let z = 0 - 0. Let k be ((0 - 1) + z)*0. Is g bigger than k?
False
Let y = -7 + 11. Let d = -3 + y. Let t = -1.1 + d. Are t and -1/4 equal?
False
Let q(k) = -k**3 + 5*k**2 + 2*k + 1. Let z be q(5). Suppose -5*j = -3*y - 2*y - 50, 5*j - 3*y = 52. Let l = j - z. Is 2/7 smaller than l?
False
Let d = 0 + 0. Let k = -0.06 - 0.94. Let z = d - k. Which is bigger: z or -2/7?
z
Let c be (1 + 0/(-3))/1. Which is smaller: c or -1?
-1
Let y = -0.18 + 2.18. Are y and -1 equal?
False
Suppose 66 = -l - 2*l - 3*b, 0 = 4*l + 5*b + 92. Is l equal to -18?
True
Let l(n) = 7*n - 1. Let r be l(-1). Let m = -6 - r. Suppose -2*s - o = -9, -m*s + o - 5 = -4. Is s at most 2?
True
Let n = -9 - -10. Let g = n - 0.9. Is 2/7 less than g?
False
Let a = 6803810/561 - 12128. Let w = -754/1683 + a. Which is bigger: 1 or w?
1
Let m = 21 - 20. Let b = -1/2 - -1/4. Is b bigger than m?
False
Let y(w) = -w - 2. Let z be y(-2). Is -3 >= z?
False
Let v = -2/51 + -236/51. Is v < 0.1?
True
Let b = -2 + 1. Let w = 0 + b. Let f(q) = 2*q**2 + 2*q + 1. Let h be f(w). Which is smaller: 0 or h?
0
Let i(d) = 14*d + d**3 - 1 - 5*d - 10*d**2 + 2. Let f be i(9). Which is bigger: 0 or f?
f
Let w = -5 + 7. Suppose w*c + c - 18 = 0. Let y = c + -5. Is y greater than 1?
False
Let b be (0 - -1)/((-2)/7). Suppose 25 + 75 = -20*n. Which is bigger: b or n?
b
Let z = -9.6 - -6.6. Which is smaller: z or -15?
-15
Suppose -5 + 0 = v. Let a be v/((-5)/3) + -4. Let w be 27/(-6) + a/(-2). Are w and -2 nonequal?
True
Let z = -2.906 + -0.094. Which is smaller: 0.06 or z?
z
Let z = -3 + 5. Suppose -z*i + 1 = -i. Do -3/10 and i have the same value?
False
Let c = -0.98 - 0.02. Let a be ((-7)/1 - -1)*4/(-204). Which is greater: a or c?
a
Let a = -8 + -1. Let v = a + 9. Is v greater than -0.1?
True
Let q = -6 - -7. Which is smaller: q or -5?
-5
Suppose -5*d + 16 = -4*a, -3*a + 3*d - 13 = -d. Which is bigger: a or -3/20?
a
Let x be (-1 - 3 - -3) + 5. Let i be (7/(-14))/((-2)/x). Is i less than or equal to 0?
False
Let d = 8 - 12. Let m = 4 + d. Is m > 1/3?
False
Let u = -1096087/32060 + 23/2290. Let g = 199/7 + u. Let m = g + 73/12. Which is smaller: m or 2?
m
Suppose m - 134 = -2*s, -1 + 5 = 2*m. Is 65 bigger than s?
False
Let z = -7 - -8. Which is bigger: z or 3?
3
Let v = -37 - -25. Which is bigger: v or -13?
v
Suppose f - 6 + 0 = k, -f + 4*k = -18. Suppose 0 = 4*r - 3*r + 5*u + 4, 0 = -r - 4*u - f. Let d be -2 - (-2 - 6 - -1). Is r bigger than d?
True
Let v = -24 - -11. Let p be 28/v + 8/52. Is -2 bigger than p?
False
Let w = 38 + -26. Let d = w + 0. Let z be 3/d - 1/4. Is z less than 1?
True
Suppose -2*k = -3*k + 1. Let x = 24 - 15. Suppose 0 = -2*f - f - 3*m + 9, -3*m + x = -2*f. Which is greater: f or k?
k
Suppose 23*q + 24 = -45. Suppose 3 = s, -4*k + s = -3*s + 32. Which is smaller: k or q?
k
Let c = -37 + 38. Let z be 12/45*(-2)/4. Which is greater: c or z?
c
Let g = -68 + 44. Is g equal to -24?
True
Let l(p) = p**3 + 5*p**2 + 2*p. Let b be l(-4). Let m(i) = i + 3 - 8*i**2 - 9 + i**3 + 0*i. Let j be m(b). Which is smaller: 3 or j?
j
Let j = -210/17 - -1339/85. Is j at most 3?
False
Let k = 2932/7 + -419. Suppose 0 = -5*t + 4*t. Is k greater than or equal to t?
False
Suppose 3*o = j + 12, -2*j - 2*o = 8 - 0. Which is bigger: -7 or j?
j
Let j = 0.024 - -5.176. Let t = j + -0.2. Is 0.1 greater than or equal to t?
False
Let b = -4.1 + 0.1. Let v = b - -4.1. Let j = 0.3 + -0.3. Which is smaller: j or v?
j
Let d = 30 + -50. Let o = 21 + d. Which is smaller: o or -12?
-12
Let d be 8*(9/(-6) - -2). Suppose -d*c = 3 - 7. Is 16 < c?
False
Let f = -34 - -34.1. Is 1/2 less than f?
False
Let u = 11 + -6. Let n = -1 + u. Suppose -n*p = -21 + 5. Are 4 and p equal?
True
Let y be (-4)/(-12) - 106/(-6). Let a be y*(-1)/(-2) - 3. Is 5 bigger than a?
False
Let w = -11 - 7. Let h = w + 13. Is -4 equal to h?
False
Let w be 3/9*(-1 + 1). Let q(p) = p + 0*p + 2*p**2 + 0*p**2. Let n be q(-1). Is n bigger than w?
True
Let z be (2/(-5))/(2/(-10)). Suppose -3*t + 11 = -4*b - 23, 4*t + 18 = -b. Let v be (-10)/(-60) + b/(-12). Which is smaller: v or z?
v
Let v(z) = -z**2 - 2*z. Let x be 1/(2/(-12)*-3). Let p be 2 - ((-30)/(-3))/x. Let a be v(p). Is a greater than or equal to 1/2?
False
Let a(o) = 8*o + 3*o**2 - 3 - 4 - 2*o**2 - 2*o. Let q be a(-7). Let d(l) = -l - 3. Let n be d(-5). Is q at most as big as n?
True
Let s be 2/3*(-6)/10. Let a be (-18)/15 + (-2)/(-10). Which is greater: s or a?
s
Let f = 41 + -41. Is f bigger than -2?
True
Let b = 3.5 - 3.4. Is b greater than 25?
False
Let f(s) = -1. Let c(m) = m - 6. Let h(k) = c(k) - 4*f(k). Let j be h(2). Which is bigger: j or -1/33?
j
Suppose 8 = 4*v + 4*j, 0 = 2*v - 3*v + 3*j - 18. Suppose 3*y + d = -2, 2*y = 5*d + 3 - 27. Which is greater: y or v?
y
Let z = 667/21 + -61/3. Are 10 and z equal?
False
Let k(s) = s**3 + s**2 - 12*s. Let z be k(-4). Which is smaller: 9/19 or z?
z
Let m be (-32)/(-10) - 9/45. Suppose i + 6*y = 2*y + 20, 3*i + m*y = 33. Which is smaller: i or 7?
7
Suppose 4*g + 10 = -2*n, -3*g - 20 = -3*n - 8. Let y be ((-4)/g)/(1/3). Suppose c = -4*t - 15, -y*t - 21 = t + 2*c. Is t at least as big as 1/4?
False
Let y(x) = x + 1. Let s be y(2). Let k(h) = -h**2 - 7*h - 5. Let n be k(-5). Let f be 2/(-1) + (n - 1). Which is greater: f or s?
s
Suppose 5*b + 23 = -4*k, -6*b - 8 = k - 4*b. Let c = 10 - 8. Do k and c have different values?
True
Let l = 856/5 + -173. Let v = -6/5 - l. Is v bigger than 2?
False
Let q = 6.3 - 10. Let t = 4 + q. Let a = 0.4 - t. Are -3 and a unequal?
True
Suppose -4 = 2*w + 3*s, s + 11 = 4*w - 9. Suppose -2*l = 2*b + 2*b + 10, -3*l - w*b - 9 = 0. Are 2 and l unequal?
True
Suppose 4*r + z = -2*z + 8, -r - 15 = 5*z. Which is smaller: 7 or r?
r
Suppose -3*k + 7*k - 8 = 0. Suppose -4*p - 4*b + 60 = 0, -3*p = -p - 4*b - 12. Let r be (-14)/4*p/(-21). Are r and k unequal?
False
Let b = -2 + 4. Let k(y) be the third derivative of y**4/24 - 2*y**3 - 3*y**2. Let z be k(14). Is b bigger than z?
False
Suppose 2*x = -x - 3*a - 198, 5*a = 2*x + 160. Is x != -70?
False
Let h = 149 - 223. Is -74 <= h?
True
Let w be 3/2*4/(-12). Do w and -2 have the same value?
False
Suppose 5*v - 33 = -88. Let l = -5 - v. Is 5 at most l?
True
Let b be ((-12)/10)/(6/20). Suppose 0 = -4*p + 20, 0 = t - 2*t + 5*p - 28. Which is bigger: b or t?
t
Let c(b) = b**3 + 11*b**2 + 10*b + 1. Let 