221 or k?
2/221
Suppose -5*s + 37*w - 35*w = 2081, -s + w - 415 = 0. Is s bigger than -415?
False
Let j = -675 - -966. Which is greater: j or 292?
292
Let c be 3/((-4)/4) - 0. Let z = -3/5 - 9/10. Is z smaller than c?
False
Let x = -1/465 + -769/2790. Let w = x - 11/9. Is -3/4 smaller than w?
False
Suppose 10 = 5*w, 3*w - 17 = -2*n - 89. Is -38 at most n?
False
Suppose 17*s - 18*s - 20 = 5*m, -4*s + 3*m + 35 = 0. Let o = -66 + 329/5. Which is bigger: s or o?
s
Let l = 118 - 14. Let t be 4 - l/12 - -1*4. Which is smaller: -10/9 or t?
-10/9
Suppose 9 = -3*y + 6*y. Let n = 289/1140 - -11/114. Let d = n - -5/4. Is d greater than y?
False
Let r = 100047 - 1499917/15. Let p = 246/5 - r. Which is bigger: p or -3?
-3
Let w be ((-3)/(-6))/(3/12). Which is greater: -4 or w?
w
Let z be (8302/(-21))/((-6)/9). Which is smaller: z or -1?
-1
Let x(h) = -h**3 - 6*h**2 + 1. Let m be x(-6). Let c be m - -5*12/(-20). Which is bigger: -22/9 or c?
c
Let k be ((-3)/2184)/(5 - 6). Which is bigger: -1 or k?
k
Let q = 21.8 + -25. Let s = -4 + q. Let j = 7 + s. Are -7 and j equal?
False
Let h(b) = -b**3 - 3*b**2 + 4*b - 1. Let i be h(-4). Let s be ((-15)/(-100))/((-136)/70). Let x = s + 9/34. Is x > i?
True
Let u = 578 + -580. Is -0.679 bigger than u?
True
Suppose 2*n + j = 211, 5*n - 3*j + 0*j - 555 = 0. Let u = n + -40. Are u and 68 equal?
True
Suppose -4*i + 5*x = 2, 0 = -i - 3*x + 2*x + 4. Let z = -7641/4 + 1912. Which is greater: z or i?
i
Let l be (0 - 0) + (30 - 3). Let r = -77/3 + l. Let p be (7/21)/(5/(-6)). Which is bigger: r or p?
r
Let z = 2 + -1. Let i be ((-4)/130)/((-97)/(-1455)). Is z less than or equal to i?
False
Let a = -5 + 3. Let b be (6 + -4)/((-7)/14). Is a at least b?
True
Suppose 0 = 8*d + 1 - 9. Let t = -1489/8 - -188. Which is bigger: d or t?
t
Let s = 2.3 + -2.6. Which is smaller: 45 or s?
s
Let k be 56/(-102) + 0 + 40/60. Let a = k - 5/476. Is 0 bigger than a?
False
Let x = -73 - -70.1. Let r = 3 + x. Let v be ((-26)/(-4))/((-1)/2 + 1). Which is greater: r or v?
v
Let n(g) = -g**3 - 9*g**2 + 4. Let z be n(-9). Let h = z - 6. Let w be ((-4)/(-40))/(h/(-5)). Is w at most as big as -9?
False
Let u be 1/3 - (-369008870)/(-168). Let q = u - -2196817. Let g = q + -336. Which is greater: -1 or g?
g
Let h = -2 + 3. Let x = -3889/4 - -973. Which is smaller: h or x?
x
Suppose -15 = 8*y - 23. Is y less than 3/7?
False
Let v(t) = t**2 - 52*t + 36. Let o be v(51). Is -7 at least as big as o?
True
Let f = 1 + 14. Suppose 5*a = 2*a + 4*q + 50, 3*a + 3*q = 36. Suppose -2*k + 3 - f = -2*t, 0 = -3*k + 2*t - a. Which is smaller: 3 or k?
k
Let d = 42/31 + -1733/1302. Is -1 greater than or equal to d?
False
Suppose -31*q = 18*q + 294. Does -5 = q?
False
Let x(r) = r**3 + 5. Let p be x(0). Let q = -0.51 + -2.49. Which is smaller: p or q?
q
Let u be 27/(-6)*(-2)/1. Let g = 8 - u. Let o be -1*(g - (-12)/13). Which is smaller: o or 1?
o
Let x be (-1)/(-3) + 29/3. Let q(n) be the first derivative of -n**3/3 + 5*n**2 + 8*n - 32. Let d be q(x). Is d greater than or equal to 7?
True
Let y = -1.9 - -1.2. Let p = -30 - -36.3. Let f = p - y. Is 1/3 equal to f?
False
Let x = -1.321 + 0.021. Let t = 1.2 + x. Is t > 26?
False
Let x = 0.064 + -0.074. Are 9/10 and x non-equal?
True
Let i be -2 + (1 - (-15)/3). Suppose -i*r + 2*j + 3 = -5*r, -j + 2 = 4*r. Let k be (-2)/6 - 32/(-69). Is r equal to k?
False
Let l = -2023/2650 + -59/106. Which is smaller: l or 0?
l
Suppose 2 + 19 = 3*q. Let m(l) = -8*l + 11. Let v be m(q). Let z be 186/v + (-4)/(-1). Which is smaller: -1 or z?
-1
Suppose 0 = 9*j + j - 1100. Suppose -13*d + j = -111. Do 14 and d have the same value?
False
Suppose -8*f = -61 - 51. Suppose -3*x + 125 = f. Is x smaller than 75/2?
True
Let n be (-160 - 1)*(-28 + 29). Let b = n - -165. Is 2/3 not equal to b?
True
Let z be (12820/(-9690))/((-5)/(-3)). Let u = -2/323 + z. Let y be 1 - (-2 + 1) - 2. Which is greater: y or u?
y
Let k be 850/6 + (-74)/111. Let p = k + -145. Which is smaller: p or -18/5?
p
Let p = -1384 - -1385. Which is smaller: 3/62 or p?
3/62
Suppose 5*d + 6 - 17 = -q, 3*d + q = 7. Let r be 0 + (d + -1 - 0). Let j be 5/(-2)*-4*r. Does 2 = j?
False
Let q = 1550 - 91448/59. Which is smaller: 1 or q?
q
Let k = -40 - -28. Let o = k + -9. Which is smaller: o or 1?
o
Suppose -3*l - 63 = -2*l + f, -61 = l - f. Are -59 and l unequal?
True
Let t(g) = 2*g**2 + 43*g + 24. Let b be t(-26). Is b bigger than 257?
True
Let n = 24437/10 - 2447. Which is greater: -4 or n?
n
Let g be (0 - (-450)/(-12))*2. Which is smaller: -73 or g?
g
Let n be (-3 + (-22)/6)*114/2375. Which is smaller: 1 or n?
n
Let q = 41 + -14. Let d be (-15)/20 - q/(-4). Let m = 5 + 1. Is m at most d?
True
Let j be 3 + ((-789)/(-6))/(3/6). Let o be j/(-18) + (-26)/117. Is -17 greater than o?
False
Suppose 55 + 68 = 41*b. Is 45/22 smaller than b?
True
Suppose s - 5*x = -2*x - 4, -25 = -5*x. Let i(o) = -o + 11. Let h be i(s). Suppose -4*f + 0*f = h. Which is smaller: -1 or f?
-1
Let z(h) = -3*h**2 + h + 2. Let y be z(-1). Let q be (y/(-14))/((-30)/80). Which is smaller: q or 0?
q
Let v(x) = x**3 + 8*x**2 - 8*x + 12. Let u(c) = -3*c + 9. Let d be u(6). Let i be v(d). Let r be i/(-4)*8/12. Which is bigger: 1 or r?
1
Let s = 73 + -68. Suppose -2*g + 0*g - 10 = 4*f, s*f + 5*g + 20 = 0. Which is bigger: 1/65 or f?
1/65
Let q be 1*(4/(-38))/1. Let m(c) = -7*c + 504. Let t be m(72). Which is smaller: t or q?
q
Let a be 12/10*(23 + -18). Are 6 and a nonequal?
False
Let v be (-44)/198 + (-430)/9. Let i = v + 51. Is -1 greater than i?
False
Let b = -10 - -12. Suppose 5*u + v + 3 = -0, 12 = b*u - 4*v. Which is smaller: 1/85 or u?
u
Let j be (-20)/(-830)*(-3)/6. Which is bigger: j or 1?
1
Let o = -9 - -15. Suppose o*t = 3*t. Suppose t = 5*r - 2*r. Are -1/11 and r nonequal?
True
Let r = -3280 - -200085/61. Is -1 bigger than r?
False
Let a = 0.55 - 0.7. Let w = -0.081 - 13.069. Let b = a - w. Which is smaller: b or -1?
-1
Let k be ((-7)/4)/(176/320). Which is bigger: -4 or k?
k
Let k = 39.01 - 1.01. Do k and -2/13 have the same value?
False
Let p(l) = -2*l**2 + 9*l + 5. Let o be p(5). Let h = -209/225 + 1/25. Which is greater: o or h?
o
Suppose -519*c + 219 = -516*c. Are 74 and c equal?
False
Suppose -4*f + 8*f = 0. Suppose 2*u + 4 = -f*u - 2*y, 3*u - 2 = y. Is -4/21 smaller than u?
True
Let c = -0.0391 + 0.0491. Which is greater: -1 or c?
c
Let v = 570.94 - 571. Is v greater than 4?
False
Let a = 4 - 4. Suppose 4*j - 4*i + i + 24 = 0, -j - 3*i + 9 = a. Suppose 0 = -o + 2*s - 10, s = -o + 2*s - 5. Which is smaller: j or o?
j
Let l = -58 + 119/2. Is 25 greater than l?
True
Let p = -416/165 + 27/11. Which is smaller: 0 or p?
p
Let t be 8 + -12 - 86/(-60). Let a = t + 8/3. Which is smaller: a or 1/4?
a
Suppose 22*r = 17*r + 5, -2*r + 34 = 2*o. Are o and 17 unequal?
True
Let j be (-57)/(-4) - 5/20 - 49/(-7). Let p be (1/2)/(1/41). Which is bigger: p or j?
j
Let o be 4*(-6)/(-48)*0. Is -4/329 less than o?
True
Let x = -153/70 - -19/10. Let s(n) = -n**3 + 11*n**2 - n + 16. Let g be s(11). Suppose -7*i = -5*b - 3*i, 4*b = -g*i. Is x greater than or equal to b?
False
Let b(u) = -119*u - 575. Let f be b(-8). Is 375 equal to f?
False
Let m = -0.4 + 0.3. Suppose -4*a - 485 = a. Let i = -123 - a. Which is greater: i or m?
m
Suppose -11 = 4*k - 3*k. Let r = k + 12. Which is smaller: r or -1/50?
-1/50
Let v = 11 - -5. Let i be (6/v*-10 - -3)/3. Which is greater: i or -2/7?
i
Let o be (4/14)/((-20)/(-35)). Let a be 5/(-2)*-2 + 0. Let r = a + -5. Which is bigger: o or r?
o
Let s = -1088.012 - -1088. Which is bigger: s or -1.6?
s
Suppose 2*n + 8 = -d, 4*n + 12 = -0. Let p = -6 - d. Let k be (-51)/18 + 2/(-12). Is k at most as big as p?
False
Let a(u) = -8*u**2 - 4*u - 13. Let c(g) = -g**3 + 15*g**2 + 9*g + 27. Let q(l) = -5*a(l) - 2*c(l). Let v be q(-5). Are 3 and v equal?
False
Let h be ((-8 + 2)*1)/((-24)/16). Suppose 0*r = 4*r + 3*a + 240, 0 = -3*r + 3*a - 180. Let k be r/84*h/10. Is k greater than -1?
True
Let f be 2/9 - 528/2133. Suppose -85 = -2*b - 87. Which is bigger: b or f?
f
Let z = -1.883 + -0.087. Let p = z - -2. Let l = 0.03 - p. Is 1/4 > l?
True
Let d = 939 - 942. Let r = 4 - -2. Suppose -3*g + r*b = 2*b + 24, g = 3*b - 13. Is g < d?
True
Let h(y) = -26*y**3 + y**2 + 2*y + 2. Let l be h(-1). Which is smaller: l or 22