- -205. Is i > 2?
True
Let j = 32 - -3. Suppose -4*s - s + j = 0. Is s at most as big as 8?
True
Suppose -4*s - 2 = 3*q - 15, -s + 4 = q. Let i(c) = -c + 2. Let z be i(-1). Is z not equal to q?
False
Let q(j) = j**3 - 11*j**2 - 1. Let c be q(7). Which is bigger: 1/3 or c?
1/3
Suppose 10 = -3*j - v, 10*v - 10 = 5*j + 5*v. Let r be (-5)/3 - 2/j. Let l = -14 + 236/17. Which is bigger: r or l?
l
Let a = -13/5 - -29/15. Let h = 16 + -23. Let t be 2/h - 18/(-14). Which is smaller: t or a?
a
Let q = -132 + 129. Let d be (2/2)/(7/(-84)) - q. Let k be (-1)/(((-1)/(-8))/1). Which is smaller: d or k?
d
Let g = 0.5 + 0.5. Suppose 0 = -0*i + i. Let f be -2 - 6/(-4) - i. Which is smaller: g or f?
f
Let b be ((-19803)/(-5505) - 3) + 6/(-10). Is 1 greater than b?
True
Let x = -58.59 + 62.1. Let d = -3.3 + x. Let a = d + 7.79. Which is bigger: a or -1?
a
Let a be 2*(9/2)/3. Suppose 0 = a*k - k + 4. Let y(h) = -h**3 + 9*h**2 - 6*h + 53. Let m be y(9). Which is greater: k or m?
m
Let l be -13*196/282 + 9. Is 0 != l?
True
Suppose -2*k = -0*f - 2*f, 0 = -k + 3. Suppose f*d - 2*x = 3, -4*d - 3*x = 6 - 10. Is 0 greater than or equal to d?
False
Let c = -3/61 - -207/488. Let j be (4 - 8) + 3 - (0 + -2). Is c less than j?
True
Let p(m) be the first derivative of -m**3/3 - m**2 + m - 18. Let h be p(0). Which is smaller: h or 5/4?
h
Let l = -0.9 + -1.8. Let n = -1.3 + l. Which is smaller: -2 or n?
n
Suppose 710 = 5*w - 5*k, -3*w = -2*k - 232 - 191. Let u = 976/7 - w. Let s(g) = -g**3 - 3*g**2 + 4*g. Let b be s(-4). Which is smaller: u or b?
b
Let b(z) = -2*z - 28. Let g be b(-19). Suppose -g + 5 = -n. Which is greater: 0.1 or n?
n
Let z = 50 - 50.23. Let q = z + -0.11. Which is bigger: -1 or q?
q
Suppose -s = 3*s - 40. Let h be (-4)/s + 42/255. Is h > 1?
False
Let u be ((-187)/22 - -8)*6*6. Is -10 equal to u?
False
Let m = 183 - 181. Let x be (-143)/(-4) - 1/(-4). Suppose -m*o - o = -x. Which is smaller: o or 10?
10
Let o(m) = 3*m - 18. Suppose 2*j - 20 = 2*c - 0*c, 3*j = -3*c + 36. Let h be o(j). Is h greater than or equal to 44/3?
True
Suppose 3*k + 0*h - 2*h = 13, k - 7 = 2*h. Suppose -k*i - m + 2 = 0, -13 = 4*i + 5*m - 1. Suppose -3*z - 46 = i. Is -15 at least as big as z?
True
Let u be ((-20)/6 - (-2 + -1))*-3. Is u less than or equal to -1/31?
False
Let c be (2 + 1)/(2/(-5) - -1). Suppose 0 = -2*l + c*l - 7*l. Are 2 and l equal?
False
Suppose 11*d + 16*d = -621. Which is bigger: -19 or d?
-19
Let j be (-6 + 2)*213/198 - -4. Which is smaller: 1 or j?
j
Let m be 17722/(-990) + 12/(-20). Let d = 791 - 8497/11. Let l = m + d. Which is greater: -1 or l?
l
Suppose -3*n + 2*n = 4*x - 97, 2*x - 3*n = 31. Let v = x - 33. Which is smaller: -11 or v?
-11
Let y(c) = -c**2 + 11*c + 17. Let f be y(-9). Let h = f + 1313/8. Which is smaller: 2 or h?
h
Let t be (8/(-6))/((-6)/27). Let g be (-5)/(-4)*8/t. Let v be (7 - (-81)/(-12)) + (-88)/(-32). Do g and v have the same value?
False
Let f = -313 - -291. Which is greater: 1.9 or f?
1.9
Let k = 50 - -192. Is -0.1 less than k?
True
Suppose 7 = 2*b + 1. Let c(v) = v**3 - v. Let z be c(0). Suppose 5*n - 23 = 4*d + 7, -2*n - 3*d - 11 = z. Which is bigger: b or n?
b
Let q = 158 + -398. Is -2 > q?
True
Let b = -6180/129833 + -11/1073. Are 0 and b nonequal?
True
Let o = 0.1 + 0. Let w = -5.4 + 5.19. Let j = w - -0.21. Are o and j equal?
False
Let j = -83 - -497/6. Let i(h) = h**3 + 3*h**2 + 2*h + 1. Let a be i(-2). Is a smaller than j?
False
Let j be 186/(-8) + (-21)/28. Let t be (-27)/j*(-2)/3. Is -1 < t?
True
Let v(g) = 3*g**3 - 4*g**2 + 5*g - 11. Let y be v(4). Let x = y + -148. Is -0.1 > x?
True
Let o = 3.107 + -0.107. Is -1 <= o?
True
Suppose 179 - 14 = 11*m. Suppose -m = 3*f - 8*f. Is 2 >= f?
False
Let j be (-3 - -4 - 5) + 41/11. Suppose -5*q = -8 - 2. Which is bigger: j or q?
q
Let q = 61 - 102. Let u = -91/177 - 9/59. Which is smaller: u or q?
q
Let n = -7 - 2. Let m = n + 34. Is 0 equal to m?
False
Let j be 13/270 + (-3)/(-6). Let q = j + -4/27. Which is smaller: 1 or q?
q
Let o(b) = 2*b**2 + 9*b + 10. Let h be o(-6). Suppose 5*c - 63 + h = 0. Let i = 2 + 5. Is i less than or equal to c?
True
Let m = -14 - -16. Suppose m*o - 3*o = 0. Is o bigger than -2?
True
Let m be (8 + 5)/((-10)/(-28)). Suppose 5 = -v + 41. Let n = m - v. Which is smaller: 0 or n?
0
Let u(m) = -m**2 + 8*m - 49. Let a be u(12). Is -289/3 greater than or equal to a?
True
Suppose 14 = 3*r - 10. Suppose 4*g - r*g - 16 = 0. Let b be (5/(-7))/(g/7). Which is greater: 2 or b?
2
Let m = -0.3 + -17.7. Let c = -21 - m. Let x = -3.2 - c. Is -1 != x?
True
Let b = 4 + -4.4. Suppose 0*j + j + 10 = 0. Let w = -9 - j. Does w = b?
False
Let x = -183 - -202. Which is smaller: 3/7 or x?
3/7
Let w be 24/(-228) - (6 - 1758/456). Let q = -7 - -4. Which is bigger: w or q?
w
Suppose -19*w + 65*w = -1242. Which is smaller: -32 or w?
-32
Let q = 305 - 304.8. Which is greater: q or -27.1?
q
Let q be 488/(-1) + (1 - -7). Is -481 greater than or equal to q?
False
Let s be (-19)/(-6) + (-3)/18. Let k be (-9)/(-6)*2/s. Is k > -0.5?
True
Let r = -11 + 13. Suppose -3*d + 5*a - r = 0, 0 = 2*d + 2*a + 3*a + 18. Which is greater: 0.1 or d?
0.1
Let h = 10 + -1. Let m(i) = i**3 - 9*i**2 + 4*i. Let l be m(h). Let o be 1/(-3) + 20/l. Do 10 and o have different values?
True
Let z = 1112.03 + -1112. Which is smaller: -3 or z?
-3
Suppose 347 + 319 = -18*p. Which is smaller: p or -45?
-45
Let o = -286552/683 + 982449778/2291465. Let b = -4/671 - o. Is b equal to -10?
False
Let n be (-3 + (-32)/(-12))*(-2)/1844. Let i = n - 6685/1383. Does i = -5?
False
Let j be -11*((-954)/(-10) - 144/360). Does j = -1046?
False
Let t = -3.9 - 35.1. Let y = 38.6 + t. Suppose 0 = -2*b + 4*q + 2, 3*b + 3*q - 19 + 7 = 0. Is y > b?
False
Let l = -52 - -35. Let z be ((-3)/(-2))/((-60)/560). Is z at most l?
False
Suppose -2*y + o - 10 = 0, 38 = -5*y + 5*o + 3. Let p(u) = -15*u - 20. Let l(n) = 7*n + 10. Let c(g) = -13*l(g) - 6*p(g). Let z be c(-6). Is y greater than z?
True
Let t be 3/(-2) + (-667938)/(-12). Let x = 1167749/21 - t. Let q = -53 - x. Is -1/4 greater than q?
False
Let a(x) = -2*x + 3*x**2 - x**3 - 2 + 0*x**2 + x. Let d be 1*((4 + -2 - 4) + 4). Let k be a(d). Is k <= 1?
True
Let f be 2*(0 + 2) - 14. Let p be (8/f)/(1/5). Which is greater: -5 or p?
p
Let s = -44 - -45. Let p be s/18*((-184)/32 + 5). Which is smaller: -1 or p?
-1
Suppose -3*n - 294 = -255. Are -25/2 and n equal?
False
Let c be -1 + 3 + 3/(-2). Let o = c - 9/10. Let i = -581 + 2906/5. Which is bigger: o or i?
i
Let c = 21 + -65. Let o = -43 - c. Which is greater: o or 0.2?
o
Let t(c) = -133*c + 127. Let b be t(1). Do -99/20 and b have different values?
True
Let k(h) = -h**3 + 3*h**2 - 2*h + 4. Let y be k(3). Let b be 2/y + (2 - 3). Let u = 36 - 38. Is u > b?
False
Let d be 2/(-21)*3 + 1750/(-49). Let b be ((110/d)/11)/((-1)/(-3)). Is b less than -1?
False
Let s = 916.032 - 916. Which is smaller: s or 9?
s
Suppose 0*k = -3*k - 66. Let h(a) = 17*a + 1. Let m be h(1). Let y be 6/m + k/30. Which is smaller: y or 2?
y
Let p = -11.1 - 2.1. Let r = p - 1.8. Let u = -13 - r. Do 2/13 and u have the same value?
False
Let l be (-12)/(-9)*-3 - 2. Let x = -4309 - -4307. Which is smaller: l or x?
l
Let u(v) = v + 25. Let l be u(-23). Suppose 30 = -l*k - 4*k. Is -11 < k?
True
Let p = 36 - 26. Suppose -5 = 5*f + p, 5*q - 31 = 2*f. Suppose 0*j - 5 = q*j. Which is greater: j or 12?
12
Let w = 48.7 + -27. Let k = w + -22. Let y be 28/6 + (-8)/2. Is k less than or equal to y?
True
Let d(a) = 34*a + 378. Let w be d(11). Which is smaller: 751 or w?
751
Let h be 6/(-4) - (-2196)/1564. Let n = -1/46 + h. Which is smaller: -0.3 or n?
-0.3
Suppose -18*w - 274 = 482. Is -44 at least w?
False
Let k be (12/(-75))/((-3230)/25). Which is smaller: k or -1?
-1
Let d = 0.2 - 0.28. Let z = -322.01 + 322. Let t = d + z. Which is smaller: t or 1?
t
Let f = 60 - 56. Suppose 0 = 5*b + 5*l + 25, -f*b + 5*l + 0*l + 25 = 0. Which is bigger: b or 4/19?
4/19
Suppose 35 = -7*h + 2*h. Let f be (-6)/(-5)*(50/15 - 0). Do f and h have the same value?
False
Suppose 4*p - 5*l + 293 = 0, 4*p = 3*l - 5*l - 314. Is 2/7 > p?
True
Let c = 311 + -61887/199. Let s = c - -1180/1393. Which is smaller: s or 1?
s
Let j(k) = 2*k + 21. Let v be 21/4*(-88)/33. Let s be j(v). Which is bigger: -6 or s?
-6
Let 