e (-16)/(-2)*(-10)/20. Let a be 12/(v*(-5)/(-10)). Is a smaller than -5?
True
Let o be (-12)/2*(-5)/2. Suppose -109 = -35*l + 451. Is l != o?
True
Let r = 160/633 - -56851/43044. Let p = 51069/476 - r. Let m = p - 106. Is m smaller than -1?
False
Let s = 0.54 - -3.86. Which is bigger: s or -1?
s
Let w = 84.4 + -89. Let z = w - -4.5. Which is smaller: z or 10?
z
Let w = -87.6 + 88.6. Which is smaller: w or -2/111?
-2/111
Let u = 394 - 517. Which is smaller: u or -118?
u
Let b = 4.8 - 3.5. Let l = b + -1.4. Let m = -3 - -3.1. Is l <= m?
True
Suppose z + x + 492 = -394, 0 = 2*z - 5*x + 1800. Is -889 <= z?
False
Let m be (-2)/((-4)/(-2)) + (-2)/(-2). Let p be (-1 - -3)/((-8)/20). Let v = -3 - p. Is m greater than or equal to v?
False
Let q = 106 - 99. Do q and -3/5 have different values?
True
Let k = 19 - 7. Let w = -11.78 + k. Let f = w - 0.12. Are -2 and f nonequal?
True
Let q = -5 + 5.6. Let s = 46 + -45.6. Let i = q + s. Is i not equal to 3?
True
Let y = -5.1 - 3.9. Which is greater: y or 11?
11
Suppose -216 = 5*c - 3*c. Let v be 9/c*(-6)/(-4). Let q be (-5)/(-2) - ((12 - 4) + -5). Which is smaller: v or q?
q
Suppose n - 4*n = 207. Let c = 50 + n. Which is bigger: -18 or c?
-18
Suppose -4*a - 673 = -5*f, -37*a - 540 = -4*f - 33*a. Is f >= -2/3?
True
Let z = -12627 + 12832.87. Let j = z + -208. Let d = 0.13 + j. Which is greater: d or -2/5?
-2/5
Let f = 4.8 - 5. Let u = 0.3 + -0.5. Let k = f - u. Is -3 != k?
True
Let q = -86859/131 + 663. Which is smaller: 1 or q?
q
Let q = 10 - 20. Let a be (-35)/q + (-3)/2. Suppose -a*j = -f - 12, 0*f = -2*j + 4*f + 18. Is 11/3 bigger than j?
False
Suppose 0 = 3*x - 530 + 533. Let d = 954 - 58196/61. Is x smaller than d?
True
Suppose 3*h = 3*q + q - 75, 0 = -h - 4*q - 9. Suppose 0*w = 3*o - 2*w + 49, -3*w - 50 = 2*o. Do o and h have different values?
True
Let x = -23 - -22.62. Let d = -28.38 - x. Let t = d - -28.11. Are t and -1/3 nonequal?
True
Suppose -3*u - 6 = 4*k - 31, 5*k = -2*u + 26. Suppose 0 = 3*c + 5*i - 10, 2*c + u*i = 5*i - 4. Is -1 not equal to c?
True
Let g = 68.9 - 59.9. Which is smaller: 6/11 or g?
6/11
Let b = 1 - 31. Let j = b + 29. Which is smaller: -30 or j?
-30
Let m(n) = 3*n**3 - 9*n**2 + 2*n + 16. Let o(k) = -4*k**3 + 8*k**2 - 3*k - 15. Let p(q) = 3*m(q) + 2*o(q). Let c be p(11). Is -0.1 < c?
True
Let v = -753 - -782. Which is smaller: 2/15 or v?
2/15
Suppose a + 11 = -2*k, -6*a + 21 = -2*a - 5*k. Which is bigger: a or -1/345?
-1/345
Let f = -121 + 603/5. Let a = 1/5964 - 3894497/29820. Let p = a + 131. Which is smaller: f or p?
f
Let s be 130/35 + 4/14. Let g be (35092/s)/((-22)/(-2)). Let m = -797 + g. Which is smaller: 0 or m?
0
Let s = 67/166231 - 688922435/151768903. Let y = s + -6/913. Which is bigger: y or -6?
y
Suppose 0 = -4*z - 4*j - 8, -2*z - 5*j = -0*z + 10. Suppose 0 = 32*n - 15*n - 119. Do z and n have the same value?
False
Let r = -209 - -380. Let h = -165.82 + r. Let d = -0.18 + h. Which is smaller: d or 2?
2
Suppose -2*s - 17 = 2*l + 7, 0 = 3*l - 2*s + 51. Let u = 54 + l. Do u and 39 have different values?
False
Let z = -52 - -30. Which is greater: -65/3 or z?
-65/3
Let x = 44 - 25. Let o = -19.2 + x. Is 2 less than or equal to o?
False
Suppose 0 = -30*d + 31*d - 6. Let m be (d/(-4))/((-2)/4). Which is smaller: 17 or m?
m
Let q be (-7)/(-3) - (1 + 0)*-1. Is q at least 2?
True
Suppose 23 = -s - 3*z + 7*z, -20 = -5*z. Let a be s/((-28)/(-108)) - -3. Which is bigger: -25 or a?
a
Let x be -3*(-1)/(-2)*-2. Let u be 2 + x*(0 - -1). Suppose -u*b = -5*j - 45, 3*b + 13 = 3*j + 8*b. Do -1 and j have the same value?
False
Suppose -2*n - 9 = -r, 0 = 7*r - 2*r + 2*n + 15. Let f = r + 5. Suppose -f*g + 4 + 4 = 0. Is g smaller than -0.5?
False
Let y be (4/34)/(21/(-15) - -1). Let b = y + 99/221. Which is smaller: -1 or b?
-1
Let l = 6 - 4. Let a = 1 - l. Let w = 8 + -1. Are w and a nonequal?
True
Suppose 52*x = 61*x + 9. Is x less than -2/1395?
True
Suppose 0 = -4*f + 6 + 2. Suppose m - 3 = -f. Suppose -b = -0*b - 1. Do m and b have different values?
False
Let b = 2529 - 2611. Is -83 > b?
False
Let q = -229 - -242. Which is smaller: -1.7 or q?
-1.7
Let j(f) be the second derivative of -f**4/6 + 43*f**3/6 - 15*f**2 + 13*f. Let g be j(21). Which is greater: -11 or g?
g
Let m(o) = -6*o + 115. Let j be m(21). Which is bigger: -14 or j?
j
Let g = 2/125 - -228/1375. Let z = 5 + -5. Which is greater: g or z?
g
Let y = -2.93 + 2.97. Is -0.06 < y?
True
Let b = -281 + 279.39. Let j = b + -0.39. Which is greater: 0.33 or j?
0.33
Suppose 0 = -4*p + 9 - 25. Let m(r) = -5*r - 16. Let a be m(p). Which is smaller: a or 6?
a
Suppose 4*w - 18 = d - 0, -w = -5. Suppose -d*m + 46 - 14 = 0. Let v = m - 14. Which is smaller: v or 9/4?
v
Let j = -3 - -8. Suppose 3 = 4*t - j. Suppose 3*v = t*v + 4*m + 6, 4*v = -3*m + 5. Is 3 < v?
False
Let n = -0.168 - 2.832. Which is bigger: n or -1.62?
-1.62
Suppose -5*j + 4*f - 560 = 0, -j - 5*f - 112 = -0*j. Let v be 16/(-48) + j/(-30). Is v equal to 3?
False
Let z = 0.24 - -1.46. Let a = 2.7 - z. Which is greater: a or 3?
3
Let m be (-16480)/(-1040) + 4/26. Suppose -2*r - 12 = -n - 3*r, 0 = 2*n - 5*r - 52. Is m at most n?
True
Let z = -0.0096 + 55.0096. Is 0.05 less than or equal to z?
True
Let a = -0.26 - 0.06. Let o = a - -1.32. Is o <= 6?
True
Let l be (-17 - -12)*8/(-10). Suppose 3 = -l*n + d, -n - 16 = -3*n + 4*d. Is -9/10 at most as big as n?
False
Let u be 0 + 2 - (-240)/10. Suppose 3*h = 5*y - 26, 2*y + h - u = -3*h. Suppose -g = -2*b + 2*g + 15, b - 4*g - 10 = 0. Which is smaller: b or y?
b
Let j(i) = -2*i**2 - 34*i - 99. Let p be j(-5). Is p > 21?
False
Let w be (-63)/(-4)*5992/(-161). Let k = w - -586. Is k smaller than -1?
False
Let k = -21/17 + -347/187. Is 2/7 at most as big as k?
False
Let j(u) = u**3 + 13*u**2 + 15*u - 15. Let s be j(-12). Let r be 26/10 - s/(-85). Suppose -r*i = -3*f + 19, -f + 5*i = 1 - 3. Is 8 at least as big as f?
True
Let n = -2236 - -2233. Is 46.8 smaller than n?
False
Let h(w) = 78*w - 1. Let b be h(0). Are b and 4/37 equal?
False
Suppose -14*t = -26*t + 48. Which is bigger: t or 63/22?
t
Suppose 3*d = 3*t + 9, -3*t + 2*d + 0 = 5. Which is smaller: 2/583 or t?
2/583
Let q = 0.049 - 0.049. Let n be (-12)/(-30) + 4/(-10). Let h be (-1)/(n - (-3)/33). Which is smaller: q or h?
h
Let y(j) = j**2 + 16*j - 21. Let u be y(-18). Let o be (-30)/u*((-7)/(-2) + 0). Which is bigger: -5 or o?
-5
Suppose 0 = n + g - 6, 0*n + g = -3*n + 10. Is 7/12 > n?
False
Let k be ((-9)/(-4))/(8/(-12)). Let u = -21/8 - k. Is 2 smaller than u?
False
Let h = -8 - -2. Let j be h/(-9)*(-6)/2. Is j > -2?
False
Suppose 1 = -z, -4*w + 9 = 2*z - 7*z. Let p(g) = -g**2 + 9*g + 15. Let j be p(9). Let m be (-18)/j*4 - -5. Is w less than or equal to m?
False
Let k = -6497/172 + 151/4. Let a be (-4 + (-2135)/(-645))/(-2 + 1). Let s = k + a. Which is bigger: s or 1?
1
Let j(n) = n**2 - 1. Let d be j(-2). Suppose 3*s - 90 = -0*s - d*k, -4 = -k. Do 27 and s have different values?
True
Let v(f) = 3*f. Let d(t) = -7*t - 1. Let l(y) = -4*d(y) - 9*v(y). Let w be l(-5). Is w >= 1/19?
False
Suppose 5*q - 8 = w, -4 = -4*q - 0*w + 2*w. Let a = 31/70 - -2/35. Are a and q unequal?
True
Let b = 122 - 120. Suppose 16 = 2*q + 6. Is b > q?
False
Let b = 2014 - 6104/3. Which is smaller: b or -1/5?
b
Let l(v) = v - 2. Let y(p) = -p**2 - 5*p. Let k be y(-5). Let s be l(k). Is s < -1?
True
Let q = -350 - -440. Is 90 > q?
False
Let f be 8 + -27 - 2/(-2). Let a be 333/6 + f/12. Let p be (-36)/a - 74/(-102). Which is bigger: 1 or p?
1
Let t = 11 - -3. Let q = t - 14. Is -26 <= q?
True
Let a(n) = n**3 + 23*n**2 + 21*n - 20. Let u be a(-22). Does 54/17 = u?
False
Suppose -2*o + 3*p = 2*o - 15, -4*o - 5*p = 25. Suppose 61 = -b - o*b + q, -2*b = -q + 127. Is b greater than -65?
False
Let w be (-17)/(-2)*(0 - -2). Let k(d) = d**2 + 54*d + 383. Let j be k(-46). Which is greater: j or w?
w
Suppose 0 = -4*q - 4*i + 20, -q + 2*i + 14 = 3*q. Suppose 0 = -2*w + 5*s - 7, q*w - 16 - 12 = -4*s. Suppose w*a + 3*g = -0*g - 20, -a - 5 = -5*g. Is -5 <= a?
True
Suppose 0 = -4*u - 4*r + 516, -2*u - 19*r = -22*r - 238. Is 2 greater than or equal to u?
False
Suppose 5*t + 253 = 33. Let s = -368 - -325. Are s and t unequal?
True
Let u = -0.042 - -0.372. Let r = 8.33 - u. Which is greater: 1/3 or r?
r
Let w be 4/(