 + u**4/3 + u**3/2 + 6*u**2. Let o be m(-7). Which is smaller: -3 or o?
o
Suppose 4*h + 209 - 40 = -5*i, -172 = 4*h + 4*i. Which is smaller: h or -47?
-47
Suppose 2*t = -3*t - 10. Suppose -5 - 8 = 13*r. Which is bigger: t or r?
r
Let y(o) = o**2 - 2*o - 4. Let q be y(3). Let k = 43/10 + -25/6. Is q greater than or equal to k?
False
Let k = -1/167 - 311/3841. Is k greater than 2?
False
Let k = -0.44 + -0.06. Is k smaller than -1.6?
False
Let y = 3 - 2.9. Let p = -0.85 + 0.8. Let x = -0.05 + p. Is x bigger than y?
False
Suppose 2*y - 124 = 80. Is y at most 102?
True
Let a = 22/3 - 9. Suppose 3*h - h - 2 = 0. Suppose 0*m = -m - h. Is m > a?
True
Let w = 0 - 0.2. Suppose -3 = 4*p - 3*f - 6, 2*p - 5*f - 5 = 0. Suppose p*q - 2 = 3*i + 2*q, -2*q - 2 = 2*i. Which is greater: w or i?
i
Suppose 6*t = 12*t - 12. Let j be 1 + 3/(-7) + 1. Is t <= j?
False
Let g(f) = -2*f**3 - 2*f**2 + 2*f + 1. Let a be g(-2). Suppose -a*c = 9 + 1. Which is greater: c or 4?
4
Let z be ((-4)/27)/(112/(-24)). Let c = -23/63 + z. Which is smaller: 2/3 or c?
c
Let d = -1.5 - -2.9. Let f = d - -0.6. Let k = 0 - 0. Do k and f have the same value?
False
Let b = 0.8 - -0.2. Let y = 0.02 + 0.01. Let u = -2.03 + y. Which is greater: u or b?
b
Let i = 12 - 9. Let h = -3.1 + i. Which is greater: h or 2/5?
2/5
Let f = -1 + -3. Does f = 0.1?
False
Suppose -2*t = 5*k - 3, -5*t + 17 = 5*k - 28. Which is smaller: 1 or t?
1
Suppose 5*g + 4 = 19, 5*m + 4*g - 7 = 0. Which is bigger: 1/27 or m?
1/27
Suppose 1 + 6 = m. Is m at least as big as 7?
True
Let d be 111/240 - 14/35. Is d equal to -1?
False
Let c = 3/17 - 77/51. Is -1 less than c?
False
Let w be 66/4*(9 + -7). Does w = 33?
True
Suppose 24*r - 16*r = 0. Let k be 3/6 + (-18)/32. Which is bigger: r or k?
r
Let j be -2 + 7 + 2 + -3. Suppose j*r - 23 = p - 0*r, 2*r - 19 = 3*p. Is -5 < p?
True
Suppose 0*v + 6 = 2*v. Suppose p = 7 + 11. Suppose 4*o + 2 = p. Is v <= o?
True
Let q be (4/8)/(2/(-56)). Let w be 2/q - (-253)/693. Let u = 1 - 0. Which is bigger: u or w?
u
Let c(w) be the first derivative of 3*w**2/2 + 2*w - 1. Let d be c(4). Suppose k = 3*k + 3*q + d, -3*q = 12. Which is bigger: -1/3 or k?
-1/3
Let o be -1 - -2 - (1 - 0). Let g(v) = v**3 + 4*v**2 - 5*v + 5. Let b be g(-5). Let d = b - 13/3. Which is greater: d or o?
d
Let q be (-5 + 2 + -7 + 10)/1. Which is greater: q or -1/75?
q
Suppose -4*r + r + 18 = -5*p, -12 = -3*r + 3*p. Let y = -1/6 + 1/2. Which is greater: r or y?
r
Let v = 2.4 - -3.6. Do v and -0.2 have the same value?
False
Let i be -4 - (15/(-6) - -1). Is i > -3?
True
Let g = -11 + 8. Let v = -1 - g. Let t = -0.2 + 0.3. Which is smaller: t or v?
t
Suppose -4*d = 2*b - 8, 4*b + 5*d - 6 = 1. Which is smaller: b or -1/5?
b
Suppose 23 = 3*p - 5*x, 1 + 1 = -2*x. Suppose 3*c - p*c = 9. Suppose 2*h + k = -7, 2*h + 4*k - 32 = 6*h. Which is bigger: c or h?
c
Let y be (-7)/4 + 2 + -1. Let g(n) = -2*n - 12. Let l be g(-12). Let a = l + -14. Is y smaller than a?
False
Suppose -6 = -3*p - 2*s + 8, p = -4*s + 8. Which is bigger: p or -1?
p
Let c be (-3 - 68/(-12)) + -3. Is c at most -1/3?
True
Suppose m - 2 = -3. Is -1/28 at least as big as m?
True
Let x(a) = -5*a. Let s be x(-1). Let b be (-6)/(-15) + 108/30. Which is bigger: b or s?
s
Let o be (0 - (3 - 2)) + 1. Suppose -5*j + j = -12. Suppose j*i = -2*b + 1 + 1, -b - 2 = 3*i. Which is smaller: i or o?
i
Suppose a - 5*q - 15 = 0, -20 = -3*a - 5*q + 25. Let c be 1/5 + 2/a. Let u = 301/12 - 25. Is c smaller than u?
False
Let z be -2 + (4 + -3)*4. Is -5 less than z?
True
Let j be (-4)/(-12)*(-60)/(-4). Which is smaller: j or 2?
2
Let d = -15 + 24. Suppose -4*a + 3*q - 4*q = -d, 0 = 3*a - 5*q + 22. Is 4/13 > a?
False
Let b(a) = -a - 5. Let i be b(-6). Let f = 33 - 65/2. Which is smaller: i or f?
f
Let m = 9908/5 + -1970. Which is smaller: 12 or m?
m
Let w = 29/45 - -1/45. Let h = w + -3/2. Which is smaller: 0 or h?
h
Let u be 1/4 - 1810/(-24). Let i(l) = -l**3 + 8*l**2 + 2*l + 3. Let g be i(4). Let f = g - u. Which is greater: f or 0?
0
Suppose -3*p + 4*o + 20 = 2*p, 3*p - 5*o - 25 = 0. Let v be (-5)/(-1)*6/15. Suppose -t = -3*t - v. Are p and t non-equal?
True
Let g = -11 + 15. Suppose 5*v + g = 6*v. Which is smaller: v or 0.1?
0.1
Suppose -5*w = -w. Suppose -5*n - d - 21 = w, 3*n + 4*d + d = -17. Let h be (1 - 0)/(n/(-16)). Is 4 at most h?
True
Suppose -2*n - o + 3 = 0, 0 = 3*n - 5*o - 15 + 4. Is 2 greater than or equal to n?
True
Suppose -2*z + 5*y = 181 + 74, 4*z = 5*y - 485. Is -115 < z?
False
Let v = 0.3 - 0.1. Let h be 18 + (0 - 1) - -4. Let k = -43/2 + h. Do v and k have different values?
True
Suppose 0 = -3*a - a. Let u be a + (-1 - (-76)/68). Is -1 >= u?
False
Suppose 48 = -3*b - 78. Are b and -42 unequal?
False
Suppose 2*i - 8 = -5*t, -3*i = t - 11 - 1. Suppose -10 + 26 = -i*f. Let p be (-3)/(1 + f)*0. Is p at least as big as 1?
False
Let q = -2869/75 + 115/3. Suppose 3*o + 0*o = 0. Let f = o + 1. Which is bigger: f or q?
f
Suppose n + 3*n = 3*v + 8, 3*v + 2*n - 4 = 0. Suppose v = x - 0 + 1. Are x and -2/13 equal?
False
Suppose c + 4*m = -0 - 5, -m - 50 = -3*c. Which is smaller: c or 16?
c
Let c = 25 + -2. Are c and 24 non-equal?
True
Let w = -24.99 - 0.01. Let j = w - -18. Let a = -10 - j. Which is smaller: a or 0.1?
a
Let q = 4.05 - 0.05. Is 0.1 greater than or equal to q?
False
Let t = -329 - -549. Let m = 6821/31 - t. Is 1 != m?
True
Let j = -134 - -153. Which is bigger: -0.1 or j?
j
Suppose -19 = -3*l + 14. Let w be -5 + -7 + 11 + (11 - 0). Is w greater than l?
False
Let y = 8 + -8.3. Which is bigger: 3/4 or y?
3/4
Let f = 2 - 3. Suppose 2*x + x = -438. Let q = x - -1024/7. Are q and f non-equal?
True
Suppose 0 = -2*q - 0*q + 2. Is q at most -1/6?
False
Let f be (4/(-15))/(2/(-72)). Let l = 217/20 - f. Which is bigger: 2 or l?
2
Let f = 1.6 + -1.6. Is 1.6 at most f?
False
Suppose -4*b - 23 + 7 = 0. Let t = 2/61 - 136/427. Which is greater: t or b?
t
Let p be (-34)/(-10) - (-8)/(-20). Let r = 33 + -17. Suppose 3*c - 22 + 6 = -h, 5*c - r = h. Are p and h nonequal?
True
Suppose -2*r + 2*u = 14, 6*u = -3*r + 7*u - 31. Which is smaller: r or -15?
-15
Let t be (-12)/1*6/(-4). Let i be (t/516)/(3/(-4)). Is i greater than 0?
False
Let d be ((-4)/(-8) + 0)*-14. Let f be 3 + (3 - (-1 - d)). Let q be 1/3 + 1 + -1. Which is bigger: q or f?
q
Suppose 7*t + 7 = 5*f + 4*t, 4*f + 5*t + 24 = 0. Are f and -5/6 unequal?
True
Let q(h) = 4*h + 12. Let j be q(-10). Is j <= -28?
True
Let t be ((-15)/(-2910))/((-2)/(-4)). Are t and -1 equal?
False
Let w be (11/(-22))/(1/4). Do -1/2 and w have different values?
True
Let n = -4 + 8. Suppose -h - n = h. Let p(f) = -f**2 + 2*f. Let m be p(1). Which is smaller: m or h?
h
Let i = 32 - 14. Let w be (i/8)/((-6)/4). Which is greater: -3 or w?
w
Suppose -3*s + 3*x - 6 = 0, -5*s + 0*x = 4*x + 1. Are s and 1/4 unequal?
True
Let p = -21 - -1. Let a = p - -12. Let j = a + 6. Which is greater: j or -0.1?
-0.1
Suppose 156*g = 151*g + 10. Which is smaller: 24 or g?
g
Let g(o) = o + 5. Let v be g(-5). Let j(s) = 2*s**2 - 3*s. Let l be j(2). Suppose l*n + v*n = 2. Which is smaller: 1/4 or n?
1/4
Let d(i) = -i - 1. Let a be d(6). Let h = -2/49 - 12/49. Which is smaller: a or h?
a
Let o be ((-6)/8)/(345/184). Which is bigger: 0.17 or o?
0.17
Let f = -2 + 2.2. Let g be 0 - (-8 - (-5 - -2)). Suppose 2*s + 0 = 2*d + 2, -14 = g*d - 2*s. Which is smaller: f or d?
d
Let g(j) = j**3 + 2*j**2 + 3*j + 2. Let i be g(-3). Let w be 2/12 - (-8)/i. Is -6 > w?
False
Let t be (-25)/(-5) + -5 - (-1 + 5). Suppose -4*h + 8 = -4*m, 4*m + 12 = 2*m - 2*h. Is t at least m?
True
Let q be (-8)/6*(-513933)/910. Let v = -753 + q. Let m = 63/130 + v. Which is greater: 0 or m?
m
Let u = -2.17 - -0.17. Is -4 greater than or equal to u?
False
Let f = 0 - -1. Suppose -f + 13 = 3*n. Suppose n = -4*u + 5*o, 0 - 8 = 2*u - o. Which is greater: -7 or u?
u
Let q(l) = l**3 + 6*l**2 - 2. Let m be q(-3). Which is smaller: m or 24?
24
Let o = -0.98 - -1. Let d = 10 - 8.6. Let h = d - 1.5. Is h at most o?
True
Let h(d) = 4 + 6*d**2 + 4*d**3 - 4*d**3 - d**3 + 7*d. Let j be h(7). Let n = j - 6. Is n < 1?
True
Let c = -10 - -9. Let o be (-9)/15*2 + 1. Is o != c?
True
Let y be -1 + 0 + 1 + 1. Suppose 4 = o - y. Suppose 5*n + 14 = 4*h, 0 = -h - 3*n - o. Which is smaller: h or 2/3?
2/3
Suppose 3*h - 67 = -67.