)/((-5)/(-20) - 10/8). Let q be 4/(-8)*(a - 123/111). Which is smaller: -1 or q?
-1
Let i = -4 - -4. Let o be 14/2 - (3 + -1). Suppose 0*b + 5*b = -o. Is i < b?
False
Suppose q + 3*w + 0*w = -80, -5*q - 422 = 4*w. Let a = 89 + q. Let h = 7 + -4. Are h and a nonequal?
False
Let n(i) = 52*i + 284. Let r be n(-9). Which is greater: r or -185?
r
Let s = 150 - 148.69. Let a = 0.31 - s. Which is smaller: 0.3 or a?
a
Suppose -q - 222 = 3*y, 2*y - 3*q + 148 = q. Which is greater: y or 1?
1
Let m be 60 - (3 + -11 + 3). Which is smaller: m or 63?
63
Let g = 725/7 - 103. Let t be 3 - 2 - (-5)/((-5)/(-34)). Let x = t - 35. Which is greater: g or x?
g
Let r be 34/(-187) - 490404987377/(-31383). Let v = r - 15626453. Let u = -2/317 + v. Which is smaller: -1 or u?
-1
Let w(c) = -3*c**2 + c + 1. Suppose -5*f + 8 = -2*y, -1 = -3*y - 2*y + 2*f. Let l(t) = t - 1. Let m(u) = y*w(u) + 3*l(u). Let b be m(2). Is -11/2 equal to b?
False
Let l = 0.54 - 0.35. Let n = -1.39 + l. Let x = 4.8 - n. Which is smaller: x or 0.1?
0.1
Let y = -223/20 + 43/4. Suppose i = -b + 48 - 8, i - 75 = -2*b. Is y equal to b?
False
Let g = -4 + 2.3. Let m = g + 0.4. Do m and 0.1 have the same value?
False
Let m = -3415 + 146853/43. Is m smaller than 0?
False
Let q be (22 + (-416)/19)*(-6)/4. Suppose 4*w - 2 = 6. Suppose -2*x + 0*x + i = -w, 0 = x - 3*i - 6. Is q > x?
False
Let t(o) = 277*o**3 + 3*o**2 + 5*o + 1. Let j be t(-1). Is j greater than -279?
True
Let p = 192.1 + -192. Is p >= -1/24?
True
Let m be (-14)/3*3/54. Let f = -145/351 - m. Do f and 0 have the same value?
False
Let j = 987.977 + -988. Which is bigger: 0.03 or j?
0.03
Let p = 27 + -31. Let x = p + 3. Is 3 <= x?
False
Let v = 338 + -934/3. Is 0 less than or equal to v?
True
Let o = 6 + 43. Suppose -5*i + 1 = -o. Suppose -4*t - i = t. Are t and 2/3 unequal?
True
Let l = -166/63 - -4540/1197. Let r = l - -7/76. Is r greater than 0.09?
True
Let o be 12/2*(560/(-12))/(-14). Suppose -b + 10 = -4*m - 0, 0 = -4*m + 5*b - 18. Let h be (-1)/(-7)*(-4 - m). Which is greater: o or h?
o
Suppose -2*l - 3*l = 3*s + 551, 3*l = 2*s - 323. Is l > -109?
False
Let r = 9 - -8. Suppose -r*l + 9*l = -248. Are l and 31 equal?
True
Suppose -5*y + 1788 = -8*y. Let q = y + 4181/7. Is 2 less than or equal to q?
False
Let s = 1888 - 2084. Which is smaller: -192 or s?
s
Let u = 923 - 8308/9. Let p be 0 - -1 - 22/18. Let x = p + 13/18. Is u greater than or equal to x?
False
Let v = -68250766/171 - -399126. Let m = v + 16/19. Which is bigger: 1/3 or m?
1/3
Suppose -1245 = 18*p + 915. Are p and -119 unequal?
True
Let b(a) = -a**3 - 6*a**2 - 11*a - 22. Let x be b(-5). Suppose x*t + 24 = 10*t. Is t at most -2?
False
Suppose 12*i - 13 = -25. Let n be ((-12)/(-195))/(4/(-10)). Is i smaller than n?
True
Let o(k) = 8*k - 2. Let v be o(-2). Let q = -74 - -55. Which is smaller: v or q?
q
Let z be 333/(-162) + (-5)/10 + 3. Is z bigger than 1/336?
True
Let p = -945/1228 + 6/307. Which is smaller: p or -17?
-17
Let g(w) = -6*w + 15. Let f be g(5). Let x(l) = -2*l**2 - 32*l - 29. Let r be x(f). Which is smaller: r or 3/25?
3/25
Suppose -5*m = n - 43, -4*n - m + 143 = -n. Let u be 4/3 - 3*(-1260)/81. Is u greater than or equal to n?
True
Let l = 13 + -13. Suppose l*w = 5*w - 5. Let s be (2 + w)*63/27. Is 6 at least s?
False
Let u be 4807/(-46) - 2/4. Which is greater: -103 or u?
-103
Let z be 2 + -7 + -9 + 14. Are z and 3/58 nonequal?
True
Let v be ((-3)/(-9))/((-4)/(-4*6)). Let f = 20/3 + -59/12. Which is smaller: f or v?
f
Suppose 3*c + 7 = -h, 3*c = -3 - 3. Let s = 30 + 5. Suppose 14*m - s = 7*m. Which is smaller: h or m?
h
Let x = -53 - -27. Let u be 782/(-36) - x/117. Let g = -22 - u. Is g less than or equal to -0.1?
True
Suppose 15*j - 20*j = 0. Let r = -56561/70 + 808. Which is smaller: j or r?
r
Let p be (-9)/(45/(-20)) - 19. Let y = 16 + p. Is y at most -2/47?
False
Suppose -53 = -5*l + 7. Suppose -5*w = -2*w - l. Suppose w*a - 4 = 2*a. Is 4 equal to a?
False
Let m be 66/6 - (2 - -1). Let k be (-48)/(-18)*6/m. Suppose 2*d + k*j - 4 = 0, -d + j + 22 = -2*j. Is d equal to 7?
True
Let t = 0.33 - 0.18. Let i = t + -3.35. Let g = -3.1 - i. Which is bigger: 1 or g?
1
Let j be 16/12*(-9)/(-40). Let g = 42 - 46. Which is smaller: j or g?
g
Let s = 120 - 119. Suppose 0*x + 4*x - 3*h = 22, -5 = -x + h. Which is greater: s or x?
x
Let f(x) = 24*x**2 + x - 1. Let p be f(1). Suppose 2*w = -3*d + 63, -91 = -4*w - 4*d + 5*d. Are p and w nonequal?
False
Let u be 0 + ((-8)/(-19))/(-1). Let d be (3/(-45)*-3)/(127/635). Is d >= u?
True
Let v = 342 - 520. Are -177 and v non-equal?
True
Let k be ((-14)/(-21))/(464/12). Let o = 1 + -1. Do k and o have the same value?
False
Suppose -4*n + 3*m + 62 = 0, -3*n + 26 = 2*m - 12. Let t be 0/1*(-7)/n. Suppose i - 2 = -t*i. Which is smaller: i or 3?
i
Let a = 17 + -13. Suppose -a*t = -0*t - 64. Suppose 4*v = -4*d + t, 3*v - 2*d = -2*v - 1. Is v < 1/4?
False
Let z = -1405 + 1403. Which is bigger: z or -125?
z
Let f be 22 + 3*(-8)/12. Suppose 8 = -i + f. Let w = i + -34/3. Are w and 0.4 non-equal?
True
Let j = -6.67 - 0.33. Which is bigger: j or 2.3?
2.3
Let h = 15731/469 - 235/7. Let v be -2 + 6/(3 + -2). Suppose c = -v*c. Which is smaller: c or h?
h
Let z = 326 + -143. Let w be -3 - 48/(-15) - z/15. Which is smaller: w or -32/3?
w
Let c = 4158 + -29060/7. Are 7 and c non-equal?
True
Let p(i) be the second derivative of -5*i**4/12 - i**3/2 + 13*i**2/2 - 35*i. Let t be p(4). Which is bigger: t or 1?
1
Let h = -29 - -15. Let g be (-72)/5 - h/35. Is -12 < g?
False
Suppose 2*n + 3*g - 11 = 0, 3*g + 13 = 4*n + 6*g. Let d(z) = 3*z**2. Let q be d(n). Suppose 6*r + y = 2*r + 12, -3*r + 5*y = 14. Which is greater: q or r?
q
Suppose 0 = a - 5*a - 4, -4*a = -n + 10. Suppose 4*m + n = 3*o - 3, o - 3 = 5*m. Suppose -2*j + 0*j = -4*r, 4*j + 3*r + 22 = m. Is -4 less than j?
False
Let k be (-840)/284 + 10 - 7. Which is smaller: k or 1?
k
Suppose 2*h - 9 - 13 = -5*o, -h + 1 = 0. Let t = -1 - -3. Suppose -3*b - t*f = -20, -o*b - f = b - 24. Which is smaller: b or -0.1?
-0.1
Let o(h) = 11*h**2 + 45*h - h**3 - 45*h. Let m be o(11). Let i = -0.16 + 7.16. Which is smaller: i or m?
m
Let k(n) = n**2 + n - 1. Let w be k(2). Let l be w/(10/8)*-4. Let q be ((-2)/(-12))/((-2)/l). Which is bigger: -1 or q?
q
Suppose 12 = -p + 13. Let n be 16/72 + (-464)/1764. Which is greater: p or n?
p
Let z be (-812160)/123564 - -6 - (-8)/14. Does 1 = z?
False
Let d(m) = -2*m + 4. Let c(z) = z**3 + 10*z**2 + 8*z - 6. Let k be c(-9). Let x be d(k). Let v be (-48)/(-10) - (-120)/(-20). Which is smaller: v or x?
x
Let i(b) = 6*b**2 - b + 2. Let f be i(-3). Suppose y + 30 = 2*s, f = -y - y + 5*s. Is -32 less than or equal to y?
True
Suppose -33*f + 158 = -7. Is f <= -1?
False
Suppose -2*t - 116 = m, 5*t - m + 299 - 23 = 0. Let h be (-1)/7 - 624/t. Let s = h - 17. Are s and -6 equal?
True
Let w = 16.75 - 67.7. Let f = w + 51. Let o = 1 + -0.8. Are o and f equal?
False
Let c = 13 + -13.02. Let v = c - 0.08. Which is smaller: v or 0.16?
v
Let y be (-6 - 334/(-56)) + (-3)/12. Which is bigger: y or -44?
y
Let d = 2463/14 + -175. Is 0 at least d?
False
Suppose 2*q - 4*q = 4*f - 10, -4*q = 4*f. Let g be f + 3*(4 - 22). Which is smaller: -48 or g?
g
Suppose -m - k - 259 + 670 = 0, m = -3*k + 401. Suppose 3*h + 79 = -m. Let f be (-18)/(-8)*22/h. Which is smaller: f or 0?
f
Let n be 1 + (-124)/(-10) - 13. Which is smaller: 463 or n?
n
Let l be -6 - (-1 + -12 - -2). Let q(h) = 9*h**2 - 19*h - 6. Let b(g) = -4*g**2 + 9*g + 3. Let x(f) = 7*b(f) + 3*q(f). Let v be x(l). Does v = 7?
False
Let x = -349 - -349.06. Does -33/4 = x?
False
Let c(r) = -r**3 - 3*r**2 + 9*r + 13. Let j be c(-5). Suppose d - 69 = 4*d. Let b = d + j. Which is bigger: -7/2 or b?
-7/2
Let q = -86.9 + 87.4. Are q and -2/17 non-equal?
True
Let a = -0.8 + 0.4. Let g = 0.1 + a. Let u be ((0/(-1))/2)/(-2 + 7). Which is bigger: u or g?
u
Let k be 10*24/14560*(-4)/(-15). Which is greater: -1 or k?
k
Let o = -3.37 + 23.37. Is o less than -12?
False
Let c = 1 + -1. Let x be 1106/158 - 554*1/80. Which is bigger: c or x?
x
Suppose 12*f = -245 - 31. Is -239/10 at most f?
True
Let r(x) be the first derivative of x**4/8 - 7*x**3/6 + x**2 - 4. Let v(d) be the second derivative of r(d). Let z be v(6). Is z > 11?
False
Suppose -3*t - 22 = 20. 