 -2 smaller than n?
True
Let d = -8.8 - -9. Let f = 5192/273 + -246/13. Which is greater: f or d?
d
Let o(p) = p**3 + 3*p**2 + 2*p. Let v be o(-2). Suppose w + 0 - 5 = v. Suppose -g = 3*h - 0*h - 1, h + 23 = -w*g. Which is greater: -4 or g?
-4
Let p = 72 + -97. Are 0 and p nonequal?
True
Let a(h) = -h**3 - 2*h**2 + 5*h + 5. Let i be a(-3). Which is greater: 4/15 or i?
4/15
Suppose -5*w + 3*s + 20 = 0, -3*w + 18 = -0*w - 3*s. Let g = w - 0. Let x be -6 + 6 + (4 - g). Is x at least as big as 0.1?
True
Let x(u) be the second derivative of u**5/20 - 3*u**4/4 + u**3/6 - 11*u**2/2 - 7*u. Let l be x(9). Is -5/8 <= l?
False
Let d = 66 - 38. Which is greater: -1/3 or d?
d
Suppose 0*l = -5*l + 20. Suppose l*p = -3*t + 2*t + 5, -3*p = 4*t - 7. Suppose h + 1 = w - 0*w, -11 = -3*w - 5*h. Which is bigger: w or p?
w
Let b = 9 + -4. Suppose -2*p = b*k + 1 - 3, -4*p = k - 4. Suppose -p = r - 0. Does -1 = r?
True
Let f = 12/7 - 31/14. Let u be 5*(-9)/30*-2. Suppose 5*j = u*k - 2, -j + 3 = -5*j + k. Is j bigger than f?
False
Suppose 5*g - 4 = 1. Are 1/13 and g equal?
False
Let l(t) = 2*t - 1. Suppose -3*u + 2*u + 1 = 0. Let c be l(u). Is 2 greater than or equal to c?
True
Suppose 0 = u - 3*l + 6, 0*u - u + l - 2 = 0. Are u and 0 equal?
True
Let y be (-4)/14 + (-130)/35. Suppose -5*h + 4*f - 15 = f, 3*f = h + 3. Is h equal to y?
False
Suppose 2 - 10 = -4*c. Let g(o) = o + 6. Let b be g(-4). Is b less than c?
False
Suppose 0 = 5*u - w + 3, 0 = 2*u - u + 4*w - 12. Let o = u - -6. Is 6 >= o?
True
Let q(u) = -u + 4. Let g be q(8). Let d(r) = -r**3 - 4*r**2 - 4*r - 6. Let t be d(g). Is 12 bigger than t?
True
Let s(b) = b + 11. Let i be (-7 - 3) + -1 + 2. Let j be s(i). Which is smaller: j or 4?
j
Let m = 47/28 + -10/7. Let q(k) = k**2 - 2*k + 1. Let d(j) = -j + 7. Let r be d(6). Let z be q(r). Which is smaller: m or z?
z
Let j = -16.2 + 15. Let u = -0.2 - j. Which is smaller: u or -6?
-6
Suppose 3*m + 60 = 8*m - 3*x, 2*m = -5*x - 7. Is 10 at most m?
False
Let l be 0*-1*(2 + -3). Suppose l*a - 2*a - 2 = 0. Let i = -1/22 + 51/154. Which is bigger: i or a?
i
Suppose -4*y - 13 = 31. Let r = -9 - y. Is r at least as big as 1?
True
Let k be 2/(36 - 2)*-2. Is k not equal to -1?
True
Let d be (84/16)/((3/(-24))/(-1)). Are d and 42 non-equal?
False
Let w = 0 + -2. Let f = 26 + -27. Is f at least w?
True
Let l = 65/4 - 16. Let m = -0.37 + 0.02. Let j = m - -0.05. Is j greater than or equal to l?
False
Let m = 27986/15 - 5464/3. Let r = 44 - m. Let b = -0.5 - 0.5. Which is greater: b or r?
r
Let w be 2/5 + (-9)/(-15). Suppose -4 = -2*a, -2*u + 2*a - 10 = -3*a. Which is bigger: u or w?
w
Let k be (1/(-5))/(0 - 1). Let y be 1701/153 - 8 - (2 - -1). Do k and y have the same value?
False
Suppose -c + 1 = -3. Is c greater than 1/4?
True
Let q be 6/4*(-6 + (0 - -12)). Which is bigger: -3 or q?
q
Suppose t - 1 = -7. Let v = t + 5. Let w be 1 + (-1)/v + -2. Which is smaller: -2/5 or w?
-2/5
Let z = 62 - -49. Suppose -6*k = -3*k - z. Let g = k + -147/4. Which is bigger: g or -1?
g
Let c be 2 - ((-2)/2 + 4). Let o be ((-2)/10)/(1/9). Which is smaller: c or o?
o
Let g = 2.7 - 3. Let n = 0.9 - 1. Let l = n - g. Which is smaller: l or 0.1?
0.1
Suppose -6*m + 2*m = o - 38, 0 = 5*m + 5. Is o > 43?
False
Let s = 0.07 + 0.93. Which is smaller: 1.9 or s?
s
Let p be -2*(-3)/(-6)*-3. Suppose -q = -p*q. Is q bigger than -1/4?
True
Let y = 14.93 + 0.07. Let h = 15.7 - y. Let q = h - 0.6. Which is bigger: 1 or q?
1
Let h be 16/(-3)*3/(-2). Let c be 0*(1 - -2)/3. Is h > c?
True
Let d = 0.05 - 0.05. Let n = -1.1 - -1. Let v = d - n. Does 2/9 = v?
False
Suppose -2 = -3*m + 5*m, -5*n - 3*m - 28 = 0. Let t(j) be the second derivative of -j**4/12 - 2*j**3/3 + 7*j**2/2 + 5*j. Let h be t(n). Are h and 1 equal?
False
Let x(m) be the second derivative of m**4/6 - m**3/2 - 3*m. Let j be x(-4). Suppose 3*p + j = -4*b - p, 2*b - 3 = 3*p. Which is smaller: b or -5?
b
Suppose -4*f = -5*w - 4, 0 = 3*w + w - 4*f. Which is greater: -7 or w?
w
Let z(q) = 4*q**3 + q**2 - q - 1. Let u be z(-1). Suppose 38 - 42 = 4*r. Let d = r - u. Which is bigger: d or 4?
4
Let g = -0.05 - 0.05. Is 0.3 at most as big as g?
False
Suppose 0 = -5*x + 5 + 40. Let j = x - 4. Suppose -r = -6*r - j. Which is greater: 0 or r?
0
Suppose 4*k + 273 - 41 = 0. Let f = k - -289/5. Is f not equal to 0?
True
Suppose 0*o + 65 = -2*o - 5*d, 2*o = 5*d - 15. Is o at most -21?
False
Let v = 56 - 55. Let y = 2 + -2. Which is bigger: v or y?
v
Let q = 10 + -18. Let z = 7.7 + q. Let o = -1.3 - z. Is 2 not equal to o?
True
Let x be (-6)/10 - (-88)/55. Is 2/29 bigger than x?
False
Suppose -5*a - j - 1 = 0, -3*a - a - 4*j - 4 = 0. Let v(x) = x**3 - x**2 + x - 6. Let f be v(0). Let q be (-45)/(-24)*(-4)/f. Which is bigger: q or a?
q
Let m(r) = r**2 + 1 - 3 + 8 + 8*r. Let h be m(-7). Let l = 688/5 - 138. Which is smaller: h or l?
h
Let w = -3/29 - -131/145. Suppose 0 = -4*r + 2 + 2. Is w at most r?
True
Suppose 3*a - a = 0. Let q = -15/28 - -2/7. Is q != a?
True
Let z = 2.1 + -0.1. Let i = 2.2 - z. Is i greater than 1/3?
False
Suppose -7*h = -4*h + 12. Let m = 10 - 8. Let x be (4 + m)*(-2)/3. Is x at most h?
True
Let t(v) = -3*v - 5. Let a be t(-5). Let g be 2 - (-11)/a*-2. Suppose 4 + 1 = -5*w. Which is bigger: g or w?
g
Let j be 54/90 + (-74)/(-10). Which is bigger: j or 26/3?
26/3
Suppose 5*y = 3*s - 1, -3*y = -7*y - 3*s + 10. Let c = 24 - 21. Which is greater: y or c?
c
Let u = -279 - -279. Let d be (-2)/7 + 8/14. Do d and u have different values?
True
Suppose -4 + 17 = 5*m - 2*t, -4*m = 3*t + 8. Is 0 >= m?
False
Suppose 2*j - 8 = 10*j. Which is greater: 99 or j?
99
Suppose -5*m - 3*n - n = -180, 4*m + 4*n - 140 = 0. Which is smaller: m or 39?
39
Suppose i = 0, 2*c - 7*i - 6 = -2*i. Let g(b) be the first derivative of -b**4/4 + b**3 - b + 1. Let m be g(c). Which is smaller: -0.2 or m?
m
Let g(s) = 8*s - 48. Let l be g(6). Let w be 2*-1 - 0/(-2). Is w < l?
True
Suppose 5*w = 5*d - 35, 45 = 5*d + 7*w - 2*w. Suppose -2*m = n - 3 - 14, 2*m - 18 = -2*n. Is m at least as big as d?
True
Suppose 0 = 2*c - 5*x - 25, -2*x = 7 + 3. Let u be ((-2)/17)/(4/(-6)). Let g = u - -13/119. Are c and g equal?
False
Suppose -11 = 5*r - 1. Suppose 0*d - 2*d + 8 = 2*x, 0 = 4*d + 2*x - 16. Let a = d + r. Is 1 greater than or equal to a?
False
Let t = -0.4 - -2.4. Do t and 5/7 have the same value?
False
Let z = -13 + 8. Let m = 4 + -8. Do z and m have the same value?
False
Let c(m) = m**3 + 2*m**2 + 3*m + 2. Let y be c(-1). Which is smaller: 11/2 or y?
y
Let a = 27 + -15. Is 11 greater than or equal to a?
False
Let m be (-256)/(-14) - (-6)/(-21). Is m at most as big as 17?
False
Let a = 2 + -3. Let l = a - -0.9. Let o = 32/5 - 86/15. Is l not equal to o?
True
Suppose -k + 38 = 70. Which is greater: k or -30?
-30
Suppose -4*a + 3*z - 8*z = -56, 0 = -z + 4. Let m = a - 10. Is -0.05 greater than m?
True
Let c be (-9)/(-2 - -4 - 3). Suppose 0 = a - 5*m - 25, a + m - 2*m - c = 0. Suppose -3*v + 8*v - 4*w = 0, 0 = -2*v + a*w. Is v smaller than 0.2?
True
Let y = -2 + 0. Let g be (-1 - -1)/(2 + -1). Let c be -1*(2 + g + -1). Which is smaller: c or y?
y
Suppose 0 = 2*s + 3*s. Let q = 18 - 88/5. Are q and s equal?
False
Let l = 10 + -7. Suppose 5*f + 5 = 0, -5*p = -l*p + 5*f + 5. Suppose 0 = 5*k - p*k. Is 1/2 bigger than k?
True
Suppose 2*s + 1 = 3*s. Let t = 68/3 - 22. Which is smaller: t or s?
t
Suppose -12 + 6 = -3*k. Which is smaller: k or -42?
-42
Let q = 193/3 - 65. Let a = -11 + 8.95. Let w = a - -0.05. Which is bigger: w or q?
q
Let y = -32 + 34. Is 1/2 less than or equal to y?
True
Let r = -18 - -13. Let l = -6 - r. Are l and 0.1 equal?
False
Let t be 26/(-10) - (-12)/(-30). Let l = 10 + -14. Is t less than l?
False
Let n be 1/(-2) - 86/(-6). Let g = n - 14. Let x = -1 - -2. Are g and x nonequal?
True
Let h be (28/(-8))/7*0. Which is smaller: h or -2?
-2
Let m be 15291/(-84) + (-2)/8. Let a = -182 - m. Let x(c) = -c**3 + 2*c**2 + c - 2. Let s be x(1). Which is bigger: a or s?
a
Suppose 28 = 5*o - 2*d, -2*d + 32 = 4*o - 6*d. Let j be o/(-22) - (-46)/11. Suppose -j*v = -v. Which is bigger: -1 or v?
v
Let x(t) = -t**2 - 5*t + 3. Let q be x(-5). Suppose h = 6*h - 2*o - q, 3*h - 4*o - 13 = 0. Which is smaller: -4/7 or h?
h
Let t = 2 + -1. Suppose -4*f + 2 - 6 = 0. Let o = f + t. Is o bigg