. Let y = 1 + -1. Suppose 5*u = -o - 19, y = 6*o - o + 3*u + 7. Which is smaller: f or o?
f
Let j be 3/(12 - 54/6). Let n = 0.136 - -11.064. Is j greater than n?
False
Let p(q) = -15*q + 3 - 13 - 3*q**2 + 2*q**2. Let k be p(-16). Let s = k + 40. Are 15 and s unequal?
True
Let b = 9 + -9. Suppose -2*k + 4*k = b. Let u = -7 - -6. Which is bigger: u or k?
k
Let c = 17 - 17. Suppose c*i + 6*i = -i. Is i at most as big as -2/47?
False
Let q(a) = -a**3 - 7*a**2 + 12*a + 10. Let i be q(-8). Let t = i - -24. Is t < -9?
False
Let z = 14096/5 - 5229586/1855. Which is greater: z or 0?
z
Let s(t) = t**2 - 14*t + 47. Let j be s(6). Which is smaller: j or -5/17?
j
Suppose 228 = 3*t - 0*t. Let l = -29 - t. Let g be 6/51 - l/(-459). Are -1 and g non-equal?
True
Let g be (4/(-3) + 0)*-15. Let n = 11 - g. Let j be n/(-63) - (0 - 0). Which is bigger: -2 or j?
j
Let t(j) = -j - 6. Let b be t(-4). Let i = 2 + b. Let c be 2 - 6 - 548/(-136). Do i and c have different values?
True
Let j(p) be the second derivative of 2*p**3/3 - 11*p**2/2 + 2*p. Let a be j(8). Suppose 10 = 2*n + 3*u, 0*n = 5*n - 4*u + a. Is n at most as big as -1?
True
Let p(d) = d**3 - 29*d**2 - 64*d + 61. Let w be p(31). Is w smaller than 10/73?
True
Suppose -4*k - 269 = -u, -11*k - u - 207 = -8*k. Is k <= -67?
True
Suppose -5*b + 17 = -8, 4*a - 4*b + 24 = 0. Suppose -20 = -4*c, -4*c = -3*d - 5 - 0. Let g be d/(-60) - a/3. Which is smaller: g or -1?
-1
Let h = -11.4 + 11.7. Which is smaller: 1 or h?
h
Let f be (-4)/((-440)/(-163)) + 2. Let j = f + -1/55. Is j not equal to -1?
True
Let u be -4 + (-1 + -2 + 22)/3. Is u >= -15?
True
Let l be 20/2 + 0/(-5). Let q be l/(-4) + 5/(-10). Let j = q - -2. Is j at least as big as -3/14?
False
Let o = 120 - 40. Suppose -p + 5*r + o = -65, -5*r = 5*p - 695. Let l be (-36)/p - 2/14. Are l and -0.1 unequal?
True
Let o = -11624 - -11624. Let x = 2/1697 - 3516/103517. Is x != o?
True
Let j(i) = 4*i**3 - i**2 - 12. Let g(p) = p**3 + p**2 - 1. Let u(z) = -5*g(z) + j(z). Let s be u(-7). Let x be (-3)/(-12)*s/(-3). Which is greater: x or -3?
-3
Let q = 9980/23 - 434. Let u = 5.35 - 4.4. Let y = 0.05 + u. Which is smaller: y or q?
q
Let h = -145/2 + 77. Let c = -43 + 45. Suppose 0 = -d + c + 2. Is h > d?
True
Suppose -5*u = 3*m - 8*u - 15, -2*m + 3*u = -11. Is m less than or equal to 10?
True
Let l be 12/(-28) - (-34)/14. Suppose 3*v = -l*v - 810. Let w be 2/(-11) + v/(-165). Which is smaller: w or 0?
0
Let z = -507 + 479. Is -57/2 less than or equal to z?
True
Let q be 1/(4/(-460)) - 2. Is q <= -117?
True
Suppose 204*w = 212*w + 8. Let b be 2/52*1*-1. Do b and w have the same value?
False
Suppose t - 6 = 3*d + 2*d, -5*t + 2*d = -30. Suppose 0 = -l + 4*i - 17, 3*i - 7 - t = l. Which is bigger: 19 or l?
19
Let a be (13/(260/8))/(1/185). Is a less than 226/3?
True
Let c(p) = 2*p**3 - 26*p**2 + 5*p + 39. Let x be c(13). Which is greater: 102 or x?
x
Let x = -704 + 1207. Which is smaller: x or 504?
x
Let w = -61.94 - -62. Let m = -0.15 + w. Let g be 4*2*1/(-12). Are g and m non-equal?
True
Let v be -3 + (2 - -4) - (2 - -9). Let z be (1/v)/((-2)/(-84)). Is z equal to -5?
False
Suppose -156*b = -145*b. Which is bigger: -5/82 or b?
b
Let m = 1473 + -1461. Which is greater: 26 or m?
26
Let t be (70/(-8))/(-5)*-4. Suppose 0 = -3*i + g - 17, 3*i + g = -1 - 18. Is t > i?
False
Let v = -1109 - -1112. Which is smaller: v or 85?
v
Let z be (-3)/(-48)*12*-12. Let k(n) be the second derivative of -n**5/20 - 3*n**4/4 + n**3/6 + 5*n**2 + n. Let w be k(z). Is -2/13 <= w?
True
Let w be 150/(-20)*(-8)/6. Which is bigger: w or -7?
w
Let b be (54/(-6) + 9)/(-7). Let u = 119/4 + -30. Which is smaller: b or u?
u
Let h be (-10 - 1120/(-110)) + (-696)/77. Do -8 and h have the same value?
False
Let v(s) be the first derivative of -s**4/24 - 4*s**3/3 - 5*s**2/2 + 7. Let m(q) be the second derivative of v(q). Let g be m(-8). Is -1 less than g?
True
Let v = 590231/167496 - 1/23928. Which is smaller: v or 3?
3
Let g be 1014/9 - ((1 - 1) + -2). Are 115 and g equal?
False
Let o be (63/27)/((-1)/(-12)). Let t = 8 + 20. Is t not equal to o?
False
Let b(k) = -4*k - 30. Let q be b(-10). Let c be 155/25 + 1/(-5). Suppose c = -4*s + q. Which is smaller: 2 or s?
s
Let v = -72 + 67. Does -2 = v?
False
Let s = 22 + -21.24. Let i = -0.08 + s. Let x = i + 0.22. Do -0.2 and x have the same value?
False
Let q(w) = w**3 - 34*w**2 - 7*w + 24. Let o be q(34). Which is smaller: o or -215?
-215
Let h = 160 + -3. Which is greater: 629/4 or h?
629/4
Suppose -54 = -2*y + 14. Let f be 2/(-4) - 37/(-2). Let k be 12/f + y/(-24). Is 2/5 < k?
False
Let s be (-58)/(-8) + (-81)/(-108). Let x be ((-8)/s)/(-3 - -2). Is 1/4 not equal to x?
True
Let q(w) = -115*w**3 + 4*w**2 - 5*w + 4. Let f be q(2). Let x be 384/f - (-3)/30*4. Do x and -1 have different values?
True
Let l be 1/((-2)/((-4)/11)). Let a = l - -3/44. Suppose -8*n = -0*n. Which is smaller: n or a?
n
Let u be (41/(-82))/((-650)/(-12)). Is 0 equal to u?
False
Let v be (2*6)/((-9)/(-6)). Let m(l) be the third derivative of l**5/60 - 13*l**4/12 + 3*l**3/2 + 20*l**2 + 2. Let p be m(26). Is v at least as big as p?
False
Let c = -1093022/262865 - -3/13835. Is -4 not equal to c?
True
Let i = -4.8 - -5. Is i <= 4/79?
False
Let b(w) = -6*w**2 + 80*w - 15. Let s be b(13). Is 20 at most s?
False
Let s(k) be the second derivative of k**5/20 - 2*k**4/3 - 4*k**3/3 - 7*k**2/2 - 14*k. Let y be s(9). Which is greater: 2/3 or y?
y
Let f = 288 + -294.3. Which is bigger: -1 or f?
-1
Suppose -s - 1 = 3. Let d be -3 + -3*16/12. Which is bigger: s or d?
s
Let j = -25 + 25. Let f = 2 - j. Let o be f/(1/(3/(-6))). Is o equal to -2/9?
False
Let h be (-14)/(-35)*((-15)/16)/(-3). Suppose k + 4*k = 5. Do k and h have different values?
True
Let o = -308.9 - -309. Which is bigger: 1/88 or o?
o
Let d = -49 - -33. Is -23 at most as big as d?
True
Let p be (-6 + 15)*(1 - (-1190)/(-1191)). Which is greater: p or 0?
p
Let b = 83 - 83. Let o be b + (5 - (-438)/(-84)). Do o and -0.2 have the same value?
False
Let r = -56 + 39. Suppose 158*k + 651 = -1821 + 260. Are r and k unequal?
True
Let a(n) be the first derivative of -n**3/3 - 3*n**2/2 - 3*n - 18. Let b be (-2)/(-2*(-3)/6). Let h be a(b). Which is bigger: 3 or h?
3
Suppose 2*r - c = -2*c + 22, -7*r + 72 = c. Is 10 not equal to r?
False
Let z = 0.065 - -1.335. Let t = 1.24 - z. Do 2/5 and t have the same value?
False
Let a(f) = 15*f - 45. Let b be a(3). Which is smaller: b or 3/23?
b
Let t = -33779 + 169583/5. Let s = 138 - t. Which is bigger: s or -3.4?
s
Suppose -y - 2*a + 59 = -13, 0 = -2*y - 2*a + 150. Let t = y - 64. Which is smaller: t or 13?
13
Let g = 1.68 - -46.32. Which is greater: -1 or g?
g
Suppose w = -3*j + 6, -4*w = -3*j + 8*j - 10. Suppose j*d - 7*d = m + 97, -d = -m + 17. Are -19 and d nonequal?
False
Let k = -697 + 75974/109. Which is smaller: 1 or k?
k
Let p = -124 - -119. Suppose -4*t - 12 = 2*n - 0, 3*t + 9 = -3*n. Suppose 3*j + 12 = -v - 7, -2*v + 4 = n. Is j greater than p?
False
Suppose -v - 8 = -0*v. Let j be 24/v*1/(-3). Let l be ((-3)/6)/(15/6). Is l bigger than j?
False
Suppose -5*n - 5 = -0*n. Let o = 7 + n. Let z be 6/o - 18/22. Which is smaller: 1 or z?
z
Let i(u) = u**2 + 35*u + 196. Let n be i(-28). Is 1/936 less than n?
False
Let t be (51/(-234))/((-11)/(-15)). Let n = 3/26 + t. Let y = -1.021 - -0.021. Which is greater: y or n?
n
Let s(n) = -n**3 + n**2 + 3*n + 2. Let p be s(-2). Let l(m) = m**2 - 10*m + 8. Let y be l(p). Is y less than -3?
True
Let f(b) = -2*b**2 + 3*b - 14 - 9*b + 4*b**2 + 6. Let j be f(4). Which is greater: -3 or j?
j
Let x be ((-4)/44)/(1/(-3)). Are -1 and x unequal?
True
Let d = -24.48 + -0.52. Let i = d + -13. Let w = -45 - i. Which is smaller: w or 0?
w
Let x(p) = p**2 + 16*p - 18. Let n(h) = -3*h**3. Let g be n(-1). Let i(m) = -m**2 - 3*m + 1. Let y be i(g). Let s be x(y). Which is smaller: -2 or s?
-2
Let a be 5*(-11)/55*-1. Let v = -0.1 + 0.5. Does a = v?
False
Suppose 7*f - 5 = -12. Let a be (3 - (f - -3))/(-17)*2. Which is smaller: a or -1?
-1
Let n be (-35)/30 + -2 - -3. Which is smaller: n or -2.1?
-2.1
Let t(l) = l**2 - 2*l - 1. Let u be t(-1). Suppose n = -4, 5*i + 4*n = 2*i - 10. Suppose u*a = -r - 1, -1 = i*r + 1. Which is smaller: a or 9?
a
Let q = 73 + -40. Let i(j) = j**3 - 25*j*