-1)/2 - 491/s. Let p = 15/17 - j. Is p bigger than 1?
False
Let s be 1/(-2)*-2*0. Let t = 47 + -47. Is t < s?
False
Let j = -49/320 + -3/64. Let z be (1 + 2)*6/9. Suppose -x = z*x. Is j at least x?
False
Let t be ((-8)/(-60) - (-1)/(-3)) + -3. Which is smaller: t or -4?
-4
Let y be (-60)/100*(-30)/2. Which is greater: 10 or y?
10
Suppose 34*j = 36*j - 2. Which is bigger: j or -1/43?
j
Let o(b) = -b**3 - 3*b**2 + 3*b - 1. Let u be o(-4). Let j be (1 + u)*(-24)/(-3). Let w = j - 98/3. Is w less than or equal to 0?
True
Let j be 56/(-222) - (-2 - 20/(-12)). Which is greater: 1 or j?
1
Let c = 241/5 + -49. Do 0 and c have the same value?
False
Suppose -5*x = -5*h - 0*x - 20, -5*x - 7 = -2*h. Let c be 2/(-4)*0/h. Is c equal to 0?
True
Suppose 0 = -t + 4*t + 3*n - 6, -t - 2*n + 4 = 0. Is t at least as big as 11?
False
Let r = 4 + -3.8. Let u = -0.2 + r. Which is bigger: 0.3 or u?
0.3
Suppose f + 2*f = -12, -2*n + 24 = -4*f. Let s = -8 + n. Which is smaller: s or -5?
-5
Let q = 0.02 - -7.98. Is q at least -3/2?
True
Let n = 3756/259 + -1/518. Is n greater than 1?
True
Let x be 4*4/((-224)/12). Is x > 2/3?
False
Let o = 69 + -69.1. Let h = -3 + 2.8. Let x = 0.1 + h. Are x and o equal?
True
Let d = 0 - -5. Suppose 3*g - d*y = 2 + 1, -2*g - 3*y + 2 = 0. Let r be ((-5)/2 + 2)/1. Which is bigger: r or g?
g
Let o = 83 + -151/2. Which is bigger: o or -5?
o
Let j be 3/(-2)*(-10)/3. Suppose 0 = -5*x + 50 - j. Which is smaller: x or 10?
x
Let g = 26 - 24. Which is bigger: 0 or g?
g
Suppose 3*p - 10 = -2*p. Suppose 2*f - p + 4 = 0. Let k = 2.1 - 2. Which is bigger: f or k?
k
Let v(u) = -u**2 - u. Let k be v(0). Let w = -37/3 + 305/24. Is w bigger than k?
True
Let r be (-579)/15 + (-2)/5. Let x = 56 + r. Suppose 5*s + 20 = 0, 2*k - 4*s - x - 3 = 0. Is 1 less than k?
True
Let n = 16 - 11. Suppose n*v - 36 = -0*l - 2*l, 3*v - 4 = l. Which is smaller: l or 7?
7
Let k be 1 - 1/(-1)*7. Let u(x) = 7*x**3 + 2*x**2 - 2*x + 1. Let r be u(1). Is k != r?
False
Let m(k) = -3*k - 2. Let b be m(-2). Let v = b - 1. Suppose v*w = -0*w - 3. Is w > -1?
False
Let q = -12 - -12. Suppose -2*p + 8 = p - 2*s, 5*s = 2*p - 9. Is p at least as big as q?
True
Let y = 65.06 + -67. Let t = 0.06 - y. Is -2/7 < t?
True
Suppose 540 = 5*p + 5*t, 2*p + t + 104 - 319 = 0. Which is smaller: p or -1/2?
-1/2
Suppose -6*y = -5*y + 14. Which is bigger: y or -13?
-13
Let j = 85 - -7. Is j at most as big as 1?
False
Let n be (13 + -7)/(2/1). Suppose t + 4*o = -9, -9*t - n = -4*t - o. Is t at least as big as -1?
True
Let q = 23 - 27. Is q >= -14?
True
Let t = 1 - -2. Suppose 2*a = -2*s - 3*a - 23, -13 = -t*s + 2*a. Is 3 > s?
True
Let z(v) = v**2 - 4*v + 1. Suppose -k + p = -7, -4*p - 21 = -3*k + 3. Let f be z(k). Suppose 4*h = -11 - f. Which is bigger: h or -4?
h
Let k be (3/(-2))/(2/(-4)). Let s = 5 - k. Let c(q) = -q**3 + 2*q**2 - 3*q + 3. Let h be c(s). Which is smaller: -4 or h?
-4
Suppose 0 = -3*p + 4 - 13. Let i = -3 - -2. Let v be 3*(0 + i)*1. Is p >= v?
True
Suppose -2*m + 6 = -0*m. Let j be m/(-9) - 2/(-6). Suppose -k - k + 4 = j. Which is smaller: -1 or k?
-1
Let p be ((-16)/(-12))/(1/(-12)). Let w be (0 - 2)*(-8)/p. Are w and -2 equal?
False
Let w = -42 + 41. Which is smaller: 55 or w?
w
Let l be ((21/(-2))/(-3))/(6/2). Which is greater: 1 or l?
l
Let n = 1735 - 209934/121. Which is smaller: n or 1?
n
Let h be 10/6 - (-6)/18. Let q = 4/93 - -71/31. Which is smaller: q or h?
h
Let s = 48 - 335/7. Let r be -1 + (1/(-1))/(-1). Is r != s?
True
Let c be 2/7 - (-39)/(-112). Suppose s + 3*t - 9 = 0, 0 = 2*s - 7*s - 4*t + 12. Which is bigger: c or s?
s
Let m be 2/(-12)*(-4)/(-12). Suppose 0*w = -w. Do w and m have the same value?
False
Let f = 4 - 3.6. Suppose g + 8 + 6 = -4*c, 0 = g + 3*c + 10. Let j = 1 - g. Which is smaller: f or j?
j
Let l = 454/7 + -5036/77. Let w(z) = z**3 + 4*z**2 - z - 4. Suppose -4*h + 4*d = 8, -h - 5*d = -2*h + 6. Let q be w(h). Which is smaller: l or q?
l
Let r = 53/7 - 163/21. Is r at most 1?
True
Let t(g) = -g - 19. Let l be t(-15). Which is bigger: -3 or l?
-3
Let i = 0.21 - 1.24. Let f = i - -0.03. Let c = -0.3 - -0.4. Is f at most as big as c?
True
Suppose 0 = -9*i + 6*i + 54. Suppose -u = 4*v - i, 0 = u - 4*v + 37 - 15. Which is smaller: 2/3 or u?
u
Suppose 2*v = 4*v - 12. Suppose -v = -j - 2*j. Let k(w) = w**3 - 2*w**2 + 2. Let n be k(j). Is 1/2 != n?
True
Suppose -2*l + 3*f + 11 = -5, 0 = 2*l - 4*f - 18. Is 5 != l?
False
Suppose -4 = j + 3. Which is bigger: 0 or j?
0
Let n = -30 - -30.2. Do n and -0.12 have different values?
True
Let m = -123/578 + -1004859/4046. Let y be (3/2)/(12/(-1992)). Let b = m - y. Which is greater: b or 0?
b
Let f = 0.208 + 3.792. Let y be 99/12*4/6. Let z = 37/6 - y. Which is smaller: f or z?
z
Suppose 3*w + 7*u + 5 = 2*u, w - 21 = 4*u. Suppose -6*o + w = -o. Let y = 0 + 1. Is o equal to y?
True
Let x be (-4)/(-16) - (-1)/(-4). Suppose -13 = l - 5*c, 4*l - c + 2*c - 11 = x. Let s be (-3)/(-9) - l/6. Is s at least 0?
True
Let p = -8.05 - -0.05. Let s = p + -1. Let b = s - -11. Which is smaller: -3 or b?
-3
Let b(c) = -2*c + 14. Let s be b(8). Which is greater: s or -3?
s
Let x = -3.2 - -11.2. Let r = -0.8 - -0.7. Which is smaller: r or x?
r
Let f(b) = -4*b**3 + 2*b. Let g be f(2). Let m be 64/g*(-3)/(-6). Is -2 bigger than m?
False
Let z be 1/(-2) - 15/(-6). Suppose 2*q + z*n - 2 = 0, -4*q - 4*n - n + 4 = 0. Which is greater: q or -3/7?
q
Let v be -4 - 12/(8/4). Which is greater: -9 or v?
-9
Suppose 54*k = 50*k. Are k and 10/7 unequal?
True
Let g = 97 + -97. Which is smaller: 32 or g?
g
Let y be (52/(-6))/((-4)/(-6)). Let i = y - -5. Which is bigger: -7 or i?
-7
Let l = -112 - -1454/13. Is l at least as big as 0?
False
Suppose 7 = -b + 2*b. Let m = -1 + b. Let x be 4/((-8)/m) + -1. Is x != -4?
False
Let s = -16.9 - -16. Let t = s - -0.8. Let g = 0.7 + 0.3. Which is bigger: g or t?
g
Suppose 5*h - 4 = 6. Let v be (-2)/h - 14/(-10). Let t(n) = n**2 - 6*n + 9. Let l be t(4). Which is greater: l or v?
l
Suppose -6*l + 2*l = 24. Let g be (-66)/(-126) - 2/l. Which is bigger: g or 2?
2
Let s be (-171)/(-21)*3/(9/2). Is 5 <= s?
True
Let w = -0.087 - -31.087. Are w and 0 equal?
False
Let c = 0 - 6. Let s be c/(-8) + 18/(-40). Which is smaller: s or 0?
0
Let t = 0.1 + -0.1. Let g = -5 - -4. Are t and g non-equal?
True
Let t = -15 - -10. Let o be (8/(-20))/((-1)/t). Let h = 5 - 8. Which is bigger: h or o?
o
Suppose 0 = 3*b - 2*g + 6, 2*g - 3 = -4*b - 11. Let i = -9 + 12. Suppose -4*p = -i*o - p - 18, 3*o + 3 = -2*p. Which is greater: o or b?
b
Suppose l = 2*l. Suppose -5*f + h + 0*h - 3 = l, 2*f - 3*h = -9. Do 1/4 and f have different values?
True
Let u = 7 - 7.1. Which is smaller: u or 0.07?
u
Let a(j) = -3*j - 29. Let s be a(-8). Which is bigger: s or -6?
s
Let v(q) = q + 13. Let r be v(-12). Let w be (-1 - 1/(-3))/5. Are r and w equal?
False
Suppose -6*c + c = g + 11, 5*g + 13 = -4*c. Is g <= -0.05?
True
Let x = -26 + 26.1. Is x bigger than -4/17?
True
Let y = 11 + -11. Suppose -a = -4*j + 43, -2*j = -y*j - 3*a - 29. Does 9 = j?
False
Suppose -5 = -7*l + 8*l, -2*q - 3*l = 41. Is -11 > q?
True
Let i be ((-2)/(-6))/((48/9)/(-4)). Let f = -2 + 3. Are f and i unequal?
True
Let f be (0 - (-2)/(-5))*-5. Let m = f - 4. Are -5 and m equal?
False
Let i = 2.5 - 3. Let y(u) = -u**2 + 4*u + 3. Let f = 42 - 37. Let n be y(f). Which is greater: i or n?
i
Let r(o) be the first derivative of -o**3/3 + 6*o**2 - 14*o + 2. Let n be r(11). Is n at least -4?
True
Let i be (0 - -1)/(3/33). Which is greater: i or 12?
12
Let u be (8 - -2)*2/2. Suppose 5*t - 3*b = -u, 2*b - 9 - 2 = -t. Let n be 1/2 - (-5)/10. Is t > n?
False
Let j = 24 - 15. Let m(a) = a**3 + 11*a**2 + 11*a + 17. Let r be m(-10). Is r at least j?
False
Let q = 1 + 6. Suppose -2*o = -q*o - 10. Let t be ((-5)/(-2) - -1)*(-49)/343. Does t = o?
False
Suppose 0*f + 2 = f. Let l be (-12)/10*(-5)/f. Let u = 0 - l. Is u at least as big as -2?
False
Let b(f) = -f**2 - 9*f + 3. Let y be b(-9). Suppose -i - 58 = -y*r, 2*i + i + 118 = -5*r. Let t be i/(-15) - 3/1. Which is bigger: t or 1?
1
Suppose 3*z = 11 + 7. Let m = 5 - z. Let l = -0.4 + 0.1. Is l greater than m?
True
Let i = 23 - 35. Which is smaller: i or -2/5?
i
Let w = -0.3 + 0.4. Let b be (5 - -1) + 112/(-18). Do w and b have the same value?
False
Let f 