= 2*u**2 - 3*u - 1. Let p(n) = 1. Let v(q) = -3*p(q) - t(q). Let w be v(s). Is -3 <= w?
False
Let f = 5.6 + 1.4. Which is bigger: f or -2?
f
Let x = -169 - -1523/9. Which is bigger: -1/4 or x?
x
Let h be 1/3 - (-16)/(-24). Suppose 1 = -2*v + i, -4*v - 16 = -2*v - 4*i. Let m = 2 - v. Which is greater: h or m?
m
Let i = -13/4 + 1/20. Suppose 5*x + 32 = -2*k + 2, 0 = -2*x - 2*k - 18. Is i at least x?
True
Let h be (-2 - 2)*-1*(-11)/1562. Does h = 1?
False
Let z(o) = 2*o - o - o + o - 6. Let y be z(3). Are -3 and y unequal?
False
Let o be (16/(-10))/(4/20). Which is greater: o or -7?
-7
Suppose -5*f + 4 = -2*n - 10, -f = 3*n - 13. Let c be -3*(-1)/3 + n. Let j be c/(-6) - (-1)/3. Which is greater: j or 0.1?
0.1
Let v = 0.4 - 0.7. Let i = -0.1 + v. Which is smaller: 0.1 or i?
i
Let o(z) be the first derivative of -z**3/3 - z**2/2 + 5*z + 1. Let g be o(0). Suppose -y - 2 = -6. Which is greater: y or g?
g
Let a(b) = 4*b - 5. Let n(k) = -k + 1. Let l(m) = a(m) + 3*n(m). Let f be l(3). Is f at least as big as -1/7?
True
Let u be 782/1930 - 12/30. Let g = 375/2123 + u. Is g at most as big as 2?
True
Let k = -758/3 - -249. Let z = 0.9 + 0.1. Which is greater: k or z?
z
Suppose -5*h = 20, 2*c - 10 = 4*h - h. Which is greater: 4 or c?
4
Suppose -3*k = 3, 4*k + 11 = 4*q + 5*k. Let h = -3/43 - 31/172. Is h smaller than q?
True
Let o be -2 - (-32)/18 - 0. Let t = -11 + 13. Suppose 4*h = t*h. Is h less than o?
False
Let o(h) = h**2 + 7*h + 2. Let t be o(-8). Is t at least as big as 12?
False
Let l = -1/525 - -3163/6825. Is 4/3 > l?
True
Suppose 0*o - 3*o = 4*y + 44, 0 = 2*y + 5*o + 36. Which is smaller: -5 or y?
y
Let w(i) = -i - 7. Let p be w(-7). Let h = -13 - -5. Let t be 237/(-348) - 6/h. Is t at least as big as p?
True
Suppose 18 = -7*x + x. Let s(c) = c**3 - 5*c**2 + c - 7. Let b be s(5). Which is smaller: b or x?
x
Let o = -22429/30303 + 139/117. Let b = 6/37 - o. Suppose 4*q + 0 = -4. Which is smaller: q or b?
q
Let w be (-17)/(-4) - (-4)/(-16). Let v = 3 + w. Is v not equal to 0.1?
True
Let g = 14 + -12. Let t be (-2)/3*1/g. Which is smaller: 13 or t?
t
Let i = 8 - 11. Let o = i + 3.1. Which is smaller: 2 or o?
o
Let l be 1/((2/(-3))/(-2)). Suppose -l*m + 9 = 3*k, -2*m + 0*k + k = -12. Suppose 0 = -2*c + m*b + 12, 3*b = 4*c - 3 - 7. Is c not equal to 1?
False
Let f = -12 + 6. Let a = f - -9. Which is greater: a or 1?
a
Let h(d) = d**3 - 5*d**2. Let u be h(5). Let x = u - 0. Suppose -2 = -4*i - 6. Is x smaller than i?
False
Suppose 7*a - 24 = -2*s + 3*a, -28 = -2*s - 5*a. Suppose 0 = -5*l - 2*j + 5, -3 + 7 = 4*l + s*j. Which is greater: 1/9 or l?
l
Suppose -4*o = -7*o + 3. Which is greater: 1/2 or o?
o
Suppose 5*b + 23 = -3*w - 3, 3*b = 3*w - 6. Let o be 14/(-4) + (-2)/b. Let t = o + 3. Is t at least -4/5?
True
Let n = -4 - -6. Suppose -n*f - 5*o = -27, 0 = 2*f - f - o + 4. Let l = -5447/15 + 363. Which is smaller: l or f?
l
Let d(a) = a**2 + 5*a + 6. Let w be d(-4). Let r be w/(2/4*-1). Let f = 13 + -16. Is f > r?
True
Let f(m) = m**2 + 2*m - 1. Suppose 4*z + 3 = -9. Let h be f(z). Let c be (-1*2)/(-2 + 4). Is c at least as big as h?
False
Suppose -3*n + 5 = -7. Let g be (-4)/(-14) + (-26)/(-7). Is n != g?
False
Let t = 81.5 - 81. Which is greater: t or 0.01?
t
Let p(o) = -o + 2. Let l be p(-3). Let z = l + -1. Suppose -4 = -z*d - 20. Which is smaller: -2/5 or d?
d
Let o = -45 - -51. Suppose 6*k - 18 = 3*k. Is k smaller than o?
False
Let i = -26 - -30. Suppose -3*h - 10 = -5*v, -3*h - h + v = 2. Let t be (i/(-12))/(1 - h). Does t = 1?
False
Suppose 0 = -5*m + m + 12. Suppose -m = 3*c - 4*c. Suppose 5*d - 34 = c*i, 12 = -i + 2*i + 3*d. Which is greater: -1/3 or i?
-1/3
Let g be (1 - -1) + 0/3. Suppose 0*r - 10 = -g*r. Which is bigger: 6 or r?
6
Let j = 35 + -36. Which is bigger: -1/5 or j?
-1/5
Suppose 0 = f + 3*c + 17, 2*f - 5*c = 4*f + 31. Let n = 8 + f. Which is smaller: n or -2/35?
-2/35
Let g(v) = -v**2 + 6*v + 14. Let r be g(6). Is 16 smaller than r?
False
Let j = 1.8 - 2. Let f = j + 1.2. Let q = -16 - -15.8. Which is bigger: f or q?
f
Suppose -2*y + 5*z = -5*y + 23, -3*y + z = -35. Which is greater: 10 or y?
y
Suppose -f - 12 = 2*r, -2*f = -0*r + 2*r + 20. Which is smaller: f or -7?
f
Let b = -2 + 2.1. Let u = -0.7 + 0.8. Is b >= u?
True
Let k = -0.02 - 1.98. Let o = -55 + 54. Which is smaller: o or k?
k
Let s(j) = 14*j - 33. Let o be s(4). Are 20 and o non-equal?
True
Suppose 0 = 3*b + 2 + 1. Let v = -0.8 - -1.1. Let u = v + 1.7. Which is smaller: b or u?
b
Suppose -77 = 5*g - 12*g. Is g >= 10?
True
Let t = 0.1 + 0.5. Let f = -0.5 + t. Which is greater: -2/5 or f?
f
Let a = 119 + -117. Suppose 0*r - 8 = -4*r. Let j = r + -1. Which is greater: a or j?
a
Let i = -0.4 - -0.43. Let x = -3.03 + i. Is x less than -1/4?
True
Suppose -5*d - 30 = -5*f, 2 = 2*d + 3*f + 2*f. Let a(v) = v - 1. Let k be a(-3). Is d bigger than k?
False
Let c(x) = x**2 + x + 2. Let m(o) = o**3 - 3*o**2 + o. Let g be m(2). Let l be c(g). Which is smaller: l or 2?
2
Suppose 3*g = 7 + 5. Let v = -9 + g. Which is bigger: -4 or v?
-4
Let b(h) = 2*h + 2. Let t be b(-5). Let l = t - -7. Is l bigger than -5/6?
False
Let r = -83.2 + 83. Are -1/3 and r equal?
False
Let b = -5/48 + -71/240. Let j = 0.3 - -3.7. Which is smaller: b or j?
b
Suppose -6*q - 25 = -q, -5 = 4*b + q. Let h = 14476857/233053 + -9/13709. Let w = -62 + h. Is w <= b?
False
Let u = 2 - 0. Let x = 0.1 + -0.6. Let i = 0.5 + x. Which is bigger: u or i?
u
Suppose 361 - 1936 = -5*n - 5*m, -m - 1581 = -5*n. Let s = n + -1901/6. Is 0 equal to s?
False
Let z = 14 + -14. Let v(u) = -2*u - 4. Let k be v(z). Which is bigger: k or 0?
0
Let s = -2/27 - 23/54. Are s and -1/4 equal?
False
Suppose 3*j - 1 = -4. Which is smaller: 2 or j?
j
Let v(l) = -6*l - 2. Let x be v(-1). Are 2/13 and x nonequal?
True
Suppose -m = m - 28. Let f be ((-5)/(-2))/5*m. Is 6 less than or equal to f?
True
Suppose -q - 3*m + 4*m = -1, 3*q - 4*m - 3 = 0. Let g = 139/988 + 1/76. Which is smaller: g or q?
g
Suppose 0*s = -2*s + 46. Suppose -13 - s = -3*w. Let r be 1 + (0 - w/10). Is r bigger than -2/5?
True
Let i(y) = y**2 + 2*y + 3. Let b(x) = -x**2 + 7*x - 8. Let c be b(6). Let h be i(c). Let n(v) = -v + 17. Let o be n(14). Do h and o have different values?
False
Suppose 4*l = -9 + 101. Suppose 3*v + 11 = -2*s, 5*s = -4*v + v - l. Let m = -11/6 - -2. Is m greater than or equal to v?
True
Let q(z) = -z**2 + 3*z + 4. Let h be q(4). Which is bigger: 1 or h?
1
Let h = -176/3 - -54. Is -6 <= h?
True
Let w(j) = -j**2 - 3*j + 1. Let y be w(-3). Which is smaller: -1/5 or y?
-1/5
Let q = -210 - -207.94. Let b = 0.06 + q. Let z be ((-1)/3)/((-1)/(-3)). Is z smaller than b?
False
Let d = 46 - 45.9. Which is bigger: 31 or d?
31
Let l be 6/(-33) + (-46)/(-11). Suppose 3*c = 4*m - 9, 2*c = m + m - l. Which is greater: 0 or c?
c
Let i = -0.35 + 10.45. Let w = -10 + i. Which is smaller: w or 0.02?
0.02
Let j be 8/(-85) + (-4)/(-5). Is 0 less than or equal to j?
True
Let p(a) = -a**3 - 2*a**2 + 3*a. Suppose 3*h - g + 9 = -0*g, -3*h = g + 9. Let m be p(h). Is 1 at least m?
True
Let h = -1 + -6. Is -2/5 at least as big as h?
True
Let f = -96 + 96. Which is greater: f or 1.07?
1.07
Let n = -67.5 - -67. Do n and -5/3 have different values?
True
Let l be (-1 - 0)/(3/(-6)). Let m(k) = k + 1. Let h be m(-2). Let z = h + l. Which is bigger: -1/3 or z?
z
Let j = 2/7 - -8/21. Let y(h) = h**2 - 5*h - 5. Let o be y(6). Which is greater: j or o?
o
Let v = 3 + -1. Let f be 0/v*(-1)/2. Let h(x) = -x**2 - 2*x + 4. Let i be h(-3). Which is smaller: f or i?
f
Suppose n + 3 = g + g, -13 = -2*g + 3*n. Which is smaller: -1/4 or g?
g
Let f be 29/5 + (-2)/(-10). Let k be f*-4*2/(-84). Which is smaller: -1 or k?
-1
Let k(t) = -14*t**3 + 23*t**2 - 4*t - 35. Let s(l) = -5*l**3 + 8*l**2 - l - 12. Let c(d) = -6*k(d) + 17*s(d). Let n be c(-4). Does n = 11?
False
Let v = 29.968 + 0.032. Let h = v - 22. Do h and 1 have the same value?
False
Let h = 63/2 + -31. Let u(d) = -d + 5. Let b be u(-5). Let r be 60/84*4/b. Does r = h?
False
Let f = 2 + 8. Let z = f - 7. Let u = -3.1 + z. Is -1/4 greater than u?
False
Let v be (-2)/9 + (-536)/18. Let i = -32 - v. Is -3 at least i?
False
Let l(k) = k**2 - 4*k. Let f be l(5). Suppose f*g = -0*g - 5. Is -3/5 <= g?
False
Suppose -2*v = -0*z - 3*z + 15, 0 = 3*