 Which is greater: k or b?
b
Let q = 18/17 - 217/221. Let n = 30 + -30. Suppose n = 39*b - 34*b - 5. Which is greater: q or b?
b
Let s = -240 - -389. Is 148 > s?
False
Suppose -4*p = 3*t, 0 = -7*p - 13*p + 21*p. Let c = -1/724 - -407/32580. Which is smaller: t or c?
t
Suppose 3 = -2*k + 11. Let n(h) = -2 + k + 4*h + 6. Let o be n(-4). Are -9 and o equal?
False
Let u = 3/91 + 43/1456. Which is greater: 0 or u?
u
Suppose -6*y + 3*y - 354 = 0. Let v = y + 1280/11. Which is smaller: -2 or v?
-2
Let n be (2/(-4))/((-2)/508). Let i be 2246*2/(-36) + -2. Let t = i + n. Are t and 4 unequal?
True
Let m = 639 + -638.7. Is -13 >= m?
False
Suppose -r - s - 4*s + 107 = 0, 0 = -4*r - 4*s + 380. Suppose 3*h + q - r = 31, 2*h - q - 77 = 0. Let b be h/30 - 8/6. Is 1/17 greater than b?
True
Suppose 7 + 1 = -4*w. Suppose 0 = 3*p - 11*p + 32. Which is smaller: p or w?
w
Suppose 0*g = g. Suppose 0 = -3*z - 2*l + 63, -2*z - 3*z - 4*l + 107 = 0. Let f be (g - -1)/(-20 + z). Is f at least 3/31?
False
Let n = 777 + -160. Let d = n - 431. Let p = d - 1304/7. Do 0.09 and p have the same value?
False
Let p be (-21)/2 - (-2)/4. Let n = 2161 + -2172. Which is bigger: n or p?
p
Let c be (-27)/6*(-4)/6. Suppose -1 = -t + i, -13 = c*t - 4*i - 16. Let a = 2.95 - -0.05. Which is greater: a or t?
a
Let n be 26/8 + 5/(-20). Let j = 2 + n. Let u be (1/(-2))/(j/(-10)). Are u and 1 unequal?
False
Let r = -4/31 - -51/155. Let a be 25 + (2 + -4 - 0). Is r greater than or equal to a?
False
Let c = 23.49 + -21.89. Let p = -0.3 + -2.1. Let q = c - p. Which is smaller: -1/11 or q?
-1/11
Let t be ((-9)/(-18))/(1/44). Let a = t + -13. Let g(r) = 2*r**2 + 23*r + 18. Let f be g(-11). Is f not equal to a?
True
Let j be (18/75)/((-9)/(-60)). Suppose 0 = -2*c - i - 2, 3*c - 3*i = 8 + 7. Is c less than j?
True
Suppose 4*f = -52 - 92. Is f > -40?
True
Suppose s = 5*m - 18 - 98, 5*s - 20 = 0. Which is bigger: m or 1?
m
Suppose 7*v = -8 + 57. Let l(o) = o**3 + 9*o**2 + 7*o - 5. Let m be l(-8). Suppose a + 4 = d, 0*d + 10 = m*d - 4*a. Which is bigger: d or v?
v
Let l(o) = o + 2. Let p be l(-4). Let y = p - -3. Suppose k + 0 = y. Are k and -1/5 unequal?
True
Suppose -3*x - 5*h + 510 = -2*h, -5*x - 2*h = -862. Is x bigger than 174?
False
Suppose -5*s - 5*b - 13 - 77 = 0, 2*b - 66 = 4*s. Which is smaller: s or -12?
s
Let j(g) = 35*g**2 + 14*g - 13. Let y be j(1). Is y bigger than 2?
True
Let w be (3/(-8))/(6/4). Suppose 5*z + 203 = 4*y, 2*y + 5*z - 94 = 15. Suppose 59 = -7*c + y. Is c >= w?
False
Let v = -639 + 638. Which is bigger: 3/238 or v?
3/238
Let u = -71.2 - -71.1. Is u less than 0.08?
True
Let y = 69.9 + -76.9. Is 0.6 > y?
True
Let u = 3 - 2. Let k = 2.19 + 0.21. Let t = k + -2.59. Which is greater: t or u?
u
Let a(f) = f**2 - f + 1. Let z be a(0). Let y be -51*(-1)/20*-1. Let s = y - -219/80. Which is smaller: s or z?
s
Let i be 9/(-45) - 258/10. Let w = -27 - i. Which is smaller: -2/7 or w?
w
Let y be (-1)/5 + 24*12/(-10). Let v be 24/110*(-24 - y). Which is smaller: 0 or v?
0
Let m = 52.975 + 0.025. Which is smaller: 1 or m?
1
Let a(h) = -h**3 - h**2 + h - 7. Let p be a(0). Let m be (37 + 2)*(-4)/6. Let s = m - -21. Do p and s have the same value?
False
Let q(k) = k**3 - 5*k**2 + 8*k - 3. Let w be q(3). Suppose -w*l - 12 = 0, -7*m + 2*l = -3*m - 20. Is m greater than 8?
False
Suppose -j = 15*k - 16*k - 7, 10*j - k = 70. Are j and -8.9 equal?
False
Suppose 6 = 12*g + 102. Let h(l) = l**3 + 9*l**2 + 4*l - 26. Let b be h(g). Let i = -2 - -8. Is b at least as big as i?
True
Let f = -17 + 27. Suppose -14 = -f*s - 4. Is s equal to 2/175?
False
Let f be ((-193)/2509)/((-1)/2). Is f less than -16/25?
False
Let b(r) = r - 2*r**3 + r**3 - 4 - 4 + 10*r**2. Let g be (-8)/(-12)*60/4. Let y be b(g). Is 4 smaller than y?
False
Suppose 0 = -8*a + 3*a + 25. Suppose 3 = a*z - 3*h, z + h - 8 = -1. Suppose z*t = 4*t - 6. Is t >= 5?
True
Let l(a) = -2*a**3 - 3*a**2 - a - 4. Let w be l(-3). Suppose 4*u = -18 + 30. Suppose -h - 7 = 3*r - 24, -u*h = 4*r - w. Is h <= 5?
True
Suppose 53 = y + 9. Let c be 2/4 - 68/136. Suppose -3*v - v + y = c. Which is greater: 29/3 or v?
v
Let m(u) = 11*u + 1. Let c be m(7). Let a = c - 77. Is a at least 2/153?
True
Let y = -88 + 94. Which is bigger: y or 45?
45
Suppose -8 = 3*l + 2*b, 5*b + 12 = -5*l + 2*b. Let n = 229/18 - 79/6. Is l <= n?
False
Let u = -0.03 + 0.02. Let i = u - 0.99. Which is smaller: i or 12?
i
Let x = -13 - 38. Which is greater: x or -50?
-50
Let w be ((-2)/(-354)*2)/((-112)/28). Let d = w + -455/6018. Which is greater: d or 0?
0
Let t = 587 + -586.4. Is t bigger than 4/25?
True
Let f(c) = -c + 1. Let m be f(1). Suppose m*n = 3*n. Suppose 0 = -5*y + y - 2*b - 8, 0 = y - 3*b - 5. Is y < n?
True
Suppose -4*f + 4*w + 8 = 0, 0 = 4*f + 5*w - w - 16. Suppose x + x = f*r + 4, -4*r = -x + 2. Suppose -x*d + 0*y + y + 8 = 0, y - 2 = -3*d. Is d at least 6/7?
True
Let t be 9/(-135) + (-26)/60. Suppose 2*o - 3*h = 11, o + 7 = -4*h + 3*h. Which is bigger: t or o?
t
Let t = 43495/29 + -1500. Which is greater: -1 or t?
t
Let r be -33 + 4/(-2)*9/18. Let t = r - -80. Do 1/4 and t have the same value?
False
Let y(z) = z**2 - 8*z + 6. Let q be y(6). Let m = 21.1 - 22. Let o = 1 + m. Which is smaller: q or o?
q
Let a = 1125 + -1497. Which is greater: a or -743/2?
-743/2
Let r be (-2 - (-4)/4)*-24. Let b be (r/(-16))/(6/118). Let m = b - -30. Is m < -5/3?
False
Let i be ((-32)/20)/((-4)/(-70)). Let p = -33 - i. Is -5 equal to p?
True
Let n(l) = l - 5*l + 1 + l. Let m be n(1). Let a be m/6*(-10 + 49). Is -14 < a?
True
Let k(t) = -2*t**2 + 4*t + 19. Let u be k(6). Let w = u + 36. Let f be 0/w - 2/6. Is 8 > f?
True
Let h = -1583/15 - -304/3. Suppose -t + 3*t + 3*d = 17, -34 = -5*t + d. Suppose -2*a - 1 = t. Which is greater: h or a?
a
Suppose -3*o + 174 = -3*l, 4*o - 3*l = 5*o - 46. Which is bigger: -3 or o?
o
Suppose 25*q - 39 = 361. Is 139/8 at most q?
False
Let v = -49.33 - -6.33. Is 0.02 smaller than v?
False
Let f = 40.18 + 10.92. Let t = -11.9 - f. Is 0 <= t?
False
Let w = 186.1 + -134.1. Which is smaller: w or -9?
-9
Let q = 95/24 + 13/24. Suppose -2*s + 0*s = 4, 3*w + 3*s - 9 = 0. Is w < q?
False
Suppose 15 = 4*n + 31. Let f be n/2*(-3)/(-15). Let x be (-4)/6 - (-2)/(-6). Is x smaller than f?
True
Suppose 3*u = -4*l + 7, 0 = -5*l - 5*u + 8*u + 2. Is l equal to -7/110?
False
Suppose -7 = r - 25. Let v be r/14 - 30/105. Let x be ((-13)/(-10) - v)/3. Is -1 greater than or equal to x?
False
Let d be 5/25 - 398/(-110). Suppose 4*r - 2 = 5*h, 8*r + 3*h = 13*r - 9. Which is smaller: r or d?
r
Let r(b) = -b**3 + 5*b**2 + 8*b - 7. Let m be r(6). Suppose -6*v = -m*v - 12. Let g be v + -13 - (-6)/14. Which is smaller: g or -2?
-2
Let b = -8 - -5. Let q(i) = 2*i**3 + 2*i + 3. Let f be q(b). Let r = -401/7 - f. Which is greater: r or 1?
1
Let i be 1 - 0 - 12*250/15. Is i smaller than -199?
False
Let s = -145144/8709 + -2/2903. Let l = -152/9 - s. Is l equal to 1?
False
Suppose 5*v + 3*g = -4, -14 = v + g + 4*g. Let t = 553/54 - 61/6. Do v and t have different values?
True
Suppose 2*p = 3*m + 3, 2*m - 65 = -5*p - 2*m. Let t be 2 - 0 - 3/(-3). Suppose -4*v + 12 = 0, 38 = u + t*u + 2*v. Which is bigger: p or u?
p
Let q = 45 - 30. Suppose 4*w - k + 11 = 4*k, 5*k = q. Which is bigger: 2/17 or w?
w
Let u be (4/2)/2 + (-3 - -4). Let p(o) = 4*o - 8. Let x be p(u). Which is greater: x or -2.9?
x
Let g be 5 + 0 + 1519/(-310). Is g at most as big as 34?
True
Let p = -8 + 8. Suppose -z + 15 = -p*z + 5*x, 0 = 2*z + x - 3. Suppose z = y - 2*y + j, 2*j = -5*y. Is 1 > y?
True
Let m be (3 - 131/39)*360/70. Which is smaller: -3 or m?
-3
Let b(j) = j**2 + 9*j. Let v be b(-9). Let f = v - -5. Suppose y + 3*y + 3*l = 49, f*l + 35 = 5*y. Are 9 and y equal?
False
Let y(s) = -4*s - 19. Let w be y(-8). Let c = 0.048 - 0.048. Which is smaller: c or w?
c
Let t = -6.27 + 4.27. Which is bigger: -68 or t?
t
Let z(f) = -15*f**2 - f - 1. Let i be z(-5). Let c be i/(-21) - 2/3. Suppose -4*w - 25 = -5*j, 4*w + 4*j - 3 = c. Which is greater: w or -8?
w
Suppose c - 4*x + 10 = -3*x, 4*x + 20 = -2*c. Let o be 1/(-2)*c/1. Suppose 4*b - 80 = o*t, -t - b - b - 2 = 0. Is -11 < t?
False
Let d be -1 + 0 + 1*4. Let u(f) = -f**3 - 5*f**2 - 4*f + 6. Let p be u(-4). Let t be 6/2 - p*(-5)/(-15). Is t less than d?
True
Let g(a) = -a**