 be (-5)/25 + (-332)/(-10). Let t be (5/s)/(x/44). Which is smaller: -3 or t?
-3
Suppose 3*x = 16 - 4, -4*n = 3*x - 24. Suppose -s = n - 3. Is s equal to -6?
False
Suppose 0 = 3*q + 5*l + 16, 0 = -4*q - l + 2*l - 6. Let y be q/5 - (-36)/90. Let i be (-4)/(-10) - (-2)/(-5). Is y at most as big as i?
True
Suppose 0 + 7 = 7*p. Is p at most 4/201?
False
Let a be -11*(-7)/(-35)*1. Which is smaller: a or -2?
a
Let c = 183 - 27. Which is greater: 154 or c?
c
Let f(y) = y**3 + y**2 + 1. Let u(t) = t**2 + 4*t - 3. Let a be u(-5). Suppose -3*g = a*g. Let j be f(g). Are 1/24 and j equal?
False
Suppose 4*w = 2*d, 3*w - 3*d + 5*d = 14. Let r = -6 + 5. Let m = w + r. Which is bigger: -2/7 or m?
m
Let d = -23 - -27. Let i = -6 + d. Is i greater than 0?
False
Let c(h) = 1 - 5*h**2 - 19*h**2 + 2*h**2. Suppose -13*n + 3 = -10*n. Let j be c(n). Which is smaller: j or -22?
-22
Suppose 2*i - 11*i = 18. Let q(o) = o**3 - o**2 + 5*o + 3. Let v be q(i). Is v less than -19?
False
Let q(d) = -11*d - 6. Let c be q(-1). Suppose -2*w + 0*w = -g + 4, 0 = 3*g - 12. Is c at most as big as w?
False
Let w = -34.6 + 0.6. Let h = w - -54. Let v = -19 + h. Do 4/9 and v have the same value?
False
Suppose -7*q = -3*q - 4. Which is smaller: q or 8/49?
8/49
Let n(y) = y + 6. Let v be n(-3). Let c be 0 + v - (-186)/(-64). Is 0 at least c?
False
Suppose -451*y = -454*y - 24. Are -16/13 and y unequal?
True
Let p(w) be the third derivative of -w**4/8 + 26*w**3/3 - 30*w**2. Let s be p(14). Do s and 10 have the same value?
True
Let k be 1398/703 + -1*2. Let y = k - 94162/3515. Let q = -3608/135 - y. Which is bigger: 1 or q?
1
Let w = -2 - -1.92. Let z = w - -0.08. Which is greater: z or -1/13?
z
Let i = 400.7 - 400. Which is greater: -1 or i?
i
Suppose 0*w + 1 = -5*w + s, -2*s = -w - 2. Which is bigger: 1/1124 or w?
1/1124
Suppose 2*i = -5*x - 12, -8*i = -x - 3*i - 24. Let d(r) = -2*r**2 + 3*r**2 - 8 - 6 + 13*r. Let v be d(-14). Is x at least v?
False
Let m be (-4)/(-6) - 682/(-66). Suppose -2*g - m = v, -6*v + 3*v = -3*g + 33. Let u = v - -25/2. Is 2 greater than or equal to u?
True
Suppose o = -8*o - 306. Let f = 54 + o. Which is bigger: 19 or f?
f
Let b be ((-4)/(-5))/((-4)/40). Let i be 2 - 0*2/b. Suppose 2*a + 2 = 3*k, 1 + 2 = -3*a + 4*k. Which is smaller: i or a?
a
Suppose -2*l = -3*l + 12. Let d(r) = -r**3 + 11*r**2 + 13*r - 4. Let v be d(l). Which is greater: 17/2 or v?
17/2
Let x = 14.4 + -16.4. Which is smaller: x or 5/4?
x
Let v = 1.2 + 1.8. Suppose -x = -p - 8, -p + 4*x - 12 = p. Let w = p - -15. Is v bigger than w?
False
Let t be 1/4 - 1/(-12). Let o(v) = -v**2 + 2*v - 1. Suppose 10 - 2 = -5*y - 4*p, -2 = p. Let s be o(y). Which is greater: t or s?
t
Let r be ((-5)/2)/((-2)/4). Suppose -8 = r*t - 4*t. Let c be 9 + t - (2 - 2). Which is smaller: c or -2/51?
-2/51
Let z = -8 + 14. Let w = z + -12. Is -6 less than or equal to w?
True
Let a be 14/21*6/(-4). Let r be a - (140/24)/(-7). Is r != -1?
True
Let k = -7265/3 - -2456. Is 35 at most as big as k?
False
Suppose -8*s = 33 + 31. Let d = s - -13. Suppose -x = d*v - 35, -4*x = -12 - 8. Is -1/3 greater than or equal to v?
False
Suppose -3*y - 4*q + 1 = 0, 3 = 2*y + 5*q - 0*q. Let l be 3/(-9) - (-236)/(-10920). Let u = l - -5/91. Is u less than y?
False
Let t = -24777/7 - -3355. Which is bigger: t or -186?
t
Suppose 2*z = -o + 2*o + 16, 4*z = -o + 2. Suppose -5*b = -13*b + 544. Let l = -77 + b. Which is greater: l or o?
l
Let z = 748/19 - 350045/8892. Let y = z + -2185/468. Is y less than -2?
True
Let z = -1/132 + 3/154. Is 0 < z?
True
Let h be -4*(2/8)/(187/(-22)). Let g be 2/(-6) + 1/3. Is g less than or equal to h?
True
Let y = 5 + -1. Suppose 15 = m - 4*m, 5*g + 3*m + 5 = 0. Let n be g/y + 9/(-6). Is -8/7 smaller than n?
True
Let y = -7.47 + 7.1. Let p = y - -0.67. Are 0.2 and p unequal?
True
Let o(m) = -m**3 - 13*m**2 - 22*m - 4. Let h be o(-12). Is h > 114?
True
Let v(y) = y**3 - 2*y**2 + 2*y - 1. Let o be v(2). Suppose 6*i + 3 = -o. Let j be i/(-2) - 3/18. Which is greater: -1/3 or j?
j
Let m = -452 + 1375/3. Let s(v) = -v**3 + 51*v**2 - 73*v + 1155. Let w be s(50). Which is bigger: m or w?
m
Let n = -0.0879 + 0.1269. Suppose -z = -3*z + 2. Which is greater: z or n?
z
Let f = -741 + 688. Is f at most as big as -54?
False
Let x = 700 + -557. Which is smaller: x or -3?
-3
Let t = -10.1 - -2.1. Let c = 2.0511 - 0.0511. Is c at most t?
False
Let c(j) = -2*j - 8. Suppose 25 = -5*w + 5*u, 4*u + 14 = -4*w + 2. Let x be c(w). Let b = 3983/22 + -181. Which is bigger: x or b?
b
Let b = -4534/9 - -25037/45. Which is smaller: -1/4 or b?
-1/4
Let h = 841 + -849.74. Let v = -9 - h. Let f = v - -0.16. Is f greater than 2/11?
False
Suppose -2*m = 3*o - 35, -o = -2*m - 2*m + 7. Let h be (((-60)/o)/(-2))/(4/6). Suppose -3*d - 22 - 2 = -3*b, -5*b - d + 28 = 0. Does h = b?
False
Suppose 1750 = 5*s - 5*t + t, 3*s - 1057 = t. Let l = s - 1223/4. Let m = 48 - l. Which is bigger: m or 0?
0
Let k = 837 + -806. Let y = -369.2 - -338. Let b = k + y. Is b bigger than 2/5?
False
Let c = 19 - 17. Suppose -c*x + 5*n = -48 - 11, -4*n + 65 = 5*x. Let w = x + -19. Is w less than or equal to -4/5?
True
Let q(g) = -4*g + 95. Let y be q(10). Is y less than or equal to 57?
True
Let w be (1 - 2) + -5 + (-440)/(-77). Which is smaller: -20.6 or w?
-20.6
Let f be (-1)/4 - (-5)/20. Suppose 0 = -f*w + w. Let q = 399 - 400. Which is bigger: w or q?
w
Suppose 0*b + 3*b = 15, 0 = -h + 3*b - 13. Let o be ((-45)/(-420))/(h/(-8)). Is o less than 0?
True
Let l(p) = p**3 + 34*p**2 - 26*p + 402. Let x be l(-35). Which is smaller: x or 90?
x
Let f(y) = 16 + 7*y**2 + 21*y - 3*y**2 - 3*y**2. Let c be f(-20). Which is smaller: c or 1?
c
Let u = -2/9347 - -21020/10870561. Is u greater than -1?
True
Let z(p) = 2*p**2 - 8*p + 4. Let v be z(5). Let r be -4 - -6 - v/6. Is r at least 3?
False
Suppose 8*s - 14*s + 132 = 0. Let y be (-436)/s + 34/(-187). Is y not equal to -19?
True
Let y = -17 - -19. Let r be (4/6)/(y/(-87)). Which is greater: r or -30?
r
Let y = -77.1 + 82. Let k = -4 - -9. Let q = y - k. Is q > -0.1?
False
Let f be (((-686)/385)/7)/((-20)/175). Which is smaller: 1 or f?
1
Let k be (-1)/5 + 3/15. Suppose 0 = -5*y - 25, -241 = -0*f - f + 3*y. Let b be k + f/(-74) + 3. Is b greater than or equal to 0?
False
Let d(l) = -l**2 - 4*l - 5. Let g be d(-4). Let t = g - -3. Let q = -63/20 + 12/5. Is q greater than or equal to t?
True
Let l be 0/(-3) - 10/15. Suppose 2*i = -0*i - 24. Let j be (-22)/i - 2/6. Which is bigger: l or j?
j
Let c = 5 - 4. Let s = c - 0.9. Suppose 34*z + 14 = 27*z. Which is bigger: z or s?
s
Let q be 14/91 - (-4366)/13. Suppose i - 2 = 0, 2*i + 0*i + q = 4*n. Let k = n + -2122/25. Is k > 0?
True
Let u be 6/(-1)*(-4)/(-18). Let r be 1/(-4) + (-10)/(-8). Let f be 2*-1 + -1 + r. Do u and f have different values?
True
Let f be (-48)/216 + 1054/45. Let v = -5926/255 + f. Suppose 4*z = z. Does z = v?
False
Let p = 1519 - 1518.4. Which is smaller: 79 or p?
p
Suppose 3*n = 15, 0 = 4*k + 4*n + 794 + 338. Is -290 > k?
False
Let b(h) = 37*h + 238. Let x be b(-6). Which is smaller: x or 39?
x
Let m(b) = -5*b**3 + 17*b**2 - 19*b - 20. Let t(u) = -14*u**3 + 52*u**2 - 57*u - 61. Let x(j) = 11*m(j) - 4*t(j). Let f be x(20). Are f and 6 non-equal?
True
Let p be (-28)/21 - (-2)/(-3). Let x be 325/105 - 42/441. Which is greater: p or x?
x
Suppose 3 = 3*u, 28 = 4*v - u - 3*u. Let n be (21/266)/(6/v). Does 0.4 = n?
False
Let j be 4 - 31435/(-110)*2. Let k = 575 - j. Suppose 5*z - o = -2 + 3, -2*o + 8 = 0. Do k and z have the same value?
False
Let n = 16 - 31. Which is greater: n or -14?
-14
Suppose -6*o + 4 = -2*o. Let c = -2483 - -2486. Is o < c?
True
Let o = 535/2 - 268. Which is greater: o or -14?
o
Let t be (-16)/4 + (30 - 6). Is t less than 20?
False
Let f(s) = -6*s - 42. Let z be f(-7). Let y(r) = -r**3 + 3*r**2 + r - 1. Let j be y(2). Suppose h + 13 - j = z. Which is greater: -9 or h?
h
Let a = -51 - -71. Suppose 2*c = -p + a - 74, p + 51 = -5*c. Which is smaller: p or -55?
p
Let u = 7 - 14. Let t be 2 - 10/u - 3/7. Is t at least as big as 5?
False
Suppose -p - 2 = -3*p. Let k = -9 + 24. Let r be 5/k + (-19)/30. Which is greater: p or r?
p
Let b(r) = -2*r + 13. Suppose 15 - 1 = 3*z - p, -2*z + 15 = 5*p. Let c be b(z). Does 3 = c?
True
Let h(v) = -2*v**3 + 15*v**2 -