gger: p or w?
p
Suppose 0 = -5*x - 5*d - 655, d + 265 = 5*x - 7*x. Is -133 < x?
False
Let h = 31/180 - -1/36. Which is smaller: -2/3 or h?
-2/3
Let z = -7/2 + 2. Let f = -9 + 6. Are z and f unequal?
True
Suppose -5*o + 4 = -3*o. Let z = 56.1 + -47. Let d = -9 + z. Which is smaller: d or o?
d
Let v(s) = -2*s**2 + s + 6. Let i be v(0). Are 7 and i non-equal?
True
Let i be -4 + 16/(-4) + 2. Is i != -1?
True
Let n(v) = 3 - v + 4*v**2 - 3 - 1. Let w be n(-1). Let x be (w/10)/(8/10). Which is bigger: -2/5 or x?
x
Let c be (-25)/(-2) + 2/(-4). Suppose -7*k + c = -4*k. Which is bigger: 2 or k?
k
Suppose 4*i - 10 = 6. Suppose b + 2*d + 2 = 5, i*b - 2*d - 2 = 0. Let u = b - 2. Is u > -1/7?
False
Suppose 2*y + 3*y = 155. Let j = 19 - y. Is -11 less than j?
False
Let q(d) = d**3 + 5*d**2 + 4*d. Let p(s) = s**3 - 6*s**2 - 2*s + 8. Let k be p(6). Let b be q(k). Which is smaller: b or -5/6?
-5/6
Let l = 25 - 15. Let x = 10.8 - l. Let s = x - 0.3. Is s equal to 1?
False
Let s = 7 + -4. Suppose -s*u = 6*b - 4*b + 12, -u + b = 4. Do u and -3 have different values?
True
Suppose 3 + 15 = 6*n. Let u be -6*(n + (-52)/17). Are u and 0 non-equal?
True
Suppose 5*g - 36 = -6. Let p be 34/8 - 5/(-20). Which is smaller: p or g?
p
Let p(q) = -q**3 - 4*q**2 + 3*q - 6. Let j(k) = -k**3 + 7*k**2 - 5. Let r be j(7). Let m be p(r). Which is smaller: 1 or m?
1
Let p = 0.27 - 3.87. Let l = p + 0.6. Let j = 2.8 - 3. Do j and l have the same value?
False
Let a(s) = s**3 + 8*s**2 - 3. Let j be a(-8). Let d be j/2*(-2)/(-3). Let r = 0 - d. Which is greater: r or 0.2?
r
Suppose -d - 4*d - 15 = 0. Suppose 5*q = 21 + 59. Suppose 0 = -6*s - 8 - q. Are s and d non-equal?
True
Let i = 302 - 211. Is i > 90?
True
Let y be (-6 - -4)/2 + 2. Is y not equal to 6/11?
True
Let m = 15 - 23. Let g = 8.1 + m. Which is smaller: -0.17 or g?
-0.17
Let k = -18.88 - -19. Let r = 1.88 + k. Is 0.1 less than or equal to r?
True
Let m = 36 + -46. Is -0.2 greater than or equal to m?
True
Let c = -9.12 - -0.12. Let u = 1.9 - 1.8. Is c greater than u?
False
Let q(y) = -y + 12. Let r be q(11). Let m be (r + -2*1)/1. Are -1 and m non-equal?
False
Let h = 33 + -33. Is -3/22 greater than or equal to h?
False
Let b(s) = -s - 18. Let g be b(-7). Do g and -8 have different values?
True
Suppose a = -3*m + 2*m + 2, -2*m + 4 = -2*a. Are -1/209 and a nonequal?
True
Let x be (-24)/(-15) + 2/5. Suppose -3*m = -x*m. Is -6/13 equal to m?
False
Let k(f) = 2*f**3 - 2*f**2 + 2*f - 3. Let q be k(2). Which is smaller: q or 7?
7
Let w = 11 + -10.1. Let b = 28 - 29. Let o = w + b. Which is smaller: -1/2 or o?
-1/2
Suppose m = -0 + 4. Suppose -m*y - 3*t = -0*t + 21, -2*y = 4*t + 18. Which is smaller: y or -4?
-4
Let u = -1051/4 + 264. Which is smaller: u or 0?
0
Let a = -12 + -1. Let x = 7 + a. Let n be x/(-8)*4/6. Which is smaller: -0.2 or n?
-0.2
Let j = 3.1 + -2.9. Let f be -3*((-5)/(-4) + -1). Which is bigger: f or j?
j
Let d = 1 - 2. Suppose -7 = r - 3, -4*c - 2*r = -8. Suppose 3*t - c*s - 25 = -8, 0 = 2*s + 10. Is t at most as big as d?
True
Suppose 2*g + 4 = 3*s, 2*g + 2 - 4 = 0. Let b be (-322)/(-168) - -2*1/(-12). Do b and s have the same value?
False
Let w = 3.6 - 0.6. Does w = 2?
False
Suppose -5*u - 21 = 2*h, 3*h + 19 = u - 6*u. Let i = 1 - h. Let j = -55/188 + 2/47. Is j >= i?
True
Let a(x) = x**2 + 15*x + 3. Let r be a(-15). Suppose -8*p + 9*p = r. Is 4 at most p?
False
Let v = 348 + -331.12. Let n = 17 - v. Which is greater: n or 1/3?
1/3
Let b = 2 - 1. Let k = b - 0.7. Suppose -i = -3*n - 6 + 3, 0 = -3*n - 4*i - 3. Which is smaller: k or n?
n
Let b be 6/27 - (-65)/(-9). Let j = b - -10. Is j at least 0.1?
True
Let h(w) = -w - 2. Let o be h(-2). Is o at most -5?
False
Suppose 2*l = 3*l + 5. Suppose 0 = 4*j - 25 + 1. Let n = l + j. Which is smaller: 2 or n?
n
Let m be 3/6 + (-3)/(-6). Let k be 2 - -1*14/(-9). Is k < m?
True
Suppose 1931356 = 4*a + i, a - 3*i - 177357 = 305482. Let n = a - 28971923/60. Let q = n + 105/4. Does 0 = q?
False
Let d be (-3 + 7)*20/(-8). Let v be (-2)/3 + 31/(-3). Which is greater: v or d?
d
Let w = -4 + 5. Let d = -14 - -22. Let f be w*-2*d/(-16). Which is smaller: f or 0?
0
Let k = 3843/962 - 135/37. Is 1 at least k?
True
Let y = 47 + -28. Suppose 3 - y = -2*x. Let s = 5 - x. Which is bigger: s or 1?
1
Let g = -2616 - -510118/195. Which is bigger: -1 or g?
g
Let t(s) = -s**3 - 11*s**2 + 14*s + 28. Let i be t(-12). Is 4 smaller than i?
False
Let r = -4 + 3.5. Which is greater: r or 1/2?
1/2
Suppose 0 = -4*o + 2*o + 4. Let r be (1 - 0)*2 + o. Which is smaller: r or 5?
r
Suppose 3*u - 10 = u - 2*r, 3*u - 12 = -2*r. Suppose -5*t - 2 = 5*h + 8, -5*h - u*t + 5 = 0. Suppose -f = -4*f - h. Which is smaller: 0 or f?
f
Let d(w) = w**3 - 3*w**2 - 11*w + 19. Let m be d(6). Is m > 61?
False
Let s be (-5)/4*(-2)/10. Let i(c) = -c**2 - 4*c. Let u be i(-3). Let y be (-1)/u + (-4)/6. Is y >= s?
False
Let m(r) = 5*r**2 - 24*r + 9. Let i(o) = -o**2 + 5*o - 2. Let b(n) = -11*i(n) - 2*m(n). Let t be b(5). Let w = -5 - t. Are w and -2 non-equal?
True
Let u = -14.83 - -15. Let d = 0.1 - u. Let m = 0.27 + d. Which is bigger: -1/3 or m?
m
Let q be 3/1 - (2 + -3). Suppose -q*a = -5*a. Which is bigger: a or -6/7?
a
Let w = 717/7 + -3281/28. Let k = w - -45/4. Which is smaller: -4 or k?
-4
Suppose 5 - 18 = -d. Does 0 = d?
False
Suppose -5*d = -0*d - 15. Let c(n) = -4*n - d*n - 6 + 6*n. Let u be c(-5). Is u < -1?
False
Let j = -2 - -2. Suppose j = -3*z - n - 3 + 2, 3*n = 3*z + 9. Is -4 less than or equal to z?
True
Let z = 41 - 207/5. Is z <= 0?
True
Let f = -0.082 + -1.918. Is -15 >= f?
False
Let c = 9 + -7. Suppose l = 3*l + c. Let q be 2/8 - 30/56. Which is greater: q or l?
q
Let k be 0 + (-1)/(1/(-4)). Suppose -2*b = 3*p - 0*b - 26, 2*p = 4*b - 4. Let a be 4/p + k/12. Is 1 greater than a?
False
Let h be 2/(-8) + 2/8. Is h less than 0?
False
Let w be 34/4 - (-9)/18. Suppose 5*x - w = 8*x. Do -1 and x have the same value?
False
Let m = 11 - 17. Which is bigger: m or -2?
-2
Let s = -19.2 - -19. Let w = s + 0. Which is smaller: w or 1/5?
w
Suppose 2*t = 4*u + 4, 8*t - 4*t - 20 = -4*u. Let y be 2 + (-20)/2 - 0. Let h be (-30)/y - (-2)/8. Is h > t?
False
Suppose -a = 8 - 7. Is -2/49 not equal to a?
True
Let m be (-2)/2*-6 + 0. Suppose 5*l + m = -14. Is -5 equal to l?
False
Let v = 12 + 1. Suppose -5*l + 72 = -w + 3*w, -5*l + 5*w = -65. Which is smaller: v or l?
v
Let j = -1 + 2. Is j >= 6/13?
True
Let x = -288 + 3754/13. Which is bigger: x or 2?
2
Let u = -3 + 23. Let h = 61/3 - u. Is h at least as big as -0.05?
True
Let f = 24 + -24.1. Which is bigger: -0.4 or f?
f
Let q = -3 - -3. Let c = q - 2. Suppose 9 = -5*x + 2*z, z + 15 = -x - 3*z. Is c >= x?
True
Let h be 87/15 - (-4)/20. Let m = 12 - h. Which is greater: 4 or m?
m
Let g be 60/14 + (-2)/7. Is -0.1 < g?
True
Let n = -1.95 + 2.04. Is n less than -1/3?
False
Let s = 0.8 - 1.6. Do s and 0 have the same value?
False
Let r = 7 - 11. Let a = -4 - r. Do a and -1 have the same value?
False
Let m = 43 - 1. Let v be (-2)/11 + m/(-11). Let o be (2/6)/((-2)/v). Is 0 <= o?
True
Let j = -14 + 17. Let d = 7 + -5. Is j bigger than d?
True
Let i be 2/(-3) - (-121)/231. Is 1 != i?
True
Let p = -254557/12705 + -26/847. Let j = -59/3 - p. Is j >= 1?
False
Suppose 0 = -z - 2 + 11. Which is bigger: z or 7?
z
Suppose 3*q = l + 39, 0 = -4*q - l - 2*l + 52. Is 15 at least q?
True
Let k be (-4)/(-38) - (-4878)/(-855). Which is smaller: k or -6?
-6
Let b(t) = -3*t + 4. Let o be b(-3). Is o != 10?
True
Let q(n) = -2*n**3 - 3*n**2 + 2*n + 1. Let s be q(-3). Let x be (-876)/(-20)*2/4. Let w = s - x. Is w not equal to 0?
True
Let v be 1066/(-3620) + 0/(-3). Let r = v + -1/181. Let x = -77 + 76. Which is smaller: r or x?
x
Let g = -2.8 - -1. Let o = -2 - g. Let k = o - -1.2. Is k > -0.2?
True
Let n = 0.03 - 0.06. Let w = n + -0.07. Which is bigger: w or 0.6?
0.6
Suppose 0*f - 4*j + 12 = -f, -4*f + 4*j = 24. Let w be 2/(-10) + 19/(-5). Is w at least f?
True
Let c be ((-2)/7)/(3/(-7)). Let o(g) = -g + 1. Let p be o(-1). Is p at least as big as c?
True
Let d(c) = -c - 22. Let f be d(-20). Suppose 0 = 4*r - r - 6. Let b = f + r. Which is smaller: b or -5?
-5
Let h be ((-4)/42)/(50/(-15)). Which is smaller: 1 or h?
h
Let s(q) = -q**3 + 6*q**2 - 3*q - 7. Let p be s(5). Suppose g + p*g = 0. Suppos