 - 10. Let o = 5 - s. Does o = 0.1?
False
Let i(l) = 19*l - 13. Let p be i(2). Let c(b) = -4*b - 28. Let q be c(-13). Is q greater than or equal to p?
False
Suppose 11 = 3*x - 2*x. Suppose -f = x - 31. Suppose 5*o = 5*b + f, -5 - 3 = -5*o + b. Which is smaller: o or 9/10?
9/10
Let s(q) = -q + 4. Let y(a) = -a + 5. Let r(b) = -4*s(b) + 3*y(b). Let j be r(3). Let f = 181 + -180. Which is smaller: j or f?
f
Let r = -22.5 - 4.5. Let c = -46 - -45. Are c and r nonequal?
True
Let d(v) = -4*v**2 - 10*v + 7. Let b be d(-5). Let j = -6635/3 - -2254. Let c = j + b. Does c = -1?
False
Let v be 12*(3 + (-5)/2). Let b be v/(-4)*6/(-9). Let r = -40/11 + 244/55. Is b greater than or equal to r?
True
Let a = 29 - 25. Suppose 0 = -a*p - 0 + 4. Is p < -1/35?
False
Let t = -312 - -308. Let u = -2.4 - -2. Which is smaller: t or u?
t
Let g(l) be the third derivative of l**4/6 + l**3 + 4*l**2. Let t be g(-3). Let v be (6/56)/(t/21). Do -1 and v have different values?
True
Let x = -51 + 49. Let t be 4/((-3)/30*x). Which is smaller: 22 or t?
t
Let v be (2/76)/(10*2/300). Which is smaller: -1 or v?
-1
Let g = -4.0473 - -4. Is g > 1?
False
Let k = 0.47 + -0.5. Let h = 2.03 + k. Let n = h + 0. Which is greater: -0.4 or n?
n
Let v = -1.24 + 60.24. Let q = 59 - v. Let i = -0.7 + 1.3. Which is bigger: q or i?
i
Suppose -180 = 17*q - 10. Which is smaller: -17 or q?
-17
Let g(i) = -i**2 + 6*i + 11. Let v be g(7). Suppose 0 = -3*x + 3 + 6. Suppose -15 = -5*b - 0*f + 2*f, -b + 5*f = -x. Is v smaller than b?
False
Suppose t + 23 = -4*q + 2*t, 4*t - 7 = -q. Let m(c) = -c**2 - 8*c - 12. Let h be m(q). Which is bigger: -5 or h?
h
Let w = -44.6 - -68.5. Let p = w + -36. Let o = 12 + p. Which is smaller: o or 0?
o
Let s(b) = b + 1. Suppose 5*i = 4*k + 38, -k - 3*i + 13 = -2*k. Let o(h) = -2*h - 2. Let t(g) = k*s(g) - 3*o(g). Let z be t(-2). Which is smaller: 1/2 or z?
1/2
Let w = -739 - -641. Is -1 greater than w?
True
Let k be (-34)/323 - (-3593)/19. Is 189 smaller than k?
False
Let j = -7 - 15. Let b = -21 - j. Does b = 2/25?
False
Let h be (3 - 525/6) + (-2)/(-4). Let c be 246/5 - h/105. Is 49 at least as big as c?
False
Let q be 1 - ((-615)/(-185))/3. Is 1 >= q?
True
Let c = 1.95 + -1.9. Let k = 13.05 - c. Let o = k - 6. Is -2 at least o?
False
Let t = 52/79 - 3625/4187. Does t = -1?
False
Let q be ((-34)/(-18))/1 - 1. Suppose 3*f = -3*m + 3, -2*f = -3*m + f + 21. Suppose v + 8 = 2*r, -3*v - m + 0 = -2*r. Which is smaller: q or v?
q
Let z be (14/42)/((-1)/63). Which is smaller: -10 or z?
z
Let y = -22.85 + -9.6. Let q = y - 0.55. Let z = 32.7 + q. Is z greater than or equal to -0.4?
True
Suppose 86*d - 93*d = -14. Which is smaller: d or -109?
-109
Suppose 3*s = 0, 2*a + 4*s - 22 = s. Suppose a*b - 13*b = 8. Let w = -8 + b. Which is greater: w or -13?
w
Let b(o) = o**3 + 13*o**2 - 2*o - 12. Let t be b(-13). Let u be (-3)/18*2 - t/(-18). Is -2/7 greater than or equal to u?
False
Let z = 2864 - 2864. Which is greater: z or -1/96?
z
Let b = -0.1 - -0.2. Let f = 0.3 - b. Let d = 1464 + -1473. Which is greater: f or d?
f
Let o = -15061/1644 + -3/548. Which is smaller: o or -8?
o
Suppose -3 = -y + 1. Let n(j) = -3*j**2 - 9*j**2 + 13*j**2 - 2*j - 2*j. Let k be n(y). Is k at most as big as -1?
False
Suppose 4*h + 3 + 9 = 4*p, -11 = 2*h - 3*p. Suppose -h*l + 2 = -2*d, -6 = -3*d - 15. Let i(m) = -m**2 + 7*m + 1. Let g be i(8). Is l at most as big as g?
False
Suppose -536 = -9*p + p. Let a = -471/7 + p. Is -1 at most a?
True
Let h = 1083.7 - 1169. Let n = -85 - h. Is 7 > n?
True
Let p be (-2 - 1880/(-12)) + 2/6. Are 155 and p equal?
True
Suppose -4*r - 2*m + 358 = 0, -276 = -4*r + r - 4*m. Is r >= 1/6?
True
Let u = -6 + 10. Let r be -66*(-2)/(u/(-2)). Let b be -2 + 68*(-2)/r. Is 1 less than or equal to b?
False
Let y = -26009/39 - -667. Which is greater: 1 or y?
1
Let m be -5 + 5 + 3 + 1*-3. Let l(c) = -c**3 - 6*c**2. Suppose -18 = -w + 4*w. Let s be l(w). Is m greater than s?
False
Suppose -5*v + 16 + 1 = -3*h, 2*h = -3*v - 5. Suppose -3*n + 22 + 20 = 0. Suppose 3*d - 4*y = -n, 5*d - 3 - 2 = y. Is v <= d?
True
Suppose -211 + 43 = 2*i. Let a be 10/30 + 85/i. Let x = 3/7 + a. Is 2 at least x?
True
Let i be 3 + (-4875)/696 + 4. Which is greater: i or -1?
i
Let q(y) = -y**3 - 31*y**2 + 2*y - 133. Let j be q(-31). Is j bigger than -194?
False
Let l = -0.056 - -0.156. Suppose -4*p + 3*p - 24 = 0. Let s be ((-1)/15)/(8/p). Which is smaller: l or s?
l
Let t = -2182960 + -2293319. Let z = t + 138777450/31. Let y = z - 413. Which is smaller: -1 or y?
-1
Suppose -29*a + 132 = -26*a. Which is smaller: a or -2?
-2
Let a be (6/7)/((-4)/252). Let r = a + 99. Which is bigger: 44 or r?
r
Suppose 114 = 9*j - 57. Suppose -25 = -n - j. Let r = 0.1 + -0.1. Which is smaller: r or n?
r
Let u = -1495 + 1042. Which is smaller: u or 0?
u
Let p = -1/142 - 2807/4686. Let c = -2/33 + p. Is 0.05 smaller than c?
False
Let g be 1*-2 + (-51448)/(-23540). Let y = 2/535 - g. Suppose 0 = 3*r + n - 2, 5*r - r - n = 5. Is r bigger than y?
True
Suppose o = 2*o + 91. Let g = o - -103. Are 9 and g nonequal?
True
Let l(q) = -13*q + 200. Let n be l(27). Which is smaller: -154 or n?
-154
Let n = 26 - -7. Suppose -n = -5*t - 8. Let b be -1*1/9*t. Which is smaller: b or -2?
-2
Let y be 1 + (-1)/2*-1. Let j(x) = -6*x + 115. Let f be j(19). Which is greater: f or y?
y
Let l(x) = x**3 - 10*x**2 - 10*x - 8. Let k be l(11). Let m be 19 + (-5)/(-2) + k/6. Is 23 at most as big as m?
False
Let w = 2 - 4.1. Let z = w - -0.1. Let c = -4 + 6. Which is bigger: z or c?
c
Let n be 0 + (-2 - -3 - (8 + -6)). Are n and -2/125 non-equal?
True
Let t be 1 + 2/(-4)*-6. Let x be (-3)/18*3/(-6)*44. Is t != x?
True
Suppose 4*t = -y - 25, -2*t + 4*y = 3*t + 47. Let n = -12 - -20. Let g = n + -7. Which is bigger: t or g?
g
Let y(l) = -l**3 + 44*l**2 - 90*l - 217. Let s be y(42). Do -1/3 and s have the same value?
False
Let m = 155129/73 + -2125. Is 0 at least as big as m?
False
Suppose 37*l + 4 = -70. Let c = 509/17 + -31. Which is smaller: l or c?
l
Suppose 3*r - 15 = 3*d, -5*r = -r + 3*d - 6. Let m be (2/r*18)/(0 + -1). Which is bigger: 1 or m?
1
Suppose 2*h + 4*v = 3*v - 521, 5*h + 4*v + 1295 = 0. Is -263 at least h?
True
Let v = -109 + 108. Is 8.3 < v?
False
Suppose 0 = -47*a + 4*a. Suppose -5 + 1 = 2*s, -4*v + 24 = -4*s. Let f be 6/14*v/(-6). Which is bigger: a or f?
a
Let d = -21 + 9. Let v = 10 + d. Let n be -1*2*v/(-4). Which is greater: 1/5 or n?
1/5
Let t be (0 - -8)*(-15)/(-84). Let q be 975/1820 - 2/7. Which is smaller: q or t?
q
Let m = -16 + 21. Suppose -21 = -8*x + 3*x - r, -5*x + m*r + 45 = 0. Suppose 45 = -0*u + x*u. Which is smaller: 10 or u?
u
Let b = 52 - 100. Let v = b + 26. Let a = 19 + v. Which is smaller: -1/3 or a?
a
Let d = -44 - -92. Do 3 and d have the same value?
False
Suppose 3*i + 62 = -52. Let b be (-8)/(-28) + i/(-14). Let v(t) = -t**2 - 19*t + 186. Let c be v(7). Is c != b?
True
Let q = 534/85 + -2124/85. Which is bigger: q or -20?
q
Let s be 5/(-15*(-4)/24). Suppose -2*d - 2*j = 4, 0 = 4*d + d - 4*j - 35. Do d and s have the same value?
False
Let x = -402.9 + 403. Which is bigger: -22.5 or x?
x
Let i(t) = t**3 + 3*t**2 - 5*t - 2. Let v = -8 - -13. Suppose 4 = -v*s + 4*s. Let f be i(s). Is -1 at most as big as f?
True
Suppose -17*o - 392 = 11*o. Let p be (20/(-240))/((-1)/(-3)). Is p bigger than o?
True
Let f be (1 - 2 - 0) + (10 - 9). Which is bigger: 5/4 or f?
5/4
Let s(q) = -42*q - 39. Let c be s(0). Is c less than -46?
False
Let p be ((-102)/(-15))/(3*(-2)/30). Which is smaller: p or -17?
p
Suppose 0 = 10*s + 120 + 220. Which is greater: s or -5?
-5
Let q(p) = p + 9. Let y = 8 + -19. Let l be q(y). Let v be 104/32 - (1 - l). Is -9 > v?
False
Let m be 2/5*2756/(-8). Let u = 139 + m. Which is greater: 1 or u?
u
Let q be (-134)/335 + 7/5. Let u be 3 - (3 + 3/(-75)). Which is smaller: q or u?
u
Let j = -149/390 - -4/15. Is 1 smaller than j?
False
Let z be 1/((3 + 1)/4). Let c(d) = 17*d**3 - d**2 - 2*d + 2. Let a be c(z). Let o = 13 - a. Is -13/5 at most as big as o?
False
Let f(x) = -153*x**2 + 21*x + 20. Let c be f(-1). Are -151 and c unequal?
True
Suppose 11*b = 6*b - 3*h - 37, 5*b - 3*h = -13. Let p be -2*(50/(-4))/(-5). Are b and p non-equal?
False
Let o be 1/(-5)*(-109 + -17)/(-18). Let v = 1 + -5. Let y = v + 3. Is 