u?
u
Let m(w) = 3*w**2 + 3*w. Let u be m(-2). Let s be ((-12)/18)/(4/u). Which is smaller: 4 or s?
s
Let t = -2 - -4. Let g(x) = x**3 + 3*x**2 + 3*x + 3. Let b be g(-2). Is b > t?
False
Suppose 2*m + 2*j - 5*j - 17 = 0, -j - 2 = 3*m. Let t be 2 + 7/((-28)/6). Which is smaller: t or m?
t
Let f = 27 - 37. Which is bigger: 0.1 or f?
0.1
Let s be (-21)/9 + 6/(-9). Do s and -3 have the same value?
True
Let t(g) = -10*g**2 - 2 + 4*g**2 + 0*g**2 - g + 7*g**2. Let o be t(2). Which is smaller: o or -2/3?
-2/3
Let l(g) be the third derivative of g**6/120 + g**5/15 + g**4/24 + g**3/6 + 3*g**2. Let t be l(-4). Let z = -3 - t. Which is greater: z or -2/15?
z
Let r(c) = -c**2 + c + 43. Let v be r(0). Suppose 3*x + v = -2*u, -47 = 2*u - x - 16. Which is smaller: -16 or u?
u
Let d(a) = -a**3 + 2*a**2 + 2*a - 1. Let r(t) = t**2 - 2. Let k be r(-2). Let p be d(k). Let h be 1*(p + -1) - 3. Is -1 greater than h?
False
Let s = 30 + -13. Is 16 not equal to s?
True
Suppose 4*y = 20 + 4. Let g be (y/63)/(3/7). Is g greater than or equal to 0?
True
Suppose 0 = 3*o - o. Let k be (-8)/(-6) + (-2)/(-3). Is o < k?
True
Let n = 1.8 - 6.8. Let g = n + 5. Which is smaller: g or 2/7?
g
Suppose 3*t - 6 = -87. Which is bigger: t or -28?
t
Let s(y) be the second derivative of y**3/6 + y**2 + 8*y. Let x be s(-1). Which is greater: x or 3/2?
3/2
Suppose 2*i = 3 - 1. Let y(v) = -v**2 + v. Let f(h) = 6*h**2 - 6*h - 2. Let t(j) = i*f(j) + 4*y(j). Let p be t(2). Is p >= 2?
True
Let f be (-9929)/7110 + 0 + 1. Let v = f + -14/237. Let a = v + -2/45. Which is greater: -2/3 or a?
a
Let a = -0.14 - -0.24. Is a <= -5?
False
Let u be 5/((-15)/(-6)) + 0. Which is smaller: 4 or u?
u
Let b = -811/4 + 130563/644. Which is bigger: b or 0?
0
Let v(t) = t**3 - t**2 - 4*t + 3. Let d be v(2). Do d and -6/59 have different values?
True
Suppose -69*i + 64*i = -70. Is 13 > i?
False
Let i(g) = -g**2 + g + 4. Let a be i(0). Suppose 2*v + 0*v = 0. Suppose -f - 2 = z - 3*f, v = a*z - 3*f + 3. Is 0 smaller than z?
False
Let l(q) = -q**3 + 2*q**2 - 6*q + 17. Let t be l(3). Is t smaller than -9?
True
Let q = -4 + 4. Suppose q*n + g - 40 = 5*n, -5*g = 4*n + 61. Let f be n/12 + (-2)/8. Is f >= -1?
True
Suppose -j = f + 3*f, 3*j - 2*f = 0. Let g = -4 + 43/10. Which is bigger: g or j?
g
Let x(r) = r**2 + 8*r - 6. Let g be 174/(-18) + (-4)/(-6). Let o be x(g). Which is greater: 4 or o?
4
Let a(b) = -b**3 - 6*b**2 - 5*b + 1. Let k be a(-5). Suppose 3*v - 2*v + 4*x - 17 = 0, 0 = -5*v - 5*x + 40. Suppose -1 = -v*c + 4. Is k > c?
False
Let p = -1 - -1. Let v = 0.2 - p. Let g = -10 - -12. Which is smaller: v or g?
v
Let v = 8/3 + -12. Let i be (-116)/6*(-2)/4. Let p = v + i. Is p greater than or equal to -1?
True
Let z = -252/5 + 50. Which is smaller: -1 or z?
-1
Let u be (6/15)/(2/(-20)). Suppose 0 = 3*q - 2*q - 9. Suppose 3*v + q = -b, 5*b - b + 4*v + 20 = 0. Which is smaller: u or b?
u
Let t(s) = -s + 7. Let q be t(9). Does -2 = q?
True
Let j = 10 + -8. Suppose r - 3*r = j. Suppose 2*u - 4 = -c - 1, 0 = 4*c - 4*u + 12. Is r equal to c?
True
Suppose 15 = 4*y + 3. Let f be 38/(6 + -5)*(-2)/(-4). Suppose 4*j = -3*q + f, -3*q - 2*q - 7 = -y*j. Which is smaller: 2 or q?
q
Let o = -35.974 - 0.026. Which is smaller: -1/2 or o?
o
Let h = 42 + -43. Is 108 less than h?
False
Let s be (-7648)/17664 + 3/8. Which is smaller: s or -1?
-1
Let i be 1/3*-3 + 0. Let n(c) = -2*c + 6. Let u be n(4). Let f be (u - -1)/(-1 + 2). Is i at least f?
True
Let d = 0.8 - 0.8. Which is smaller: 1 or d?
d
Let a = -253 + 248. Let f be (-5)/18*8 + 2. Are f and a nonequal?
True
Suppose -5*v + 81 = 1. Let t be v/(-42) + 4/(-14). Let n = 0 - 1. Which is smaller: t or n?
n
Suppose 2*k + 3*k = 35. Suppose -4*u + g + 2*g = k, 3*g = u + 4. Which is smaller: u or 7?
u
Suppose 48 - 218 = 5*a. Let i be 2*(3 + a/12). Is -1 at least as big as i?
False
Let t = -3855517/3788099378 - -1/427406. Let d = 22308270/97493 + t. Let f = -229 + d. Is 1 >= f?
True
Let k be (-14)/2 - (12 - 14). Suppose 0 = -2*y + 6, h - 4*h - 3*y - 3 = 0. Is k at most as big as h?
True
Let x = 97 + -117.9. Let v = x - -23. Let o = -2 + v. Which is bigger: 7 or o?
7
Suppose z - 2 = 0, 4*r + 0 = z + 6. Let m = 16 + -13. Let i = r - m. Are i and -0.3 nonequal?
True
Let m = 8 - 12. Let s be (1/m)/(3/(-18)). Is 1 less than s?
True
Let y(i) = 10*i**3 - i. Let h be y(1). Let a = 8 - h. Let b be 1 - (-1 + 0 - -1). Is b at least a?
True
Let z = 6.6 + -6.59. Which is smaller: z or -1/2?
-1/2
Let n(u) = u**3 + 4*u**2 + 2*u + 9. Let r be n(-4). Is r > -2?
True
Suppose 4*o - 1 + 6 = -3*w, -w - 5 = 3*o. Let d be (w*-2)/4 - -2. Let t(f) = f + 6. Let k be t(-5). Is d equal to k?
False
Let n be -12 + (-3 + 2 - 0). Let x be n/25 + (-18)/(-30). Which is greater: x or -1?
x
Let b be (-15)/(-18)*46/(-10). Is b at most as big as -3?
True
Suppose 3*z - 18 = 2*u, z + 12 = 3*z + 4*u. Are z and 6 nonequal?
False
Let i be (1977/(-2))/(4 + -55). Let b = 39/2 - i. Is b at most 0?
False
Let b = 3/8 - -1/40. Let o = 0.01 - -0.29. Which is bigger: o or b?
b
Let k(m) = 7*m + 1. Let a be k(2). Is a > 15?
False
Let q = -64.26 - -0.26. Let z = -58.2 - q. Let v = 6 - z. Is -0.1 at least as big as v?
False
Let q = 24 - 22.1. Let l = -2 + q. Suppose 5*u = -10 - 0. Which is smaller: u or l?
u
Let a = 18 + -12. Let t = a + -18. Let c = t + 23/2. Which is greater: c or -2?
c
Suppose -7 = 3*f + 5. Let p = 71 - 149/2. Let q = f - p. Is -4 <= q?
True
Let w(q) = q**3 + 4*q**2 - 5*q. Let p be w(-5). Let g be 3/3 + 5 + 2. Let c be (-3)/g*(-40)/30. Are c and p equal?
False
Let f = -22 - -33. Which is bigger: f or 0.1?
f
Let s = 20 - 22. Is s bigger than 3?
False
Let u = 0.29 - 1.59. Let p = -11.3 - u. Let z = -9 - p. Is z smaller than -2?
False
Let c be -4*8/(-348)*-3. Which is smaller: 0 or c?
c
Let o(h) = -h - 1. Let j be o(-3). Let z be 2*(3 - 7/j). Is z >= -5/3?
True
Let g(n) = n**3 + 9*n**2 + 4*n - 4. Let s be g(-6). Let j be ((-12)/s)/(1/804). Let r = j - -121. Is 0 less than r?
True
Let c(k) = k**2 - 4*k - 12. Let a be c(6). Which is greater: -9/13 or a?
a
Let q = 16 - 10. Suppose -7*h - 21 = -2*t - 2*h, t - h - q = 0. Are 3 and t equal?
True
Let l be -1215*((-8)/12 - 0). Let f be (-63)/l + (-2)/9. Which is greater: -1 or f?
f
Let d = -48 + 48. Is 1/81 > d?
True
Let g = -30 + 32. Let n be (-5 - 2) + (-4)/(-2). Let l = g - n. Which is bigger: 8 or l?
8
Suppose -n - 2*q - 27 = -q, 0 = 5*n + 4*q + 135. Which is greater: -28 or n?
n
Let k be -3 + (-3)/((-6)/200). Let h = k + -49. Let s be (-54)/h*4/3. Which is smaller: s or 1?
s
Suppose 5 = 3*y - 2*y. Suppose -5*n + 25 - y = 0. Is n equal to -2?
False
Let z be (-1)/(6/4) + 0. Suppose 0*s - s = 0. Which is smaller: z or s?
z
Let v = 8.9 + -8.9. Is v at most -8?
False
Let d(t) = 3*t - 4. Let p = 19 - 17. Let i be d(p). Is i at least as big as 1?
True
Let z = -11 + 11. Which is bigger: -60 or z?
z
Let y = -869/4 + 219. Let w = 27/20 - y. Are w and 2/3 unequal?
True
Let g = -3 + 15. Let y = g - 13. Which is greater: 2 or y?
2
Let o(j) = 3*j + 8. Let s be o(-4). Let m be (36/(-16))/(7/s). Which is greater: m or 2?
2
Let a be 247/(-2)*(-8)/14. Let o = -70 + a. Which is smaller: 2 or o?
o
Let m = 5016/85 - 262/17. Let v = m + -44. Suppose 2*z = -4*c - 10, 2*z - 5*c = -3*z + 20. Which is greater: v or z?
z
Let r = -0.3 - 1.7. Let b = -34.2 + 31. Let p = b - -5.2. Is p != r?
True
Suppose 0 = -2*r - 4*m + 6, -4*r + 2*m + 1 = -m. Is 2/21 bigger than r?
False
Let z = 14 + -13. Is -0.9 < z?
True
Suppose 16 = 5*g + 1. Let p(j) = 0 + 0 - j + 4. Let d be p(g). Which is smaller: 1/2 or d?
1/2
Suppose -3*y + 4 = 4*o - 8, -4*y + 16 = -2*o. Let u be (-446)/(-4) - 9/6. Let d = -552/5 + u. Which is smaller: d or o?
d
Suppose -2*z + 88 = n, -z - z + 80 = -n. Let x be (-8)/20 + (-236)/10. Let l be ((-2)/(-8))/(z/x). Do l and 0 have the same value?
False
Let k(w) = -3*w + 9. Let h be k(3). Is -1/26 > h?
False
Let y = -538/3 + 179. Suppose 0 = -2*o + 3 - 1. Which is smaller: o or y?
y
Let g = 0 + 0. Let m = 23 - 24. Let v = m - g. Are -2 and v equal?
False
Let r = 102301/1815 - -13/363. Let o = -56 + r. Let h = -10/53 - -239/424. Which is greater: h or o?
o
Let l be (-2)/(3 - (-23)/(-7)). Let a be 7/(-2) + 2/4. Let j = a + l. Is j at most 6?
True
Let q = -20 + 19.5. Which is smaller: 2 or q?
q
Suppose 6 - 