 + 0*h - 5*h - 14 = 0. Which is bigger: m or i?
i
Suppose -z + 2*z + 4 = -4*d, -3*z = 3*d + 3. Let p be d + (-66)/63*-1. Which is bigger: 0.1 or p?
0.1
Let q = 1299 + -1298.8. Let l = 3/17 + 5/68. Is l at least as big as q?
True
Let a = -36.8 - 9.2. Let w = 48 + a. Are 3/7 and w non-equal?
True
Let k = -878 - -11398/13. Which is bigger: k or 1?
1
Let d be (-25)/(-45)*6/20. Let x = -7 - -13. Is d less than x?
True
Let p be 8*(2427/(-606) + (8 - 4)). Is -1 at least p?
False
Let d be (15/(-6) + 2)*-6. Suppose -8 = -d*q - q. Let x = 2 - q. Which is greater: -8/7 or x?
x
Let m = -266 + 349. Which is greater: m or 0.1?
m
Suppose 6*l - 12 = 6. Suppose -c = m + 2*c + l, 2*m + 3*c = 0. Let r be -4 + (m - 0/(-1)). Is -6/13 < r?
False
Let l = -524 - -114754/219. Let a = -428/1095 + l. Which is smaller: 4/5 or a?
a
Let r be (0/(0 + -3))/(-5 + 8). Let m be (-2 + (-5)/(-2))*4. Are m and r equal?
False
Let t(s) = s**3 - 5*s**2 + 2*s + 9. Let d be t(4). Suppose -2*u + 5*q - 8 = 0, 4*q - d - 15 = 0. Let r = 2 - -2. Which is smaller: r or u?
r
Let a = -956 + 1731. Which is smaller: 774 or a?
774
Suppose 2898 = -3*i + 3*z, i + 379 = -z - 583. Which is smaller: -963 or i?
i
Let o = 11.19 + -11. Let x = -1.52 - -1.3. Let f = x + o. Is f >= 0.1?
False
Let r be 46/22*(-3 + -7) - 2. Let z = r + 24. Which is greater: 1 or z?
z
Suppose 6 = 2*j - 8. Let m be (-27)/j + (-9)/63 + 2. Do m and -5/9 have the same value?
False
Let f = -193121/20566 - -9/1582. Which is bigger: f or -10?
f
Let l(r) = -44*r**3 - r**2 + 4*r - 2. Let a be l(1). Let d = 80 - 124. Does a = d?
False
Let t(d) be the first derivative of d**4/4 + 2*d**3/3 - d**2/2 - 31*d + 9. Let k be t(0). Is -31 bigger than k?
False
Let s = 1/2392 - 124387/7176. Let b = 274 + -292. Which is smaller: s or b?
b
Let g = 22.05 - 22. Let k = g + 0.95. Is k at least as big as -14?
True
Let w = 16 + -18. Let f be (1/2)/(w/32). Is f less than -8?
False
Suppose -y = -3*y + 2*f + 6, 3*f = 0. Suppose -3*q = y*q + 402. Which is greater: q or -66?
-66
Let q = 2018595/77 + -26215. Is 2 at least q?
True
Let l = -1005 + 694. Which is greater: -312 or l?
l
Let d = -44.27 + 44. Let h = -0.15 + 0.18. Let c = h - d. Which is smaller: -2 or c?
-2
Let d = -2.3 + 3.3. Let q = 0.3 + 0.7. Let f = q + 1. Which is bigger: d or f?
f
Let l(c) = -2*c**2 - 97*c - 10. Let f be l(-4). Do f and 345 have different values?
True
Suppose -3*z = -0*z + 204. Let a = -68 - z. Let c = -724 + 26786/37. Which is bigger: a or c?
a
Suppose -2*y = 3*s - 99, -3*y - 178 + 13 = -5*s. Let a be ((-6)/s)/(5 - 0). Which is smaller: a or 0?
a
Let t be 4/(((-4)/(-16))/(12/32)). Let n be ((-30)/(-18))/(2/t). Which is greater: n or -0.7?
n
Suppose -6 = -2*v - 3*o, v = -0*v + 5*o - 23. Let b be (-33)/(-12) + v + 0. Let h = -8 + 7. Which is smaller: h or b?
h
Let g(y) = -y**3 - 7*y**2 - 2*y + 5. Let k = 17 - 9. Let i = k + -13. Let h be g(i). Is -35 > h?
False
Suppose 2*x + 0*z = -2*z + 12, -5*x + 2*z + 2 = 0. Suppose 2*t = -x + 18. Which is greater: 10 or t?
10
Let s(q) = q**3 + 16*q**2 - 15*q + 33. Let r be s(-17). Is 7/17 at most as big as r?
False
Let h(x) be the second derivative of x**5/20 + 7*x**4/6 - x**3/6 - 11*x**2/2 + 3*x. Let v be h(-14). Suppose -8 = c - v*c. Is c smaller than 4?
False
Let k = 11 - 11. Let j be (1 - k)/((-14)/(-42)). Suppose -i + 3*u = -2*i, -u = -j*i. Which is bigger: 0.05 or i?
0.05
Let m = 2210 + -1349. Are m and 0 equal?
False
Suppose 164*x - 168*x = -24. Let j be ((-84)/(-10))/(2/(80/x)). Which is bigger: j or 57?
57
Suppose -296 = -9*l + 37. Let d = -0.24 + 0.04. Which is smaller: l or d?
d
Suppose -2*s - 6 = 10. Let h be -4 + (-4)/(-6)*-6. Let v(t) = t**2 + 9*t - 1. Let q be v(h). Which is smaller: s or q?
q
Let y = 3.2457 - -0.0543. Is y greater than or equal to 4/11?
True
Let i = 31 - 45. Let b = 4 + i. Suppose 4*t - 3 = -47. Which is bigger: b or t?
b
Let f(u) = u + 10. Let y be f(-8). Let c = -3.47 + -0.23. Let h = c + -1.3. Which is smaller: y or h?
h
Let i = 56 + -58.1. Let v = i - -2. Is v > -6/5?
True
Suppose s + 2*b = 8 + 225, 5*s - 5*b - 1135 = 0. Which is bigger: s or 228?
s
Suppose 37 = -5*a + u, -5*a - 47 = -a + 5*u. Let r = -11 - a. Let p = r + -5. Is -8 less than p?
False
Let f = 9.37 - -0.53. Let i = f - 10. Which is greater: -13/3 or i?
i
Suppose -9*k + 155 = -4*k. Let g(w) = 3*w**2 - w. Let j be g(-3). Which is smaller: j or k?
j
Let l = -26 - -26.14. Let f = l + 2.86. Which is greater: f or -4?
f
Let p = -1249 + 1249. Which is greater: 1/529 or p?
1/529
Let k = -19 + 21. Let s be 7 + 1 + (-8)/k. Suppose -s*x = -2*n - 8, -7*n + 3*n = -5*x + 7. Is n < 3/8?
False
Let u(q) = -10*q**2 + 5*q - 2. Let m be u(4). Let i be m/146 - (3 + -4). Which is smaller: i or -1?
-1
Suppose 48 - 11 = -s - 4*u, 5*s - 5*u = -60. Let w be s/(-26) + 4/(-8). Let t be 0/(-2 - 3*-1). Which is smaller: w or t?
t
Let o = 976 + -975. Which is smaller: 420 or o?
o
Let d = -688/355 - -2068874/1065. Let i = d + -1924. Let z = i - 18. Do -2 and z have the same value?
False
Suppose 12 = 4*c - 3*a, 4*a + 9 = -7. Suppose c = 2*t - 90 + 24. Is t < 32?
False
Let d = -3971 - -2906. Which is bigger: -1066 or d?
d
Let c = -1/110 - -227/770. Is c smaller than 15?
True
Let b = 56 + 54. Suppose 0 = -281*o + 228*o + 5883. Which is bigger: o or b?
o
Let k = 2.88 - -0.12. Let u = 138.7 + -152. Let t = 13 + u. Are k and t non-equal?
True
Let p = 133 + -438. Which is bigger: 0.1 or p?
0.1
Let b be (-2)/(-5)*50/12. Let r be (-1)/4 + (-20)/(-16). Suppose -r = 3*a - 4. Which is smaller: a or b?
a
Suppose 5*t - 8*t - 168 = 0. Let z = 55 + t. Which is bigger: z or -1/7?
-1/7
Let h(u) be the third derivative of u**6/120 + 2*u**5/15 - 7*u**4/12 + 4*u**3/3 - 3*u**2. Let j be h(-10). Let r be -2 - -5 - j/(-18). Is 0 at most as big as r?
True
Let h be (20/(-15))/((-4)/138). Suppose -l + h = 5*j + 2*l, 25 = 2*j - l. Suppose 0 = -9*u + j*u + 4. Which is greater: -5 or u?
u
Suppose 2*l = -r + 6 + 4, -r = -5*l - 3. Suppose 4*a + r = 5*a. Is a >= 10?
False
Let n be 15494/61*((-3)/(-6) + 0). Which is bigger: -0.2 or n?
n
Let c be 3*1*1/(-3). Suppose -3*p = p - 8. Let n(w) = w**3 - 3*w**2 + 2*w - 3. Let r be n(p). Which is greater: r or c?
c
Let k(n) = -4*n**2 - 11*n + 4. Let a(f) = -3*f**2 - 10*f + 4. Let t(l) = -5*a(l) + 4*k(l). Let q be t(6). Let h be 5/20 - 3/q. Is 1 at least h?
True
Let u = 0 - -2. Let t be (-3)/(-18)*10/11. Let k = t - -50/33. Are u and k non-equal?
True
Let p = 0.19 + -0.09. Let q(t) = 19*t**2 - 133*t. Let u be q(7). Do p and u have different values?
True
Let f(s) = s**2 - s - 2. Let w be f(-1). Which is greater: -1/103 or w?
w
Let x(h) = h - 18. Suppose -u = u. Let o be x(u). Let q = o + 15. Which is smaller: q or 0.1?
q
Let y = -9.067 - -0.067. Let w = 8.84 + y. Are w and 0.2 equal?
False
Let l = -230/3 + 76. Let r = -8 + -5/2. Let u = r - -165/14. Is u at most as big as l?
False
Suppose 0 = -3*a - 1 - 2. Let k = -853/3 - -4268/15. Is k bigger than a?
True
Suppose 0*r - 32 = -8*r. Suppose 72 = r*p + 5*p. Which is bigger: 10 or p?
10
Let h = 246662509/1513717308 - 581/203129. Let b = 17/92 - h. Which is smaller: -1 or b?
-1
Let j(p) = 0*p**3 + 3*p**3 - 4*p**3 - p + 1. Let g be j(2). Let f = -20 + 12. Is g less than f?
True
Suppose 2*c + c - 2*m = -10, 0 = 4*m - 8. Which is greater: c or 54?
54
Let n(v) = -v. Let x(h) = h**2 + 5*h - 3. Let s(f) = -4*n(f) - x(f). Let b be s(5). Which is bigger: -26 or b?
-26
Let w be (-5 - -4) + ((-4474)/(-364) - 0). Let l = -171/14 + w. Which is greater: -2 or l?
l
Suppose -3*b + 2*m = -20, 0 = 5*b - 0*m - 4*m - 30. Are b and 12 equal?
False
Let g = -177 - -187. Is -6 >= g?
False
Suppose -m - 425 = -5*i - 5*m, -5*m = -2*i + 170. Is i <= 85?
True
Let o = 0.5 - 2.8. Let c = o + 1. Do c and 3 have different values?
True
Let y(q) = q**3 + 6*q**2 - 3*q - 5. Let b be y(-6). Suppose 5*t + 4*z - 12 = 0, 2*z + 15 = t + 7*z. Suppose t = -5*p - b + 53. Which is smaller: p or 0?
0
Let n be 3/2 + 708/24. Suppose 4*k - 5*j = 41, 2*k + 5*j = -2*k + n. Suppose 5*t = k*t. Is -1 not equal to t?
True
Let i = 6 - -3. Let j = 4796/7 - 683. Let n = j - -75/14. Which is greater: i or n?
i
Suppose 8*s = 180 + 372. Suppose 2*q + 28 = 2*v, s = -5*q + 4*v - 0. Is q at most as big as -12?
True
Suppose 0 = 5*l - 15, 3*l + 407 = 4*c + 8*l. Which is bigger: 