nd 0 unequal?
True
Let i(y) = -64*y**2 - 3*y - 1. Let z be i(-1). Let u = z - -65. Is 2 smaller than u?
True
Let n = -3012.9 - -2857. Let w = -156 - n. Is w <= -1?
False
Let l = -6828/13 - -2106235/4004. Let u = -197/19 - -15245/1463. Let r = l - u. Is 1 at least as big as r?
True
Suppose -834*i = -832*i + 386. Is i != -189?
True
Let j = -10 - 3. Let r = j + 9. Which is greater: -5 or r?
r
Let q be -8 + (-28)/(-8) + 4. Is q <= -0.292?
True
Let z = -7 + 9. Suppose y - 5*o = 16, -3*y + 36 = z*o - 29. Let s = 9 - y. Which is smaller: -13 or s?
-13
Let m be 1/(-76)*(-8)/6*93. Is 1 >= m?
False
Suppose 3*o - 15 = -2*o. Suppose 2*m - 38 = o*u, -2*u + 27 = -4*u + m. Let q be 84/u*6/(-14). Which is smaller: 2 or q?
2
Let b = -9.3 + 10. Let i = -0.26 - 143.74. Let s = 144.1 + i. Is s <= b?
True
Let g = 5 - 5. Let i(b) = 2*b - 5. Let n(q) = 3*q - 8. Let j(d) = 8*i(d) - 5*n(d). Let c be j(g). Are c and 0 equal?
True
Let f = -12 + 3. Let q be (0 - -85)*(-2)/f. Let y = 58/3 - q. Is y less than 0?
False
Let g be (5/15)/((-4)/6). Let a(k) = -5*k + 18. Let x be a(4). Let i be x/(-9) + -6*2/297. Which is greater: g or i?
i
Let d(c) = -19*c + 8. Let t be d(2). Is t bigger than -29?
False
Let i = 0.1144 + 0.0556. Is i at most as big as -1.2?
False
Let k be 0 - 11/110*6/(-15). Which is smaller: k or 1?
k
Let k = 1200121/197 + -6092. Which is bigger: 1 or k?
1
Let i(d) = 61*d**2 - 38*d**2 - 27*d**2 - 3*d**3 + 3. Let x be i(-3). Is x >= 49?
False
Let o be 0 - 3/15 - (-466)/1125. Let d = 1/125 + o. Which is smaller: d or 1/4?
d
Let z = 174 + -281. Let n = -108 - z. Is -6/11 equal to n?
False
Let s = 39 - 69. Let w = s - -30. Is -2/113 at least w?
False
Let s = 0.1 + -2.6. Let m = s + 2.8. Is -0.1 != m?
True
Let o = -26.068 - -26. Let y = 0.032 - o. Are y and 38 unequal?
True
Let r = 4 - 10. Let l = 0.29 + -0.37. Let m = l + 0.48. Is r less than or equal to m?
True
Let h be (4/(-15))/(5 + (-78)/15)*-6. Suppose j + 3*j + 4 = 0. Do j and h have different values?
True
Let z be 4*3/(-6) - -4. Suppose 3*i + 5*v + 17 = 0, 10 = 3*i - z*v - 1. Let o be (-5)/10*(-7 + i). Which is smaller: o or 6?
o
Let v be (0 - -3)*((-16256)/3252 - -5). Which is smaller: v or 1?
v
Let h = 299 - 2689/9. Let d = -4 - -4. Which is smaller: h or d?
d
Suppose 3*j - 10 = -5*s, 2*j - 9*s + 8*s + 2 = 0. Do -5/43 and j have different values?
True
Let g(r) = r**3 - 9*r**2 - 7*r - 1. Let u be g(8). Which is smaller: -122 or u?
-122
Let p = -17158/11 + 1557. Which is bigger: p or -2?
-2
Suppose 3*y + 2*s = 315, -3*s + 8*s = -4*y + 413. Let q = -97 + y. Which is smaller: q or 34/3?
q
Let x = 12 + -13.5. Let w = -0.08 - x. Let j = w + 0.08. Which is bigger: 1 or j?
j
Suppose 0 = q + 2 - 11. Suppose g + 2 = 0, q*w + 4*g = 6*w - 5. Is w less than -2/15?
False
Suppose -14 + 2 = i + 4*n, -60 = -5*i + 4*n. Suppose 84 = 6*o - i*o. Let a be (o/(-24))/(6/8). Is 2 at least as big as a?
False
Suppose -q = -2*x + x - 6, 4*q = 3*x + 21. Let f be 2*(-6 - (-1 - q)). Which is smaller: -9 or f?
-9
Suppose 4*b - 221 = l + 4*l, 54 = b - l. Let z = 818 - 768. Which is smaller: z or b?
b
Let m be 30/(-20) - (-15)/10. Are m and -36/29 unequal?
True
Let c(d) = d**2 - 7*d + 17. Let u be c(5). Suppose -r = -3*r - 16. Let q = r + 13. Which is smaller: u or q?
q
Let h = -0.444 + 29.564. Let s = -4 + 33. Let z = h - s. Do z and -1/3 have different values?
True
Let s = 1510 - 1512. Which is bigger: s or -34?
s
Let q(m) = 5*m + 149. Let j be q(-30). Is -3/32 at least as big as j?
True
Let o = -1.6 + 6.6. Do -0.1 and o have the same value?
False
Suppose -5*h + 172 = 2*j, 138 = 3*h + h + 2*j. Let c be (6/(-45))/(h/20). Which is bigger: c or 1?
1
Let z be (-5 - -5 - -8)*33/(-12). Let v = 29 + -5. Let i = z + v. Which is greater: i or 1?
i
Let t = -14 + 23. Let r(v) = 94*v - 194*v + 96*v. Let u be r(-2). Which is greater: u or t?
t
Let y = -6 - -3. Let i be (-1)/y - 92/(-12). Suppose -12*q = -i*q. Is 1/6 smaller than q?
False
Suppose 4*a = 6*m - m - 55, -3 = -4*m - 5*a. Suppose -4*f - 6 = -m*f. Which is smaller: f or 4?
f
Suppose -5*d = -4*t - 13, 2*t - 22 = -2*d - 24. Is -6/323 less than d?
True
Let c be ((-5)/25)/((-3)/30). Suppose -3*v + 40 = c*v. Which is smaller: 7 or v?
7
Let x = 3/178 - 205/1602. Is x at most as big as 11?
True
Let y(i) = i**3 + 4*i**2 - 4*i - 4. Let r be y(-5). Let p = -10 - r. Let n be ((-12)/(-4))/(1/p). Are n and 3 unequal?
True
Let k = -130486/9 + 14474. Which is smaller: k or -0.1?
k
Let d = -7 + 7. Suppose d = 3*a + 10 - 58. Let c = -462/29 + a. Is c at most as big as 0?
False
Suppose -19 = 5*o + 31. Is -8 at most o?
False
Let k = 178 - 178.1. Are -24/11 and k nonequal?
True
Suppose 0 = 11*z - 3*z + 968. Is -121 equal to z?
True
Let u be 14/(-63) - 1488/(-378). Which is greater: u or 5?
5
Suppose 0*p = s + 3*p + 18, 2*p + 19 = -3*s. Let o(z) = 331*z - 996. Let t be o(3). Is t > s?
False
Let l = -148 - -142. Let n be -2*(l + 4 - 1). Is n smaller than 48/7?
True
Let b = -26 + 30. Let i be b/(-10)*(-75)/(-12). Is i < -0.1?
True
Let b(w) = w**3 - 7*w**2 - 2*w + 4. Let o be b(5). Let x = o + 57. Are x and 5 unequal?
True
Suppose 0 = -5*k + 4*p + 35, -k + 0*k + p + 7 = 0. Suppose -k*b + 11*b = -16. Let w be b/(-40)*(-10)/(-4). Which is smaller: 6 or w?
w
Let s = -37339/2639 + 184/13. Is -2 < s?
True
Let g = 0.1 + -0.05. Let t = g + 0. Which is greater: 0 or t?
t
Let t be 42/(-13)*((-98)/(-21))/14. Does 0 = t?
False
Let f = -37.1 - -41.2. Which is greater: -6 or f?
f
Suppose -5*r + 50 = 5*d - 110, 2*r - 132 = -4*d. Suppose 124 = -d*s + 38*s. Is 33 smaller than s?
False
Let v(a) be the third derivative of a**5/60 - a**4/4 - 5*a**3/2 - 5*a**2. Let l be v(8). Which is greater: 3/28 or l?
l
Let t(v) = -v**3 + 6*v**2 - 2*v - 11. Let c be t(5). Suppose 0 = c*m - 6*m + 30. Which is greater: m or 14?
m
Let y(g) = -2*g**3 + 19*g**2 - 6*g - 4. Let p be y(9). Which is smaller: p or 27?
p
Let a(l) = l**2 + 8*l + 19. Let h be a(-6). Let i = h + 3. Let d = 12 - i. Which is bigger: d or 5?
5
Let j = 140 + -140.074. Which is greater: j or -0.1?
j
Let h(u) = -u**2 - 18*u - 82. Let t be h(-10). Is -0.26 < t?
False
Suppose -203 = -33*j + 4*j. Do 1 and j have different values?
True
Let k = 115168/9 + -12780. Which is bigger: 16 or k?
k
Let z(p) = p**3 + 19*p**2 - 2*p - 36. Let k be z(-19). Let l = -34 - -47. Is l greater than k?
True
Let l = 27 - 11. Let p be (684/l)/(-9) - 2. Let b = p - -193/28. Which is bigger: b or -1?
b
Let w = 250 - 252.06. Which is smaller: -1/3 or w?
w
Let k = -0.12 - -0.19. Which is smaller: k or -3?
-3
Let j = -86.961 + -0.039. Is j < 1?
True
Let t = 0.3827 - 0.0627. Let a = 16 - 15.76. Let v = a - t. Is 1 at most v?
False
Let a(s) = -2*s**3 + 11*s**2 + 4*s + 10. Let b be a(6). Which is greater: b or 4?
4
Let i = 1844250 - 1097327876/595. Let j = -2/5029 + -120662/85493. Let n = i + j. Which is greater: 1 or n?
1
Let f be 11 - -20*24/(-40). Which is smaller: f or -2?
-2
Suppose 2*n - 14*n - 12 = 0. Which is greater: n or 4/359?
4/359
Let a = -0.086 + 0.336. Let o = 0.46 - 0.56. Is o > a?
False
Let k be ((-2)/(-24))/(43/129). Is -237 greater than or equal to k?
False
Let z = -47/142 + -12/71. Let q(o) = o**2 - 3*o - 2. Let x be q(3). Are z and x unequal?
True
Let n = 53/30 - 11/30. Let p(c) = -c**3 - 5*c**2 + 7*c + 7. Let j be p(-6). Is n bigger than j?
True
Let y = -2143 + 2094. Let w = -2.1 + 2. Which is smaller: w or y?
y
Suppose -2*g - 2*p + 4 = 0, -4*g - 3*p - 5 = -10. Is g not equal to -1/39?
True
Let o = 0.053 + 0.047. Is o >= 8.2?
False
Let a = 14 + -11. Suppose -6*j + a*j - p = -18, -30 = -3*j + 3*p. Is j at least as big as -1/2?
True
Let u(q) = 143*q + 4. Let z be u(7). Let v be ((-6)/(-9))/(-1) - z/(-1494). Which is smaller: v or -1?
-1
Let g = 20 + 21. Let c(h) = 52*h - 374. Let n be c(8). Which is smaller: g or n?
g
Let r be ((-45)/10 - -1)*2. Let w be (-1 - -1)*r/14. Which is bigger: -4 or w?
w
Suppose -2*r - 2 = 2*k, -k = -4*r + r + 13. Suppose -3 = -7*v + 8*v. Which is smaller: v or k?
k
Suppose 0 = 2*v - g + 3, -288*v + g - 9 = -284*v. Suppose -t - 11 = -y - y, -2 = -2*t - 2*y. Is t less than v?
False
Suppose -4*i + 430 = -290. Let b be 2/10 + (-51)/i. Let v = -3/8 + 17/24. Which is smaller: b or v?
b
Suppose 3*a + 3*q = 12, a = -3*q + 8 + 4. Is -2/817 at least a?
False
Suppose 782*b - 7