-1?
i
Let t(v) = -v**2 + 3*v + 1. Let c(x) = -x**2 - 4*x - 1. Let j be c(-3). Let n be t(j). Suppose 0 = 2*o - n*b - 27, 2*b = 3*o - 3 - 25. Which is smaller: o or 5?
5
Suppose s + 0 - 2 = 0, 4*o - 2*s = -28. Let w = o + 8. Suppose 2*l = -m + 1 - 4, 0 = -2*m - 3*l - 4. Is m > w?
False
Let h = -9 + 12. Which is greater: h or 1?
h
Let n be -2 + (-13)/(-3) - 2. Let y = 2.7 - 2.6. Which is bigger: n or y?
n
Suppose 0 = p + 3*p - 64. Let k be (-2)/3*(-12)/p. Is 1 at least k?
True
Let h(z) = z**2 - 3*z - 1. Suppose 0 = 3*t + j - 4*j, -3 = 3*t - 4*j. Let k be h(t). Which is smaller: -2 or k?
-2
Let y = 25 - 29. Which is bigger: -3 or y?
-3
Let d be ((-101)/(-1))/((-7 - -7) + 1). Is 101 at most as big as d?
True
Let b(r) = -r**3 - 5*r**2 + 5*r - 6. Let y be b(-6). Suppose y = -2*i - 3*j + 20, -8*i + 3*i + j = -16. Which is bigger: 3 or i?
i
Let t(c) = c - 15. Let l be t(12). Is l less than -13/6?
True
Suppose -2 = -2*l + 2. Suppose 0*d + 4 = u + l*d, 2*u - 4 = -2*d. Suppose -o + 1 = -u*o. Which is smaller: 2/11 or o?
2/11
Let v = -1.015 + 0.015. Which is smaller: -1/2 or v?
v
Suppose -2*b = 2 - 0. Let p be (-6)/3 - (1 - -2). Let k be 4/(-6) + p/(-12). Which is smaller: k or b?
b
Suppose -8*c - 30 = 2*c. Does c = -32/13?
False
Let q = 18 - -9. Let t be (2/(-3))/(3/q). Suppose 0 = -2*g - 5*j + 10, j + 16 = -4*g - 0*j. Which is greater: t or g?
g
Let n = -2 - -2. Suppose 12*s = -9*s - 42. Does n = s?
False
Let x = 1.1 + 4.9. Are 0.1 and x equal?
False
Let c be (-10)/8 - 1/(-4). Let m be 4/(7/(21/78)). Do c and m have the same value?
False
Suppose 0 = 4*p - 2*p - 4. Let j be (64/(-12))/8 - (-17)/12. Is p > j?
True
Suppose 0 = 5*o - 0*c + c + 2, 0 = -c + 3. Let d be (-11)/7 + (2 - 1). Which is bigger: o or d?
d
Let g = -1/68 + -269/204. Which is smaller: g or -1?
g
Let w = -5 - -38. Let v = 67/2 - w. Is 2 <= v?
False
Let a(q) be the first derivative of q**4/4 + q**3/3 + q**2/2 + 3*q - 3. Let x be a(0). Suppose -x*g = g. Is 0 at least g?
True
Let y = 10 + -10. Does y = -2/87?
False
Let b(u) = -33*u**2 - 3*u - 1. Let z be b(-1). Which is bigger: z or -30?
-30
Suppose -35*s + 33*s = 12. Is s <= -6?
True
Let k(i) = -8*i + 6 - 12*i**2 + 2*i + 11*i**2. Let y be k(-6). Suppose l + l = -y. Which is greater: l or -2?
-2
Let s be 1*(1 - -1)*(-72)/(-48). Which is smaller: s or -3?
-3
Let b(t) = t**3 - 4*t**2 + 2. Let l be b(3). Let o = -2 + -2. Let h = o - l. Is h less than or equal to 2?
False
Let t(h) = -4*h**2 + 3*h + 3. Let a(i) = 4*i**2 - 3*i - 4. Let z(n) = 5*a(n) + 6*t(n). Let o be z(2). Let w be ((-1)/(-4))/(2/o). Which is greater: -3 or w?
w
Let t(u) = -u**3 - 2*u**2 - u - 3. Let m be t(-3). Is 10 smaller than m?
False
Let x be 3 - ((-1)/(-3))/(3/30). Let g = -51/104 - -8/13. Which is bigger: g or x?
g
Let d(b) be the first derivative of b**2/2 + 2*b + 2. Let a be d(0). Is a <= 2?
True
Let f = 4.4 - 0.4. Let i = 1 - 0. Let p = i - f. Which is bigger: p or 1/2?
1/2
Suppose 2*j - 3 = -15. Let n(z) = 3*z + 41. Let c be n(-16). Are c and j unequal?
True
Let h = -6 - -4. Do -2 and h have different values?
False
Let o = 0.55 - 0.49. Let r = -2/13 - -21/52. Is o not equal to r?
True
Suppose 2*z + 3*g - 15 = -z, -5*z - g = -5. Which is smaller: 1/3 or z?
z
Suppose -6*s + 128 = -2*s. Let h be 2/s - 2/(-8). Let j = h + -1/16. Is -1 greater than j?
False
Let d be (-15)/(-18) - (-4)/(-6). Let v = -35/51 - -1/51. Which is smaller: d or v?
v
Let w = 0.77 + 0.13. Which is smaller: 1 or w?
w
Let i be (-1)/(3 - (-35)/(-10)). Is 5 greater than i?
True
Suppose -o + 0*v = -v + 8, 3*o - v + 14 = 0. Let f = 2 + o. Let m = 0 - 0. Which is smaller: f or m?
f
Let c be (-1 + 0 - -1)/1. Suppose -14*a + 6*a = 32. Is a equal to c?
False
Suppose -i - 4*i - 3 = -2*f, -2 = 2*i. Let g be -1 + 1 + f + 4. Suppose d + g = 5. Are d and 2 nonequal?
False
Let n = -0.032 - 2.968. Is n equal to -3?
True
Let p(r) = 4*r - 32. Let h be p(5). Are -32/3 and h equal?
False
Let h(j) = -j - 1. Let x be h(-1). Suppose x*a = a. Which is smaller: -0.07 or a?
-0.07
Let r = 0.37 - -1.63. Which is greater: 0.09 or r?
r
Let v be 4*((-36)/(-16) + -3). Let k be (v + 0)*5/15. Which is bigger: k or -3?
k
Let t = 22 + -12. Is t at least as big as 8?
True
Let z = 71 - 65. Does z = 7?
False
Let y = -2 - -4. Suppose n = 4*w - w - 14, 3*w - 4*n = y. Is w != 5?
True
Let m(l) = -3*l**3 - 6*l**2 - l - 2. Let h be m(-3). Is h > 30?
False
Let u = -5.01 + 5. Let j = u - 0.09. Is j less than or equal to -1?
False
Let r be 9/(-6)*2/(-3). Suppose 4*t - 2*t - 12 = 0. Suppose -5*y - 9 = -2*n, 0 = -3*n - y + t*y + 11. Which is smaller: r or n?
r
Let t(z) = -z**3 - 7*z**2 - 7*z - 4. Let x be t(-6). Suppose 0 + 8 = x*g. Let i be 1/(-10) - g/10. Which is greater: 2/3 or i?
2/3
Let v = 72 - 73. Let q be (-6)/(-3) + (-11)/5. Are q and v non-equal?
True
Suppose 2*k - 40 = -6*k. Suppose 2*r - k = r. Suppose 7 = a + 1. Is r != a?
True
Suppose m + 4*g - 316 = -3*m, -5*g = -20. Let c = 54 - m. Let l be (-2)/7 + 15/c. Which is bigger: l or 3/7?
3/7
Let s be 7/3 + (-2)/(-3). Suppose 10 = 3*h - 2. Let q be s/9*(-6)/h. Is q at most -1?
False
Let j(d) = 3*d**2 - d - 2. Let k be j(-2). Which is smaller: k or -1?
-1
Let s = 1 + -2. Let t = 1146/13 - 88. Which is bigger: t or s?
t
Let f = 38 + -39. Is -15 > f?
False
Let j(g) = 12*g - 2. Let x be j(1). Which is smaller: x or 1?
1
Let q = 9 + -5. Let r = -6 + q. Is r > -1/2?
False
Suppose -3*o + 2 = 26. Let m be 1/o + 15/(-72). Let y = 7 - 7.07. Which is smaller: m or y?
m
Let q = -727/9 - -81. Let t = -7 + 3. Let o = t + 4.1. Which is smaller: o or q?
o
Let q be (10 + -9)/(2 + 46/(-22)). Is 1/3 at most q?
False
Let y(o) = -o**3 + o**2 - o + 3. Let w be y(0). Let n(u) = -u**3 - 5*u**2 - 4*u - 2. Let h be n(-4). Is h less than w?
True
Suppose -48 = 4*o - o. Let k be ((-12)/o)/(6/(-4)). Is k equal to -1?
False
Let x be (-6)/4 - 36/(-8). Suppose x*j + 5 = 4*k, 3*k + k = 5*j + 3. Which is smaller: j or 0?
0
Let l = 62/5 - 12. Suppose 7*n = 2*n + 45. Let q be (-2)/3*n/(-12). Which is smaller: l or q?
l
Let d = 2.9 - 3. Let g = 0.1 + d. Let y = 83.7 + -84. Is y at least as big as g?
False
Suppose 8 = 4*w - 8. Let l be (-258)/432 - w/(-18). Which is bigger: 1 or l?
1
Suppose 0 = -3*o + 4*o, 5*o - 2 = -2*m. Which is bigger: -3/11 or m?
m
Let m(p) = -p + 6. Let v be m(-10). Let h = -26 + v. Is h <= -9?
True
Let t = 0.09 + -1.39. Let g = t - -2. Let r = g - 0.7. Is -5/3 <= r?
True
Let x(b) = -b**2 - 23*b + 1. Let v be x(-23). Let c = 1 + -2. Which is bigger: v or c?
v
Let g = 5 - 5. Is 2/7 smaller than g?
False
Let c be (2/4)/(2/4). Let h = -1 - -3. Let d = h + -2. Which is greater: c or d?
c
Let n = 4.2 - 4. Let h = n + -0.3. Let r = 0.2 + h. Which is bigger: r or 1?
1
Let f be 1/3 - (-84)/(-9). Let y = f - -14. Let z(n) = -n + 6. Let h be z(y). Are 2 and h equal?
False
Suppose -4 + 3 = v. Which is smaller: v or -2?
-2
Let p(z) = -z**2 - 3*z + 3. Let y be p(1). Which is smaller: y or -2?
-2
Let l = -0.2 + 0. Let a = 30 + -55. Let s = 26 + a. Which is bigger: l or s?
s
Let z = -50 + 50. Is z smaller than 2/39?
True
Let l = 4 - -5. Suppose -1 = 2*a - l. Is 5 less than a?
False
Let x(g) = g**3 - 3*g**2 + 4*g - 1. Let k be x(3). Suppose -s - 2 = -3*b - 2*b, -3*s + k = 2*b. Let j be ((-1)/3)/((-10)/12). Which is bigger: j or b?
b
Let y = -13 - -25. Which is bigger: y or 11?
y
Let f = 6.15 - 6. Let n = 0.05 + f. Is n < -1?
False
Suppose 2*u + 4*r = 2, 2*u + 2 - 4 = 5*r. Is 2/7 < u?
True
Let m = -8 - -7.7. Let d = m + 0.2. Let f = d + 0.1. Which is greater: 1 or f?
1
Let k = -3 + -4. Let v = k - -5. Let n = v + 1.9. Do n and -2 have the same value?
False
Let j = -44 + 54. Are j and 7 unequal?
True
Let r = -43 - -43. Which is bigger: r or -5?
r
Suppose -3*k - 5*s + 6 = -2*k, 0 = -2*k - 3*s + 5. Is k at most as big as 2/21?
False
Suppose 4*r + 68 = o, 8*r - 7*r = -3*o - 17. Let k(y) = 26*y**3 + y**2. Let p be k(-1). Let u = r - p. Is u greater than or equal to 8?
True
Suppose 3*k + 2*a + 0*a + 3 = 0, 5*a + 15 = 0. Is 20 <= k?
False
Let x = -33 - -28. Is x equal to -6?
False
Let d = 8 - 2. Let b = d + -8. Let h = 6 - b. Which is smaller: h or -1/2?
-1/2
Let p = 0 - -0.1. Let f(l) = l**3 - 8*l**2 - 10*l + 6. Let t be f(9). Which is smaller: t or p?
t
Let i(d) = d**2 + 8*d + 1. Let r be i(-8). Suppose 0 - r = h. Is 1/4