 + -12/25. Which is smaller: 0 or j?
j
Let r(l) = 8*l + 4 - 9*l**2 - 1 + l**3 + 1. Let f be r(8). Suppose t = f*t. Is 1/3 <= t?
False
Suppose q + q = p - 8, 5*p - 18 = -q. Let x be 3/(-1) - (4 + q). Do -5 and x have the same value?
True
Let w = -2687/84 + 193/6. Which is greater: -1 or w?
w
Let p = 15 - 6. Let v = -9.2 + p. Which is smaller: v or -2/3?
-2/3
Let v(w) = w**3 + 11*w**2 + 4*w - 9. Let u be v(-12). Let f be 9/u - 2 - -2. Let n = f + 88/469. Which is smaller: -1 or n?
-1
Suppose 6 = 3*r - 9. Let d(f) = 2*f - 7. Let v be d(r). Suppose v - 6 = -3*q. Which is bigger: q or 1/8?
q
Let c(q) = q**2 + 6*q + 5. Let n be c(-3). Which is smaller: n or -6?
-6
Let f(x) = -x**3 - 7*x**2 - 5*x + 8. Let b be f(-6). Let w be (2/b)/((-22)/4). Let n(g) = -g**2 + 2*g + 2. Let l be n(3). Is l >= w?
False
Let r = -6 + 9. Suppose r*a = 6*a - 3. Which is smaller: a or 1/3?
1/3
Suppose z = -0*z - 4. Let o = z + 3. Let y be (-21)/(-30) - (-1)/(-2). Which is bigger: o or y?
y
Let v = -10 - -10. Let b = 0.3 + -0.1. Let o = -0.4 + b. Is v greater than or equal to o?
True
Let g = -35/8 + 821/184. Is g greater than 0?
True
Suppose -3*p - 67 = -0*p - 2*w, 0 = 4*p + 4*w + 76. Is -21 bigger than p?
False
Let b = 16 + 10. Is 25 less than b?
True
Let p be ((-8)/432)/((-1)/(-4)). Which is greater: 0 or p?
0
Let l = 6 - 7. Let r be -5*(6/15)/l. Are r and -9 unequal?
True
Let d(m) = -76*m**3 + 3*m**2 - 2. Let p be d(1). Is -74 greater than or equal to p?
True
Let f(i) = -6*i**3 - i - 3*i - 4 + 6*i**2 + 5*i**3. Let c be f(5). Suppose 0 = -v - 0 + c. Which is bigger: v or -2/17?
v
Let j be (3 - 4 - -4) + 2 + 0. Which is smaller: 12 or j?
j
Let x = 4 - 1. Let m be 4*(1/2)/1. Which is smaller: m or x?
m
Let h = -1 + 4. Let l(a) = -a - 6. Let w be l(-5). Which is smaller: h or w?
w
Let g = 13 - -27. Suppose -4*k = -5*d - 9 + g, -4*k - 7 = 3*d. Which is smaller: -7 or k?
-7
Let l = 16.2 - 1.2. Does -2 = l?
False
Let z(g) = -2*g - 12. Let c be z(-9). Let f be c/(-2) - (-2 + 3). Let t(d) = -d**2 - 3*d + 4. Let y be t(f). Is y at most -1?
False
Let a = 3.5 - 2.9. Is a greater than or equal to -1?
True
Let t(w) = -w**3 + 10*w**2 - 16*w + 4. Let u be t(8). Which is smaller: u or 2?
2
Let v = -0.18 + 0.06. Let r = v + 0.32. Let a be (1/(-2))/((-3)/2). Is r bigger than a?
False
Let w = -2 + 3. Suppose -w + 9 = 4*d. Suppose d*t = 3*p + 6, -3*p + 2*p + 15 = 5*t. Is p greater than -2?
True
Suppose -13 = 3*y - 7. Let o = y - 4. Are -7 and o equal?
False
Let c(v) = v - 4. Let q be c(9). Suppose q*p = -3*r - 819, 3*r + 0*r = -p - 159. Let w = p - -663/4. Which is smaller: 2 or w?
w
Suppose w = -1 + 2. Which is greater: w or -3/23?
w
Let f = -9 + 9. Suppose 0 = -f*d - 2*d. Suppose d = -3*v - b - 2, 0 = -4*v + 3*b + 2 + 4. Is v >= -2/5?
True
Suppose 3 = -7*w - 4. Is w != -3/8?
True
Let d(p) = 26*p**2 + 9*p - 3. Let g be d(2). Is 0.1 != g?
True
Let a be ((-1)/(-1))/((-1)/(-4)). Suppose 0 = 2*t + 2. Let b be (a/16)/(t/(-4)). Which is greater: b or -1?
b
Let n be (-55)/(-25) - 3/15. Which is bigger: n or 3?
3
Let r be (15/20)/(30/(-16)). Let z = 3 + -3.1. Let w = 0 - z. Are r and w nonequal?
True
Let o(a) = -a + 7. Let b be o(5). Suppose 3*h = b*h. Which is greater: -2/27 or h?
h
Suppose 3*d + k = 11, 15 = -5*d + 3*k + 2*k. Let o = -485/4 + 123. Which is bigger: o or d?
d
Let b = 0.3 - 0.1. Let k = -0.2 + b. Let z = k + -0.1. Which is smaller: -3/4 or z?
-3/4
Suppose 9*j + 0*j - 27 = 0. Is j > 8/3?
True
Let j = 1135/18 - 63. Which is bigger: j or 0?
j
Suppose 108 = k + 5*a, -4*k + 4*a + 482 = -a. Let q = -592/5 + k. Do -1 and q have different values?
True
Suppose z = -5*k + 5, 4*k = -3*z - 9 + 2. Let u be (-40)/15*(-3)/2. Suppose -u*n - n = -15. Which is greater: n or k?
n
Let y = -4.9 - -5.86. Let c = 0.04 + y. Which is greater: -3 or c?
c
Let x(u) = 7*u + 9. Let j be x(-4). Which is smaller: 2 or j?
j
Let i be (-5)/(-2) + (-1)/2. Suppose 0*c = -h + 5*c - 2, -4*h - 3*c = -15. Suppose h*p = i*p. Is 0 less than p?
False
Let x(j) be the second derivative of j**3/6 - 5*j**2/2 - 4*j. Let m be x(5). Which is bigger: 1 or m?
1
Let h be (-2)/5*80/32. Is 0.3 > h?
True
Suppose 2*g - 4*g - 2 = 0. Is 1 >= g?
True
Suppose 3*k = 4*k. Let b be 1/2*k - -1. Which is smaller: 0 or b?
0
Suppose -2*b = 5*n - 13, -3*n - 3*b - 8 = -23. Is n > 3/11?
True
Let t = -10 + 7. Let b = 3 - 5. Let c = b - t. Is -1/2 equal to c?
False
Let t be (2*-9)/(-3) + -1. Is -3 > t?
False
Let i = 25 - 20. Is i <= 4?
False
Let w(o) = -o - 5. Let s(d) = -d**2 - 3*d**2 + 4 + 3*d**2. Let l be s(3). Let b be w(l). Which is smaller: -2/13 or b?
-2/13
Let d = -272 - -296.9. Let p = 25 - d. Is 3/4 < p?
False
Suppose -2 = -4*g - 6, -p = g + 3. Let o be 1*p - (-3 + 16). Let h be 2/o*(-15)/5. Is h > 1?
False
Let d = -5.84 - 0.16. Let s = d - -6.4. Is -1 > s?
False
Let y be (36/16 - 3) + 25/(-4). Is -7 at most y?
True
Let w(d) = 5*d - 4. Let a be w(3). Let x(f) = 5*f**3 + f. Let b be x(1). Suppose 3*p = 4*u + a, -3*u + 6 = -b*u. Is p >= 0?
True
Let h = 2 + -2.5. Let c = h + 0.51. Is -1 less than or equal to c?
True
Let y(r) = -r**2 - 3*r + 4. Let c be y(-3). Which is greater: 0 or c?
c
Let q = 51 - 102. Is q greater than -52?
True
Let k = 2 - 7. Suppose 4*x = -2*x - 30. Is k greater than x?
False
Let j(w) = 2*w + 5. Let u be j(-3). Which is smaller: u or 2/43?
u
Let u(t) = -t**2 - 4*t. Let c be u(-3). Let p be (-3)/(-10)*4/c. Let q be (1*0/(-3))/1. Is p > q?
True
Let c be 7 - 7 - (0 - 0). Let q be (-4)/18*3 - c. Is q less than 0?
True
Let b(r) = -r**3 + r**2 - 1. Let i(x) = -4*x**3 + 5*x**2 - x - 5. Let k(u) = -5*b(u) + i(u). Let q be k(-1). Let p = -20 - -119/6. Which is smaller: q or p?
p
Let r be ((-5 - -2) + 3)*-1. Suppose 5*u + 20 = h, r = 3*h - 4*u - 15 - 1. Let y be 1 + (-1 - -1 - 1). Is y at most as big as h?
True
Let z = -75 + 77. Are 0.4 and z equal?
False
Let c = 290 + -289. Let h = -185/2 - -90. Which is smaller: c or h?
h
Let t = 43978/3255 - 284/21. Which is greater: 0 or t?
0
Let g(f) = -f + 15. Let p be g(10). Suppose -i + 0 = -m - 7, -5*m - p = 0. Which is bigger: 5 or i?
i
Let j = 5 + -1. Suppose 20 = -5*k - 3*f, -5*k = 4*f + j + 16. Which is smaller: k or -0.1?
k
Suppose -p + 7 = 4*q, 3*q - 13 = -4*p + 2. Suppose 0 = -r + 5*g + p - 31, 22 = -4*r + 2*g. Which is greater: -2 or r?
-2
Let l be 27/1071*2/(-3). Is l at most as big as -1?
False
Let q = 17 + -15. Is q greater than or equal to 1/2?
True
Let l(y) = -y**3 - 4*y**2 + 6*y + 5. Let j be l(-5). Suppose m - 2 + 7 = j. Let s = 5 + m. Which is bigger: s or -2/5?
s
Let g = -0.5 + 2.5. Let r = 2.1 - g. Let s = -30 - -35. Is s != r?
True
Let n = -2 + 6. Let a be (-1)/(-2)*(-12)/(-2). Is a less than n?
True
Let q be 489/18 - 1/(-3). Let o be (6 - 15)/((-2)/(-6)). Let x = o + q. Which is smaller: 0 or x?
0
Suppose 0 = -p - 3*p + 24. Let x = -14 + 9. Let i = p + x. Which is smaller: 2 or i?
i
Let z(i) = 9*i**2 - 2*i - 1. Let t be z(-1). Does 10 = t?
True
Let g = 0.78 - 63.78. Let c = g + 62.71. Let z = -0.01 + c. Which is smaller: 1/3 or z?
z
Suppose k + 2*k = 2*o, 0 = -2*k - 5*o - 19. Suppose 0*v + 3*v + 39 = 0. Let h = v + 10. Do h and k have different values?
True
Let u(k) be the third derivative of k**4/24 - k**3/2 + k**2. Let h be u(3). Let b = 1 + h. Which is smaller: b or -2/11?
-2/11
Let z = 9.9 - 0.9. Let q = z - 8.9. Which is bigger: q or -1?
q
Let y = 12.9 + -11.9. Is 19 at least as big as y?
True
Let j = 2591.97 - 2609. Let p = -17 - j. Which is greater: p or -1/3?
p
Let j = -14.9 + 16. Which is greater: -0.1 or j?
j
Let d be ((-28)/(-8) + -4)*0. Let s be (2 - d)*2/38. Let w(j) = -j**3 - 3*j**2 - 3*j - 3. Let l be w(-2). Which is smaller: l or s?
l
Let o be (-1)/(1/(-1)) - -4. Let m(p) = 2*p**2 + 4*p + 3. Let d be m(-2). Let g = d - o. Which is bigger: g or -2/3?
-2/3
Suppose -10 = -0*i - i - 2*k, 0 = 5*i - 2*k - 2. Let n be ((-21)/9 + i)*1. Does n = 0.03?
False
Suppose 11 = 5*b - 2*m, 4*m + m - 10 = 0. Suppose 2 + b = 5*v. Is -3 greater than or equal to v?
False
Let k = -32 - -29. Do k and -13 have the same value?
False
Let b be 5/(4 + -14) - 1/(-2). Suppose 2*i + 7 = 5*x, -2*i - 2 = 3*i + 3*x. Let w = -2 - i. Is b greater than w?
True
Suppose -12 = -g + 39. Does g = 51?
True
Let z(q) = 19*q + 3. Let w be z(1). Is w greater than 22?
False
Let j(p) = p**2 + 6*p. Let b