/9?
-2/9
Let m = 0 - 0.3. Let n = 2.02 - 0.02. Let b = -3 + n. Which is smaller: b or m?
b
Let a(j) be the first derivative of -j**4 + j**3/3 + 4*j - 1. Let m(y) = -y**3 + y**2 + 1. Let f(q) = -a(q) + 5*m(q). Let t be f(4). Is t <= -3?
False
Let r = 8 + -3. Let t = r + 2. Is -1/4 bigger than t?
False
Let a = -25 + 21. Is a greater than 0.1?
False
Suppose -3*w - 1 + 2 = -2*j, w = 5*j + 9. Which is greater: j or -14/9?
-14/9
Let j be 14 - (5 - -1) - (1 - -2). Which is bigger: -1 or j?
j
Let w = 774 + -13152/17. Which is smaller: w or -1?
-1
Let d = -1 + 2. Let j be (-2)/7 + (d - 1). Is j at most as big as -2/5?
False
Let v(s) = s**2 - 6*s + 6. Let w be v(5). Let u = w - 2. Suppose -3*c - 12 = r - 0*r, 0 = 3*r + 3*c + 12. Is u at most as big as r?
True
Let z = 8 + -14. Let u(v) = v + 1. Let d(q) = 7*q + 11. Let a(c) = -d(c) + 6*u(c). Let k be a(z). Is 3/7 > k?
False
Let q(t) = -47*t + 5. Let v be q(4). Let c = -2747/15 - v. Which is smaller: -1 or c?
-1
Let p = -7 - -9. Let b = -2.1 + p. Let z = -0.1 + 0.3. Does b = z?
False
Let y be (0 - 2/(-2))*2. Let n = -5 - -9. Is n less than or equal to y?
False
Suppose -2*n + 0*n = -5*g, 4*n = 2*g + 16. Let p(q) = -q - 3*q + q**2 + 0*q**g. Let s be p(4). Is 2/3 greater than s?
True
Let l(y) = -4*y + 4. Let i be l(2). Let x = -13 - i. Which is smaller: x or -7?
x
Let v(w) = w**2 - 5*w + 1. Let j be v(6). Let h = j - 7. Are h and -2/3 equal?
False
Suppose 0 = -3*t + 2*t - 4. Is t less than or equal to -4?
True
Let k = 2226/1385 + -2/277. Let q be (1/(-2))/((-2)/8). Which is smaller: q or k?
k
Let v = -0.06 - -1.86. Let g = v + -1.9. Is g != -3?
True
Let q(k) = 10*k - 50. Let r be q(5). Which is smaller: r or 1/4?
r
Let f(b) = -b - 19. Let z be f(-9). Let n be 45/175 + 4/z. Are 1 and n equal?
False
Let a(n) = n**2 + 12*n - 25. Let f be a(-14). Which is smaller: 5 or f?
f
Suppose 3*x + 0*x = -3*m - 33, -4*x - 17 = m. Is m > 0?
False
Let c(m) = m**2 + 4*m + 14. Let z be c(0). Is 14 equal to z?
True
Let k be (-12)/24*(3 - 1). Which is smaller: -2/5 or k?
k
Let p be 5/(-15) - 26/(-6). Suppose p*o = 5*o. Let u be 8/28 - o/(-2). Which is smaller: u or 0?
0
Let x = 19 + -18. Let g = -0.44 + 2.46. Let s = g + -0.02. Is s at least x?
True
Suppose 5*j + 2 - 1 = r, -4*j = 4*r + 20. Do 1/16 and j have the same value?
False
Let c(b) = -b**3 - 15*b**2 - 13*b + 17. Let a be c(-14). Let u be -3 + a*38/42. Which is bigger: u or -7?
u
Suppose u + 317 = -445. Let v = 5349/7 + u. Is 3 less than v?
False
Let v = 67 + -59. Is v less than or equal to -2?
False
Suppose 5*m + 2*t = 0, 0 = -2*m - 0*m + 2*t. Which is smaller: m or -2/117?
-2/117
Suppose -5*t - 15 = u, 12 = -2*u - u - 4*t. Suppose 3*f - 10 - 8 = u. Let c be (4/f)/(4/6). Which is greater: c or 4/9?
c
Let n be 4/(5 + -4) - 11/3. Which is bigger: n or 16?
16
Suppose -5*v = -10*v. Let w be ((-21)/12 + 1)/3. Do v and w have different values?
True
Let a = 24356/33 - 738. Suppose -3*r = -3*c + 12, -11 = 2*r - 0*c - 3*c. Which is greater: r or a?
a
Let g be -6*2*1/(-4). Are g and 4 equal?
False
Let b be 4/18 - (-40)/(-126). Let d be (1 - 1) + (-3 - (-1 - 2)). Which is greater: b or d?
d
Suppose 5*i = -5*i - 160. Is i smaller than 3?
True
Suppose -2*d + 3*o = 2*d + 8, -o = -4. Let n(t) = -t**3 + t**2 + t + 2. Let x be n(0). Let i be x/6*(0 + -1). Which is smaller: i or d?
i
Let s = 53 + -35. Suppose -5*x = s + 2. Let a = -3 + x. Which is smaller: a or -8?
-8
Suppose 5*z + 7*q - 30 = 2*q, z + 2 = q. Let r be z - (1 + 12/15). Let w(a) = a + 1. Let p be w(0). Which is smaller: p or r?
r
Let r be (-2)/(-4)*(5 - 0). Is r >= 2?
True
Let i = -0.18 - -14.18. Which is greater: i or 2?
i
Let h(l) = 2*l**2 - 2*l - 1. Let o be h(-1). Suppose -1 = p - o*a, -2*p + a + 8 = 5*a. Let f be ((-4)/(-8))/(2/4). Is p at least f?
True
Suppose f - 8 = 5*f. Let j be -1 - -1*f/(-2). Let k be 2*(-1 - j/(-2)). Are k and 2 unequal?
True
Let l(v) = 13*v + 1 + 2 + 0. Let z be l(-3). Let j be 0 + z/(-21) + -2. Which is bigger: 1 or j?
1
Let m = -2.9 + 1.9. Let t = 12.9 - 12. Let d = t + 0.1. Is d less than m?
False
Let i(j) = 10*j - 1. Let c be i(-3). Is -31 not equal to c?
False
Let y = 73/217 + -6/31. Let o be 2/10 - (217/35 + -5). Which is smaller: y or o?
o
Suppose 2*f = 4*w - 2, -5*w + 0*f = -2*f - 1. Let b be -1 - w/((-2)/(-6)). Suppose -1 = -b*y - 7. Which is smaller: -2 or y?
y
Let w(j) = -9*j + 11. Let n be w(9). Let u = n - -208/3. Are u and -2/5 equal?
False
Let x = -9125/12 - -760. Which is smaller: -1 or x?
-1
Suppose 0 = -4*i + 2*q - 14 - 24, 5*i - 5*q + 50 = 0. Let c be -1 + (0 - 0) + -7. Which is smaller: i or c?
i
Let d = -28 - -22. Suppose -5*v = -v + 16. Is d < v?
True
Let k(b) = -b**3 + 7*b**2 - 2*b - 5. Let z be k(7). Let q = z - -23. Which is bigger: q or 13/5?
q
Let o = 18.4 - 18. Is o at most as big as -2?
False
Let a = 0.2 - 0.2. Let c = 0.02 + a. Let l = -0.08 - c. Which is smaller: l or 0.1?
l
Let o be ((-4)/(-682))/((-5)/10*2). Is -1 less than or equal to o?
True
Let b = 9 - 14. Let q = 12 + b. Is q at most 8?
True
Let i = -189 + 3025/16. Is 0 smaller than i?
True
Let k(d) = -d**2 - 6*d - 7. Suppose -4*w + 16 = -3*t - 16, -2*w - 4 = t. Let l = t - -3. Let r be k(l). Do -2 and r have the same value?
True
Let x = 0 - 1. Suppose -42 = -4*f + 5*g, -6 = 5*f - g - 48. Suppose 0 = t + 4*p - 0*p + 16, 2*p = 2*t - f. Is t smaller than x?
False
Suppose 0 = -2*o - 4*m - 12, -4 - 6 = 2*m. Which is greater: o or -4/5?
o
Let q = -11 + 10.8. Let v = 0 + q. Are 11 and v nonequal?
True
Suppose 5*g + 3*b - 134 = 0, -38 = g - 2*g + 5*b. Let a = -29 + g. Which is smaller: -13 or a?
-13
Suppose 5*y = -5*h + 45, -3 = 2*y - 5*h + 7. Suppose -y*u + 21 = -9. Which is smaller: u or 5?
5
Suppose -x - x + 28 = 0. Which is bigger: x or 15?
15
Let x be (-5)/4 - 1/(-4). Let t be ((2 - -1) + x)/2. Is t >= 0.1?
True
Let g = 0.9 + -2.3. Let m = g + 1.46. Is m less than -2/9?
False
Let q = 2 - 5. Let b be 9/2 + 6/(-12). Let t be (6/b)/(2/(-4)). Is t at least as big as q?
True
Let v = 14 - 14. Is -0.1 bigger than v?
False
Let y(i) = i - 11. Let k be y(10). Let q = -288723/341 + 847. Let a = q - 1/31. Is a at most as big as k?
False
Let g = 5 - 5.8. Let u = -2.8 - g. Which is smaller: 0 or u?
u
Let g be -3 - -4*(-81)/(-114). Which is greater: g or 1?
1
Let n be (((0/(-1))/(-1))/(-1))/4. Let k = -698/5 + 137. Let y = 101/35 + k. Is n < y?
True
Suppose 0 = b - 2. Let d be b + 4/3 + -3. Which is bigger: d or -2/7?
d
Let n be 2 - 0 - (6 + -4). Are -3 and n unequal?
True
Let o(p) = -p + 2. Let m be o(4). Let t = m - -5. Let x be (2/(-3))/(7/t). Is 1/4 at least x?
True
Let q be 3/(-5) - (-3304)/(-60). Let f = q - -55. Is 10 not equal to f?
True
Let j be (9/4)/((-10)/8). Let m(u) = -u**3 + 17*u**2 - 15*u - 18. Let y be m(16). Which is bigger: j or y?
j
Let v(o) = 2*o - 6. Let c be v(2). Let a be ((-4)/(-10) - 0)*-5. Is c < a?
False
Let g = 3 - 1. Let c(h) = h**3 - 5*h**2 + 4*h - 1. Let n(m) = 4*m. Let d be n(1). Let p be c(d). Is g not equal to p?
True
Suppose -2*u + 0*u = -16. Suppose -t = -4*x + 17 - u, -5*t = -4*x + 13. Which is smaller: x or 1?
1
Let p be (-2)/18*3*3. Which is smaller: p or 1/45?
p
Let q be (-4 - 44/(-10)) + 0. Is 1/2 greater than q?
True
Suppose 0 = -3*a - 5*o + 3*o - 1, 2*o - 2 = 0. Is a >= -1/46?
False
Let q be (11/(-2) - -3)*-2. Let t(j) = -j. Let o be t(-4). Suppose 5*k + x - q = -2, -o*x = -5*k + 13. Is k at most -2/5?
False
Let p(u) = u**3 + 4*u**2 - 1. Let l be p(-4). Let y = 2 + l. Suppose -3*f - 12 = -i, 3*f + 4 = 4*i - 8. Do y and i have different values?
True
Suppose -4*c + 18 = 3*f, 0*c + 37 = 4*f + c. Are 2/5 and f unequal?
True
Let m(d) = -d**2 - 12*d - 5. Let q(a) = a**2 + 11*a + 5. Let r(n) = -5*m(n) - 6*q(n). Let j be r(-5). Which is smaller: 2/19 or j?
j
Suppose -5*v = -3*v - r + 10, -2*v + 4*r - 4 = 0. Suppose 3*f + 14 = 5*p, 4*f + 0 = -5*p - 7. Is v at most p?
True
Suppose -3*f - 3 - 45 = 0. Is f bigger than -20?
True
Suppose -3*a - 11 = 4. Is -4 less than or equal to a?
False
Let i = 0 - 1. Suppose z = -z. Are z and i non-equal?
True
Let b(c) = c**3 + 7*c**2 + 5*c - 6. Let l be b(-5). Let j = 11 - l. Is j != -9?
True
Let n be (2*3/(-6))/((-8)/(-8)). Which is greater: -2/335 or n?
-2/335
Let m = -7.2 + 7. Let a be 207/36 - (-3)/(-4). Which is smaller: m or a?
m
Let j = -15 + 47/3