 5 - 5. Suppose h = -t + 1 - 2. Are j and t unequal?
True
Let w(k) = 3*k**3 + 29*k**2 + 18*k. Let o be w(-9). Let p = 381 + -15618/41. Is o less than p?
True
Suppose -4*b + 83 = -h, 17 = b - h - 3*h. Suppose 19*p = b*p + 4. Let u(m) = m - 7. Let f be u(5). Are f and p unequal?
False
Suppose p + 4 = -0*p. Let d be (9/p)/((-1)/4). Suppose 3*f = -5*q + 45, 3*q + 4*f + 2 = 29. Is q at least d?
True
Let x be 444/510 - 4/10. Let t = 146/51 + x. Let p = 8 + -4. Is p less than t?
False
Let k = 2/1469 + 1385/61698. Let w be (5 - (6 + -1))*(-12)/(-12). Which is greater: w or k?
k
Let o(z) = -16*z**2. Let u be o(1). Let w = -31 - u. Let x(c) = c**2 + 13*c - 16. Let q be x(w). Is q greater than or equal to 15?
False
Let w(a) = 4*a. Let k be w(4). Suppose -r + k = 3*r. Suppose 0*v = -r*v - 8. Is -3 less than or equal to v?
True
Let w be (1/(-2))/(2/20). Suppose 3*u + 9*x + 33 = 4*x, x - 3 = u. Let n be (1 + u)*(32/(-5))/(-8). Is n smaller than w?
False
Let a be (27/(-18))/(1/(-6)). Suppose -3*s + a = 2*k - 2*s, -k + 4*s = 0. Is k less than or equal to 2?
False
Suppose -3*i + 16 = 4*y, -2*y + 3*i - 19 + 9 = 0. Let d be 1/((-25)/(-4))*5. Which is smaller: d or y?
d
Let l be 12 - (-3 - 170/(-10)). Let q = 1621 + -27567/17. Which is bigger: q or l?
q
Let y = -147 + 61. Let x = y - -41. Is -45 at least as big as x?
True
Suppose 4 = -0*q + 2*q. Let p be 3/q*(-4)/18*-93. Does 30 = p?
False
Suppose y = -4*u + 22 + 11, 2*y = 2*u + 16. Suppose 2*p - 9 - y = 0. Is p != 2?
True
Let l(c) = -4*c - 41. Let d be l(-12). Suppose 3*g + 2 = 8. Suppose -g*o + b = d, 0*o = -o + 5*b + 10. Which is greater: -4 or o?
-4
Let c be 845/975 + 1 + -2. Let a(n) = -n. Let j be a(-1). Is c greater than or equal to j?
False
Let p be (0/(-3) - -5) + 1. Let u be (-6 + 7)*p/(-1). Let g be (-1)/((-16)/u)*-12. Which is bigger: g or 6?
6
Suppose 4*z - 3*v - 44 = -1, -3*v = 5*z - 20. Suppose -3*y - 4 = -z*y. Is -1/14 at least y?
False
Let y(h) = h + 19. Let j be y(-15). Let k be 212/(-20) + j/(-10). Which is smaller: -56/5 or k?
-56/5
Let t(j) = j**2 - 8*j - 33. Let y be t(11). Which is smaller: 1/94 or y?
y
Let d = -142 + 129.1. Let u = -0.1 + d. Let y be 1 + 58/(-24) - (-24)/32. Which is bigger: y or u?
y
Let o = 197 - 750. Is o < -555?
False
Suppose 5 = -10*o + 15. Let q = -9 + 26. Let b be -19*(-1)/q - 1. Is b at least as big as o?
False
Suppose -x + 2*x = -15. Suppose 4*h + 3*q + 13 = -45, -h = -5*q + 26. Is x at least as big as h?
True
Let v = 6.77 + -6.8. Do -48 and v have different values?
True
Let g be (5 - (7 - 2))*1/2. Which is smaller: g or 2/129?
g
Let g = -34 - -37. Suppose -18 + g = -5*w. Let q be ((-8)/(-10))/(1/5). Which is bigger: q or w?
q
Suppose -5*u + 15 = -n, 7*u - 4*u = 4*n + 26. Suppose -u*q = -3*a - 6*q - 80, 0 = 4*a + 4*q + 108. Let x be (-7)/(-6)*4/a. Does x = -1?
False
Let v = -152 + 210. Is v at least 60?
False
Suppose -4*j + 0*j - 8 = 0. Let x be j/5*(-9 - -19). Let b be 2*x/(-204) + 0. Is b at least as big as -1?
True
Let u = -0.65 - 0.35. Let i = -93/7 - -1051/77. Is i bigger than u?
True
Suppose 5 = -0*s + s. Suppose -5*h + 5 = 3*p - 0, -4*p + 5*h - s = 0. Let w = 6 + -7. Which is bigger: w or p?
p
Let d be (-1)/((-5)/(-390)*15). Which is smaller: -2 or d?
d
Let d be 2743/3180 - -9*(-6)/72. Let i = -253/13091 - -5/741. Let u = d + i. Is u <= 0?
False
Let f be -4 - (2/18 + 148/(-36)). Is -2 smaller than f?
True
Let f = -43 + 56. Let u(t) = t**2 - 10*t - 3. Let s be u(f). Which is bigger: s or 35?
s
Let m be ((-8)/32)/((-1)/25 - 0). Which is greater: -0.2 or m?
m
Let v be (-48)/(-100) - 2/5. Suppose -7 - 17 = 2*m - 5*s, -m - 3*s = 1. Let u be 1/(((-140)/8)/m). Is u at most as big as v?
False
Let i = -250 - -249.9. Which is greater: 4.2 or i?
4.2
Suppose 2 = -4*r + 2*r. Let b be 9/r*1/(-3). Suppose b*a + 16 + 2 = 0. Are -4 and a non-equal?
True
Suppose -h - 8*x + 4*x = -152, 25 = -5*x. Which is greater: h or 171?
h
Let w = 112 + -169. Let s = w + 65. Which is smaller: s or -4?
-4
Let x = -4.335 + 4.4. Let k = x - 0.085. Is k <= -2?
False
Let l(q) = -3*q**3 + 5*q**2 - 2*q - 9. Let h be l(4). Let p = h + 118. Which is smaller: p or 2?
p
Let c be 90/2 + (-5 - 5). Is 173/5 greater than or equal to c?
False
Suppose 0 = 2*c - 5*m - 41, 0 = c - 4*m - 10 - 6. Is c smaller than 136/5?
False
Let u = 371 + -395. Suppose -2*o = 2*v + 38, -5*o - 1 = -5*v + 134. Is o < u?
False
Let v(p) = -178*p + 50. Let t be v(3). Are 1/2 and t equal?
False
Let d(v) = -4*v - 16. Let q be d(-4). Suppose -2*y = 4*m - 93 + 15, q = -2*m + 5*y + 21. Which is smaller: 50/3 or m?
50/3
Let y = -0.3 - -1.3. Let h = -43 - -50. Let g = 4 - h. Which is smaller: g or y?
g
Let l be (-2)/4*(-8)/(-2). Let y be 1/(-4)*3/l. Suppose 0 = b + 5*h + 9, -3*b = -6*b - 3*h - 3. Are b and y unequal?
True
Let d = 63 - 56. Let r be 1/(d/(-2)) - (-3376)/56. Which is bigger: r or -1?
r
Let u(h) = -h**2 + 6*h - 21. Let d be (-24)/(-28)*(-28)/(-3). Let p be u(d). Is -38 < p?
True
Let p = 668 + -552. Which is smaller: 117 or p?
p
Suppose 0 = 14*r + 6*r - 4*r. Let x(t) = -t**2 - 4*t + 3. Let f be x(-3). Let m be f/30 + (-52)/110. Is m not equal to r?
True
Let w be (4 - 1)*8/6. Let u(m) = 10*m**2 + 5*m**2 - m + m**3 - 9*m - 6*m + 2. Let q be u(-16). Is q less than w?
True
Let i(q) = q**3 + 3*q**2 - 4*q + 4. Let y be i(-4). Suppose -t + y = -g, 5*g + 2*t - 4*t = -14. Let d be (-1)/((-2)/(-3) + 0). Is g less than d?
True
Let g(k) = -k + 3. Suppose 4*f - 17 = -5*s, -4*f + 3*s = -f - 33. Suppose -5*a + a + f = 0. Let x be g(a). Which is smaller: 1/6 or x?
1/6
Let o = 182 - 92. Which is greater: o or 2/5?
o
Suppose 26*b + 2*j + 24 = 24*b, 3*j = b + 28. Which is smaller: -101/6 or b?
-101/6
Suppose 7*p = 3*p. Suppose -5*o = -p*o + 20. Let l be o/(-6)*(-6)/22. Is 1 >= l?
True
Suppose 4*f - 24 = -2*f. Let g be ((-27)/(-84))/9 + f/(-14). Is g > -2?
True
Let s = 923 - 642. Does 281 = s?
True
Let u be (-3)/(-12) - 146/8. Let z be (2/3)/(30/u). Which is greater: -0.11 or z?
-0.11
Let g(w) = -w**3 - 7*w**2 + 12*w + 22. Let d be g(-7). Let l = -30 - d. Is l bigger than -1/2?
True
Let z = -224 - -232. Let j be (1 - 2)/(1/(-8)). Are z and j equal?
True
Let u be -1 + (0 - 1) - (2 - 4). Which is greater: 2/183 or u?
2/183
Let i = 22 + -17. Suppose -i*f = 3*a + 972, 6*a + 592 = -3*f + 2*a. Let w = f - -2494/13. Which is bigger: 1 or w?
1
Let z be 686/(-70) - (-3)/(-60)*4. Suppose 2*j - 2 + 24 = 0. Which is bigger: z or j?
z
Let n be ((-4)/(-48))/((-75)/8). Which is bigger: n or 0?
0
Let q(h) be the first derivative of 2*h**3/3 - h**2 + h + 11. Suppose -2*n = 4*k - 16, -n - 4*n - 5*k + 20 = 0. Let v be q(n). Which is smaller: 1/9 or v?
1/9
Suppose 0 = -12*q + 9*q - 9. Do -3 and q have the same value?
True
Let m = 529 - 420. Is m at most as big as 109?
True
Suppose 0 = -a + 2*i - 114, 0 = -3*a - 4*i - 177 - 135. Let d = 114 + a. Are 3 and d non-equal?
True
Suppose -f - 1 = -4*j + 2*j, -9 = -3*j. Suppose i + f = 4. Do 2/13 and i have the same value?
False
Suppose 0 = 2*h - 13*h - 3223. Which is greater: -294 or h?
h
Let u be 21 + (-5 - -63) - (5 + 1). Which is greater: 66 or u?
u
Let i = 13.9 - 2.2. Let g = i - 12. Which is bigger: -1 or g?
g
Let x = 146 - 37. Is x smaller than 113?
True
Let a = 19039/170 - 112. Is 1 <= a?
False
Let a(g) = -g**2 + 3*g + 12. Let m be a(5). Suppose 0*z = z - m. Let t be -1*(4/(-4) + z). Is t equal to 1/14?
False
Let y(i) be the first derivative of -i**3/3 - 7*i**2 - 16*i - 123. Let q(g) = -6*g. Let o be q(2). Let a be y(o). Which is greater: a or 7?
a
Let y = -157.5 - -161. Which is smaller: y or 2?
2
Let a = 13 + -9. Suppose -5*i + a = -1. Which is bigger: -1/93 or i?
i
Let z(g) = 10*g - 40. Let d be z(4). Is 1/11 at least d?
True
Let a = -1.18 + 1.28. Let n be 90/(-9) - (0 + 0). Let k be 2/(-4) + (-15)/n. Which is greater: a or k?
k
Let t = 0.4 + 1.6. Let r = 241 - 239. Is t at most r?
True
Let k = 2 + -3. Which is smaller: k or 0.103?
k
Suppose 0 = 58*h - 52*h - 12. Is h < -713?
False
Let x be 5 + 3 + 1/(-1). Let k(u) = u**3 - 6*u**2 - 6*u - 7. Let y be k(x). Suppose y = -4*j + v + 4, -4*v = -j + 12 + 4. Which is smaller: j or -1?
-1
Let z(g) = 3*g - 21. Let p(i) = -2*i + 11. Let v(b) = -5*p(b) - 3*z(b). Let k be v(8). Is k at most as big as 15?
False
Let q = -80 - -83. Suppose o - 2*d - q*d = -25, -25 = 2*o -