(-15)/(-220)*-2*16/12. Which is greater: w or x?
w
Let g be (-10)/(-66)*(-6)/4. Suppose 300*q - 331*q - 42 + 11 = 0. Is q greater than g?
False
Let p be 92596/19240 + -5 - (-3)/(7 - -23). Do p and -1 have the same value?
False
Let h = 1479 - 669. Let m be (-27)/30*(h/(-4))/9. Which is greater: 19 or m?
m
Let n(x) = x**2 - 200*x + 621. Let h be n(3). Let r be 43*(-2)/(4/(-6)). Suppose -5*o + 21 = -r. Is o at least as big as h?
True
Let b(r) = -r**3 - 14*r**2 - 24*r + 24. Let v be b(-12). Let s = v + 72. Let g = 385/4 - s. Is 3/55 greater than g?
False
Suppose -34 = -7*v + 6*v - 2*d, -4*v - 2*d + 160 = 0. Suppose -18 - v = -10*r. Which is bigger: 80/11 or r?
80/11
Let t be -2 - (1 + -4 + 2). Let p be (t - -6)*110/50. Suppose p = l - 0. Are 11 and l nonequal?
False
Let w(b) = -85*b**2 - 7*b + 8. Let j = -85 + 86. Let s be w(j). Suppose 4*t + 8 = -4, -2*d = 3*t + 179. Is d at least s?
False
Let l be 1 + (-1 - 0 - 4) + (-33208)/(-8312). Which is smaller: l or 0?
l
Suppose -3*s = 305 - 296, 4*s = 6*x + 84528. Is -1/3 less than x?
False
Suppose q - 6*q = 0. Let u = -36820 + 36797. Which is bigger: u or q?
q
Let y = -11482 - -11479.12. Which is greater: y or 0.9?
0.9
Suppose -29*w = 7*w - 24696. Let t = 680 - w. Which is smaller: -0.12 or t?
t
Let h(o) be the third derivative of -3*o**4/8 + 13*o**3/2 - 14*o**2. Let m be h(4). Let l = 44 + -45. Which is smaller: l or m?
l
Suppose -646*j + 644*j = -q + 5, -21 = 3*q + 3*j. Is -726/5 equal to q?
False
Suppose -4*j = 4*p - 2*p - 4, 4*p - 8 = 3*j. Let g = -26656/5 - -5333. Is p not equal to g?
True
Let z = 0.04763 + -57.04763. Which is smaller: -2/67 or z?
z
Let h = 479/134 + -45083/12462. Suppose 2*t = -0*t. Which is bigger: h or t?
t
Let a = -2503 + 2502. Which is smaller: -5/748 or a?
a
Let c(n) = -n**2 + 23*n - 127. Let b be -4 - 116/(-28) - 207/(-21). Let s be c(b). Is s not equal to 2?
True
Suppose 3*w + 2*l = 1063, 562 - 2367 = -5*w + 5*l. Which is smaller: w or 351?
351
Let r = 1.34 - 1.1. Let c = r + 11.76. Let q = -30875/7 + 4411. Is q greater than or equal to c?
False
Let x = -1643 - -298. Is -2689/2 <= x?
False
Suppose -33*q = 431 - 431. Which is smaller: q or -2/859?
-2/859
Let x be 9 + -610 + (-16)/(-152) + (-118)/38. Is -604 not equal to x?
False
Let z be (-6)/(-3 + -1 - -2). Suppose -14*n + z = -17*n. Let f = -569 + 2273/4. Which is smaller: n or f?
n
Let n(u) = -u**3 + 7*u**2 + 72*u - 335. Let p be n(4). Is 3/4844 < p?
True
Let k(j) = -7*j - 68. Let s be k(-16). Let y be -52*(136/s + -3). Which is smaller: -4 or y?
y
Suppose -258 = 402*a - 400*a. Do a and -128 have different values?
True
Let n(s) = -s**2 + 28*s - 145. Let o be n(21). Suppose l - o*c + 26 = 0, 0 = 3*l - c + 42 + 41. Is -33 less than l?
True
Let l(j) = -3*j + 39. Let i be l(13). Suppose 775*r - 772*r = i. Which is smaller: r or -3/25?
-3/25
Let a = 69.51 - 65.51. Let y = 28 + -26.1. Which is smaller: y or a?
y
Suppose -12*i + 71*i + 1239 = 0. Let r = -4 + 4. Which is smaller: r or i?
i
Let w(b) = 490*b - 7859. Let n be w(16). Are -281 and n nonequal?
True
Let w(k) = 2*k**2 + 7*k + 3. Let u = 7 - 12. Let o(f) = -f**2 - 6*f - 3. Let p(m) = u*o(m) - 4*w(m). Let j be p(3). Is -18 at least as big as j?
True
Let j be (-4)/32 + (-69)/24 + 2. Is -1/2305 less than or equal to j?
False
Suppose f - 6*f + o = -16, -2*f = o - 5. Let a be 0/f + 248/2. Is 125 less than a?
False
Let i = -3.8 + -61.72. Let p = i - -67. Which is bigger: p or -1?
p
Suppose -34*w + 51*w - 68 = 0. Suppose 0 = 17*k + w*k + 168. Do -9 and k have the same value?
False
Let v = 53085231/40 - 10163856921/7640. Let y = -3217 - v. Let w = 1.03 + -1.13. Does y = w?
False
Suppose -742*l + 10 = -752*l. Which is smaller: l or 4/535?
l
Suppose 0 = -9*w + 8*w - 5*f + 24, 188 = 4*w - 3*f. Does 7 = w?
False
Let v = -2958.875 - -2959. Let x = -95 - -101.125. Let u = v - x. Is u less than or equal to 7?
True
Let o = -9 - -14. Let l(k) = -k**2 + 28*k - 126. Suppose -7*u + 386 - 344 = 0. Let r be l(u). Which is bigger: o or r?
r
Let z(y) = -12*y**2 + y - 2. Let o = -12 + 13. Let m be z(o). Which is smaller: m or -180/13?
-180/13
Suppose k + 322 = -2*u, 816 + 527 = -4*k + 3*u. Let r = 347 + k. Which is bigger: r or 16?
16
Let b = -170 + 174. Suppose 0 = -r + 3*r - 3*c + 14, -c = b*r. Which is bigger: -1/68 or r?
-1/68
Let j = -4 - 0. Let v = -11809.3 + 11818.3. Which is smaller: v or j?
j
Suppose -26*y + 32*y - 300 = 0. Suppose 0 = -3*z - 34 - 116. Let v = z + y. Are 2 and v equal?
False
Let a = 82673 - 16699895/202. Which is smaller: 0 or a?
0
Let c be ((-1)/18)/(97328/(-13902) + 7). Which is smaller: 56 or c?
c
Let d = -5.1 - -158.1. Let i = 153.082 - d. Are i and 0.2 non-equal?
True
Let f = -39 + 135. Suppose -6*w + f = -2*w. Which is smaller: w or 0.1?
0.1
Let r(u) = -3*u**3 + 11*u**2 - 11*u - 19. Let t be r(-1). Let p be (288/(-14))/(-3) + -1. Which is bigger: p or t?
t
Let j be 6/9 - (-1)/(-15). Let w be (-5253)/68 + (-2)/(-8). Let r be (-1)/7 + (-88)/w. Is r > j?
True
Suppose 0 = 2*d + 6 - 4. Let j = -3726/7 + 119323/224. Are d and j unequal?
True
Let q = 0.396 + 16.904. Let k = q - 17.5. Which is smaller: k or -58?
-58
Let i = -268.129 + 268. Let z = i + 0.059. Is -2/9 equal to z?
False
Suppose 3*f + 5*c = 114, -3*f + 4*c = -4*f + 45. Let u(y) = -5*y + 74. Let j be u(8). Let k = j - f. Which is greater: 6/11 or k?
k
Let o = -1175798/59 + 19928. Which is bigger: o or -1?
o
Let y = 273 - 150. Suppose -459 + y = 4*l. Is -82 bigger than l?
True
Let a(u) be the third derivative of -u**5/60 + 23*u**4/24 - 44*u**3/3 - 2*u**2 - 69. Let h be a(20). Which is greater: -5 or h?
-5
Let i = -4014 - -4016. Which is greater: i or -859?
i
Suppose -66*u = -56*u - 820. Is u bigger than 566/7?
True
Suppose 49*f = -16*f + 509 + 1766. Which is smaller: f or 34?
34
Let x be (9 + 186/(-24))*4748/(-10). Is -593 at least x?
True
Suppose -4*c + 3784 - 3934 = 11*c. Is 11 < c?
False
Let q = 2206.8 + -2207. Is -193 < q?
True
Let t(l) = 10*l - 24. Let p be t(3). Suppose 5*x - 3*z = -p - 19, -5*z + 25 = 0. Does 0.08 = x?
False
Suppose g - 97 = -2*d, -d - 112 = -3*d - 4*g. Suppose d*b - 39*b + 126 = 0. Which is smaller: -12 or b?
b
Suppose 4*h + 49*j - 23*j + 2 = 23*j, h + j = 0. Let y be -2 + 16 + -1 + 0. Which is bigger: y or h?
y
Let a = 6349964 + -266713285/42. Let u = -1982/7 - a. Let f = u + -69. Which is smaller: 15 or f?
f
Suppose 272*d = 267*d + 10. Let p = -4.3 - 0.7. Which is smaller: d or p?
p
Let v be 6/15 - (-746)/10. Suppose -v*d = -69*d - 972. Which is smaller: d or 164?
d
Suppose -16*f - 119 = -17*f. Let m = f + -120. Let n = -0.2 + 0.3. Which is bigger: m or n?
n
Let a = 152.1 - 43.7. Let i = a + -111. Is -1 less than i?
False
Let a = 4503 - 45243/10. Is a greater than or equal to -20?
False
Let t = 62683478213/2436 - 180122338/7. Let r = t - 1114/3. Which is smaller: r or 0?
0
Let b = -3.4652 - -6.4652. Which is smaller: 1382 or b?
b
Suppose -141*x - 277 = -418*x. Is -66/257 <= x?
True
Suppose 5*n - 560 = -3*f, 0*f - 2*f + 336 = 3*n. Suppose 0 = n*l - 106*l - 1098. Let v = -1283/7 + l. Which is smaller: v or -1/3?
-1/3
Let q(o) = -3*o**2 + 3*o + 1. Let f be q(-2). Let j = 678 + -385. Suppose -j = 25*l + 32. Which is greater: f or l?
l
Let t(n) = -2*n. Let p(s) = -s + 1. Let h(m) = 2*p(m) - 2*t(m). Let i be h(0). Which is bigger: i or 8/5?
i
Let r(v) = 23*v - 104. Let h(d) = 25*d - 104. Let n(w) = -4*h(w) + 5*r(w). Let y be n(7). Let i be 1/2*(-9)/(-522). Is y at least as big as i?
True
Let d = -79731 + 79774. Let r be 386/10 + 2/5. Are r and d equal?
False
Let s(i) = -21*i - 126. Let c be s(-6). Suppose -26*x + 320 + 1240 = c. Which is greater: x or 59?
x
Let p = -523 - -524. Let f be 2/(-5) - (-1534)/10. Let c be (-8)/(-6) - 240/f. Which is smaller: p or c?
c
Let d(m) = -m**3 - 14*m**2 + 19. Let g(l) = -8*l - 4. Let z be g(-1). Let u be (-3 - 0) + -12 + -3 + z. Let a be d(u). Are a and 19 non-equal?
False
Suppose -283*g = -39*g + 23180. Which is smaller: -2/19 or g?
g
Suppose -l = 3*l + l + 3*w, 0 = -3*l - 2*w. Which is smaller: -3/1703 or l?
-3/1703
Suppose 2*y + 59 + 5 = 0. Let u be (-4)/(-10) + 222/(-5). Let k = y - u. Do k and 3/4 have the same value?
False
Let b be (2 + 367)*1*(-12)/9. Is -491 smaller than b?
False
Let i = -38.5 - 12.5. Let p = i + 50.4. Let n = p + -2.4. Which 