t least p?
True
Suppose 2 = -s + 2*s - m, -5*m = 2*s + 3. Which is bigger: s or -1/2?
s
Suppose 3*h - i = -51, -11*h + 3*i = -9*h + 41. Which is greater: h or -18?
h
Suppose -4*z - 95 = z. Let s be -3 - -3 - (-2)/z. Which is bigger: s or 1?
1
Let y = 0 + -2. Are y and -2 unequal?
False
Suppose -6 = -4*m + 6. Let r be 4/6*(2 - -1). Suppose -3 = o + r*t, 5*o + t + 4*t + 5 = 0. Which is smaller: m or o?
o
Suppose -3*y = -2*y + 5, 5*k - 4*y - 20 = 0. Is k less than 52/7?
True
Let g = -9946/3 - -3252. Let o = g + 64. Is o >= -4?
True
Let j = -68.46 - -1.46. Which is greater: 2/5 or j?
2/5
Let u(x) be the second derivative of 3*x**5/20 + x**4/12 - x**2/2 + x. Let d be u(-1). Is -5/3 less than or equal to d?
False
Let i(a) = a**3 + a**2 + 3*a + 6. Let n be i(-2). Do -23/5 and n have the same value?
False
Let d = -7 + 5. Let s(l) = -2*l - 2. Let p be s(d). Let r = 104 + -308/3. Which is smaller: p or r?
r
Suppose b = -2*b. Let k = 2 - b. Which is smaller: k or 12/5?
k
Let d(l) = 4*l. Let r be d(1). Suppose r*j = -20, -n - 3 + 6 = -j. Which is bigger: 0 or n?
0
Let p = 3 + -4. Let u be 42/(-6) + 3/p. Let a be (-8)/u*(-5)/(-14). Is a equal to 0?
False
Let t = -4 - -7.7. Let m = 3 - t. Which is bigger: -1 or m?
m
Let t = 24 - 23. Which is bigger: t or 9?
9
Let y = -4 - -7. Let v = y - 4. Is v at least as big as -1?
True
Let u(p) = -p + 9. Let g be u(9). Are -0.2 and g nonequal?
True
Let l(s) = s**3 - 4*s**2 - 6*s. Let k be l(5). Let v(h) be the third derivative of -h**6/60 + h**5/30 + h**4/8 - h**3/3 + 7*h**2. Let c be v(2). Is k > c?
False
Let d be (-4)/(-22) + 904/110. Is d smaller than 9?
True
Let p = -0.8 + -2.2. Let r = -5 - p. Let x = r - -2. Which is bigger: 1 or x?
1
Let x = -2/29 + -52/87. Which is smaller: -5 or x?
-5
Suppose 0 = 4*g - 25 + 1. Is g < 7?
True
Let j be ((-24)/(-15) - 2)/28. Which is greater: 0 or j?
0
Let f = 20 - 20.07. Which is smaller: f or 1?
f
Let f(h) = 8*h**2 + 2*h + 2. Let w be f(-2). Let k be 3/(-24)*w/(-5). Which is smaller: k or 2?
k
Let f be (-27)/(-18)*40/6. Let g be ((-99)/18)/(1/(-2)). Is f equal to g?
False
Let c = 11 + -10.91. Which is greater: 1 or c?
1
Suppose -5*a + 2*k = -20, -5*a = -3*k - 35 + 15. Which is greater: 6 or a?
6
Let o = 876286/1827 - -1364/261. Let j = o + -484. Suppose 2*u + v + 8 = 6*u, -u + 2*v = -9. Which is smaller: j or u?
j
Let x = 0.143 + -0.243. Which is smaller: -1/23 or x?
x
Let z = 7 + -16. Let k be (-3)/(z/(-2))*6. Which is smaller: k or -3?
k
Let g(i) = i**2 - 8*i + 11. Let x be g(8). Suppose 0 = -2*a - 4*z + 24, -3*z - x = -5*a - 3. Let c = 47/2 - 21. Do c and a have the same value?
False
Let j be 1/2 + (-45)/(-10). Suppose 0 = 4*h - j*h + 1. Are 1 and h non-equal?
False
Let f(n) = -n**2 + n + 1. Let y(k) = -3*k**2 + 16*k - 10. Let t(g) = 2*f(g) - y(g). Let r be t(13). Is r != -1?
False
Let q = -14 - -29. Let j = 12 - q. Which is bigger: -4 or j?
j
Suppose -d - 4*d - 5 = 0. Let t be -2 + (4 - (d + 3)). Suppose 0 = n - 0*n. Are n and t non-equal?
False
Let l be 3*(12/(-9) + 1). Let k be (-222)/(-195) - (-6)/15. Let o = k - 246/143. Which is bigger: l or o?
o
Suppose 48 = -3*v - 3*u, 16 = -v + 4*u - 0*u. Do -16 and v have different values?
False
Let d = -40 + 39.5. Is -1 not equal to d?
True
Suppose 4*c + 4*k = 40, 0*c - k = -4*c + 15. Suppose -u = -6*u - h - 1, 5*h = 2*u - c. Which is smaller: u or -4/5?
-4/5
Let d be (-4)/(-4)*0/2. Which is greater: -1/6 or d?
d
Let q(a) = a**2 + 5. Let f be q(4). Suppose w - 4 = 4*g, -g + 5*w - 3 = -f. Is -2 >= g?
True
Let j(i) = -i**3 - 4*i**2 - 2*i + 4. Let l be j(-5). Let p be (-4)/(-8)*4/l. Is p less than -1?
False
Let v be (24/36)/((-2)/(-3)). Let x = 0.046 + -2.946. Let b = x - -3. Which is bigger: v or b?
v
Let t be (15/9)/((-8)/(-6)). Does 2/3 = t?
False
Let o = -34 + 47. Is 12 equal to o?
False
Suppose 2*i = -14 + 30. Let u(t) = t**3 - 5*t**2 - 4*t - 5. Let c be u(6). Does i = c?
False
Let g = 11 - 8. Which is bigger: g or 5?
5
Let x(b) = -b - 7. Let y be x(-4). Let g = 4.3 - 4. Let i = 0.3 - g. Which is greater: y or i?
i
Let a = 0.038 - 3.038. Is -3 > a?
False
Let h be (-1 - -5)*(-1)/(-4). Let q be (-3 + 1)/((-4)/(-98)). Let k be (q/51 + 1)*3. Which is smaller: h or k?
k
Let y = -10/13 + 7/26. Suppose 2*k = 2*d + k - 16, 3*k - 6 = -3*d. Suppose -d*h = -h. Which is greater: h or y?
h
Let h = 3 - 1. Suppose 2*f = -0 - h. Let p(d) = -3*d**3 + d**2. Let m be p(f). Is 3 not equal to m?
True
Let b be (4 + (-4 - -2))/8. Which is smaller: 0.6 or b?
b
Let a(s) = s - 14. Let n be a(9). Is n < -6?
False
Let k be (-8 + 8)/(-2 - 0). Is k less than 1/3?
True
Let r be 2*3 + (8 - 11). Let i = -11 + 7. Let b = 7 + i. Are r and b non-equal?
False
Let c = 7 - 3. Is 4 at least c?
True
Let q be 4/10 + (-39)/(-15). Let k = -15 - -14. Let h = k - -3. Which is bigger: h or q?
q
Let g(p) = 3*p**3 - 2*p**2 - p + 2. Let j be g(1). Let b = 2 - 4. Let o = 2 + b. Are j and o equal?
False
Let h = 36 + 18. Is 55 smaller than h?
False
Let b(u) = -u - 9. Suppose -3*z - 45 = 2*z. Let h be b(z). Suppose 5*q - 2*q - 3 = h. Is q smaller than 0.1?
False
Let g = -359/5 - -68. Let l = -157/40 - g. Which is bigger: 1 or l?
1
Let w be 4/26 + (-24)/156. Is w <= 1?
True
Let n = -68.29 - -68. Let d = 0.19 + n. Which is greater: d or 4?
4
Let a = 7 - 26. Do -0.1 and a have the same value?
False
Let o be -2*(3 + -5)*1/2. Let q = 5 + -3. Is q at least as big as o?
True
Let r = 0.1 + 0.9. Let n = 1.1 - 1. Let x = -0.1 + n. Which is bigger: r or x?
r
Let s = -1.4 + 1.51. Let o = -0.31 + s. Is o > 2?
False
Suppose d - 2*p + 1 = -1, 0 = -4*d - p + 1. Are d and 0 equal?
True
Let p = -11 - 0. Let h = p + 11. Which is smaller: h or -2?
-2
Let p = -2434/7 + 349. Which is greater: p or 2?
2
Let u = 38.2 - 41. Which is greater: u or -2/7?
-2/7
Let g = -22 + 19. Which is smaller: -2 or g?
g
Let b(x) = -12*x + 5. Let g be b(1). Which is bigger: g or -2?
-2
Let v = -22 + 22. Which is bigger: -1/51 or v?
v
Let x be -39*(-2)/(-1) - 2. Let a be 0 + (-5)/(x/(-54)). Let j = -21/8 - a. Is 1 at least as big as j?
True
Let l be (624/(-39))/(2*(-2)/(-4)). Is -14 smaller than l?
False
Suppose 2*n - 4 = 5*h, 0 = -h - 4*h + 3*n - 1. Let w = 2 - 4. Does h = w?
True
Let t be 17 + -14 - (-23)/(-7). Which is bigger: t or -16?
t
Suppose 57 + 53 = -5*h. Let c be 5/(-20) + h/40. Is -0.1 bigger than c?
True
Let j = -87 + 70. Which is smaller: j or -18?
-18
Let b = 6.049 + -0.049. Is b bigger than 0.1?
True
Suppose 4*s + 35 = 23. Suppose 4 = -f + 4*b, -f + 0*b + 3*b = 4. Let p = f + 2. Which is smaller: s or p?
s
Suppose 4 = 4*m, 3*u + 4*m - 38 - 11 = 0. Suppose -4*k = k + u. Let s(b) = b + 6. Let c be s(-9). Is c < k?
False
Let x be (-15)/(-25) + (-6)/(-15). Let u be 3 - (3 + x) - -6. Which is smaller: u or 2?
2
Let m = 24895/43 + -579. Is -1 at least as big as m?
False
Suppose b - 4*b - 12 = 0. Let z be 27/(-84) - (-1)/b. Which is bigger: -1/5 or z?
-1/5
Let g = 11 - 8. Suppose -h - 10 = -g*h. Let k be (10/(-4))/(h + -7). Is k greater than or equal to 2?
False
Suppose j - 25 - 70 = -5*x, -2*x + 26 = -2*j. Suppose 2*u - 7*u - a - 45 = 0, 3*a - x = 2*u. Let k(i) = i**3 + 10*i**2 + 9*i + 8. Let c be k(u). Is c > 7?
True
Suppose -2*h - 2*w = 4 - 0, w + 14 = 5*h. Are 2 and h unequal?
False
Let y(h) be the first derivative of h**3/3 + 5*h**2/2 - h + 2. Let u be y(-5). Let p = 0.5 - 0.2. Which is greater: u or p?
p
Let l be 2/(-8) - 168/(-32). Suppose l*f - 20 = 3*g + 3*f, -2*g + 12 = 5*f. Is -3 at most as big as g?
False
Let l = 19 + -153/8. Is 0 not equal to l?
True
Let g = -22 + 24. Which is greater: 3/7 or g?
g
Let z be 2*-2*2/20. Suppose -5*y + 0 = 5. Which is greater: y or z?
z
Let t = -5 - -6.6. Let y = -0.04 - 0.56. Let i = t + y. Which is greater: i or -0.02?
i
Suppose -11 = -g + 3*o, -4*o - 18 = -0*g + 2*g. Suppose 4 + 1 = -5*m. Let r be m/2*-6*1. Which is smaller: r or g?
g
Let z = 2.1 - 1.06. Let q = z + -0.04. Is q smaller than 0.2?
False
Let w = -371 - -5563/15. Are w and -1 unequal?
True
Suppose -2*t + 1 = -19. Let z be ((-12)/t)/(18/60). Which is bigger: -5 or z?
z
Let y(x) = -x - 3. Let n be y(0). Is -13/8 less than n?
False
Let r be 1 + -3 + (-87)/(-9). Is 7 less than r?
True
Let o = 6.5 - 9.5. Which is smaller: -3/8 or o?
o
Let a = -38/3 - -13. Suppose 0*l + 4*y = -5*l - 2, -5*y - 15 = 0. Let o be 