ppose -5*x + s*f - 9 + 112 = 0, -4*f = 5*x - 131. Which is greater: 22 or x?
x
Let w = -52/41 - -1468/123. Let i = w - 331/33. Which is smaller: i or 1?
i
Let t be 330756/(-41340) + (371/49 - (-9)/21). Is 1 at least t?
True
Let z = 20.2 + -20.378. Suppose 4 = 2*x - 0*x. Is x bigger than z?
True
Let j be 22*2/(-4) + 10024/910. Let f be (0 - 0)*(0 - -1). Is f <= j?
True
Let a(l) = l + 15. Let s be a(-11). Let z be ((-9)/s + 6/24)*2. Let v be (-2)/z*16/32. Which is smaller: v or 17?
v
Let x(p) = -13*p - 1. Let n be x(1). Let g = n + -505. Let j = -15055/29 - g. Does 1 = j?
False
Let i(a) = a**3 - 4*a - 49 - 4*a**2 - 3*a**3 + 46. Let k be i(-2). Suppose -k = 13*g - 12*g. Which is greater: g or -6?
g
Let i = 5037.01 - 5015. Let g = i - 23. Let k = -0.45 + 0.55. Which is smaller: g or k?
g
Let u(n) be the third derivative of -n**6/120 + 4*n**5/15 - 5*n**4/8 - n**3 + 4*n**2. Let w be u(15). Let z = -2 - w. Is 8 greater than z?
True
Suppose 4*r + 99 = -45. Let p(l) = 6*l - 5. Let u be (7 + (-88)/12)*5*3. Let m be p(u). Which is greater: m or r?
m
Let g(t) = t**2 - 111*t - 1109. Let p be g(90). Is p at least as big as -3001?
True
Suppose 167 - 127 = 2*i - 4*n, -i - 3*n + 5 = 0. Let r = 0 + -6. Are r and i nonequal?
True
Let p(a) = 21*a**2 - 43*a + 127. Let i be p(4). Which is smaller: i or 296?
i
Let r = 32.5 - 35. Let w = 7 + r. Let k = w - -0.5. Is k greater than 0.03?
True
Let m = 20833 - 20833. Which is smaller: m or 26/717?
m
Suppose -162 = -2*g + 8. Suppose -3*w + g = -4*j + 5*j, 3*j = 2*w + 244. Do j and 81 have the same value?
False
Let r = 533 + -2653/5. Let v be (4 - 4)*2/8. Suppose h = 2*n, v = 3*h - 5*n + 4 - 5. Which is greater: r or h?
r
Suppose 3*d + 7558 = 5*b, -5*d - b - 1912 - 10610 = 0. Which is greater: -2509 or d?
d
Let h be 562/1 - 15/(90/12). Let b be -4 - (h/(-65) - -5). Is b < 0?
True
Let i(m) = -2*m**2 - 176*m + 1466. Let s be i(-96). Which is smaller: s or -0.04?
s
Suppose 5*r + 0*v + 3*v = -39, 4*v = 8. Let x be (-45)/54 - (1 + 12/r). Let a(k) = k**3 - 27*k**2 + 27*k - 23. Let t be a(26). Which is bigger: t or x?
t
Let y = -0.33 - 87.67. Let p = y + 90. Which is greater: p or -57?
p
Let k = 2/14767 - -413346/959855. Which is greater: k or 0?
k
Let n = 116.3531 + 2.6549. Let f = 504 - 385. Let c = n - f. Is 0.1 equal to c?
False
Let d = 808 + -101. Is d > 706?
True
Let f = -37/52 - 20/13. Suppose -4*i - 19 = b + 4, -2*i - 22 = 4*b. Is f not equal to b?
True
Let o(r) = -r**3 - 4*r**2 + 6*r + 7. Suppose 4*t + 26 - 5 = y, 0 = -4*y + 4. Let s be o(t). Suppose 8*q + s*q = -310. Is q less than or equal to -30?
True
Let t be ((-3)/(-24))/((-2)/15446) + (-1419)/(-3784). Which is greater: -958 or t?
-958
Let h(l) = -l**3 + 11*l**2 - 12*l + 28. Suppose 0 = -3*p + 6 + 24. Let i be h(p). Let f be -2*(-12)/i + 50/1. Are f and 52 non-equal?
True
Let k = -52 - -63.4. Let a = 11 - k. Let v(q) = 25*q + 328. Let t be v(-13). Is a greater than t?
False
Let h be ((-18)/(-4) - 3)/((-3)/(-416)). Suppose h*o - 207*o = 74. Which is greater: o or 301/4?
301/4
Let o = -331.1 - -801.1. Which is smaller: 0.3 or o?
0.3
Let o = 0.09 - 0.1. Let i(b) = 2101*b - b**3 + 3*b**2 - 2101*b + 16. Let z be i(4). Which is smaller: o or z?
o
Let p = 384 - 341. Suppose 0 = 30*g - p*g. Suppose i - 6*i = -m, 0 = 3*i + 5*m. Are g and i equal?
True
Let m be 5/(-30)*(-28)/(-9). Suppose a - 3 = w, 0 = 254*w - 249*w + 20. Which is greater: m or a?
m
Let m(i) = -247*i - 988. Let d be m(-4). Is 1/26124 not equal to d?
True
Let s be 9/(-1) + -4 + 4 + -3. Let j(h) = 3*h + 35. Let p be j(s). Let a be 2/p + 132/4. Is 29 less than or equal to a?
True
Let j = -4639 + 4631. Is -279/38 >= j?
True
Let s = 1440 + -1377.1. Let f = -63 + s. Is f greater than -76?
True
Let l(z) = 85*z - 426. Let p be l(5). Is -87/118 at least as big as p?
True
Let x(f) = -f**2 - 16*f + 24. Let k be x(-15). Let t = k + 173. Let s be t/(-68) - -3 - 972/(-170). Do 6 and s have the same value?
False
Suppose 70*b = 118*b - 96. Which is greater: b or 8/13?
b
Let j be (1/(-1))/(1 - 0). Suppose -16 = 4*d, 0 = -21*b + 17*b - 4*d - 28. Let m be ((-78)/24 + 2)*b/20. Are j and m non-equal?
True
Suppose 5*l - 6 - 4 = -5*i, 5*l - 11 = -4*i. Suppose -3*v - l*v = -756. Suppose 0 = 7*u - 0*u + v. Is u at most 0?
True
Suppose -47*g = 18*g + 3*g - 1224. Is 283/17 > g?
False
Let q = 14058 - 2100. Is 11958 less than q?
False
Let k = -48078430/689 - -69780. Let b = -18064/10335 - k. Which is smaller: b or 1?
b
Suppose -74*a = -69*a - 155. Suppose -3*l + 28 = a. Are 1/116 and l equal?
False
Suppose 0 = -3*v + 5*c - 8308, -220*v - c = -217*v + 8332. Is -2775 at least as big as v?
True
Suppose -182*b + 178*b = -16. Let w be (8/b - 2) + 3. Which is greater: 15/7 or w?
w
Let o be (214/8)/((-51)/(-612)). Let m = o + -358. Do -47 and m have different values?
True
Suppose -5*w - 2*t + 126 = 132, -4*w + 9 = -3*t. Suppose 0 = l - 3 - 0. Suppose 2*p = -l*y - 1, p - 4*y - 7 - 9 = w. Which is greater: p or 21/5?
21/5
Let f = -2 - -1.7. Let l = 131.4 - 138.57. Let u = -7.1 - l. Is u less than f?
False
Let v(p) = p**3 - p**2 + 6*p - 1. Let h be v(4). Which is greater: 93 or h?
93
Let v = 175 + -164. Suppose -3*o - 9 = 0, -2*c - 6 = 5*o + 7. Let b(i) = 11*i**3 + 2*i - 1. Let d be b(c). Which is bigger: v or d?
d
Let x(q) = 7*q**3 + q**2 + 3*q - 13. Suppose -6 = -p - 3. Let v be x(p). Is v equal to 197?
False
Let x be ((-48)/56)/((-2)/98). Let g = 43 - x. Which is smaller: 1/166 or g?
1/166
Let k(f) = f**3 - f**2 + 3*f - 9. Let o be k(0). Let x be (9 + -11)/((-12)/o - 2). Let r be (66/2 - x) + 0. Which is smaller: 31 or r?
r
Let t = 32 + 522. Is t > 556?
False
Let o be 2 - (-2)/(-4)*(0 - 418). Suppose 3*n + 5 = 8, 2*r - 3*n + o = 0. Suppose -2*p = -i + 57 + 151, -2*p - 2*i - 208 = 0. Is p != r?
False
Let h be (-2)/(4/16*-2). Suppose 5*t = 5*c - 10, -h*c + 0*c + 8 = 0. Suppose 5*w + 4*i = -44, t = -0*w - 3*w + 2*i - 22. Which is greater: -1 or w?
-1
Suppose -n + u = 2917, -4584 = n + u - 1667. Is n at most as big as -2916?
True
Suppose -s = 2*z - 4722, 63*z - 11796 = 58*z + 2*s. Is 2362 not equal to z?
True
Let j(g) be the second derivative of -29*g**3/6 - 76*g**2 - 16*g - 2. Let q be j(-16). Which is bigger: q or 313?
313
Let w be -1*324/(-264)*6/(-33). Which is smaller: 1 or w?
w
Let o = 6373 + -6845. Is -465 < o?
False
Let m be ((-56958)/(-46))/(31707/4068 - 8). Let u = m + 6018. Which is smaller: u or -1?
-1
Suppose -29*f - 16321 = -1821. Let m be 10*(-30)/f + (-312)/470. Which is smaller: m or 0.2?
m
Suppose -119*s + 126*s = 7. Let u be 0 + 1 + -5 + s. Suppose c + 2*c = -5*b - 28, 5*c + 3*b = -20. Are u and c unequal?
True
Let x(h) = h**2 + 18*h + 12. Let v be x(-17). Let q(p) = p**3 + 6*p**2 + p + 4. Let l be q(v). Let y be ((-14)/28)/(2 + (-50)/l). Which is greater: 25/4 or y?
25/4
Let r be 6 - ((-12)/(-42) - 11786/(-1232) - 4). Is 0 at most r?
True
Let b = -43 + 31. Let c be (60/(-9) - 10/(-15))*b. Suppose 0 = 3*d - 3*h - c, -92 = -5*d - 5*h - 12. Which is bigger: 21 or d?
21
Let c be (54 - 53)/(-1 + (-230)/(-228)). Let z be ((-1197)/c)/(0 - 9). Is 0 > z?
False
Suppose -118 = 3*s - 13. Let z = -39 - s. Let k be 1158/165 + z - 2/(-11). Which is greater: k or 4?
4
Let f be (-6 - 2)/((-2)/(-8)). Suppose -170 = 5*n - 4*a + 6*a, -68 = 2*n - 3*a. Let i = n - f. Is -8 != i?
True
Let k = 9384 - 21404905/2281. Which is bigger: -1 or k?
k
Let m(u) = -4*u - 12. Suppose -2*s = 10 + 2. Let f be m(s). Suppose 5*r = 3*r - f. Is r bigger than -2?
False
Let o = 15 - 15. Let p be (-14)/35 - 84/(-10). Let h be 46/p + -5 + -2. Is o less than or equal to h?
False
Let a = 23/9 - 26/9. Suppose 2*o = 3*o - 80. Suppose 3*h + h = -o. Which is smaller: a or h?
h
Let k = 13/32 - 5/32. Suppose 7*z = 9*z + 88. Which is smaller: k or z?
z
Let v be (198/45)/(-11) + (-2594)/(-10). Which is smaller: 1301/5 or v?
v
Let z = 357 - 282. Let b = -85 + z. Is -11 at least as big as b?
False
Let o(k) be the third derivative of -7*k**4/4 - 49*k**3/6 - 30*k**2. Let l be o(-6). Suppose -w = -q - 42, -2*w = 4*q + q + l. Which is smaller: -42 or q?
-42
Let a be (-4 + -63)*5 - 15. Which is smaller: a or 32?
a
Suppose 0 = -2*z + m - 3*m, -2*z - 8 = 4*m. Suppose -p = z*f - 16, -f = 5*p - 0*p - 4. Let g = 6 - 6. Is p less than g?
False
Let o = -6124 - -13014. Is o <= 6891?
True
Supp