b be -4*2*(-8)/(-4). Let f = -63/4 - b. Is 0 < f?
True
Let l = 35 - 27.9. Let m = 7 - l. Which is greater: m or 3?
3
Let y = -0.17 - -0.11. Is y at most as big as -2/5?
False
Let f be (-2)/(-3)*(45 - 0). Suppose 0*t - 3*t = 6, 0 = 5*p - t - 52. Suppose -p + f = -4*n. Which is greater: n or -4?
-4
Let a = 122/153 - 6/17. Is a at least as big as 0?
True
Let w be (0 - 2) + -1 + 3. Let j be (-3)/12 + (-1)/380. Let v = j - -1/19. Is v < w?
True
Let u be (-2)/5*15/9. Let p = -2 + 2. Is u less than or equal to p?
True
Let p(k) = k**3 - 3*k**2 - 2. Suppose -3*j + 6 = -3. Let m be p(j). Are -1 and m non-equal?
True
Let c = -6.07 - -0.07. Let v = -4 - -11. Let z = v + c. Is 2 equal to z?
False
Suppose -5*g - 8 = -3*g. Is -1 bigger than g?
True
Let t be (-94)/(-208) + (-2)/6. Let l = 10/39 + t. Suppose c = 5*c. Which is smaller: c or l?
c
Let n = 501 - 11019/22. Which is greater: 2 or n?
2
Let g = -0.071 - 3.229. Let z = g + 3. Let b = 0.02 + -0.12. Which is bigger: b or z?
b
Suppose 0 = -4*x - 2*w - 1 + 9, -6 = -3*w. Suppose 18 = -2*r + 4*j, 3*j + 2 = -4*r - x. Let q(u) = -u**2 - 2*u - 1. Let s be q(r). Which is smaller: -2 or s?
s
Let k = -24 - -35. Let m = k - 18. Is 0.2 less than m?
False
Suppose 2*v - 6*v = 4. Let w = -3/7 + 3/56. Is v < w?
True
Let g be (-4)/6 + 28/6. Suppose g*p - 12 = -4. Let z be 2*(p/(-4) - -1). Which is smaller: z or 1/4?
1/4
Let l(h) = h - 5. Suppose 0 = -5*a + 15, u + 10 = a + 4*a. Let c be l(u). Suppose c = -3*i + i. Is i equal to -4/3?
False
Let u(r) = r**3 + r**2 - 2*r + 1. Suppose 3*d - 15 = -k, -3*k + 2*d + 2 - 1 = 0. Let y = k + -2. Let z be u(y). Are z and 1 nonequal?
False
Let l = -0.1 + 0.1. Let p(a) = a + 2 + 0 + 1 + 0*a. Let b be p(-3). Is l > b?
False
Let x = -26 + 16. Let p be 9/6*x/12. Suppose -4*b - 4 = -0*b. Which is smaller: b or p?
p
Let b be (-39)/(-442)*(-4)/2. Which is greater: 1 or b?
1
Suppose 3*x + 3 = 6. Let g(v) = v**2 + 6*v + 1. Let a be g(-5). Let j = -2 - a. Are x and j equal?
False
Suppose -8 = 3*p - 2. Let b be (3 - (-2 - -3)) + p. Is b less than 0?
False
Let b(y) be the first derivative of -y**2/2 - 10*y - 1. Let v be b(-7). Let m be (-1)/(v/(-30)*-2). Is m at most as big as 5?
True
Let v be ((-9)/210)/((-180)/35). Is 0 less than or equal to v?
True
Suppose -6 = 3*w + 3. Let j = 9 - 12. Does j = w?
True
Let r = -10 + 9.93. Let m = -3.07 - r. Let n = m - -3. Is n greater than or equal to 0.4?
False
Let m = 518 + -2573/5. Are 2 and m non-equal?
True
Suppose 0 = -4*l - 9 + 77. Is 17 at most as big as l?
True
Let k(x) = -2*x**3 - x + 6*x**2 + 3*x**3 - 1 - 5*x**2. Let j be k(-1). Let y be (-6)/14*(-1 - -2). Which is bigger: y or j?
j
Suppose -2*i = -0*i - 30. Does i = 14?
False
Suppose -20 = -4*m - m. Let k be (-4)/3 - m/(-12). Which is greater: -5 or k?
k
Suppose -3*o = -5*a - 30, 0 = 2*o - 2*a - 6 - 10. Suppose -25 = -4*w - d, 9 = o*d - 16. Is 5 at least w?
True
Let v(p) = p**3 + p**2 - p + 12. Let q be v(0). Which is bigger: 10 or q?
q
Let u(i) = -i**3 - 3*i**2 + 3*i - 1. Let q be u(-4). Suppose 2*k - 1 - 7 = -4*l, 2*l - 5*k - 16 = 0. Let r = l - q. Is -2/9 bigger than r?
False
Suppose 54 = 2*z + z. Let t be (14/21)/(4/z). Is 4 not equal to t?
True
Let v = -221/12 + -49/12. Let o = v + 227/10. Let b(a) = a**3 - 8*a**2 + 12*a + 1. Let u be b(6). Which is greater: o or u?
u
Let x be ((-10)/(-15))/(4/(-30)). Are -2 and x equal?
False
Let d = -0.37 - -1.37. Is d != 1/3?
True
Suppose 0 = -5*x - 2*d + 3*d - 56, 2*x + 5*d = -17. Let p = x + 8. Is -2 != p?
True
Let d be 2 + (-3 - -2) + 0. Which is smaller: d or 1.8?
d
Let a = 31.9 + -33. Are -1/2 and a nonequal?
True
Let s(d) = -d - 4. Let y be (9/(-15))/(2/(-10)). Suppose 10 = -3*l + o, -6*l - 8 = -y*l + o. Let g be s(l). Is g > -1?
False
Let h = -12 - -12.07. Let a = 1.07 - h. Which is greater: a or -5?
a
Let w = -88.43 + 88. Is w >= 1/5?
False
Suppose 2*i - 31 + 127 = 0. Which is smaller: -47 or i?
i
Let y be 14/8 - (-2)/(-4). Which is greater: y or -1?
y
Suppose 4*g + 3*d = 3, g - 17 = -0*g - 4*d. Suppose 1 = -2*i + i + 2*t, i - 5*t + 10 = 0. Let r = i + g. Do 2 and r have the same value?
True
Let x be (3 - 4)/(2/(-3)). Let v be -15*(-2)/6 - 4. Is x less than v?
False
Let i = 157 + -160. Is i greater than -3?
False
Let c(x) = x**2 + 5*x + 3. Let z be c(-4). Let u be (-24)/9 + (-2)/6. Let s(b) = -b**3 - 3*b**2 - b - 3. Let g be s(u). Which is greater: z or g?
g
Let g(d) = d**3 + 9*d**2 + 3*d - 6. Let m be g(-8). Suppose -38 = -5*z - 3*p, 5*z - p = -0*p + m. Is 7 equal to z?
True
Let y(b) = b**2 + 3*b + 39. Let g be y(0). Which is bigger: 3 or g?
g
Let s = -47 + 140/3. Suppose n + 4 = 4*o, 2*n - o - o = 4. Let u be n/6*(-3)/2. Does u = s?
False
Let s be 3*2*2/3. Suppose n - 15 = -4*n. Is n >= s?
False
Let q(f) = f**3 + 16*f**2 + 18*f - 18. Let y be q(-15). Is y at most as big as -63?
True
Let o = -7.1 - -7. Suppose 3*d + 3 + 3 = 0. Which is smaller: d or o?
d
Suppose 11*b = 12*b - 10. Let j = -30 - -39. Which is bigger: j or b?
b
Suppose -6*j = -3*j - 5*z - 6, z = 0. Suppose y - 2*x = 0, -j*y + 5*x = -7*y. Which is greater: -1/9 or y?
y
Let g(k) = -4*k - 4 + 5*k - 4. Suppose -3*t - 2 = b - 0*b, -2*b + 4*t = -26. Let v be g(b). Which is smaller: v or 1?
v
Suppose -2*q = -3*s - 4, 0*q - 3*s = -3*q. Which is bigger: q or -60/17?
-60/17
Let l = 4 + -6. Let n(b) = -b**3 + 5*b**2 - 5*b + 2. Let z be n(4). Are l and z nonequal?
False
Let t = -185/3 - -61. Suppose -2*j - j = 0. Is j bigger than t?
True
Let b = -1.51 + 0.51. Which is smaller: b or -2/19?
b
Let i(p) = -2*p - 18. Suppose 5*n = -2*q - 10 - 33, -3*q + 39 = -4*n. Let g be i(n). Is g >= 3/13?
False
Let u be 10/((-3)/(-9)*9). Is u > 2?
True
Let q be (-6)/8 - (-57)/(-20) - -4. Let v = 613/5 - 123. Which is bigger: q or v?
q
Let t = -10994/31045 - -10/887. Which is greater: 1 or t?
1
Suppose -5*j + 19 = l, 4*j + 8 = 8*l - 3*l. Suppose -2*n = 4*p - 8, p + p = 3*n + l. Suppose 3*q + 2 = -0*h - p*h, 3*q - 13 = -5*h. Is h != 4?
True
Let y(t) = t**3 + 6*t**2 + 4*t - 5. Let g be 22/4*2*1. Let b = 6 - g. Let l be y(b). Which is bigger: l or 1?
1
Suppose -5*j + 275 = -2*o, -o = 2*j + 3*j + 130. Let h be (-72)/o*5/(-6). Which is smaller: -0.1 or h?
h
Let s = -0.26 - 10.74. Let l = -12 - s. Let p = 10 + -7. Is l greater than p?
False
Let x = 28 + -1. Suppose 2*v - 8 = -2*v, 5*f + v = x. Suppose 0 = 5*n + 2*y + 2 - 8, 2*n + f*y - 15 = 0. Are n and -1/4 unequal?
True
Let o be (-2)/(-7) - 4/14. Suppose -k + 0*k + 2 = o. Suppose -4*g = g - 3*f - 18, 2*g - k*f - 8 = 0. Which is bigger: 4 or g?
4
Let g be -2 + 886/476 - 70/(-245). Which is bigger: g or 1?
1
Let x be (12/9)/((-2)/6). Let f be 3/x + 4/(-16). Is f at most as big as -1/4?
True
Suppose 19 - 3 = 2*m. Is 7 greater than m?
False
Suppose b - n + 0 = -5, 5*b - n = -9. Let l be 130/6 - (-6)/(-9). Let w be 6/(-21) + (-15)/l. Are b and w nonequal?
False
Let q = -300/41 + 4116/697. Let z = q + 134/119. Is 3 not equal to z?
True
Let n be (-4)/(-2) - (-5 + 7). Suppose -4*u = -3*y + 3, -2 = -5*y - 5*u + 3. Are n and y equal?
False
Let o be 100/7 + (-14)/49. Let g be (-76)/364 - (-4)/o. Which is greater: g or -1?
g
Let t = 3 + -2.97. Let o = 1.03 - t. Is o less than 0.1?
False
Suppose -4*f = 2*i - 2, i - 5*i = -f + 14. Let g(w) = w**3 - 3*w + 1. Let q be g(f). Which is greater: q or -0.4?
q
Suppose m + 14 = -5*i, 2*m + 7 + 3 = -4*i. Suppose -20 = l + 4*j, -4*j - 20 = j. Which is smaller: l or i?
l
Let b = -50.99 + 51. Which is bigger: b or 3?
3
Let m be 14/(-18) + 0 - 2/9. Which is bigger: -5 or m?
m
Suppose -v + 4*o = 12, o + 2*o = 4*v + 22. Let d be (-1)/14*v - 0. Is d at most 0.1?
False
Let a be 2 - (1 - -3) - (-14 - 0). Is 12 >= a?
True
Suppose -22 + 4 = -3*f - 4*n, -5*n + 9 = -3*f. Suppose 2*j - 3*k = -j - 15, 0 = 2*j + 2*k + f. Does -1 = j?
False
Suppose 0 = -4*s - u + 6, -2*s - u + 10 = 3*u. Is 2 >= s?
True
Let y(u) = -u + 11. Let v be y(8). Suppose 2*x = 5*x + 2*z - 10, -5*x - v*z = -15. Suppose x = -2*o - 2 - 0. Which is greater: o or -2/11?
-2/11
Let k(l) = -l - 3. Let m be k(-4). Let y = -4 - -3. Which is bigger: m or y?
m
Let m = -1 - 6. Let z = 10 + m. Let t be 6*z/6 + -2. Which is bigger: 5/3 or t?
5/3
Let g = -3.5 - -3.2. Which is bigger: g or 5?
5
Let a(u) = -u - 6. Let d be a(-6). Let s(m) = m**2 - 7*m + 7. Let b be s(6). Is b bigger than d?
True
