+ 37*y + 661. Let v be a(-13). Which is greater: v or g?
v
Let c be (-150)/(-180) + ((-20)/(-6))/5. Which is smaller: 2 or c?
c
Suppose 19*r + 3*r + 22 = 0. Which is bigger: -4/9 or r?
-4/9
Let p be ((-6)/(-21))/(1 + (-24)/(-42)). Which is smaller: 1/154 or p?
1/154
Let t(p) = 4*p. Suppose 75 = -2*w + 77. Let f be t(w). Suppose 8*h - 4*h + 3*g - 22 = 0, -5*g = 3*h - 22. Are f and h nonequal?
False
Let y(l) = 2*l**2 + 6*l - 6. Let h be y(-6). Suppose 0 = 3*j - h - 0. Is j not equal to 11?
True
Let g = 0.9 - -0.5. Let n = 1.2 - g. Let a = n - -0.3. Which is greater: a or 22?
22
Suppose 0 = 5*k - i + 2*i + 10, 4*k - 3*i + 8 = 0. Let d be k - ((-12)/2)/3. Let l = -1 - 1. Which is greater: l or d?
d
Let k be (-1080)/(-32) + (-1)/(-4). Let i = k - 17. Suppose 0 = 5*a - v + 12 - 33, i = a + 3*v. Is a greater than 5?
False
Suppose 0 = 3*r - 92 + 32. Suppose -2*b + 11 = -b + 2*l, 2*b + 3*l - r = 0. Which is smaller: 6 or b?
6
Let i = -6 - -4. Let h = 33 + -18. Let k = 17 - h. Which is greater: i or k?
k
Let x = -63 + 58. Which is greater: -0.8 or x?
-0.8
Suppose 0 = 7*i - 175 + 63. Suppose 0 = -w + 3*w - n - i, -4*w + n = -36. Are w and 10 unequal?
False
Suppose 0 = -12*w + 3*w - 9. Let i be ((-87)/(-30))/w + (-12)/8. Which is smaller: i or -4?
i
Suppose -4*t + 9 = -t. Suppose 2*c - l + 0 = 1, -t*l - 9 = -3*c. Let k be -6*c/9*-6. Is -8 greater than or equal to k?
True
Let r be 1/(-2) + (-51)/(-6). Suppose l + c = 5*l - 33, -4*c + r = 4*l. Let h be ((-273)/(-12))/l + -3. Is h at most as big as -1?
False
Suppose 0 = -4*z + 3 + 5. Suppose -3*l - 5 = 4*w + 4, -l - 7 = z*w. Let g be ((-3)/(-2))/(3/w). Is -3 bigger than g?
False
Let g(y) = 2*y - 21. Let z be g(13). Suppose 2*s - z = -1. Is s not equal to 2?
False
Let l be (-4)/(-50) - (-43)/((-11825)/(-28578)). Is 111 < l?
False
Suppose 47*m - 27*m = 20. Let s be ((-2)/14)/(3 - 2). Which is smaller: m or s?
s
Let x be -10*((-7)/(-14))/(-1). Suppose 5*m = b + 23, 3*b = 3*m - 2*m + 1. Suppose -m*u + 20 = 0, 2*u - 12 = -4*i - u. Which is bigger: i or x?
x
Let g = -27 + 53/2. Suppose 0 = -2*y + y - 46. Let r = 137/3 + y. Is g bigger than r?
False
Let o be (6 - 10) + (3 - -3). Suppose -w = -o*w - 10. Let f be (-1)/(2/16) - 0. Which is smaller: w or f?
w
Let m(j) = j**3 + j**2 + j - 2. Let b(r) = r + 4. Let q be b(-4). Let x be m(q). Suppose v + 3*v = -20. Which is bigger: v or x?
x
Let p = -2840/963 - -54/107. Are p and -1 nonequal?
True
Let x = 6 + 0. Suppose 3*w - 3 = 36. Let a = w - x. Which is greater: 5 or a?
a
Suppose 4 + 56 = 4*u + 2*j, 3*u = j + 50. Suppose b - 2 = 4*p + u, -b + 5*p + 22 = 0. Which is smaller: b or -14?
-14
Let x = -8 - -7. Let u(p) = 6*p**2 - 3*p - 2. Let b be u(x). Let d = b - 15/2. Is d equal to -2?
False
Let z = -6 + 4. Suppose -y + 4*j - 23 = 6, -3*j + 34 = -13*y. Is z bigger than y?
False
Suppose 0 = -h + 288 - 254. Let s be (h/(-6)*-1)/(75/(-90)). Which is smaller: -7 or s?
-7
Let v = 0.07 + -7.07. Let d = -13 - v. Is 0.2 < d?
False
Let p = -396.853 - -385.5. Let i = -0.253 - p. Let m = 11 - i. Is m less than 2/5?
True
Let p = 164 + -151. Let v = 0.4 + -2.4. Is p greater than v?
True
Let n(x) = x**3 + 5*x**2 - 8*x - 52. Let c be n(-5). Is c smaller than -11?
True
Let y be ((-930)/434)/((-1)/7*4). Which is smaller: 3 or y?
3
Let p be (-1 + 1)/(2/2). Let c = -88 + 94. Let f be 58/33 + (-6)/54*c. Which is smaller: p or f?
p
Suppose 4*y = g - 19, 5*y - 58 - 87 = -5*g. Let i be (-3)/(-2)*((-147)/g - -5). Suppose 0*c = -3*c. Is c bigger than i?
True
Suppose 60 + 33 = 4*v - 3*s, -3*s - 21 = -v. Let u be v/108 - (-68)/18. Suppose -12 = u*g - 4. Is g greater than or equal to 2/25?
False
Let b be -2 + 4/(32/38). Let n = -6 - 18. Let k be ((-3)/(-4))/((-9)/n). Which is smaller: b or k?
k
Let r be 0/(-1)*(80/24)/(-10). Which is smaller: -1.1 or r?
-1.1
Let j be (-4)/(-10)*-2*30/(-40). Suppose 0 = 4*k - 14 - 2. Let u = k - 2. Is u at least as big as j?
True
Let l = 41952/1525 + -682/25. Is l > -1?
True
Suppose -4*s = -2*r + 28, -4*r - 2*s = s - 56. Let d be (-3*4/(-24))/(r/(-4)). Which is greater: d or 1?
1
Let q = 8 + 2. Suppose 0 = -6*i + q + 20. Suppose -i*u - 18 + 3 = 0. Which is greater: u or -6?
u
Let g = 0.06 + 1.64. Let z = 2.54 + -2.24. Let d = g + z. Is 5 at least as big as d?
True
Suppose -4*v + 2*i - 2082 = -184, -i = -5. Which is smaller: -470 or v?
v
Let y = -55.77 + 56. Let i = -12101/76 - -3030/19. Is i less than y?
False
Let h = 165 + -87. Let s = h - 78. Is s less than 18/7?
True
Let y = -546 + 587. Is 41 equal to y?
True
Let g(c) = -2*c**2 - 19*c + 79. Let i be g(-12). Is i < 55/3?
False
Let c(k) be the second derivative of k**5/20 + 5*k**4/6 + 3*k**3/2 + k**2 + 4*k. Let x be c(-9). Let m be (-9)/6*x/(-3). Is m <= 1/7?
False
Suppose -3*l + 11 = -10. Suppose -l*z = 2*z. Are 9/32 and z nonequal?
True
Let z be -3 - 2*9/2. Let b be (-2)/64*z/10. Let x = b - 67/80. Which is greater: x or -1?
x
Let d be -12 + 16 - (1 - -80). Let g = d + 207. Let h be (4/9)/(g/(-15)). Which is smaller: 1 or h?
h
Let u = -654 + 644. Let w(g) = -g - 1. Let a be w(-1). Which is bigger: u or a?
a
Let k(w) = w - 1. Let n be k(2). Let t be (n - 4/8)*34. Which is smaller: t or 19?
t
Suppose 0 = -3*l - f - 4*f + 47, 4*l - 3*f - 82 = 0. Let g = -16 + l. Suppose v = -3*u - 0*u - 9, -u - g = 0. Which is bigger: v or -2/21?
v
Let r = 628 + -636. Which is smaller: r or 24?
r
Let b = -3680 - -430564/117. Is b < 0?
False
Let c be 42/(-132) + (-24)/16. Is c >= 0.6?
False
Let t be (-15)/10 + 6/4. Let o = -3 - -4. Let w = t - o. Is w < 2?
True
Suppose 39*w = 54*w. Let s = -5/132 - 221/264. Is w >= s?
True
Let w = -25.1 - 2.9. Let v = w + -1. Let i = -49 - v. Which is bigger: i or -1/4?
-1/4
Let t = 1522/7 - 218. Let y = 0.16 - 0.06. Do y and t have the same value?
False
Let k(p) = p**2 + 3*p - 8. Let f be k(-4). Suppose 2*i - i - 2*m = 1, -3*i = -5*m - 1. Which is smaller: f or i?
f
Let h(k) = -7*k**2 + 2*k - 1. Suppose m = 2*m - 1. Let o be h(m). Suppose 2*a + 24 = -2*a. Are o and a equal?
True
Suppose -25 = -3*a + 161. Let y = -115 + a. Let j = 1536/29 + y. Which is bigger: 0 or j?
0
Suppose 3*p + 29 = 4*m - 2*p, -3*p - 15 = 0. Suppose -8*d + m = -15. Is 4 bigger than d?
True
Suppose 30 = 3*l - l. Let x = -14 + l. Suppose x = 4*m + v - 0, 0 = -4*m + v - 1. Is 2/23 > m?
True
Let x = 17633 + -2768391/157. Is x not equal to 1?
True
Suppose -341*u + 3536 = -307*u. Are 96 and u equal?
False
Let m = 6 - 6. Let f be ((-5)/(-4))/(14/336). Is m greater than or equal to f?
False
Let x(q) = -q**3 - 7*q**2 + 10*q + 16. Let a be x(-8). Let d = 0 + a. Do 1/174 and d have different values?
True
Let d = 3180/13 + -245. Is -1 less than d?
True
Suppose 163 + 929 = 91*c. Suppose 5*b = -h + 51, 5*b - 44 = -2*h + 3. Which is smaller: b or c?
b
Suppose -o - 32 = -83. Let l = 18 - o. Let a be 16/l - (-2)/(-11). Which is smaller: -5/2 or a?
-5/2
Let n = -319 - -318.8. Which is smaller: -6 or n?
-6
Let h(l) = -l**2 - 2*l + 4. Let b be h(-6). Let o be (-66)/b*(-6)/(-9). Which is smaller: o or 1?
1
Let i be -4 - (4 - (1 - -102)). Let w be (46/42)/((-6)/522). Let k = w + i. Which is smaller: 2/3 or k?
k
Let d = -69.934 + 70. Which is smaller: d or 1?
d
Let s be ((-498)/9)/((-14)/21). Let p = 49 - s. Let o = -45 - p. Is o < -9?
True
Let w be 24 - (-2 - (1 - 1)). Let k = w - 12. Let m = k + -17. Which is smaller: 4 or m?
m
Let y be 1 - (-25)/(-15) - (-3345)/5004. Is y greater than 0?
True
Let x = 3604 - 2472. Which is smaller: 1131 or x?
1131
Suppose -19*s + 16*s = -9. Suppose -5*p + 7*p - s*x + 10 = 0, -4*p - 4 = -2*x. Is p smaller than 1/15?
False
Let l = 0.232 + -0.22. Let j = -0.088 - l. Which is bigger: j or -20?
j
Let t = 8 + -11.4. Let n = -514.61 - -518. Let r = t + n. Is -2 != r?
True
Let g = -8 - -18. Let q(i) be the second derivative of -i**5/20 - i**4/12 + 2*i**3/3 + 3*i**2/2 + 12*i. Let y be q(-3). Which is smaller: y or g?
y
Let z = -3.21 + 52.21. Are z and 1 equal?
False
Let q = 183 - 182. Which is bigger: -2/13 or q?
q
Let t(z) = -7 - 2*z + 4*z - z - 5*z. Let r be t(-3). Let v = 10 + -6. Is r at most v?
False
Let l(d) = d. Let r be l(0). Suppose -5*b + o - 19 = 0, r*b - b + 2*o - 11 = 0. Let k(v) = v**3 + 5*v**2 + 6*v + 4. Let m be k(-4). Is m at most b?
True
Suppose -2*s + v + 288 = 0, s - 3*v = -0*v + 144. Is 143 at least