?
True
Let q be -1 + (-4 - (-2 - 0)). Suppose 0 = -2*f - 27 + 3. Let y(n) = -n**3 - 11*n**2 + 12*n - 3. Let j be y(f). Does q = j?
True
Suppose 3*i = 4*k - 2237, 0 = k + k + 3*i - 1105. Are k and 557 non-equal?
False
Let p = -233/516 + 66/43. Is 1 greater than p?
False
Let l be 0 + 26/(5 - 4). Suppose -3*f - l = 2*v, -2*v - 2*f - 40 = -12. Is v >= -2?
False
Let b be ((-18)/(-4) + 1)*-12. Let q be (788/(-24))/(9/b). Let k = q - 241. Which is smaller: 0 or k?
k
Let a(r) = -r**3 + 9*r**2 - 7*r - 14. Let f be a(9). Let j = -72 - f. Which is smaller: 7 or j?
j
Let j(c) = 29*c - 26. Let q be j(1). Which is smaller: 25 or q?
q
Suppose 0 = 2*r - 8 - 4. Let m = 19/3 - r. Is -2.2 less than m?
True
Suppose 4*m = 15 + 1. Suppose -2*o + 12 = -m*l, -3*l + 6 = o - 0*l. Let u = -4 + o. Is 4/3 at most as big as u?
True
Let v = -92 + 92. Are v and 18/19 equal?
False
Let j = 422 - 282. Let a be ((-4)/(-42))/((-15)/j). Which is greater: a or 1?
1
Let z(b) = b - 1. Let f be z(-1). Let g = f + -5. Let t = g - -1. Does t = -5?
False
Let n(t) = -t**3 - 8*t - 38. Let m be n(0). Let i = 0 - 0.1. Is i at most as big as m?
False
Let b = 0.526 + -0.686. Which is greater: -24 or b?
b
Suppose 0 = s - 4 + 19. Let z = s + 22. Is z < 2?
False
Let y = -16 - -22. Let c be 0 + 3/(36/76). Is y at most c?
True
Let w = -1913/5 - -385. Suppose 27 = -36*p + 39*p. Suppose p = 8*c + 1. Is c less than or equal to w?
True
Let h(r) = -3*r + 31. Let a be h(10). Let j = 425/77 + -56/11. Which is greater: a or j?
a
Let j(k) be the second derivative of -k**3/2 + 7*k**2 - 4*k. Let h be j(6). Let v be 2*(2 - (-21)/(-6)). Which is bigger: v or h?
v
Let w be (-2280)/(-100)*(-75)/(-2). Is 854 less than or equal to w?
True
Let g = -0.011 + -4.789. Let u = g - -0.8. Let w = -701 - -701. Is u at most w?
True
Let b be 3 + 8 + 6 + -4 + 1. Let i = 3 - b. Which is smaller: -6 or i?
i
Let u = 0.0409 + 226.9591. Let k = 137 - u. Which is smaller: k or -1?
k
Suppose -57 = -3*j - 3*v, j - 3 = 3*v + 8. Suppose -6*i = -j - 121. Which is smaller: 22 or i?
22
Let o = -262.5849 - -260.38. Let z = o + 0.0909. Let x = z + 0.014. Which is smaller: x or 0.1?
x
Suppose c + 46 = -3*i, 3*i = -4*c - 282 + 71. Which is greater: c or -164/3?
-164/3
Suppose 5*m - 54 = 11*m. Let d(v) = 2*v. Let s be d(m). Let b = -18 - s. Which is greater: -5 or b?
b
Let r = 41792 + -1463489/35. Let o = r - -112/5. Let k be 80/24 - (-1 + 4). Which is smaller: k or o?
k
Let b(w) = w**2 + 12*w + 15. Let j be b(-10). Let v be 10 + 1*15/j. Which is greater: 8 or v?
8
Suppose 0 = 3*r - 1 - 14. Let y(a) = -1 - 2*a - 2 + r + 11. Let q be y(0). Are 13 and q non-equal?
False
Let b(f) = 6*f + 5. Let w be b(4). Suppose 5*v - 250 = -105. Is w at most v?
True
Let n(z) = -2*z**2 + 11*z - 6. Let c be n(7). Let h = 0 - c. Is 26 > h?
False
Let h(m) = -3*m**2 + 6 - 6*m + 5*m + 3*m - m**3. Let d be h(-3). Is -25 less than d?
True
Let p be (40 - 41)/(2 - (-1)/(-1)). Let f = -11 - -7. Is f > p?
False
Let s(b) = -b**3 + 15*b**2 + 14*b + 35. Let d be s(16). Let w be d + -5 + 3 - (-5)/(-3). Is -6 equal to w?
False
Let o be (18/20 - 14/35)*-2. Which is greater: o or 7/62?
7/62
Let l = 685 + -723. Which is greater: 3 or l?
3
Let o be (-66)/140 + (-30)/70. Let r = 247/280 + o. Which is smaller: r or 0?
r
Let v be 4 + (8 - 9) + (-322)/106. Is v less than or equal to -1?
False
Let o(q) = q**2 - 23*q - 655. Let y be o(-23). Is 404 at most y?
False
Let h be 1 + 70 + 0 + 9/(-3). Is 71 greater than or equal to h?
True
Let f be (42/(-3))/((-48)/120) + 3. Which is smaller: -0.1 or f?
-0.1
Let g be -4 - (360/28)/((-2)/14). Which is smaller: g or 0.1?
0.1
Let y = -1321 - -1318. Suppose -u - 4*u - 2*z = 60, 3*u - z = -47. Let i be u/(-10) + (-8)/20. Is i at least as big as y?
True
Let x(m) = m**3 - 14*m**2 - 18*m + 12. Let p(k) = -5*k**3 + 70*k**2 + 91*k - 59. Let c(g) = 2*p(g) + 11*x(g). Let n be c(15). Which is greater: n or 0.1?
0.1
Let r = 36.15 + -35. Let k = -0.05 - r. Let b = k + 3.2. Which is smaller: b or -1/10?
-1/10
Suppose -85 = 8*u + 67. Let y = u + 59. Which is smaller: 39 or y?
39
Let o be (-5 - -242 - 7) + -1. Which is smaller: 226 or o?
226
Let m be 82/(-72) - (-10 - 1001/(-99)). Which is smaller: m or 4.4?
m
Let g(x) = -x**2 - 8*x - 13. Let d = 87 - 90. Let c be g(d). Is c at most as big as -1/2?
False
Let p = -9 - -8.67. Let m = -0.085 - 0.145. Let x = m - p. Is -1/3 > x?
False
Suppose -3*m = d + 2*d - 84, -4*d = 3*m - 85. Let r = -7 + m. Do r and 20 have different values?
False
Let a = 4 - 5.3. Let s = a - -1.5. Suppose 4 = 7*w - 6*w. Which is smaller: s or w?
s
Let k(q) = -54*q**3 + 2*q**2 + 4*q - 5. Let p be k(1). Which is smaller: -54 or p?
-54
Suppose -4*p = 16, -y + 0*y + 14 = -3*p. Suppose 4*j - 10 = 4*d + 2*j, y*j - 3 = -3*d. Let q be 117/567 + (-4)/(-18). Which is smaller: q or d?
d
Suppose -10*t = -22 - 68. Suppose 4*m + 5*m - t = 0. Which is greater: -8 or m?
m
Let n = 3706/9 + -412. Suppose -4*y - 2*s - 40 = 0, 2*y + 5*s = 2*s - 16. Which is smaller: y or n?
y
Let w = -21 + 18. Let k(y) = y**2 - 5. Let u be k(w). Suppose -3*f - 2*r + 19 = 0, 5*r = -u*f + r + 24. Is f != 11?
True
Suppose -1 = -5*c - 2*q + 26, c - 15 = 2*q. Let x = -45 - -45.05. Which is smaller: c or x?
x
Let r(k) be the second derivative of 0 - 1/2*k**2 + 1/12*k**4 + 2/3*k**3 + 7*k. Let l be r(-4). Which is smaller: 5/11 or l?
l
Suppose 0 = 2*m + 2*s, -41*m + 45*m = 5*s + 27. Let k be (((-6)/4)/(-1))/(-1). Which is bigger: k or m?
m
Suppose 4*q - h + 23 = 0, -5*q + h - 45 = 3*h. Is -6 != q?
True
Let b(k) = 12*k**2 + 4*k + 16. Let v be b(5). Is v >= 336?
True
Let n = 13.19 - 0.19. Let h = 96 + -108.9. Let u = n + h. Is u less than or equal to -3?
False
Let k = -25 - -29. Suppose 5*a - 21 = -4*g + 14, 27 = 3*g + k*a. Which is bigger: g or 6?
6
Suppose 0 = -8*w + 3*w + 4*j + 72, 2*j = 4*w - 60. Let r = w + -8. Suppose 2*l = l - r. Is l at least 3/4?
False
Let z(v) = v**3 - 14*v**2 - 22*v + 61. Let l be z(15). Is -42 smaller than l?
False
Let o(c) = -c + 10. Let i be o(6). Let f = 3 - i. Let j = -271 - -270.4. Is j at least as big as f?
True
Suppose -2*h + 2*r = 10, r + 4 - 9 = 3*h. Which is smaller: h or -61?
-61
Let g = 31 - 26. Let w = 0 + g. Let a be (-1 - -2) + (-3)/1. Is a smaller than w?
True
Let l(u) = -u - 2. Let w = 14 - 12. Let t be l(w). Let m(r) = r - 9. Let s be m(7). Is t smaller than s?
True
Suppose -4 = 5*n - n. Let u be ((-84)/(-8)*n)/(-9). Let v = u + -11/12. Is 0.06 smaller than v?
True
Suppose 3*l - 5*l - 2 = 0. Let u(v) = -3*v + 1. Let q be u(-6). Let f be (-4)/q*(-3)/6. Which is smaller: l or f?
l
Let p = 33 - 60. Is -2/7 equal to p?
False
Let o be (75 - -11) + (-2)/((-4)/2). Is 90 < o?
False
Suppose -4*g - 12 = -g, 2*c + 18 = -5*g. Let z be (-15)/((c - -1)/2). Suppose k + 25 = 3*n, -37*k + 36*k = -2*n + 21. Which is greater: k or z?
k
Suppose 4*h - 32 = 8*h. Let i be (-13 + -36)*(-2)/(-3). Let n = -32 - i. Is n < h?
False
Suppose 0 = 68*a - 10592 + 2636. Which is smaller: a or 0.8?
0.8
Let p = 93.196 - 100.8. Let w = 0.096 - p. Let y = w - 1.7. Which is bigger: -2 or y?
y
Let b(t) = 5*t**3 - 12*t**2 - 9*t + 2. Let l(i) = 9*i**3 - 23*i**2 - 17*i + 4. Let f(u) = -7*b(u) + 4*l(u). Let r be f(8). Is r >= 0?
False
Let o = -6069/8 - -757. Which is smaller: -3 or o?
-3
Let h = -859 + 864. Suppose -2*s - 6 = 4*x, 3*s = -x - 2*s - 24. Suppose -4*i - x = -h. Which is bigger: 2/7 or i?
i
Let z = 41 + -64. Let a = z - -3. Let k = a + 20.2. Which is bigger: 3/5 or k?
3/5
Let c = -0.02963 - -5.04363. Let u = 0.014 - c. Which is greater: u or -9?
u
Let y(g) = -g - 2. Let t be y(-2). Let m be ((-1)/(-4))/(11*4/32). Are t and m equal?
False
Let c(b) = b**3 + 4*b**2 - 9*b - 13. Let f be c(-5). Suppose 3*o = 4 - f. Is 7 greater than or equal to o?
True
Let b = 35525377/134770 + -1/26954. Let w = b - 266. Which is bigger: w or -2?
-2
Let w be (-2)/(-7) + 388/(-84). Let k(o) = -5*o**3 - 13*o**2 - 2*o + 5. Let b be k(-2). Is b <= w?
False
Let b = -7.908 - 0.092. Is b less than -1?
True
Let i = -1224 - -1222.983. Let f = -0.117 - i. Is f at most 0.2?
False
Let u be 2/132*1*1291970/15. Let s = -1305 + u. Is s <= 0?
False
Suppose -20 = -26*u + 22*u. Let b be (-782)/115 + (-1 - (-4)/u). Which is smaller: -5 or b?
b
Let f = -381 + 406. Is f < 25?
False
Suppose -s = 13 - 10, 0 = 5*t - 