 -1. Let n = 457 + -457. Is n equal to c?
True
Suppose 88 = v + 19. Suppose -s = 2*s - v. Suppose -3*j - 8 = -80. Is s at least as big as j?
False
Let y = -147.2 - -162. Let z = 18 - y. Let f = z - 2.7. Is f equal to 2?
False
Let b = -41/70 - -11/14. Is 5/4 bigger than b?
True
Suppose -26 = -c - 2*n, n = -3*c - c + 125. Let t be (-1)/2 - (-208)/c. Let w(i) = i**2 + 6*i + 5. Let v be w(-6). Which is smaller: t or v?
v
Let a = 135 - 5. Which is smaller: 129 or a?
129
Suppose -14 = -30*f + 106. Suppose -5*i - p - 7 = 0, 0 = -2*i + p - 3*p + 2. Does f = i?
False
Let y = 406.2 - 363. Let p = y - 43. Is 2.5 less than or equal to p?
False
Let r be (-24)/(-9)*9/(-6). Let x be (-1*(-2)/r*0)/3. Is 1/39 less than or equal to x?
False
Suppose -3*c = -c + 2. Let j be (6270/(-42) - 0) + 2/7. Let f = j + 1641/11. Which is smaller: c or f?
c
Let i(s) = 2*s**2 + 6*s + 18. Let m be i(-5). Let j = 47 - m. Are j and -2 non-equal?
True
Let j = 0.9 - -138.1. Which is greater: j or 2?
j
Let h be 2/(-1 - (-2 - 6)). Let m = -165.2 - -158. Let q = m - -8.2. Do q and h have different values?
True
Suppose 0 = 2*y - 7*y + 65. Suppose -2*r = -3*p - 7, -p = -3*r - 6 + y. Let f be (-1)/(-1 - -2) - p. Is 5/9 greater than or equal to f?
True
Let f be 0/(-7 + (9 - 7)). Is 174 greater than f?
True
Let s = -755 + 746. Suppose -h + 5*h + 40 = 0. Is s != h?
True
Suppose 36 = 6*i - 0. Let h(x) = 4*x - 19. Let q be h(i). Is 4 >= q?
False
Let m = -15 + 24. Let n be ((-3)/m)/(3/(-27)). Suppose 0 = c + 1, l - c = -3*c. Which is smaller: l or n?
l
Suppose -3*z - 2 = 7. Let y = 3 - z. Suppose 2*l - 10 = -h + 7*l, 0 = 2*l + y. Which is smaller: -2 or h?
h
Let w be -58*(-4)/16*-10. Let i = w - 371. Let g = i + 11866/23. Which is smaller: g or 1?
g
Let c = -46 + 47. Let d(j) = -2*j + 5. Let w be d(4). Let q be 81/(-21) - -1 - w. Is q at least as big as c?
False
Let b = -1682/2101 - -14/191. Is 0 < b?
False
Let k = 19 + -17. Let d be 7 + -2 + (k - -2). Is 11 greater than or equal to d?
True
Let r = 1.35 + -0.65. Let g = -0.2 + 0.5. Let s = g + r. Is 1 greater than or equal to s?
True
Let u = 4 + 44. Suppose u = 3*n - 3*i, 3*i - 53 = -3*n + i. Let j = -28 - -46. Is n not equal to j?
True
Let c = 12 + -7. Suppose 3*v - 8 = 4*n + 3, -c*v + 4*n = -29. Is 7 less than or equal to v?
True
Suppose p + 2 = 33. Suppose -4*d - r = 2*r + p, -2*r = -2*d - 26. Let c = d + 9. Is c less than or equal to -2/13?
True
Suppose -r - 5*i = -28, 5*r - 3*i + 0*i - 280 = 0. Let l = r - 12. Is 41 > l?
False
Suppose 0 = 6*c + 79 + 137. Let a = -42 - -7. Which is smaller: a or c?
c
Let v(k) = -k**2 - 4*k. Let c be v(-6). Let y be 14/56 + 57/(-4). Is y < c?
True
Suppose 280 = -3*w + i, -i - 373 = 4*w - 2*i. Is w bigger than -94?
True
Let x be ((-6)/4)/((-6)/40). Let u be (-6)/9 + x/24. Let a be -44*(-2)/24 - (-6)/(-9). Is u at most as big as a?
True
Let u(l) = -l**3 - 9*l**2 - 8*l + 25. Let c be u(-11). Which is bigger: 356 or c?
356
Let t = -0.0856 - 4.9144. Which is smaller: t or -17?
-17
Let u = 59/11 - 6147/1144. Is u equal to 1?
False
Let t = 9/17 + -857/1683. Let f(s) = -2*s**3 + 3*s**2 + 2*s. Let d be f(2). Is d equal to t?
False
Let u(d) = -d**3 - 23*d**2 - 9*d - 39. Let r be u(-23). Let c be r/(-32) - (2 + 27/(-12)). Which is smaller: c or -14/3?
c
Let q be (-1 - 1/(-1))/(-2). Let k = 1 + q. Let p = -21893/9 + 2433. Is k greater than or equal to p?
True
Let i = 1836 + -3403. Let u = -12501/8 - i. Does 5 = u?
False
Let y = 690673/2321022 - 1/19182. Which is smaller: y or 1?
y
Let l be 3*(-12)/(-9)*1. Suppose -4*v + v + 3*y + 15 = 0, -4*y - 22 = -5*v. Suppose -q + 0 = -s - v, q - 4*s = -4. Does l = q?
True
Let v = 0.371 - -0.829. Which is greater: -2/7 or v?
v
Suppose -33 + 33 = -60*n. Which is greater: n or 13/30?
13/30
Suppose 0 = w + 3*n + 40, 87 + 74 = -5*w - 2*n. Is w != -28?
True
Let i be 15*8/20 - (-6644)/(-1106). Does i = -1?
False
Suppose 5*y = -18 + 8, 6 = -2*m + 3*y. Let v be -1 - m*(-4)/(-8). Suppose -v*n - l - 4 = 0, -3*n = 5*l - 2*l + 3. Which is greater: -4 or n?
n
Let x(z) = 8*z**3 - z**2 - 4*z + 3. Let q be x(3). Let l be ((-88)/q)/((-4)/(-6)). Is l at most as big as 1/4?
True
Let p = 119.276 - 0.276. Which is greater: p or 1?
p
Suppose -3*k = -k + 56. Let g = k - -29. Suppose g - 5 = -4*j. Is j <= -1/4?
False
Let s = 2000 - 1999.8. Let d = 1.3 - 4.8. Let q = -14.5 + d. Which is smaller: q or s?
q
Suppose 4*j = 2*t - 10, -5*t + 0*j + 4*j + 19 = 0. Let k(y) = y**2 - y - 2. Let d be k(t). Suppose d*r = r + 6. Is r > 2/3?
True
Let n = 16 + -7. Let a be n/(-12)*-3 + -2. Suppose -9*v - 4 = -13*v. Which is smaller: v or a?
a
Let h = 1 - 1.2. Let r = 5.76 + -5.74. Do h and r have the same value?
False
Let v be (-18)/24 + (-2214)/(-2856). Is v less than -1?
False
Suppose 5*y = -4 - 31. Let p = 2 + y. Let n = 7 + p. Are 1 and n equal?
False
Let o be (-116)/(-322) - 2*3/42. Which is greater: -4/9 or o?
o
Let y = -141 + 43. Do -99 and y have different values?
True
Let y = -4/605 - -3137/16940. Which is smaller: 1 or y?
y
Let m(f) = -f**3 + 2*f**2 + f - 2. Let n be m(2). Suppose -3*w + 11 = -n*h - 5*h, -3*w + 10 = -4*h. Is h >= -1/19?
False
Let b = 183/110 + -39/22. Which is smaller: 0 or b?
b
Let m = 5.6 - 6. Let g(b) = b + 1. Let f(o) = 3*o - 9. Let p(d) = -f(d) + 2*g(d). Let y be p(9). Is y bigger than m?
True
Let d = 8454/25 + -944/25. Let k = d + -1531/5. Is -7 smaller than k?
True
Let c = 1.61 - 1.6. Let w = c - 0.21. Let m = 0.8 - w. Are m and -9 equal?
False
Let x(p) = p**3 - p**2 - 6*p + 6. Let m be x(5). Suppose 75*b = m*b + 1. Which is smaller: 2/43 or b?
b
Let n = -105 + 125. Is 107/5 greater than n?
True
Suppose 275 = 5*z + 3*h, -z = -4*z + 3*h + 165. Suppose 0 = 8*r + 201 + z. Are -32 and r unequal?
False
Let i be (-46)/(-14) - (0 - 12/(-42)). Suppose r - 181 = 2*o + 2*r, -i*o + r - 284 = 0. Is o at most as big as -93?
True
Let y(q) = 3*q**2 + q + 1. Let v be y(-1). Let o(k) = -10*k**2 - 25*k. Let s be o(-2). Which is bigger: v or s?
s
Suppose -5*l = 4*h - 4, 0*h + l = 5*h - 34. Let m be (3/h)/(3/6). Suppose -z - z - 6 = 5*k, -3*z = 3*k + 9. Is k greater than m?
False
Let f be 29*-1 + 14 + -10. Let s = -57 + 32. Are f and s equal?
True
Let x = -0.14 + 0.06. Let l = 42/29 - 97/87. Are l and x nonequal?
True
Let d = -301 + 405. Which is smaller: 103 or d?
103
Suppose -8*l + 34 - 122 = 0. Which is bigger: -8 or l?
-8
Let l = -202 - -202.2. Is 1/3 > l?
True
Let a(m) be the third derivative of 13*m**4/24 - 2*m**2. Let s be a(5). Let t be (-39)/s*1/(-3). Is t less than 1?
True
Suppose 0 = 3*w + 41 + 40. Suppose -k - 2 = -l, 0 = -6*l + 3*l + 4*k + 4. Suppose -l*d = -r - 31, 4*r + r = d - 136. Is w > r?
False
Suppose 11*c - 39 = -17. Let o be c/(-2)*(-1 + 0 + 0). Let q = 817/9660 + 1/420. Is q not equal to o?
True
Let n(w) = w**2 - 3*w - 233. Let q be n(17). Which is bigger: q or 18/5?
q
Let m(j) = -j**3 - 13*j**2 + j + 18. Let t be m(-13). Suppose t*g = 10, -o = 4*o - 2*g + 34. Let h be ((-9)/o)/(2/4). Do h and 5 have the same value?
False
Let k be 4/50*(-5)/(-4). Let w = 8.19 + -9.19. Is k < w?
False
Let g be (-48)/(-99) - (-16)/(-24). Is g < 113/3?
True
Let b be (-1 - (-759)/756)*125728/56. Let w = b + -80/9. Are -1 and w non-equal?
True
Let y(q) = 2*q**3 - 1. Let w(o) = -o**3 - o + 1. Let b(n) = w(n) + y(n). Let i be b(-1). Let z = 180 + -1252/7. Which is smaller: z or i?
i
Suppose -2*m - 21 = -w, -20 = -2*w + 6*w. Is -32 < m?
True
Let k = -5 + 8. Let a = 0.0344 - -0.0156. Which is greater: k or a?
k
Let q = -79 + 37. Let x = q - -43.3. Which is smaller: 0 or x?
0
Let d be (2 - 4/6)/((-2)/(-6)). Let k be d + 3/((-12)/32). Which is smaller: 2 or k?
k
Let c(n) = 17*n + 5. Let s be c(-2). Let w = s - -48. Suppose 3*i = 3*f - f + w, 5*i + 4*f - 61 = 0. Are 9 and i equal?
True
Let v = -251/70 - -53/10. Which is smaller: v or -3?
-3
Let l be (1/3)/(-8 + 2235/279). Are 226/7 and l nonequal?
True
Let a be ((-4)/3)/((-2)/6). Suppose -2*h = -a*h + 4. Is h <= 11/7?
False
Let b(z) = 3*z + 6. Let n be b(7). Suppose 4*f + 88 = 2*t, f - 2*t - 11 = -n. Which is smaller: -25 or f?
-25
Suppose -11 = -3*u - 2*b, -2*u = b - 8 + 2. Let k(v) = 2*v + 1. Let q be k(u). Is 1 less than q?
True
Suppose z = 5*z. Let j = -1/127 + 137/1270. Which is bigger: z or j?
j
Suppose 11*f - 127 = -127. Is -11/13 at least as big as f