 or -4?
-4
Let t be 12/3 - (-6 - -8). Let f be (-3 - -3) + (-3)/(-4). Which is smaller: t or f?
f
Let p(i) = 1 - 5 - 3*i - 5 + 5*i. Let v be p(3). Are v and -5 nonequal?
True
Let m be (-5 + 2)*2270/15. Is -454 < m?
False
Let s = -241 + 245. Which is smaller: s or 1?
1
Suppose -4*t = -3*y + 280, 2*y - y + 6*t - 108 = 0. Are y and 94 nonequal?
True
Let h(j) = j**3 + 11*j**2 - 15*j - 16. Let g be h(-12). Let u = 23 - g. Which is bigger: u or 4?
4
Let l = 5.43 - 5.2. Let t = l + 1.57. Let p = t + -8.8. Which is smaller: p or -0.1?
p
Suppose 0 = 3*g - g + 4*b - 2, -b + 11 = 4*g. Let j be g/(3*2/6). Suppose -3*i = 0, 4*i - 3*i = j*d + 45. Which is bigger: d or 2/7?
2/7
Suppose 0 = 2*j - 3*c + 23, -2*j + c - 3*c = 48. Let h be 1*-2*j/(-1805). Let t(g) = -g**3 + 3*g**2 - 4*g + 5. Let x be t(2). Which is greater: h or x?
x
Let a be (-8)/10 + 7/(-35). Is -1.91 less than a?
True
Let r = 12/35 - -2/35. Let t = 2.07 + 1.45. Let b = -0.52 + t. Are r and b equal?
False
Let f = -31 - 68. Let r = f + 119. Which is smaller: r or 21?
r
Let l(m) = 49*m**2 - 194*m + 10. Let h be l(4). Let f = -36 + 54. Is h bigger than f?
False
Suppose -3*r + 10 = -4*r. Let p be 35/15 + 1/(-3). Suppose 10 = -p*f - 12. Which is smaller: f or r?
f
Let g = -14 - -7. Let h(j) = -4*j**2 - 159*j + 547. Let o be h(-43). Is g greater than or equal to o?
True
Suppose 0 = 5*f - 16 - 4. Suppose -t + 12 = f*z - 13, -3*z + 10 = -t. Suppose -4*b + 18 + 6 = 0. Which is smaller: b or t?
t
Suppose 4*t = -5*b - t + 5, -t + 5 = 2*b. Let y be b + (-342)/69 + 1. Is -1 >= y?
False
Let z(k) = -k - 21. Let v be z(-23). Let a be -2 - (-7 - (-1 - v)). Are a and 5/4 nonequal?
True
Suppose 19 = -y - 2. Suppose 4*u - 3*b = -71, b - 29 = u - 12. Is y at most u?
True
Let m = -126 + 187. Let n = 65 - m. Is n bigger than 5/2?
True
Let n = -15 - -7. Let c = -8.08 - n. Is c equal to 0.2?
False
Suppose 0 = -q + 12*f - 15*f + 67, -3*q - 2*f + 222 = 0. Is -1 at most as big as q?
True
Suppose -a = -b + 20 + 4, -8 = 2*a. Suppose -i + q = 6, 5*i - 6*q = -3*q - b. Is i at most -1/132?
True
Let k(v) = -2*v + 9. Let q be k(4). Which is smaller: 12/55 or q?
12/55
Let h be -2 - 1 - 2*-1. Let u be (-154)/(-112) - 2/8. Which is greater: h or u?
u
Let y(s) = -s**3 + 6*s**2 + 4. Let q be y(6). Let f(m) = m**2 - m - 4. Let u be f(q). Let n be 18/u + (-1)/4. Is n <= 3/5?
False
Let g = -4225/4 - -1050. Let d(n) = -n**2 - 14*n + 28. Let r be d(-15). Suppose -r*u - 4*u = 102. Do g and u have different values?
True
Let n(r) = r**3 + 19*r**2 + 29*r - 49. Let i be n(-17). Which is smaller: 40 or i?
i
Let j(w) = w - 4. Let n be j(4). Suppose -14 = -2*q - 5*q. Suppose -5*h = -0*h - 20, -4*z - q*h = -12. Is n bigger than z?
False
Let k be (12/(-42))/(3/(-21)). Let z(a) = 2*a + 12. Let f be z(-4). Is k less than or equal to f?
True
Let w = -805 + 807. Let t = 1.2 - 7.2. Is t bigger than w?
False
Suppose 12*v = 17*v - 60. Let m be v/3 - 1*-23. Suppose -11 = -4*a - m. Is 1 equal to a?
False
Let q be 28/(-32) + 1 - 9/8. Do -15/22 and q have the same value?
False
Let i(u) = -u + 10. Let o be i(0). Let a be (-2)/8 + o/8. Let p = -991/6 - -166. Which is bigger: p or a?
a
Suppose -1038 = -20*u + 362. Is 70 not equal to u?
False
Let w = -38 - -36. Let c be ((6 - 3) + w)*-10. Are c and -7 equal?
False
Suppose -2*s + 9 + 13 = 0. Let t = s - -29. Let c be t/42 + 2/(-7). Which is greater: 1 or c?
1
Let s be (3/(-6))/((-1)/4). Suppose -4*f + 6*f + s = 0. Is -1/2 bigger than f?
True
Let u = 0.084 + -1.154. Which is greater: u or 1/2?
1/2
Suppose -8 = -2*d - 6*d. Let g be d + 1 + (-4 - (0 - 1)). Which is bigger: g or -16/13?
g
Let m = -520 - -128. Which is smaller: m or -391?
m
Let w(g) = -g**3 + 10*g**2 - g - 20. Let r be w(10). Let o be (r/(-5) - 5)*-1. Is o at most as big as -2/429?
True
Suppose 0 = -k - 3*k + 56. Let i be (8/28)/(4/k). Let y be (i - (1 - 4)) + -1. Which is smaller: y or 13/4?
y
Let o = 5 + 19. Let n = -24 + o. Suppose n = -l + 2 + 2. Are l and 4 nonequal?
False
Let a(l) = -11*l**2 - 2*l + 5. Let r be a(1). Does -8 = r?
True
Suppose 5*t - 2*t = 90. Suppose 5*h - t = 3*h. Is 16 equal to h?
False
Let h = 1 + -1. Let w = 1 - h. Let k = 0.664 + 1.336. Are w and k equal?
False
Suppose 0 = b - t - 115, -5*b + t = -295 - 260. Are b and 110 unequal?
False
Let a be (-68)/45 + 8/12. Let x = 13/9 + a. Let g be 3/(42/8) - 15/(-35). Are x and g unequal?
True
Let h(o) = -o**3 + 4*o**2 - 2*o + 7. Suppose -6*y + 16 = 4*s - y, -y - 8 = -2*s. Let g be h(s). Which is smaller: 2/21 or g?
g
Let i be (2/3)/((-9)/216). Let g = 7 - i. Is g equal to 24?
False
Let g = -115/2 - -39447/686. Which is greater: g or 1?
1
Let t be (21/45 - 1)*3. Let p = 19/15 + t. Let y = -13 + 40/3. Which is greater: p or y?
y
Let q = -501 + 467. Which is greater: q or 1/5?
1/5
Suppose -2*n - 4*o - 18 - 304 = 0, 155 = -n - 5*o. Let b be (-47)/44 - 6/n*-5. Let m be 8/(-12)*6/4. Is b smaller than m?
True
Let y(i) = -64*i**2 + 3*i - 4. Let x be y(1). Do x and -67 have the same value?
False
Let g(l) = -l**3 + 38*l**2 - 1. Let n be g(38). Is 6/217 at most n?
False
Let c = -0.3 + 0.5. Let k = -0.12 - -4.12. Let m = k + -4.2. Is m greater than or equal to c?
False
Let g be (-1 - (-1 + -2))/(-6). Let i(u) = u**2 - 12*u - 11. Let b be i(13). Is g less than b?
True
Let j = 129 - 99. Which is greater: -1/3 or j?
j
Let u be (-645)/(-10)*(-20)/(-300). Which is greater: u or 3?
u
Let t = -21 + 26. Suppose -k + t = 17. Which is greater: k or -10?
-10
Let v = -21 + 43/2. Let c = -0.0016 - 0.0784. Which is smaller: v or c?
c
Let y be (4 + (-7 - -2) - 3) + 3. Which is smaller: y or 2/1213?
y
Let g = -23.8 + 25. Let i = 0.9 - g. Which is greater: i or 3?
3
Let b(r) be the first derivative of r**3/3 + 3*r**2 + 2*r - 1. Let k be b(-8). Suppose -k = z - 5. Is -14 equal to z?
False
Let o be (-4830)/14*(-3)/(-9). Are -115 and o equal?
True
Suppose 163 + 1187 = 18*z. Let c = 153 - z. Which is smaller: c or 77?
77
Let g = 555793/31 + -17931. Is g less than or equal to -3?
False
Let d = 1 + -1. Let c be (12/69)/(3/6*24/(-18)). Is d greater than or equal to c?
True
Suppose 2*d = -3*c - 3*d - 62, c + 2 = 3*d. Let s be c - -15 - (-89302)/(-82). Let g = -1088 - s. Which is smaller: g or -1?
-1
Let s = 3/27167 - 37517759/1195348. Let t = 127/4 + s. Does 1 = t?
False
Let f = 80 - 62. Is f equal to -3?
False
Suppose 2*u + 6*u = 0. Suppose u*q - 5 = -5*q. Do q and 3/49 have different values?
True
Suppose -319*y + 59 = 2*m - 318*y, 0 = -3*m - 3*y + 81. Let z(j) = j**2 - 5*j + 8. Let b be z(8). Is b less than m?
False
Let a = 49 + -8. Let b = 39.1 - a. Let p = b - -1.85. Which is smaller: p or 0.2?
p
Suppose 32*g + 458 = 4074. Is 106 less than g?
True
Let a = 0.141 - -3.859. Let j = -13 + 6. Is a at most j?
False
Let s = -4.4 + 1.4. Let t = 2 + s. Does 9 = t?
False
Let z = -1.1186 + 0.1186. Let t = -212 - -110. Is z >= t?
True
Suppose -2 = -f, 5*n - 5*f + 12 - 162 = 0. Does 255/8 = n?
False
Suppose 0 = b + 4*d + 1, 3*b + d + 9 = 4*b. Let j = -9 - -13. Suppose 0 = j*g - 12 - 20. Is g smaller than b?
False
Let j = 53 + -17. Let y be (-1)/((j/16)/(-3)). Is 0 at most as big as y?
True
Suppose -2*m + 2*j = -7*m - 187, 0 = 3*m + 2*j + 109. Let w = -35 - m. Is w at most as big as 4?
True
Let m = 5.6 + -8. Let s = 3 + m. Let i = 37 + -36. Is s >= i?
False
Let w(y) = -y**3 + 30*y**2 - 40*y + 75. Let v be w(29). Which is smaller: v or -243?
v
Let t(h) = h**2 + 3*h - 17. Let j be t(-7). Let u = 2.2 + -2.1. Is u not equal to j?
True
Suppose 4*j = 32, -77*n + 6*j = -73*n + 56. Let v be 2/(-24)*(21 + 1). Is v > n?
True
Let n = 1.3 + -2.6. Let u = -0.17 + 0.87. Let l = u - n. Is 2 bigger than l?
False
Let u(d) = d**2 - 44*d + 341. Let v be u(10). Which is greater: -0.82 or v?
v
Let u be (-20)/16 + (-12330)/(-8520). Which is bigger: 1 or u?
1
Let k = -29/32 - -7/16. Do k and 1 have the same value?
False
Let g = 0 - -4. Suppose g*c + c + v = -83, -5*c - 3*v - 89 = 0. Let p = c - -16. Is p at most 2?
True
Let q(f) = -f**3 - 9*f**2 - 3*f - 4. Let b be q(-9). Let x = -30 + b. Is -7 at most as big as x?
True
Let t = 27 + -28.1. Let x = t - 3.9. Which is smaller: 1 or x?
x
Let o(h) = 2*h**3 - 4*h**2 + 7*h - 4. Let t be o(3). Let u(n) = 28*n - 4. Let q be u(3). Let j be q/t - (-4)/(-14). Which is bigger: j or 3?
3
Let u(a) = a**2 + 4*a +