er: 1 or k?
1
Let s be (-1)/(-6) + 121/(-132). Which is smaller: 0 or s?
s
Suppose -5*p = -3*w - 15, 2*p - 33 = -p - 3*w. Suppose 0 = -p*d + d - 1485. Let g = 5051/17 + d. Which is smaller: g or 1?
g
Suppose -4*i + 35 = 5*n + i, -4*n = -i - 23. Let a(g) = g**3 - 7*g**2 + 7*g - 3. Let j be a(n). Let k be (-12)/j*2/12. Which is smaller: 2 or k?
k
Let b(y) = -y. Let c be b(-6). Suppose 6 = -3*p + c*p. Is p >= 3/5?
True
Let l = 122/329 - 4/47. Let y be (-4)/(-2) + (-27)/12. Is y not equal to l?
True
Let d = 1.2 - 3.2. Are -1/6 and d equal?
False
Let s be 1/3*(-5 - -8). Is 1 at least as big as s?
True
Let b be 6/6 + (-501)/507. Which is smaller: b or 0?
0
Let j = -27/38 - -4/19. Which is greater: 0.2 or j?
0.2
Suppose -4*s + 60 = 4*j, -3*s - s + 5*j = -60. Let m be 5/(s/48) + -2. Suppose g = -l, 4*g - m = 4*l + 2. Is g != 4?
True
Let x be 80/(-8)*(1 + 0). Which is bigger: x or -9?
-9
Let r = -3.5 - -3.6. Let b = -4.6 - 0.4. Which is smaller: b or r?
b
Let v be (-3 - (6 + -7))/(1/12). Is -23 smaller than v?
False
Let u = -0.86 + 0.8. Let q = u - -0.06. Do q and 2/5 have different values?
True
Let b(s) = -4*s - 13. Let o be b(-6). Does o = 11?
True
Suppose -k + d = -2*d, 2*d = k - 5. Which is bigger: -1 or k?
k
Suppose 3 = -3*y - 12. Do y and -13/3 have different values?
True
Let j be (-1 - 8)*(-5)/15. Let f = 2 - j. Which is greater: -2/15 or f?
-2/15
Suppose 0 = 193*h - 198*h - 15. Let o = -131/12 + 26/3. Which is greater: h or o?
o
Let l = 1 - 46. Let c be -1*(-6)/l*1. Let k(r) = -2*r - 5. Let h be k(-3). Which is bigger: h or c?
h
Let a(b) = -b**2 - 6*b + 4. Let y be a(-6). Is y equal to 6?
False
Suppose 2*u + 0 + 10 = 4*g, 5*u + 25 = 2*g. Let l = 28 + -111/4. Which is bigger: g or l?
l
Let y = 12 + -13. Let k = -32 - -27. Which is greater: y or k?
y
Let i = -0.22 + -0.08. Let m = -8407/3 - -2770. Let h = 33 + m. Is h greater than i?
True
Let n = -17 - -16.95. Let q = n + 0.15. Let u = 2/203 - -601/812. Is u bigger than q?
True
Let o(z) = z**2 - 1. Let s(u) = -4*u**2 + 3*u + 7. Let k(n) = -5*o(n) - s(n). Let t be k(-3). Which is bigger: -3 or t?
t
Let t be 0 - (-16)/(-36) - 0. Do t and -0.2 have different values?
True
Let w = -11 - -5. Is w > -4?
False
Suppose -n - 3 = -2. Is -6 not equal to n?
True
Let t = -2.93 + -0.07. Let a = -2.9 - t. Let k = 6/7 + -25/21. Which is bigger: a or k?
a
Suppose 7 = 3*w - 8. Let z be 3/9 - (-114)/9. Let i = z - 7. Are w and i non-equal?
True
Suppose -2*z - 5*r + 4 - 1 = 0, 17 = 5*z + 3*r. Let w(s) = -s**2 + 4*s + 3. Let y be w(z). Suppose -y*m + 3 = -a, m + 3 = 4. Which is greater: 1/2 or a?
1/2
Suppose 2*x = x + 4. Let s = -1 + x. Which is greater: s or 2?
s
Let p be -1*2 + (7 - 8). Let o(i) = i + 7. Let c be o(p). Suppose 0*s + s + 2*d - c = 0, 6 = 4*s + 3*d. Is 0 less than or equal to s?
True
Let x = 80/93 + -6/31. Is -2 equal to x?
False
Let p(c) = c**2 + 16*c + 16. Let j be p(-16). Let k be -1 - (1 - (-1 - -25)). Suppose -b + k - 2 = -5*l, 0 = 4*l + j. Is 0 at most b?
True
Let f be -3*22/(-36) + -2. Let a = -10 + 10. Is f > a?
False
Suppose -5 = -j, 5*a - a - 28 = -4*j. Let f be 3/(-3)*a/16. Suppose t - 2*t + 1 = 0. Which is greater: f or t?
t
Let n = -6 - -5.5. Which is greater: n or 1?
1
Suppose -s + 6*s - 15 = 0. Suppose s*q - 34 = 23. Suppose 0*w + 4*m + q = w, 10 = -5*w - m. Is -2/7 less than w?
False
Let r = -462 - -6000/13. Is r greater than or equal to 0?
False
Let x = 21004/365 + -288/5. Which is bigger: 0 or x?
0
Let i be (-1)/(-15)*-29 + 2. Are 0 and i equal?
False
Suppose 4*r + 144 = d, -4*d + 2*d - 72 = 2*r. Let f be r/(-15) + (-4)/10. Suppose 0 = -f*q + 5*y + 5, -2*y - 3 = -q - 2. Is -5 <= q?
True
Suppose 2 = -k, -g + 4 = g - 3*k. Let d be 9/(-24)*(-10)/(-15). Which is greater: g or d?
d
Let z(i) = -i**2 - i. Let y be z(-1). Let h be y*3/9*-1. Let g be 7/(-4) + (2 - h). Is -1 != g?
True
Suppose -10*w = -12*w. Let s be w - 4*(-1)/(-4). Suppose 0 = -y + 3*y - 4. Do s and y have the same value?
False
Let f(q) = -6*q + 8. Let l(c) = c + 8. Let k be l(-9). Let y(s) = s. Let w(n) = k*f(n) - 4*y(n). Let o be w(6). Which is smaller: 3 or o?
3
Let f be (9/(-2))/(2/(-88)). Let d = f - 1380/7. Let h = -5/14 + d. Is 1 smaller than h?
False
Let o = -8 - -7.91. Let a be 6/(-4)*(16/6)/4. Which is greater: o or a?
o
Let p(w) be the first derivative of w**3/3 + 3*w**2 - 7*w + 7. Let z be p(-7). Let g be 2/(-20) - 2/(-4). Is g at least as big as z?
True
Let y(s) = 2*s + 4*s + 5 - 1 + s**2. Let l be y(-4). Let b = -1 + 1. Are b and l non-equal?
True
Let b = 2418/11 - 220. Let t = -5 - -9. Suppose 5*w = -2*m + 3, -w = t*m + w + 2. Which is smaller: m or b?
m
Let f = 9 - 8.2. Let s = f + 1.2. Is -3 less than or equal to s?
True
Let f = 0.5 - 0.1. Let h = f + -0.3. Let v = -152/483 + 2/69. Is v <= h?
True
Suppose -3*p + 0*p + q + 5 = 0, 2*p + 3*q - 7 = 0. Suppose 5*m - 10 = 20. Suppose 4*f - m = -p. Which is smaller: 2 or f?
f
Let r = -0.13 - -16.93. Let a = -17 + r. Are 4 and a nonequal?
True
Let g(f) = -f**2 - 4*f - 5. Let i be g(-4). Which is bigger: -1 or i?
-1
Suppose 0*q + 5*q = -y + 11, -3*q = -2*y - 4. Is 5/19 smaller than y?
True
Let y = 1.5 + 0.2. Let d = -5.7 + y. Let n = -2 - -3/2. Is n equal to d?
False
Let n = -8 - -2. Let p = n + 7. Let w be 0 + ((-3)/p)/3. Which is bigger: w or -1/3?
-1/3
Let a = 62 + -75. Is a <= 0?
True
Let d = -0.11 + 0.31. Which is smaller: d or -1.2?
-1.2
Let i = -34 + 34. Does -1.9 = i?
False
Let z = -13 + 14.4. Let h = -0.1 - 0.3. Let o = z + h. Which is bigger: o or -0.1?
o
Let h be (-1)/(-4)*(5 + -9). Let v be (-12)/(-8) - h/2. Is v less than 1?
False
Let t = 7 + -11. Let g = 4 + t. Is g > 5?
False
Suppose 4*j + 2*i = 0, -5 - 4 = 3*j - 3*i. Which is smaller: -9/4 or j?
-9/4
Let c = 0.158 + -0.048. Is -1 bigger than c?
False
Suppose -7*h + 40 = -107. Let k be h/(-14) - (-6)/8. Which is smaller: -1 or k?
-1
Let p = 11.5 + -4.8. Let n = p - 7. Let t = 0.2 + n. Which is greater: 1/2 or t?
1/2
Suppose 2*s = 24 + 8. Suppose 2*r - 3*r - 4*t = 8, -t + 83 = -4*r. Let b be r/s + 2/8. Which is smaller: b or 2/9?
b
Let k be (-2 + 3 + -2)/(-1). Suppose v - 15 = -4*v. Suppose -3*i + v*r + 3 = 0, 6*r = -3*i + r + 3. Is k at most as big as i?
True
Let q = 8 + 9. Let f = -27 - -44. Does q = f?
True
Suppose -4*y + 26 = 6. Let g = -5 + y. Suppose -4*w = -4*v - 20, 5*w + 31 = -4*v + 11. Is w at most as big as g?
True
Suppose 4 = d + 1. Suppose 0*y - d*y = -9. Suppose -b = -n, -4*b + 10 = y*n - 2*b. Is n smaller than 2?
False
Let d = -40 + 28. Is -13 less than or equal to d?
True
Let g = -1.5 + -1.5. Let h = g - -2.9. Which is smaller: h or -1/4?
-1/4
Let y be (2/4)/((-9)/252). Which is smaller: -13 or y?
y
Suppose i = -4*i - 2*k + 23, 4*i + 5*k - 32 = 0. Let l be -1*8/i*3. Let w = 5 - 12. Is w greater than l?
True
Let b(h) = -3*h**2 + 2*h**2 + 2 + 4*h + 1. Let v be b(4). Let u(f) = -2*f + 4. Let w be u(v). Does -2 = w?
True
Let c be -13 + 11 - (0 + 1). Which is bigger: 0.05 or c?
0.05
Suppose 5*c = 4 + 6. Let y be c*1*(-5)/(-55). Are y and 0 equal?
False
Suppose -4*y + 7*y = -1050. Let r be 170/y - 2/(-10). Is 0 > r?
True
Let s = 14658166 + -4338824781/296. Let h = s + -270/37. Let v = 33 + h. Is 0 > v?
True
Suppose 0 = -4*s + 2*s + 28. Do s and 14 have the same value?
True
Let w = 2/193 - 794/2123. Which is greater: 0 or w?
0
Let k = -0.5 + 0.6. Let q = 0.36 - 0.36. Which is smaller: q or k?
q
Let o be (-33)/10*(-10)/24. Let a = o + -71/40. Which is bigger: a or 0?
0
Let a(u) = u**2 - 5*u - 13. Let c be a(7). Let j(z) = z**2 + z + 1. Let v be j(-1). Is c less than v?
False
Let r(o) = -o. Let c be r(-2). Suppose -c*k = -0*k + 2. Is k greater than or equal to 1/14?
False
Let a(m) = 6*m + 6. Let t be a(-2). Is -5 bigger than t?
True
Suppose 2*f + 42 = 4*f. Suppose 7*g = -q + 2*g + f, 0 = -3*q - 3*g + 15. Is 2/3 not equal to q?
True
Let x = 2 + -3. Let d = -0.48 + -0.02. Which is bigger: x or d?
d
Let q = 2 - -1. Let n be 0/(-2)*17/34. Suppose j + q*j = n. Is -1 smaller than j?
True
Let k = -59.2 + 59. Let a = -2.05 - -2. Which is smaller: a or k?
k
Let x(o) = o + 19. Let z be x(-19). Which is smaller: z or 1?
z
Let g be 4/(-20) - (-3 + 3). Are g and -2/3 equal?
False
Let o(j) = j - 1. Let w be o(-5). Let r(h) = -h - 8. Let b be r(w). Let i = -2 - b. Is 1/3 at most i?
False
Let w(d) = -d**2 -