 big as k?
False
Suppose 4*a - 5*r + 7*r = -362, 0 = 4*a - 3*r + 377. Let o = -86 - a. Let m be (8/(-10))/(2/(-10)). Which is greater: o or m?
o
Let o be 7 - -12*((-3)/(-2) - 2). Is o greater than -0.391?
True
Let k = -68 - -67. Which is bigger: k or 0.24?
0.24
Suppose 3*a = 4*p - 1167, -3*p = 2*a - 6*a - 870. Which is smaller: 293 or p?
293
Let u(i) = 2*i - 17. Let r(w) = -5*w - 10. Let f be r(-3). Let x be u(f). Is 3 at most x?
False
Let w = 0.32 - -2.18. Let k = w + 0.5. Are 5 and k nonequal?
True
Let p be (4 + 1)/((-1)/3). Suppose 5*g + 4*o = -0*g - 141, 0 = 5*g - 2*o + 117. Let u be 3/p + (-5)/g. Is -4/5 <= u?
True
Suppose -4*l + 4*u - 202 = -62, -l + 3*u = 43. Is l >= -44?
True
Let h = -140 + 355. Is h less than 214?
False
Let v = 54 - 7. Suppose v = -2*k - 1. Let n be 3 + -1 - k/(-10). Is 1 > n?
True
Let w = 0.019 - -4.081. Let n = -4.2 + w. Is 16/7 at least as big as n?
True
Suppose 0 = -22*c - 16*c - 76. Which is smaller: c or -21/19?
c
Let g = 1999 + -2348. Is g > 2?
False
Let n(m) = -m**2 - 2*m**3 + 3*m**3 + 2*m**2. Let y be (-192)/(-448) - 3/7. Let l be n(y). Do 2/13 and l have different values?
True
Suppose -5*o = -3*o. Suppose o = -5*n + 4*n + h - 6, 0 = -n - 2*h + 6. Let y = -254 - -509/2. Do n and y have different values?
True
Suppose -3*t + 4*m - 17 = 0, -2*m + 7 + 3 = 0. Let j(s) = s**2 - 5*s + 6. Let y be j(4). Let c be y + -1*(-18)/(-10). Is t at most as big as c?
False
Let z(h) = -h**3 - h**2 + h - 7. Let x be z(-3). Let i(o) = o**3 - 6*o**2 - 14*o - 17. Let q be i(x). Is q greater than or equal to -3/20?
False
Let w = 29916557/1420 - 21068. Which is bigger: w or 0?
0
Let p(c) = 2*c + 6*c - 13*c - 11 + 4*c. Let q be p(-11). Let g = 135 - 1214/9. Which is smaller: g or q?
q
Let w(u) = 9*u - 9. Let r(o) = -3*o + 3. Let f(h) = 17*r(h) + 6*w(h). Let g be f(2). Is g at least as big as -1?
True
Let s be ((-4)/10)/(2/10). Let u(g) = -g**3 + 5*g**2 + 5*g + 5. Suppose 4*p = p + 18. Let x be u(p). Which is greater: s or x?
x
Let a be (-48)/(-14) - (-12)/(-28). Suppose 5*g = 5*f + 17 + 88, 17 = g + a*f. Let q be 56/g + 5/25. Which is smaller: 7/2 or q?
q
Let n be (14/6 + -2)*0. Suppose n*r + 4*r + 4*h + 24 = 0, 0 = -5*r + 3*h + 10. Let s = -3/2 - 1/6. Which is smaller: s or r?
s
Let a = -25.336 - -2.336. Are -3.2 and a non-equal?
True
Let q = 188/3 + -62. Suppose 2*d + 2*h - 8 = 4*d, h = 2*d + 4. Suppose d = -5*b + b + 4. Which is smaller: b or q?
q
Suppose -2*h + 3 = v, 5 = -3*v + 2. Let x = 149.09 + -149.1. Which is greater: h or x?
h
Let b = 2336 + -2335.95. Let o be 0 + 3 - (-6)/3. Is o smaller than b?
False
Let a(z) = 4*z - 3*z + 19 - 2. Let c be a(-7). Suppose -2*d - 5*n + c + 1 = 0, 3*d + n = 36. Is 12 >= d?
False
Suppose 3*h - 3*j = -j + 22, -3*h + 3*j = -27. Suppose -h*x + 290 = x. Are x and 58 equal?
True
Let r be 1/(-4 - (6 + -7)). Which is smaller: r or 33?
r
Let t = 329 + -518. Is t bigger than -188?
False
Let c = 1640/3 + -517. Let r = c - 30. Which is bigger: r or -20?
r
Let w = -35 + 44. Are w and 28/3 non-equal?
True
Let t = 51/454 + -27031/200214. Is -1 at least as big as t?
False
Let x = -86.1 + 86. Let h = -0.01 - 0.02. Let g = h - -6.03. Which is greater: x or g?
g
Suppose -2*z - 7 - 65 = -4*p, -4 = p. Let r = -44 - z. Is 1 less than or equal to r?
False
Let h = -7.46 - -0.56. Which is smaller: h or 0.2?
h
Suppose -653 - 841 = 9*r. Which is greater: r or 2/3?
2/3
Let k be (18/(-4))/((-18)/96). Suppose k = -7*b + 3*b. Suppose -5*n = -2*z - 18, -2*z + 4*n = -0*n + 16. Which is greater: b or z?
z
Let v = 105 + -146. Is v <= -41?
True
Suppose 0 = -q + 5*q - 2284. Is q < 570?
False
Let z = -5/869 + 5693/687379. Which is smaller: z or -1?
-1
Let d(x) = x**3 - 13*x**2 + 14*x - 6. Let h be d(12). Suppose 5*k + 0*k + 41 = -4*c, -2*c = 2*k + h. Let m = 0.34 + -0.04. Which is greater: m or c?
m
Let l be (-6136)/42 - (-24)/252 - 4. Is -152 less than l?
True
Suppose 3*i - 6*i - 19 = -5*t, -5*t - 4*i - 2 = 0. Suppose g = t*g + 16. Let q be (20/g)/(1/(-4)). Is q at least 3?
True
Suppose -6*b - 40*b = 92. Which is greater: -14/9 or b?
-14/9
Suppose 0 = 13*j - 22*j - 3186. Which is bigger: j or -353?
-353
Suppose 2*g + 2 = -2*u + 3*g, 2*u = 5*g - 2. Suppose 2*h - 20 = -2*m, 2*h + 3*h = 2*m - 13. Let q be 3/m*(u + 10). Which is bigger: 2 or q?
q
Let j(g) = -2*g**2 - 8*g + 4. Let b be j(1). Suppose 0 = 3*t - 3*q - 6, 3*q - 6 = q. Let k be 0 - (-2)/2 - t. Which is smaller: k or b?
b
Let g(z) = 2*z**2 + 11*z - 1. Let k be g(-6). Suppose 0 = -t - 3, s - k*t + t = 12. Which is smaller: 1/14 or s?
s
Let u = -0.45 + 0.05. Let f = -136 - -954/7. Is u smaller than f?
True
Suppose 774 = 3*o - 3*n, 4*n = -3*o - 0*o + 788. Suppose -4*x - o = 188. Which is greater: x or -111?
-111
Suppose 9*n - 82 - 35 = 0. Suppose 0 = -3*x + 5*a - 2 + n, x + 4*a = -2. Are -4 and x unequal?
True
Let c = -1 - 0. Let l be 3*-5*8/4. Let r be 3 + 1 - (-115)/l. Which is bigger: r or c?
r
Let f = -565.1 + 565. Let l = 3.7 - 3. Let k = -2.3 - l. Is k less than or equal to f?
True
Let a(x) = x**2 + 3*x + 6. Let l be a(-6). Let h be 3*(-4)/l*2. Let y be (3/2)/(h - 0). Is y at least -1?
False
Let q be 1/(-3) - (3 + 212/3). Is q < -73?
True
Suppose -15 = 4*b + 5*q, 2*b - 2*q + 0*q - 6 = 0. Suppose 0 = 4*v + s - 60, -2*v + 2*s + 2*s + 12 = b. Does v = -0.4?
False
Suppose -h + 2*h - 20 = 3*a, 3*a - 5*h = -28. Let q(f) = f**3 + 7*f**2 + 4*f - 11. Let z be q(a). Is z equal to -1/34?
False
Let s be ((-3)/(7 - -2))/((-9)/648). Is s smaller than 20?
False
Let l(z) = z**2 - 14*z - 91. Let g be l(-5). Is 0.32 not equal to g?
True
Let w = -0.3 - -0.4. Let j = -2.24 + 2.27. Is j <= w?
True
Let k(t) = t + 1. Let v = -3 - -11. Let w be k(v). Let g = -9 + w. Which is smaller: 1/10 or g?
g
Let n be (2/4)/(2/16). Suppose -3*k - 37 = -5*k - t, -n = -4*t. Suppose -7*l - k = -4*l. Do l and -9 have different values?
True
Suppose -s = 3*y, 2*s = -3*y - 2*y + 1. Let h be 1/(5/(-4) - y). Let d be ((-2)/(-52))/(h/(-16)). Do d and 0 have different values?
True
Let p = -31 - -35. Suppose -16 = p*d - 5*d. Is d at most as big as 15?
False
Suppose -4*n = 3*v + 54, 5*n + 64 = -v - v. Let h be (-3)/n + 3/4. Let w = 2 - h. Which is smaller: w or -1/6?
-1/6
Let b(m) = 15 + 23 + m**2 - 18*m - 53. Let f be b(19). Let u = -2 + 7. Do f and u have the same value?
False
Let j(c) = 4*c**3 + c**2 + c + 1. Let x be (2 + 0 - 1)/(-1). Let y be j(x). Let d = -48 + 44. Is d > y?
False
Let f(u) = u**3 + 27*u**2 - 30*u - 57. Let i be f(-28). Which is smaller: i or -6/17?
i
Let g = -3 + -1. Let f(z) = -2*z - 5. Let b be f(g). Suppose b*d - 3*p + 27 = 0, -2*d + 0*d - 32 = 5*p. Which is smaller: d or -12?
-12
Let y be 98/147 + (-1391)/3. Which is greater: -464 or y?
y
Let d(u) = u**2 - 1. Let a be d(-1). Suppose a = 3*x - 2 - 10. Let w be (2 + -4)/(x - 0). Which is bigger: w or -2/7?
-2/7
Let m be (-1)/4 + 12/48. Which is smaller: 19/14 or m?
m
Suppose p - 14 = -4*r, -2*p - r = -3*p + 9. Suppose -26 = -4*z + p. Let d be -3 - ((-96)/z)/4. Is d at least -1?
True
Suppose -9*d - 8 = -11*d. Suppose -2*w = -2*y + d, 3*w = -4*y + 2*y - 16. Which is bigger: w or 6?
6
Let g be (-8 + 11 + -8)*(-1 - -2). Are 27 and g equal?
False
Suppose -4*k - 44 = -4*d + 8, 2*k + 50 = 5*d. Let p be (-4)/22*(5 - (d - 4)). Which is smaller: -1 or p?
-1
Let g = 9.82 + 32.08. Let t = -42 + g. Is -2 not equal to t?
True
Let k = -684 - -698. Is k bigger than -6?
True
Let c = 1.9 + 0.1. Suppose -8*s = -5*s + 6. Let g be -2 + 115/45 - s/(-6). Which is smaller: c or g?
g
Let n(c) be the first derivative of c**2/2 + 12*c - 7. Let i be n(-11). Let p be (-8)/36*6/(-4). Is i > p?
True
Let r = -25 - -28. Suppose 6*h = r*h. Let c = 533/6 + -89. Do h and c have different values?
True
Let a be 0/(8/12*-3). Which is bigger: a or -2/9?
a
Let j(p) = -10*p + 3*p**2 + 15*p - 6*p**2. Let l be j(3). Are -11 and l non-equal?
True
Let b = -1813 + 1812. Which is smaller: b or -1/23?
b
Suppose 14*d + 9885 = 3865. Is d > -429?
False
Suppose -2*m - 3*m = 0. Let l be (3/2 - m)/3. Let u be 0/(-2 + 1 + -1). Are l and u unequal?
True
Suppose 0 = -13*d + 5*d + 256. Let f be (d/(-1320))/((-8)/(-12)). Does -2 = f?
False
Let h(t) = 2*t**2 + 4*t + 3. Let o be h(-2). Suppose 2*c = -o*c + 130. Suppose -995 = -41*s + 71. Is s != c?
False
Let z(w) = w**2 - 1. Let h(j) = -4*j**2 + 3*j