 at least s?
True
Let g = -4.5 - -4. Let f = g - 0.9. Let d = f - -1.4. Are -3 and d non-equal?
True
Let f = 148/13 - 623/65. Let u = 2 - -2. Is u <= f?
False
Let m = -143/400680 - -3/2120. Is m >= -1?
True
Let r = -15 + 5. Let m = -9 + r. Suppose 0 = -u + 4*p - 39, -3*u + 52 = -6*u - p. Is u smaller than m?
False
Let o be (-61)/(-5) - 3/15. Let r(v) = -v - 15. Let l be r(-14). Which is smaller: o or l?
l
Let c be 1 + 1*(-2 - 0). Let k = -31.96 + -0.04. Let i = k + 31. Is c at least i?
True
Let m be -5 + -28 - (-2 + 2 + -4). Let w = m + 78. Is w greater than 49?
False
Let u(d) be the third derivative of d**6/24 + d**5/20 + d**4/12 + 189*d**2. Let g be ((-1)/(-2))/((-2)/4). Let m be u(g). Which is smaller: m or 3?
m
Suppose -6*y + 20 = 2234. Is y != -368?
True
Let u = 0.64 + -36.64. Let y = -47 - -23. Let a = y - u. Is 1 less than a?
True
Let f = -2817 - -2869. Is f at least 52?
True
Suppose -y + 6*y + 13 = -3*g, -3*y = -5*g - 67. Let q be (-34)/(-3) + 1/(-3). Let o = q + g. Do 0 and o have the same value?
True
Let x be 1840/48 + 2/(-6). Which is smaller: x or 229/6?
x
Suppose 4*c + 3*f + 1380 = 0, 165*c = 164*c - 5*f - 328. Which is greater: -349 or c?
c
Suppose 3*j + 4*w = 11, 2*w - 5*w = 2*j - 7. Suppose j*u + 4 = 9. Let t be 16/(-14) - (-1 - 0). Which is bigger: u or t?
u
Let a(c) = -2*c - 1. Let b be a(-3). Let l = -20 - -127. Let f = l - 105. Are f and b unequal?
True
Let t = -1.629 - -0.069. Let b = t + -0.44. Which is smaller: -6 or b?
-6
Let j = -58.7 + 63. Let p = j + -35.3. Let m = p - -21. Is m bigger than -0.1?
False
Let y(l) = -l**3 - 16*l**2 + 3*l - 4. Let g = 21 - 37. Let f be y(g). Let d = f + 366/7. Are 1 and d equal?
False
Let u = 504 - 504. Which is smaller: -7/30 or u?
-7/30
Let o be 2/16 - (585873/360)/(-27). Which is smaller: o or 60?
60
Let i(p) = p**3 + 6*p**2 - 5*p + 9. Let z be i(-7). Let t be (-2)/z + (-6)/40. Which is smaller: 7 or t?
t
Let z(m) = 233*m**2 - 11*m - 11. Let v be z(-1). Is v at least 235?
False
Let o be (-5 - -1) + (-181)/(-46). Do o and 0 have different values?
True
Suppose 62 = 8*a - 18. Is 10 > a?
False
Let l(n) = -3*n - 5. Let j be l(-5). Let s(h) = h + 11. Let a be s(0). Which is bigger: j or a?
a
Let i(d) be the third derivative of d**5/60 + 3*d**4/8 - d**3/2 + 3*d**2. Let m be i(-9). Let q = -25 - -19. Which is greater: q or m?
m
Let z = 189 - 104. Is 85 < z?
False
Let n be 68*(1 + (-12)/8). Let g = -29 - n. Is 6 at most g?
False
Suppose -4*r = -5*c - 14, r = 4*c - 9*c - 9. Is -3/602 > r?
False
Let p be ((-12)/(-15) - (-2 + 3))*-1. Which is smaller: -0.09 or p?
-0.09
Let u = -35 + 38. Let g be u/(-12)*(-5)/10. Is g at least -1?
True
Let g(p) = p + 8. Let b be g(-6). Suppose -b*n + 3*o = -0*o + 76, 4*n = -o - 180. Let c be (-212)/n - 2/(-11). Which is bigger: c or 11/3?
c
Let y = 547 - 2747/5. Suppose -2*w - 5*b = -3, -2*b + 15 = -w + b. Let l be ((-268)/40 + 7)/(w/(-8)). Which is smaller: l or y?
y
Suppose -4*m + 5 = -f - 1, 3*m = -2*f - 12. Is f at most as big as -7?
False
Let y = 98 + -87. Suppose v = -5*n - 3 - y, -3*n - 10 = -v. Which is greater: v or 0.18?
v
Suppose 17*h = 91 - 295. Suppose 18 = 3*a - 0*a. Let i be 3/2*h/a. Which is smaller: -2 or i?
i
Let v(p) = -p - 12. Let b be v(-15). Which is greater: -105 or b?
b
Let p(i) = -i**2 + 4*i - 1. Let r be p(3). Suppose 12*h + 65 + 58 = 123. Which is bigger: r or h?
r
Let s = -1333 - -1355. Is 22 < s?
False
Suppose -105 = -4*t - t - c, 3*t = -2*c + 56. Which is smaller: 23 or t?
t
Let s be -1076 - (-11 - 99)/11. Which is bigger: -2133/2 or s?
s
Let p(i) = -i**2 + 9*i - 14. Let s be p(7). Suppose -2*q - q = s. Let u be 6/(q + (-5 - -4)). Which is smaller: u or -8?
-8
Suppose -2*h - 2*a + 5 = -5*h, -4*a = -4*h - 8. Is h greater than 4/173?
False
Let q be (-4)/12 - (-20487)/61407. Let u = q - 4305327/47761. Let k = 90 + u. Is k equal to 0?
False
Let n(b) = -b**3 - 3*b**2 + 17*b + 54. Let p be n(-4). Is 5 > p?
True
Suppose 0 = -15*g - 3417 + 867. Which is bigger: -165 or g?
-165
Let x(s) = -s**2 + 5*s - 6. Let q be x(3). Let i(t) = -t**3 - 2*t**2 - t - 2. Let v be i(q). Which is smaller: 0.17 or v?
v
Let s(x) = 5*x + 100. Let m be s(-15). Do 26 and m have different values?
True
Suppose 0 = 4*n + 5*w - 801, 4*n - 119 = 5*w + 712. Is 204 bigger than n?
False
Let b be (-12)/(-14) + 7784/(-392). Is b < -19?
False
Suppose l = -0*l, 4 = -2*h - 2*l. Let c = -1.9 - -16.9. Let b = 14 - c. Which is bigger: b or h?
b
Let b = -35 - -127. Let x = b - 67. Which is smaller: x or 26?
x
Let d be 8 + 2 + -6 + (-3 - 2). Is d at least as big as -2/491?
False
Let o = -5 + 11. Suppose -3 = 3*m + 12, -5*r - 5*m = 5. Is o greater than r?
True
Let a be 10/(-1)*(-37)/(20350/(-720)). Which is smaller: -0.2 or a?
a
Suppose -4*g - 4*x = 68, 2*g - 3*x = 4*g + 37. Let b be 2/(-3)*135/15. Let v be g*(-1 - b/4). Are -6 and v equal?
False
Suppose 5*l + 10 = 3*l. Suppose t = 3*t + 4*m - 84, -4*t + 120 = -4*m. Let i = -40 + t. Is i < l?
True
Let s be -4 - 12/(72/(-30)). Suppose -4*u + j - 401 = 0, 156 = -u + 3*j + 53. Which is greater: u or s?
s
Let t = -129 + 230. Suppose -2*m = t + 133. Let i = -935/8 - m. Do 1 and i have different values?
True
Let b(v) = 2*v + 2. Let w be b(-4). Let j be (-3)/2*w/(-9). Let t = 42 + -43. Are j and t equal?
True
Let i(m) = m**3 + 7*m**2 + 2*m - 10. Let k be i(-7). Let n = 23 + k. Which is bigger: n or -23?
n
Let a = 5 - -3. Let z = -0.02 + 0.01. Is z greater than a?
False
Let p = -3 + 2. Let f be (0/3 + -4)*(-7)/4. Let a be 0/f - (1 + (-14)/10). Do p and a have the same value?
False
Let g = -352.3 + 352. Which is smaller: g or 0.23?
g
Let d be (-17)/9 - (36 - 38). Which is smaller: 3 or d?
d
Let s(q) = -3*q - 22. Let z be s(-9). Let p = -1 + z. Which is greater: 8/3 or p?
p
Suppose -22*g - 485 = 747. Which is smaller: g or -276/5?
g
Let z = -777 - -389278/501. Which is smaller: 0 or z?
0
Let b(k) = k**3 - 10*k**2 + k + 21. Let z be b(7). Let x = z + 118. Which is bigger: -7.2 or x?
x
Let u = -2298 + 2994. Is u equal to 695?
False
Let x = 35.2 + -34.2. Which is greater: -0.43 or x?
x
Suppose -5*x = -5*l - 25, -4*l + x = l + 9. Is l greater than -10/11?
False
Let m be 16*((-84)/16 + 4). Let x = m + 21. Is x at least -2?
True
Let a = -3259 - -74897/23. Is -4 > a?
False
Let z = -1975 + 116521/59. Let w = z - -17/1121. Is w != 1?
True
Suppose -9*i + 58 = 4. Suppose -8*q - i = -2*j - 6*q, 4*j - 3*q - 8 = 0. Are -1 and j non-equal?
False
Let d = -289 - -294. Which is smaller: d or -0.25?
-0.25
Let x = 185/77 - 168689/70147. Which is smaller: 0 or x?
x
Let c(u) be the third derivative of -u**4/24 - u**3/3 + 5*u**2. Let l be c(-2). Let g = -2/13 + 29/104. Which is greater: l or g?
g
Let d = -31 - -38. Let h be (2 - 1)*1 - 1. Suppose 3*v + h*v = 15. Is d not equal to v?
True
Suppose 2*u - 16 = 244. Let g = u + -131. Which is greater: g or 5/13?
5/13
Let y be 9 - (-2)/4*2. Suppose 0 = 12*i - 5*i + 147. Let p be (-12)/y*280/i. Is 16 at most p?
True
Let c = -0.58 - -0.66. Let l = 5 - 6. Do l and c have the same value?
False
Suppose -13*f + 546 = f. Is 37 <= f?
True
Let r(s) = -s**3 - 2*s**2 - 6*s + 4. Let j be r(6). Do -319 and j have the same value?
False
Suppose 4*u = 45 - 13. Let c = 312 + -302. Suppose -2*a = u - c. Is 1/14 less than a?
True
Let z = -3 - -12. Let k = z + -9.21. Let c = k + 0.11. Which is greater: -0.02 or c?
-0.02
Let t(m) = m**3 - 21*m**2 + 82*m - 18. Let r be t(5). Which is bigger: r or -25?
r
Let t(j) = j**3 + 5*j**2 + 3*j - 5. Let a be t(-4). Let h = -1 + 1.1. Which is smaller: h or a?
a
Let v = -1372 + 1367. Is -40 at least v?
False
Suppose -5*d - 3*f + 160 = 0, 32 = d + 2*f + 2*f. Which is smaller: d or 61/2?
61/2
Suppose -2*b - 5 = t - 2, b + 6 = -2*t. Let u = t + 7. Let l be 0 + -19 + u + 4. Is -11 greater than or equal to l?
True
Let r be (-21)/49 + (-7346)/(-1771). Let h = r - 39/11. Is h >= 1?
False
Let m(f) = 4*f**3 - 53*f**2 + 7*f - 30. Let h be m(13). Is h less than or equal to -108?
True
Let b be 4/6 - (-20)/15. Let k be ((-21)/b)/((-7)/14). Let r(c) = -2*c + 12. Let d be r(-4). Is d equal to k?
False
Let g = 9/28 + -163/28. Let a = -8 + 17. Suppose a*q = -3*y + 4*q - 20, -4 = 4*q. Which is bigger: y or g?
y
Let q be 5/1 + ((-1240)/60 - -17). Which is bigger: q or 0.1?
q
Let l = -5330 + 26562/5. Is -17 greater than l?