e
Let b be -2*(-1 - (-6)/4). Which is smaller: b or 2/483?
b
Let y be 0 - -2 - (3 + -4). Suppose 2*a - 6*c = -2*c + 4, -3*a = 3*c + y. Let b = 90 + -628/7. Is a at least b?
False
Let d = -50 + 152. Let g = -0.2 - -0.1. Is d not equal to g?
True
Let d = -141 + -65. Which is smaller: d or -1?
d
Let s = -56579/59 - -959. Are s and 0.2 equal?
False
Let d = -4.04 - 285.96. Is 2/3 greater than d?
True
Let a(m) = -2*m**2 + 14*m + 10. Let h be a(10). Let s be (h/(-60))/((-1)/2). Is s less than -1?
True
Suppose 0 = -5*h + 10, 2*v + 2*h = 19 + 5. Suppose 14*m - v*m - 36 = 0. Which is bigger: m or 6?
m
Let p(u) = 9*u**2 + 16*u + 1. Let z(k) = -5*k**2 - 8*k - 1. Let q(g) = -6*p(g) - 11*z(g). Let w be q(7). Which is greater: w or 15?
15
Let n = -391256/11 + 35533. Let h = n - -107/3. Do -1 and h have the same value?
False
Let o(v) = -54*v + 333. Let k be o(6). Let i be (18/(-4))/(2/(-4)). Are k and i equal?
True
Let m = 7/45 + 23/45. Which is smaller: 6 or m?
m
Suppose -5*g = -4*g - 28. Let r be -2 - (3 + (-148)/g). Let i = -2 - -2. Which is smaller: i or r?
i
Let l = 0.165 + -0.065. Is l at least as big as 766?
False
Let a = -90 + 441. Do 352 and a have the same value?
False
Let r be 10/15 - (-939)/9. Is 104 bigger than r?
False
Suppose -5*h - 82 = -4*t, t = -0*h - 3*h - 39. Which is smaller: -15 or h?
-15
Let d = 219401/18 - 12180. Let i = 104/9 + d. Is 21 >= i?
True
Let t = -197.2 - -196.2. Let p = 30.13 - 30. Is t at least as big as p?
False
Let a = 1803/2 - 901. Is a less than -0.593?
False
Suppose 0 = -3*a - 4*s + 9, 11 = a + s + 9. Which is smaller: -7/26 or a?
a
Let n = -1484/15 - -99. Let w = -42 - -44. Suppose -3*b - 13 = w*d, d = 4*d + b + 2. Is n < d?
True
Let o be ((-1)/(-2))/((-4540)/(-648) - 7). Which is bigger: o or 82?
82
Suppose 0 = 19*v - 13*v - 18. Let w = -12 - -17. Suppose -16 = -w*m - 6. Which is smaller: m or v?
m
Suppose 0 = -48*y - 74*y + 10004. Which is smaller: y or 245/3?
245/3
Let y be (11/(22/(-12)))/2. Let t be 1/y + 160/(-312). Let q = -38/91 - t. Is q not equal to 1?
True
Let s(t) = -t**3 - 10*t**2 - 13*t. Let g be (-60)/(-5)*8/(-12). Let p be s(g). Is p at least as big as -25?
True
Suppose -5*r - 21 + 7 = 4*n, 13 = -5*n - 4*r. Let o be n/(-3)*-3*-55. Let g be -1*o/(6 + -1). Is -11 >= g?
True
Let v(f) = -3*f**3 - f**2 - 24*f + 81. Let d be v(3). Is d at most as big as -402/5?
True
Let s(x) = -x - 13. Let h be s(-18). Let r be 2/h - (-1985)/(-25). Which is smaller: -78 or r?
r
Let d = 29 + -41. Let u = d - -12. Is -3/7 <= u?
True
Let v be ((-4)/(-22)*1)/(-2). Suppose -3*n = 2*r + r + 3, 3*n = 2*r + 2. Is n smaller than v?
False
Let m = -1675 - -2080. Which is greater: m or 404?
m
Let i = -6.43 - -7.43. Is i bigger than 1018?
False
Let i = -117 - -907. Is i > 789?
True
Suppose -4*x - 36 = -7*x. Let s = -4 - -19. Suppose -s*m + 17*m = x. Which is smaller: m or 7?
m
Let a = -4595 + 18585/4. Let r = -51 + a. Is r less than or equal to -3/7?
False
Suppose u = 4*p - 926, -5*u = 5*p + 250 - 1395. Is p > 231?
False
Let s be (-1 - 4)*(-372)/20. Is 93 less than s?
False
Let k = 0.1 - 0.1. Let l be 11 + (-285 + 242 - (-24)/2). Which is bigger: l or k?
k
Suppose 3*m + 1058 = 2*d - 1493, 4*m = -12. Let y = -25467/20 + d. Let w = y + 13/5. Which is greater: w or -0.6?
w
Let g(n) = 3*n + 31. Let l be g(0). Let o = l + -5. Which is smaller: o or 25?
25
Suppose 0 = -38*l - 18133 + 463. Is l at least -465?
True
Let i = -273 + 272. Which is greater: i or -31?
i
Let z be (1/2)/((-5)/10). Suppose y = -7 - 3. Let l = -10 - y. Which is greater: l or z?
l
Let a be 120/(-70)*4/24. Are 15.53 and a equal?
False
Let h(n) = 2*n**3 - 7*n**2 - 16*n + 6. Let o be h(5). Is o greater than or equal to -10/83?
True
Suppose 2*n + 3 = -m + 24, 3*n + 36 = 3*m. Let a = m + -21. Let q be a/(-12) + (-2)/(-4). Is q <= -1/5?
False
Suppose -b + 78 + 18 = 3*j, -j - 2*b = -37. Let y = j + -31. Which is bigger: -3/38 or y?
y
Let p = 86 + -100. Let k = 3 + -12. Let v = k - p. Does v = 5?
True
Let m(q) = -q**3 + q**2 - q + 1. Let u be 1/(-2) - (-5)/10. Let c be (7/(-2) - -4)*u. Let p be m(c). Are -2/37 and p nonequal?
True
Suppose -4*x - 2*m + 6 = 0, -2*m + 5 = -0*x + 5*x. Let k(g) = 7*g - 40. Let j be k(6). Let s be (j/10)/(130/100). Is s at most as big as x?
False
Suppose -3*q = -p - 0*q - 2, p = -2*q + 8. Suppose 23 = 3*n + 4*v, -p*n + 2*v + 21 = n. Let x(o) = 2*o**2 + 7*o - 26. Let u be x(-6). Which is greater: u or n?
n
Let c = 210 - 164. Is c <= 45?
False
Let r = 10 + -140. Let g be (r/13)/(2/(-11)). Suppose -3*w = -8*w - g. Which is greater: -13 or w?
w
Let p(g) = -g**3 + 10*g**2 - 8*g - 6. Let q be p(9). Suppose -q*a = -5*u + 2*a - 20, -u + 11 = 2*a. Are 3/5 and u non-equal?
True
Let w = 4.991 - 4.9. Let l = w + 0.009. Is l greater than 1/2?
False
Let z = -77 + 86. Let s = -35/4 + z. Let w = -1.94 - 0.06. Which is smaller: w or s?
w
Let x(h) = -h**3 - 8*h**2 - h + 1. Let n be -5 - (2 - 5/(-5)). Let v be x(n). Do v and 3 have the same value?
False
Let i be ((-196)/(-21))/(2/3). Let p be ((-77)/i)/(3/(-6)). Are p and 9 non-equal?
True
Let z = 10/557 + -7671/23951. Is 1 > z?
True
Let c be (-3)/3*(-6)/18*-3. Is c not equal to 2/43?
True
Let r(b) = -b + 3. Let k be r(6). Let m be (4 + -1)/(3 + -1 + k). Which is greater: -0.04 or m?
-0.04
Let u = 59/39 - -2/13. Let b(d) = -d. Let a be b(6). Let v = -4 - a. Is u smaller than v?
True
Let q(l) = l**3 - 23*l**2 + 2*l - 24. Let f be q(20). Are -1185 and f non-equal?
True
Let n = 20 - 5. Let s be (-3)/(-2)*(-10)/n. Let w be s/(-1 + 4)*3. Is w at least as big as 0?
False
Let f = 0.142 - 1.142. Do f and -52 have different values?
True
Suppose 2*q + 2 = -3*b - 2*q, 2*q + 10 = 0. Let c be (-45)/(-250)*(-8)/b. Which is greater: -1 or c?
c
Suppose 10*a - 129 - 71 = 0. Let w = 61/228 - 1/57. Do a and w have the same value?
False
Let k = 32.037 + -0.037. Let y = k + -38. Is 2 less than y?
False
Let v be -392 - 7 - (9 + 0). Is -409 at most as big as v?
True
Suppose t - b = -17, 3*b - 8 = -t - b. Let m be (2/(-3))/(6/t). Which is smaller: -0.1 or m?
-0.1
Let y(a) = 36*a**2 + 2*a. Let v be y(-1). Let j(r) = v*r + 3 - 32*r - 2. Let w be j(-5). Are w and -9 non-equal?
False
Let i = 3526 - 38788/11. Suppose 4*c - 4 = -0. Which is bigger: c or i?
c
Let q(r) = 2*r - 44. Let n be q(17). Let p be 32/6*45/n. Suppose 2*a - 33 = g - 10, 0 = -4*g + 4*a - 92. Are p and g equal?
False
Let r(o) = -13*o - 63. Let i be r(-6). Is 180/13 at most as big as i?
True
Let x = -69 + 10. Let b = x - -63. Is b less than or equal to 0.12?
False
Let j be -21*14/693*-30. Which is greater: j or 12?
j
Suppose -a - 4*j + 18 = 0, -4*j + 11 = 5*a - 15. Suppose -16 = -3*f - 4*p, -2*p + 4*p = a. Suppose z - 20 = 4*q, -f*q = 5*z - 20 + 64. Is q bigger than -6?
False
Let l be (-2)/11 - 265/55. Is l less than -8?
False
Let q = -5.23 + 0.23. Let j = q - -6. Let m = -33 + 20. Is m at least j?
False
Let s be 68/(-3) + ((-112)/(-42))/(-8). Is s > -21?
False
Let h = 2.9 + -3. Let k = 7.21 - 6.7. Let n = 0.31 - k. Are n and h unequal?
True
Let j be -2 + 4 + (-67)/1. Let v = j + 95. Suppose 2*y = -2*o + 8, -2*y - v = -4*o - 2. Which is smaller: o or 4?
4
Let j = 1/126 - -5/18. Let l be 0/(5/(55/(-22))). Is l greater than j?
False
Let k = -0.058 + 36.058. Let x = k + -18. Let f = 20 - x. Are 0.1 and f nonequal?
True
Suppose 0 = -3*v + f - 7, 2*v - 2*f + 31 = 21. Is 3/101 greater than v?
True
Let f = 12.3 - 11.1. Let r = -4.8 - f. Is r smaller than -6?
False
Let d be 2*-2 - (-7 - -1). Suppose -d*b + 26 = 5*q, 3*b + 5*q + 5 = 34. Let o = 4 - b. Is 7/4 != o?
True
Let d be 9/(-6)*40/6. Let g be d*(27/6 + -4). Is -2 smaller than g?
False
Let f = 31 - 25.2. Let s = 6 - f. Let l be (0/2)/((-4)/(-2)). Which is greater: s or l?
s
Let x(k) = k**2 + 16*k + 62. Let a be x(-9). Which is smaller: a or -1/893?
a
Suppose 0 = 2*z + 4*k + 10, 2*k = -z + 5*z - 10. Let c = 8 + -12. Let m be -2*c/(-664)*-2. Which is bigger: z or m?
z
Let n be (-4 + 45/(-5))/1. Let j(b) be the second derivative of -b**5/20 - 7*b**4/6 - 2*b**3 + 5*b**2 + 3*b. Let x be j(n). Which is greater: x or -1?
-1
Let c = 560 + -4461/8. Do 1 and c have different values?
True
Let c = -278 - -829/3. Let s = -1.3 + 0.3. Is c smaller than s?
True
Let y = -17008/9 + 1894. Which is greater: y or -1?
y
Let j = 719 - 4565/6. Is -43 >= j