?
2
Let w be (263 + 4 + -12)*(-2)/(-5). Let z = 534/5 - w. Is z > 5?
False
Let r(g) = -g + 4. Let p be r(2). Suppose 0 = -4*v + 2*v - p. Which is greater: 0 or v?
0
Suppose 2*o + 2 = -0. Let q be o*(-4 + (0 - -3)). Suppose 3 = 4*g - q. Is 3/11 not equal to g?
True
Let s(n) = -16*n**2 + 8 + 17*n**2 - 5*n + 10*n. Let z be s(-4). Are z and 11 nonequal?
True
Let p(n) = -n**2 + 11*n - 8. Let g be p(9). Let a(l) = -l**3 + 9*l**2 + 13*l - 8. Let h be a(g). Suppose 0*t = 2*t - h. Is 12 greater than or equal to t?
True
Let y = -43/747 + -1077749/2988. Which is smaller: -362 or y?
-362
Let z = 589 + -593. Suppose -2 = -3*h + 2*h. Let k be -5 + 3/18*h. Is k greater than z?
False
Suppose 2*i - 90 = -5*t - i, -3*t + 54 = 2*i. Which is greater: 230/13 or t?
t
Let j = -2.04 - -2. Let a = -24 + 25.04. Let t = a + j. Are 1/3 and t non-equal?
True
Let j(g) = -g**2 + 18*g - 29. Let i be j(12). Let v be 3*i*(-2)/90 + 3. Let w be (-4)/14 + (-4)/(-14). Is w smaller than v?
True
Let c = -11 - -13. Suppose -5*i = c*o + 20, 2*i - 5*o - 10 = 11. Suppose 0 = 9*d - 5*d + 28. Which is smaller: i or d?
d
Let p = -252 - -262. Is 10 <= p?
True
Let d be (4 - (-108)/(-16)) + 3. Let s = -148 - -737/5. Does d = s?
False
Let u(d) = 10*d - 32. Let g be u(3). Does g = -34/19?
False
Suppose -5*g - 11 = 29. Let n be ((-9)/30)/(-1)*g. Which is smaller: -1 or n?
n
Let m(t) = t**3 + 16*t**2 + t + 8. Let a be m(-4). Is a equal to 195?
False
Let p = -50.6 - 1.4. Let d = p - -52.06. Let g = 0.04 - 0.14. Is d equal to g?
False
Let l be (0 - -3)*64/3. Suppose 24 = -4*h - l. Let q = 23 + h. Are 0 and q unequal?
True
Let m(k) = -k**3 + 6*k**2 - 2*k - 6. Let a be -1 - (-9 + (-3)/(-1)). Let p be m(a). Which is smaller: p or 10?
p
Suppose -5*k = -3 + 23. Let g be (4 - (-185)/10)/((-3)/(-6)). Let m be (-2 - k)*g/10. Is m < 17/2?
False
Let d be 171/6 - 0 - (-84)/56. Which is bigger: 32 or d?
32
Suppose 6*h - 4*h - 945 = -5*w, -5*h + 4*w + 2445 = 0. Is h <= 486?
True
Let k be ((-5 - -3) + -28)/1. Let o = k - -17. Let a = o + 9. Is -5 bigger than a?
False
Let b = 40 + -40.12. Let t = -0.02 - b. Is 12 equal to t?
False
Let s = -41 - 22. Is s greater than -67?
True
Suppose 0*w = -5*w + 3330. Let g = 13317/20 - w. Which is smaller: g or -1?
-1
Let y be 79 + 0 + (1 - -3). Suppose -18 = 5*n - y. Is n >= 62/5?
True
Suppose 0 = -8*h - 0. Suppose h = -35*j + 38*j + 6. Which is smaller: -0.04 or j?
j
Let h(t) = t**3 + 4*t**2 + t - 4. Let c be h(-4). Let s be c/(-14)*2/(-20). Let i(z) = 2*z - 14. Let m be i(7). Which is greater: s or m?
m
Let p = -334 - -334.2. Which is greater: 0.04 or p?
p
Let c be 16/58 - (-8)/(-28). Let s = 616 + -617. Which is greater: c or s?
c
Suppose 0 = 820*n - 816*n + 88. Which is smaller: n or -268/13?
n
Let o be 2*(49/28 + 2/8). Let t = -6/11 - -67/22. Which is smaller: t or o?
t
Suppose 4*u - 5*u + 17 = 0. Suppose -k - 11 = 4*l - 83, -2*k = -5*l + 77. Is u greater than l?
False
Suppose 476 = -15*k + 11*k. Does -118 = k?
False
Let l be 14/3*((-180)/(-35))/3. Suppose -2*r = -l*r - 2*r. Is r greater than 5.3?
False
Let z = -0.08 + -0.02. Let j be -17 - (-2 - (-4 + -1)). Is z < j?
False
Let b = -502 - -473.18. Let d = b + 23.7. Let w = 0.12 + d. Are w and -1 non-equal?
True
Let v(c) = -c**3 - 10*c**2 - 10*c - 13. Let m be v(-9). Let b = 4 + -11. Let w = -11 - b. Do w and m have the same value?
True
Suppose 4*p + 64 = -5*i - 100, -4*p = 4. Which is greater: i or -33?
i
Let f = -49 + 70. Let q = -20.99 + f. Is q < -3?
False
Let t = -31/160 - -10581/52960. Suppose -5*m - 30 = -5*k - 10*m, 3*m = -k + 20. Which is greater: k or t?
t
Suppose -9*x - 12 = -30. Let j be 1/((-12)/14 + 1). Suppose -5*u - x*i = -2*u + j, -4*i + 41 = -5*u. Is u > -4?
False
Let l = 437 + -1309/3. Which is smaller: 1 or l?
l
Suppose 2*c - c = 7. Let w(h) = 5*h + 200. Let n be w(-40). Suppose -c = l - n. Which is bigger: l or -6?
-6
Let o(k) = 3*k**2 - 2*k + 1. Let a be o(1). Suppose -4*u - 5*q - 164 = -q, 2*q = a*u + 78. Let f be -2 - 2/u*46. Which is bigger: f or -1?
f
Let q = 34371/29 + -1185. Is q equal to 1?
False
Let w = -19 + 19. Let q(f) = f**3 - 5*f**2 - 2. Let t be q(5). Is w smaller than t?
False
Let f = 5 - 6. Let h = f + -0.5. Let l = h + 1.7. Which is smaller: l or 0.03?
0.03
Let k = -1.3 - -0.3. Let p = 0.47 + -0.17. Let d = k + p. Which is bigger: d or 2/3?
2/3
Let o = -3 + 8. Suppose 5*d = -i - o, 3*i + 13 = -2*d - 2. Suppose -3*c + 17 - 2 = d. Is 4 greater than c?
False
Let g = -9 - -8. Let h be (g - -2)/(2/(-46)). Let n = -10 - h. Is 14 <= n?
False
Let m(f) = -f - 12. Let n be m(-11). Let d be (6 + n)*(-90)/50. Do d and -8 have the same value?
False
Let v be (6 + 0)*21/42. Suppose -g + 1 = v*n - 10, -g + 3 = n. Is 10 bigger than g?
True
Let m be 2/5 - 146/(-10). Let n(j) = -1 + 3*j**2 - 2*j - j**3 + 4*j + 2*j. Let b be n(4). Which is bigger: m or b?
m
Suppose 1897 = 6*y - 17. Which is bigger: y or 953/3?
y
Suppose 2*j + 8 = -6. Let g(x) = 2*x + 3. Let t(p) = -6*p - 9. Let h(z) = 11*g(z) + 4*t(z). Let l be h(j). Does l = -1/4?
False
Let n = -11 + 7. Let o be (-15 + -6)*n/(-6). Which is smaller: -13 or o?
o
Let i be 4/(-12) + 12/144. Are i and 25/11 nonequal?
True
Let n = 501 + -500. Is -338 >= n?
False
Let v(m) be the first derivative of m**5/60 - 5*m**4/8 + m**3/2 + 2*m**2 - 6. Let g(q) be the second derivative of v(q). Let a be g(15). Is 4 at most a?
False
Let o = 356.07 + -356. Is 17 at most o?
False
Let p = -18 - -16. Let f be -8*(20/16 + p). Suppose f*k + 9 = 3*k. Is k < -3?
False
Suppose -5*b + 232 = 3*o, -b = -6*b - 4*o + 231. Let a be (1 + -7 + 12)/((-1)/(-8)). Is a < b?
False
Let t be (2*-1)/(49/49). Let f(u) be the first derivative of u**3/3 - 4*u - 1. Let g be f(t). Which is smaller: -7 or g?
-7
Let r = 12 + -10. Let l(x) = 3*x + 9*x + 6*x - 14 - x**r - 3*x. Let f be l(14). Which is greater: f or -4/7?
f
Let f(c) = -11*c + 449. Let j be f(32). Is j at least 1?
True
Suppose -1 = z, k - 5*z = 2 + 2. Let y be 0/1 + 2 + k. Suppose -2*a + 5*m = 5 - 15, 0 = -2*a + 4*m + 10. Is y != a?
True
Let s = 1559/2 - 779. Do 501 and s have different values?
True
Let n be ((-2442)/110)/((-1)/(-10)). Which is smaller: n or -221?
n
Let q = 673 - 653. Which is smaller: q or 106/5?
q
Let y = 1.095 + -3.895. Is -2/27 > y?
True
Let l(h) = 26*h + 112. Let u be l(-3). Is 32 less than or equal to u?
True
Let s be (14/(-9))/7 - 34/9. Let m be (-31)/42 + s/(-6). Which is smaller: 4 or m?
m
Let f = -16 - -15.32. Let q = f + 0.08. Let l = 0.5 + q. Which is bigger: l or -5?
l
Let s be ((-44)/(-16))/((-1)/(-16)*4). Let m be 3/((1/s)/(5 - 6)). Which is smaller: m or -35?
-35
Let h(j) = 21*j - 69. Let z be h(4). Which is greater: -50 or z?
z
Let n = -328 + 15414/47. Let z = n - -53/141. Is 13 at most as big as z?
False
Let u(j) = -j - 25. Let w be u(-19). Let y(q) = -4*q**2 + 7*q - 6 - 15*q - 3*q**2 - q**3. Let n be y(w). Is 7 >= n?
True
Suppose 286*r - 460 = 276*r. Is r > 40?
True
Let i = -34 + 17. Let p be (i/(-442))/((-1)/(-2)). Is -0.1 greater than p?
False
Let v be ((-2150)/14)/(-5) + (-4)/(-14). Is v at least 30?
True
Suppose -2*w = -4*w + 4. Let f(b) = -b**2 + 2*b - b**w - 1 + 3*b**2 - 2*b**2. Let r be f(2). Which is bigger: -6/5 or r?
r
Let t = -6 - -7.5. Let i = t + 7.5. Let d = -8.9 + i. Is d <= 5?
True
Let m(y) be the third derivative of -y**4/24 + 4*y**3/3 + y**2. Let g be m(8). Which is greater: -1/12 or g?
g
Suppose 5*l = -2*h - 59, 5*h = -l + 8 - 29. Suppose 0 = -0*c + 4*c - 228. Let x be c/l + 16/88. Is x greater than -7?
True
Suppose 76*t - 79*t + 1220 = 4*m, t - 404 = -4*m. Which is bigger: 411 or t?
411
Let f = -0.2 + 0.1. Let y = 387 - 387.2. Is y smaller than f?
True
Let p(v) = v**3 - 6*v**2 + 5*v + 3. Suppose -4*m + 24 - 92 = 0. Let s = 22 + m. Let f be p(s). Which is greater: 6 or f?
6
Suppose -258 = 13*a + 41. Let v be 16/6*(-30)/(-8). Let i = a + v. Which is bigger: -14 or i?
i
Let k(y) = -48*y - 560. Let g be k(-5). Which is bigger: g or -321?
g
Let o(r) = -r**2 - 16*r + 112. Let u be o(-16). Which is smaller: 111 or u?
111
Let q be ((-82)/(-6) - -1)/((-14)/42). Are q and -44 equal?
True
Suppose 11 = -3*b + 17. Suppose 2*v + a = v + 2, 2*v = -a + b. Does v = 1/94?
False
Suppose 283 = 2*r - y, 3*y + 273 = -r + 3*r. Let l = r + -81. Is l at least as big as 63?
True
Let b = 1361 - 1355. Is 13.3 