 + -76. Is s equal to -16?
False
Let j = 476 + -478.59. Let l = j - 0.21. Let q = 2.48 + l. Which is smaller: -0.1 or q?
q
Let z be 6/(-15) - 835/(-25). Let r = -2 - z. Are -35 and r non-equal?
False
Let z be ((-138)/17 - -8) + (-871)/(-34). Which is smaller: z or 25?
25
Let j = -3 - -7. Let s = j + 8. Is 11 at least as big as s?
False
Let k(v) = -3*v**2 + 2*v + 2. Let x(d) = -d**2 + d. Let n(r) = k(r) - 5*x(r). Let u be n(1). Which is bigger: u or -1/98?
u
Let d = -86.9 - -87. Which is greater: d or -39?
d
Suppose 0 = -422*v + 419*v - 36. Let b = -12 - v. Are -19 and b non-equal?
True
Let a = -29298 - -2724752/93. Which is bigger: a or 0?
a
Let n(m) = -6*m + 9. Let j be n(2). Are j and 6 unequal?
True
Let a(s) = -31*s**2 - 16*s - 12. Let q be a(-5). Which is smaller: -706 or q?
q
Let y = -0.95 + 0.8. Let m = -0.05 + y. Which is bigger: 9 or m?
9
Let p be -44 - (32/48)/((-4)/(-6)). Which is bigger: -42 or p?
-42
Let j = -35 + 8. Let p = j - -25. Let v = -15 + p. Is v at most 0?
True
Let o = -3.5 - 124.5. Let s = -128 - o. Is s at least as big as 0.013?
False
Let j be (1*-1)/(42 - 41). Is -4/23 less than or equal to j?
False
Let x = -309 + 366. Let z = -4 + 5. Which is greater: x or z?
x
Let y be 940/15 - 3 - (-6)/18. Which is bigger: 47 or y?
y
Let n be ((-1)/(8/12))/(-3). Let p = -1028 - -1034. Which is bigger: n or p?
p
Let w = 141 + -140.9. Does w = 51?
False
Suppose -4*a + 2*d = 62, -4*d = 2*a - a + 11. Let p be 19 + a + (-4 - -1). Which is smaller: p or -4/93?
-4/93
Let a = -197.06 - -197. Let q = -11.16 + 11. Let i = a - q. Is i > 0.1?
False
Let k be (7 - 1) + 12/(-6). Let z(f) = f - 2. Let c be z(k). Let x(y) = -y**2 + 20*y + 1. Let p be x(20). Is p less than c?
True
Let z(k) = k + 7. Let w be z(-1). Suppose -2*b - 23 = -v - 2*v, -5*b - 3*v = 5. Let u be b/w + (-28)/(-63). Which is smaller: 1 or u?
u
Let d = 3.2 + 0.8. Let h = d - 3.6. Let c = -2680 + 2682. Which is bigger: h or c?
c
Let n be 1/2 + 3/6. Let t be n - (-1 + (-4)/(-3)). Let k(z) = z**3 + 5*z**2 + 6*z. Let u be k(-3). Is t bigger than u?
True
Let a(p) be the second derivative of p**4/24 - 5*p**3/6 - 3*p**2 - 4*p. Let q(t) be the first derivative of a(t). Let d be q(4). Is d < 0?
True
Let l = 794 + -795. Is -44/27 at least l?
False
Let s = -317 + 9821/31. Let r(c) = -c - 3. Let m be r(-2). Is m greater than s?
False
Let n = -3 - -3. Suppose -h = -5*l + 9, 2*h - h = -3*l + 7. Let f be (-7)/6*h*27/(-42). Which is greater: f or n?
f
Let z = 41 - 41.1. Which is bigger: z or 9/79?
9/79
Let g be 49/(-42) + (-2)/(-12). Let l be (2/4)/(g/(-46)). Which is smaller: l or 24?
l
Suppose 5*u - 2*v = 40, -40 = -0*u - 3*u - 2*v. Suppose -c - 2*o + u = o, -1 = 5*c - 2*o. Let r be (-366)/(-594) - (-2)/18. Which is smaller: c or r?
r
Let h = 0.4 + -2.3. Let t = h + 2.03. Is 2 less than t?
False
Suppose -24*j = 27*j. Let q = 18929/17 - 1117. Let p = q + 419/85. Is p at least j?
True
Let u(q) = 8*q - 5. Let k be u(3). Let d = -17 + k. Let s be 0/((-4 + 3)*d). Is -1/7 at most s?
True
Let d(r) = -2*r**2 - 10*r + 32. Let p be d(-7). Let q be -6*((-20)/32 + -1 - -1). Which is bigger: q or p?
p
Suppose 3*l + 4 = 16. Suppose i - 3*j = 153 + 39, 2*j = l*i - 738. Let q = -1827/10 + i. Is q at most as big as 1?
True
Suppose -f = -n - 4 + 37, n - 2*f - 28 = 0. Suppose -n = 10*b - 98. Is 5 != b?
True
Suppose -1054*k + 1033*k = -7371. Which is smaller: 352 or k?
k
Let b be (9 + -3)*(2 + (-82)/6). Let v = 68 + b. Is -4 greater than v?
False
Let m = -1365 - -1362. Is -48/11 greater than or equal to m?
False
Let p be ((-8)/(-32))/(-1 + 21/20). Suppose p*q + 12*q = 0. Is -2/17 at least q?
False
Suppose w = -3*w - 16. Let i be (-89)/(-13) - -3*6/117. Suppose -29 - i = 9*u. Do w and u have different values?
False
Let h(t) be the third derivative of 9*t**2 + 0*t + 0 + 0*t**3 + 1/120*t**6 + 1/10*t**5 - 1/6*t**4. Let p be h(-6). Is 24 at least as big as p?
True
Let n = 135 + -68. Let c = n + -369/5. Is -6 at least c?
True
Let l(i) = -3*i - 10. Let k be l(-4). Which is smaller: k or 68?
k
Let g = -160 - -137. Is -2 equal to g?
False
Suppose -q - 5 = -0*q. Let b be (6/8)/((-2)/(-8)) + -5. Let d be 0*b/4 + 110/(-22). Is d greater than or equal to q?
True
Let y(m) = -6*m**2 - 22*m - 20. Let j(u) = 7*u**2 + 23*u + 19. Let p(w) = 5*j(w) + 6*y(w). Let x be p(-17). Are x and -24 nonequal?
True
Let a(w) = -3*w**3 - 2*w - 3. Let x be a(-1). Let d be (94/(-3))/((-15)/9*x). Is 9 <= d?
True
Let w = 215 - 216. Do w and -3/59 have different values?
True
Let d be 2 - -3 - 12 - -7. Is -1/1400 smaller than d?
True
Let i be (-2)/(-8) - 74/72. Let w = 6 + -7. Which is smaller: i or w?
w
Suppose 3*i - 4*c - 225 = -57, -4*i + 246 = 2*c. Suppose 5*k - 11 - 59 = 2*w, 4*w = 5*k - i. Do k and 16 have the same value?
True
Let u(h) = h - 3. Let v be u(6). Let b be (v - 3)/(-1 - 0). Suppose -11*l + 1 = -10*l. Is b not equal to l?
True
Suppose 5*s + 0*l = -l - 51, 4*s + l = -40. Are s and 1 nonequal?
True
Let a(n) = 3*n + 77. Let o be a(-26). Does o = 1/11?
False
Let p = -2655 + 2682. Let w be 26 - -1*(2 - 0). Which is smaller: p or w?
p
Let v = -11 - -13. Let z(x) = 4*x - 2. Let p be z(v). Suppose -11*m = -p*m + 50. Which is greater: m or -9?
-9
Let h = 13 - 9. Let c be 11/2 - (-4)/(-8). Suppose -f - 11 = -2*i, c*i = -f - 3*f + 8. Are i and h equal?
True
Let a = 9 + -20. Which is greater: a or 2?
2
Let v = 971 - 905. Which is smaller: 61 or v?
61
Suppose -6 = -x + 4*x. Let y(s) = -2*s**3 - s**2 + 4*s + 5. Let v be y(x). Suppose w = 5*m - 1 - v, 0 = 2*w + 3*m - 32. Is w > 11?
False
Let r = 5/288 - 557/7200. Is r less than 1?
True
Let a = 57 + -13. Let u = a - 24. Let g be 4/u*-6*15. Is -19 not equal to g?
True
Let k be ((40/32)/5)/((-1)/(-4)). Let d be ((1 - k) + -2)*12/24. Let g be 2/(-2) - 14/(-18). Which is smaller: g or d?
d
Let y be 14/24 + (-3)/12. Let i = 6 - 6. Suppose 0 = -i*b + b + 4*t - 13, 7 = b + 2*t. Is b greater than y?
True
Suppose i = 4*m + 40, -4*m + 4*i + 0*i = 52. Let c be 2 - m/84 - (1 + 1). Which is smaller: c or 0?
0
Suppose -101*c = -93*c - 32. Suppose -2*i - 3*v + 7*v = -44, -4*i + 3*v = -73. Let a be (i/14)/(3/7). Do c and a have different values?
True
Let z(g) = 24*g**3 - 6*g**2 - 11*g - 13. Let k be z(-2). Does k = -205?
False
Let j = 17 + -12. Suppose z - 3 = -j*l, 4*z + 0*z - 12 = -l. Let c = 1180 + -17698/15. Which is bigger: l or c?
c
Let m be 1012/(-5520) + (-2)/30. Which is greater: 0.047 or m?
0.047
Let v be 1/7 - (-207)/21. Suppose v = o - 28. Is o not equal to 38?
False
Let h = -288 + 309. Which is greater: h or 20?
h
Suppose 5*a + 77 = 6*a. Let o be ((-3)/5 - a/(-70))/4. Is o at most as big as 0?
False
Let j = -106 + 103. Let k = 2 + -1. Let f be -4 + k + (-6)/j. Is f smaller than 13?
True
Let t = 45754529/165 + -277304. Let a = -4/165 - t. Let y be (-1 + 3/6)*-6. Is a > y?
True
Let c = 0.58 + -0.48. Which is smaller: c or 2/71?
2/71
Let j be -1*(-5)/(-10)*0. Is 17/63 at least j?
True
Let k = -789979649/15 + 52566044. Let m = k + 99230. Let y = m + 203/5. Which is smaller: y or -1?
-1
Suppose s + 3*s = 2*l + 2, -4*s = 4*l - 32. Suppose -4*y + 8*y + 353 = -f, -y - 80 = s*f. Which is smaller: y or -90?
-90
Let b(m) = 3*m + 0*m - m. Let h(t) = -t. Let n(c) = 2*b(c) + 3*h(c). Let l be n(3). Which is smaller: l or 0?
0
Suppose 1200 = 5*b - 5*k, -5*k - 275 - 205 = -2*b. Which is smaller: -2/9 or b?
-2/9
Let j(s) = s**3 - 7*s**2 - 8*s - 5. Let y be j(8). Let k be 4*((-666)/96 - -6). Which is smaller: k or y?
y
Let p = -6/25 + 43/75. Let d be (-1 + (-471)/(-39))/(3 - 5). Let q = -766/143 - d. Is p greater than q?
True
Let g be (-106)/(-28) - (-8)/(-12)*-3. Is g < 5?
False
Let g be -405 + -5 + (-2)/(-1). Let h = g - -20399/50. Is h > 1?
False
Let w = -64/37 - -613/333. Do 2/55 and w have different values?
True
Let c be (112/35)/(-8) - (-17)/5. Let g be (-1)/2*(-6)/(-1) - c. Is g at most -1?
True
Suppose r - 21 = 116. Suppose 2*i + d = 2*d + r, 2*d = 2. Suppose 6*l - i = -15. Is l less than 2?
False
Suppose 4*z + 32 = 5*n, 3*n + z - 3*z = 20. Let y be (0 + 1)/(-8*n). Is y greater than or equal to 0?
False
Let i be (129/78 + (-2)/13)*4. Suppose 0 = i*o - 15*o. Which is greater: o or 2/19?
2/19
Suppose -a + 5*a - 2*d - 10 = 0, 4*d = 4. Let y = 473/25 + -19. Let c = y + 183/100. Is c equal to a?
False
Suppose -72 = 