+ 18 = -2*q. Suppose 4*g - 14 = d, -4*d + 7*d = -3*g + q. Let b be ((-2)/(-4))/(d/4). Is 3 at least as big as b?
True
Let g = -0.01 + 1.01. Let m = 196.98 - 195. Let j = m - -0.02. Which is greater: g or j?
j
Let l = -2.8 + 1.8. Which is smaller: l or 19?
l
Let s be 315/20 + (-8)/4. Do 14 and s have different values?
True
Let o be (-1)/((-4)/(-5) - 1). Let t be (-14)/(-35) + 3/5. Suppose 0 = -2*b + 9 - t. Is o not equal to b?
True
Let m be 13204/768 - (2 - -1). Let i = m + 9/64. Let h = 433/30 - i. Is 1 equal to h?
False
Suppose -b + 3*b + 2 = 0. Let o = b + -3. Is 0 bigger than o?
True
Let s(t) = -t**2 + 9*t + 20. Let w be s(11). Is w != -1/16?
True
Let t = -125 - -1249/10. Is t equal to -1?
False
Suppose 138*t - 108 = 135*t. Which is smaller: 0.1 or t?
0.1
Let i be 12/90 - 98/60. Does -3 = i?
False
Suppose 2*w + o + 2*o - 17 = 0, 5 = 5*w - 5*o. Let x be (w/(-8))/((-9)/(-4)). Which is smaller: x or 1?
x
Let k be (-4)/(-4) - -1 - 2. Suppose k = -s - s. Let z = 0 - 0. Do s and z have the same value?
True
Let k = 1.4 - 2.4. Suppose 2*n + 2 = 22. Is k > n?
False
Let f be 1/3 - (-4)/(-30). Let a(h) = h**3 - h**2 - 2. Let v be a(0). Let g(r) = r + 3. Let z be g(v). Is z at most f?
False
Let m be (-2)/4 + 161/98. Which is smaller: 0 or m?
0
Let d(r) = -r - 4. Let l be d(-3). Let s = -1.66 + -0.04. Let n = s - -1.3. Do l and n have the same value?
False
Suppose -2*h + h = 2. Let b = -16 + 16. Are b and h unequal?
True
Suppose 6 + 10 = 2*k. Suppose 3*w - 3 = -k*l + 3*l, l + 5 = -2*w. Is -5 at most as big as w?
True
Let z = -0.02 - 0. Let r = z - -2.02. Which is smaller: -0.4 or r?
-0.4
Let a = -16 - -12. Suppose 0*t - 2*t - 8 = 0. Is a > t?
False
Suppose 0 = 2*y + 1 - 5. Suppose x - y*x = 0. Let v = -0.2 - -0.3. Are x and v equal?
False
Suppose x = 4*x. Which is smaller: -3/22 or x?
-3/22
Let r = 6.5 - 7. Let u = r + 0.4. Let m = 0.2 + -0.3. Are u and m nonequal?
False
Let c be (1 + (-32)/29)/((-18)/4). Which is bigger: -1 or c?
c
Let s(l) = -2*l**2 - l - 1. Let u be s(-1). Let x be (-3)/u*60/9. Let c(m) = m**2 - 10*m - 1. Let i be c(x). Is i at least as big as -2/9?
False
Let n be 4/14 + 81/(-14). Let b = n - -29/6. Is 0 greater than or equal to b?
True
Suppose j + 2 = t + 6, -3*j - t = 0. Let k be (-2)/((-3)/6*6). Is k bigger than j?
False
Let n = 9 - 6. Let b be ((-10)/(-4))/(n/6). Let q be 1 + 0 + b + -5. Is -2/9 at least as big as q?
False
Let c be 90/21 + 4/(-14). Let r be 0*(c + -2)/(-2). Is 0 equal to r?
True
Let r be (3/(-3))/((-1)/2). Let p(c) = 5 - c**r + 0*c**2 + 0*c + 2*c. Let o be p(4). Are -4 and o unequal?
True
Suppose 2 = 5*a - 8. Suppose -a*l + 12 = -0*l. Let h be (-1)/2 - (-7)/l. Is 1 at least as big as h?
True
Let d = 3 + 1. Suppose -d*o = -2*o. Which is bigger: o or 1?
1
Suppose -5*r = -5*i + 90, -2*r = r - 4*i + 52. Let m be (15/r)/(2/(-8)). Is 3 greater than or equal to m?
True
Suppose 0 = -5*o - 0*o. Let h(p) = p**3 - 3*p**2 + p + 1. Let n be h(2). Which is smaller: o or n?
n
Let p = 0 + 5. Suppose 0*m + p*m + 5 = 0. Let k = -7 + 5. Is m at most as big as k?
False
Let d = 24 - 14. Are 10 and d equal?
True
Let o = -1.996 + 0.106. Let i = -0.11 + o. Is 3/4 < i?
False
Let k = 175 - 175.97. Let m = k - 0.03. Which is smaller: 4 or m?
m
Let f be 2/6 - 5/6. Let p = 4 - 2. Let s = p + -4. Is s < f?
True
Let v(q) = q**3 + q - 1. Let i(f) = -2*f**3 + 4*f**2 + 2. Let u(o) = -i(o) - 3*v(o). Let l be u(-3). Which is greater: l or 0?
l
Let x be -4*-1*1/(-2). Let w be -1 + 3 + x + 1. Let f = -5 - -11/2. Is f greater than w?
False
Let i = 108938034798/175 - 622501326. Let z = i - 1730. Let x = z - 103/175. Which is smaller: x or -2?
-2
Let a be 1 - (-1)/((-1)/28). Let o be 4/(-14) + a/(-21). Let j be o*2/(-76)*4. Which is bigger: j or -0.1?
-0.1
Let x be -1 + -206*(-2)/592. Let a = -2/37 - x. Let i = 18 + -35/2. Which is greater: i or a?
i
Let m be (-2)/(-3) - (-3)/9. Let a be 3 - (-2)/(-4)*6. Which is greater: m or a?
m
Suppose 5*v = 2*f - 6*f + 40, 4*f - 4 = 4*v. Suppose -4*c = 4*x - 4, -2*x + 7*x - 4*c = -v. Which is smaller: x or -0.2?
-0.2
Let g = 23 - 16. Let t be ((-4)/6)/(g/(-3)). Do t and 0 have different values?
True
Let d(u) = -u**2 + 3*u - 4. Let b be d(3). Which is bigger: -5 or b?
b
Let n = -14.14 + 0.14. Let t = -10 - n. Is -1 < t?
True
Suppose 0 = 5*u + v - 466, -2*u + 0*v - v + 184 = 0. Suppose -4*y = -u + 14. Let f be (0 - -8)*(-15)/y. Which is smaller: f or -5?
f
Let y be (-16)/(-4 + 0) + 3. Are y and 8 equal?
False
Let w = -16 - -19. Is w bigger than -3/7?
True
Let t = 25 - 37. Let d be 6/23*t/36. Which is smaller: d or 0?
d
Let x be -6 - (-2 + (-8)/2). Let s be ((-1)/12*1)/(-2). Which is smaller: s or x?
x
Let n = 2/115 + -264/1955. Are 1 and n equal?
False
Suppose -5*d + 6 = -4. Suppose 21 = -4*s - 3*v, 30 = -3*s + 3*v + 9. Let j = d + s. Which is greater: -5 or j?
j
Suppose -5*i - 7 = -2. Let k be (i/(-1))/(2 + -3). Is k < 0?
True
Suppose -2 = -3*s + 2*s, 5*x + 14 = -3*s. Let f = 6 - 9. Is f > x?
True
Let q be ((-2)/4)/(6/(-12)). Let i = -2 + 3. Do q and i have different values?
False
Suppose 5*g + x - 7 = 0, 3*g + 8 = -3*x + 5. Let q be (1 - -4)/((-4)/(-8)). Let h = q - 6. Is h != g?
True
Let x = 1/408 + -15511/2856. Which is smaller: x or -6?
-6
Let p = 1199/4 - 277. Let n = 811/36 - p. Let q = -4/9 - n. Which is greater: 1 or q?
1
Let k = 152/3 + -3481/69. Which is bigger: 1 or k?
1
Let w(f) = f**3 - 4*f**2 + 4*f - 2. Let s be w(3). Let y = -70 + 1608/23. Is y at most s?
True
Let m(p) = p - 1. Let r be m(3). Suppose -5*n + r = 2*a, 2*n + 21 = -5*a + 5. Which is bigger: 1 or n?
n
Suppose -5*y + 71 + 89 = 0. Let q be (-4)/14 + y/14. Suppose -6*l = -15 + 3. Is l > q?
False
Let x be (956/177)/(-2) + 1. Let z = x - -2/59. Which is smaller: -1 or z?
z
Suppose 4*n - 3*o + 2*o = 4, 2*n - 5*o - 2 = 0. Let u = n - 3. Which is smaller: -4 or u?
-4
Let b = -2/461 + 465/922. Is 2 > b?
True
Suppose -m + 6*m = 5. Let r = m + -4. Is r at least as big as -3?
True
Suppose 0*l + 2*j + 26 = 2*l, -2*l = 2*j - 42. Suppose 1 = -2*r + 3*g, 4*g + 0*g = -r - l. Suppose -2*h = -3*h - 4. Is h > r?
True
Let o(f) be the second derivative of -f**3/6 - 3*f**2/2 + 2*f. Let x be o(0). Let q be (x/(-6))/((-18)/(-8)). Which is smaller: 0 or q?
0
Let n be 27/21 - (-2 + 3). Which is greater: 2 or n?
2
Let x = -1 - -0.92. Let t = 2.92 - x. Which is smaller: 1 or t?
1
Let j be (-2)/50 + (-2 - -2). Is j smaller than 1?
True
Let c = 51/8 + -859/136. Which is bigger: 0 or c?
c
Suppose 0 = 2*b - 3*b. Let s(i) be the third derivative of i**6/120 - i**3/6 + 4*i**2. Let h be s(b). Is h <= -1?
True
Let n be ((-2)/(-3))/(20/12). Is n < 1?
True
Suppose -3*w + 0 = -45. Suppose 5*k = -0*k - c - 64, 0 = -k + 2*c - w. Is k bigger than -13?
False
Let d = -59 - -59.32. Is d less than -0.1?
False
Let k = -0.9 - -1. Let t = -84 - -86. Which is bigger: t or k?
t
Let m be 5/(-2) + -4 + 3 + -2. Which is smaller: -7 or m?
-7
Let a be ((-8)/(-10))/((-18)/(-15)). Is a <= -2/9?
False
Let j(u) = -2*u + 13. Let a be j(14). Let s be ((-1)/(-2))/((-50)/a). Which is bigger: 0 or s?
s
Suppose n - t = 0, 2*n + 5*t = 29 - 1. Let z be (1 + -3)/((-2)/5). Is z < n?
False
Let q(v) = -2*v - 15. Let r be q(-8). Let b be ((-21)/(-4))/(6/2). Is r less than b?
True
Let n(c) = c**2 + 8*c + 12. Let o be n(-8). Let x be 0/(-2) + o/(-28). Is 1 not equal to x?
True
Let a = 43 - 14. Which is smaller: a or 28?
28
Let h = 9 - 4. Let b = h + -9. Let r = 3 + b. Does 1 = r?
False
Suppose -3*s - s = 4. Let i(v) = v**3 - v**2 - v - 1. Let r be i(s). Is -3 greater than r?
False
Let a(x) = 2*x + 2. Let s be a(1). Let m be (2/3)/(1/3). Let w be 24/(-14) + s/m. Are 0 and w unequal?
True
Let t(j) = j**2 + 7*j - 6. Let r be t(-8). Suppose -r*y + 2*w + 10 = 0, y - 4 - 2 = 2*w. Which is smaller: y or 13/4?
13/4
Let a(c) = -c**2 + 6*c + 7. Let t be a(-3). Which is bigger: -19 or t?
-19
Let v = 106260/67 - 1586. Do v and 1 have different values?
True
Suppose -l - b = -8, l + 5*b = -l + 13. Let v(h) = -h**3 + 8*h**2 + 8*h + 13. Let o be v(l). Is o > 5?
False
Let r be (-33)/(-2)*(-18)/27. Which is greater: -14 or r?
r
Suppose -14 + 4 = -r. Do r and 10 have the same value?
True
Let a(x) = 2*x**2 - 3*x + 1. Let s be a(2). Let g(f) = 3*f**3 - f + 1. Let n be g(1). Suppose s*t - q = 20, -25 = -t - t + n*q. Is t greater t