20*3. Which is smaller: 1 or l?
1
Let k be (8/(-190))/(-1 - 189/(-175)). Is -2 < k?
True
Suppose 2*q - q - 4 = 0. Let s be 0 + (-4 - q/(-1)). Let y(i) = -i**2 + 5*i + 5. Let c be y(6). Which is smaller: c or s?
c
Suppose 7*u = 12*u + 5. Is u > -2?
True
Let z = 1 + 2. Let m = z - 2. Let l(d) = 3*d**3 - 2*d + 1. Let b be l(1). Is b at least as big as m?
True
Let r = -1655.97 + 1663. Let x = -7 + r. Which is bigger: x or -2?
x
Let b = -31 + 22. Let g(m) = m**2 + 10*m + 13. Let x be g(b). Is 3 < x?
True
Suppose 0 = 5*o, 4*p - o = -5*o + 52. Is 0.1 <= p?
True
Let k(n) = 3*n. Let d be k(-1). Let g be 7/d - 10/(-30). Which is bigger: -7 or g?
g
Let m(c) = -3*c - 4. Let s be m(-7). Let p = s - 18. Which is greater: -5 or p?
p
Let n = 68 - 69. Is n less than 10?
True
Let r = -12/7 + 17/14. Is r greater than -1?
True
Suppose -4*j - 2 = 4*y + 2, 0 = j + 2*y + 3. Which is greater: j or -4/21?
j
Suppose -54 = -4*u + 5*t - 1, 2*t + 38 = 4*u. Suppose -l - u = -f - 3*f, -2 = 4*f + 2*l. Is f less than 3/17?
False
Suppose 0 = -5*x - 112 + 92. Let w(k) = k + 1. Let n be w(9). Suppose -d = -3*d - n. Is x equal to d?
False
Let s = 108701793/203 - 535478. Let p = -22/29 - s. Let k = p + -2/21. Is k != 0?
True
Suppose -11 + 3 = -2*k. Let c(z) = z**2 - 3*z - 1. Let r be c(k). Which is bigger: 2 or r?
r
Let f be ((-4)/95)/((-6)/(-75)). Which is smaller: -2 or f?
-2
Let p = 1.9 - 3.2. Let k = p - -8.3. Let a = 4 - k. Which is smaller: 0 or a?
a
Let u(y) = -y**3 - 5*y**2 + 6*y + 5. Let j be u(-6). Which is bigger: 6 or j?
6
Suppose 0 = 3*c - c - 2. Let r be (-4 - -2) + (-9)/(-5). Which is smaller: r or c?
r
Let b = -1 - -7. Let o be (-1 - 2/4) + (-221)/(-130). Which is smaller: o or b?
o
Let v be (12/42)/((-9)/(-7)). Let k = -4 - -3. Is k < v?
True
Let c = -3 - -5. Let w = 0.6 + -0.7. Is w < c?
True
Let n = 8 + 10. Let s be 3*(-2 + 34/n). Which is smaller: 0 or s?
s
Let n be (-34)/(-4) - (-1)/(-2). Suppose -5*z + n = -2. Let k = -19 - -59/3. Is z smaller than k?
False
Let j = 4.2 - 2.3. Let m = j - 3. Let k = m - -1. Is k != 2/9?
True
Suppose 3*w + 4 = -2*i, -2*i = -3*i - 5*w + 5. Let m = i - -6. Suppose -11 = -2*c - o, -3*c + o = -5 + m. Is c at most 5/2?
False
Let j(g) = -g**3 - 7*g**2 - 11*g - 4. Let l be j(-5). Does l = 0?
False
Let p = 2 - 21. Let s = p - -131/7. Let n = -4 + 3.7. Which is smaller: s or n?
n
Suppose 0 = r, 13*x = 14*x + 3*r - 3. Suppose -3*m + 0*m + 15 = 0. Which is smaller: x or m?
x
Let h be (-33)/7 - (-2)/(-7). Let r be (-1)/(-4) + h/4. Which is bigger: -2/13 or r?
-2/13
Let l = 1626/13 - 125. Which is smaller: 1 or l?
l
Suppose 0 = -3*h + 4*h - 4*i - 45, -115 = -5*h - 2*i. Let p = h - 17. Suppose -p*t - 16 = -4*t. Which is greater: t or -2?
-2
Suppose -4*g + i = -33, 0*i + 5*i = -4*g + 51. Let h = g + -9. Suppose 2*b = -2 - h. Is b > -4/11?
False
Let c(i) = -i**3 + 13*i**2 - 10*i - 6. Let x be c(12). Let k = x - 20. Which is bigger: 0 or k?
0
Suppose 0 = -4*t + 5*l - 3, -3*t - 4*l = 1 + 9. Which is bigger: -16/5 or t?
t
Let u(g) = -g**3 + 15*g**2 - 4*g - 1. Let x(w) = w**3 - 14*w**2 + 3*w + 1. Let i(m) = -3*u(m) - 4*x(m). Let b be i(11). Is b at least as big as 3/11?
False
Let z = -9 + 12. Let x be -1 - (z - 2)/1. Which is smaller: -3 or x?
-3
Let r = -142/7 - -4409/217. Let j = 1 + -2. Which is smaller: r or j?
j
Let f be 52/(-2)*(-3)/6. Which is smaller: f or 12?
12
Suppose -d + c - 3*c = 4, 3*c = 3*d - 33. Suppose 0 = 9*j + 9*j - 108. Are j and d non-equal?
False
Let t(x) = -2*x. Let g be t(-5). Let m = 15 - g. Is -2 bigger than m?
False
Let v be 0 - (-4 - -3 - -22). Let k = v + 21. Is -2 at most k?
True
Let w = 33 + -35. Is w <= -2?
True
Let z(f) = -f + 10. Let k be z(-8). Is k != 19?
True
Let n = -15 - -15.07. Let t = 0.06 - 2.06. Let w = t - -2. Is n smaller than w?
False
Let y(l) = -l**2 - 6*l - 5. Let d be y(-5). Which is smaller: d or -1?
-1
Let z = 2.99 - -0.01. Let g = 4 - z. Let k = -12.9 + 13. Is g at least as big as k?
True
Let x be ((-2)/18)/(2/(-15)). Let d = -0.74 - -0.74. Which is bigger: d or x?
x
Let i(k) = 5*k**3 - 2*k**2 + 3*k. Let f be i(-4). Let j be 160/f - (-2)/7. Which is bigger: j or -1?
j
Let t be 0 + 2 - 28/21. Let p = -3.94 + 4. Let c = p + -1.06. Is c > t?
False
Let r = 1 - 1. Suppose -7*s + 3*s = r. Let v be (-9)/2*(-3)/(-18). Which is smaller: s or v?
v
Let m(d) = 2*d**2. Let b be m(1). Let n = 18 - 13. Suppose 2 + 8 = n*q. Is q equal to b?
True
Let v = 0.15 + -0.05. Let c = 0 - v. Is c <= 0.4?
True
Let n = 51 + -28. Suppose 5*t = -2*p + 3*t + 4, t + n = 4*p. Suppose 7 + 8 = -p*s. Is -2 greater than s?
True
Let v be (-10)/6*3 + 0. Which is bigger: 2 or v?
2
Let x(t) = -t + 30. Let d be x(10). Let r be d/30 + (0 - 1). Which is smaller: 1/2 or r?
r
Let l = 85 - 51. Which is bigger: l or 35?
35
Let d = -10.9 - -11. Suppose 2*m = 3*m. Suppose -3*l + m*l + 6 = 0. Is d greater than l?
False
Let u = -138 + 149. Let f be 12 + 2/4*-2. Is f less than or equal to u?
True
Let n = 11 - 18. Does -7 = n?
True
Let s(r) = r**2 + 11*r + 23. Let j be s(-11). Are 22 and j non-equal?
True
Suppose 5*t + 10 = -0*t. Which is smaller: -11/5 or t?
-11/5
Suppose -2*r = -22 + 2. Let y be (-3)/r*(-25)/(-30). Is y > -3?
True
Let k = 50 + -201/4. Is 10 != k?
True
Let c be 1/(9/(-120))*-3. Suppose 0*f = -5*f - c. Let q = 6 + f. Which is greater: q or 0?
0
Suppose -8 = 3*l - o, -3*o = -4*l - o - 8. Let d = -2 + 3. Suppose 4*i + 8 = -4*j, 0 = -4*j - 2*i - d - 13. Which is greater: l or j?
l
Suppose -h - 25 = -5*n - 8, 4*h - 2*n + 14 = 0. Let w be (-15)/10*h/(-5). Is w != 1?
True
Let p = 0.6 + -7.6. Let w = p + 7.1. Is w < 6?
True
Let x = -2 + 5. Let w(b) = b**3 + 3*b**2 - b - 3. Let g be w(-3). Let a = x - g. Are a and 4 equal?
False
Let u be ((-55)/66)/((-2)/18). Is u less than 8?
True
Suppose -2*m + 35 = -3*x - 0*m, -4*x - 5*m = 85. Does -15 = x?
True
Suppose 2*y + 2*y - 12 = 0. Let b = y - 2. Is b not equal to 3?
True
Let k be -3 + 2*6/4. Are k and 2/81 non-equal?
True
Suppose 417 = 8*l + 145. Is 0 < l?
True
Suppose 0 = -0*d + d - 4. Let o be 0*2/d*-1. Suppose -3*r + o*r = 6. Which is bigger: 0 or r?
0
Let v be -4 + (-9)/(-6) + 3. Which is bigger: v or -6?
v
Suppose 2*y - 2 = 2. Let q be (0 - -2)/y*10. Let j be q/(-14) + 4/(-14). Is j greater than 0?
False
Let g be (-20)/(-8) - 1/(-2). Let x(f) = 3*f - 22. Let n be x(8). Is g at most n?
False
Let z(a) be the first derivative of -3*a**2/2 - 16*a + 1. Let p be z(-7). Is 6 bigger than p?
True
Let q be 3/4*(-2)/(-3). Which is smaller: q or 2?
q
Let a be (2 - 0) + (-40)/18. Let q = 295 - 294. Which is smaller: a or q?
a
Suppose 4*a = 9*a. Let q = -14 - -29. Let k be ((-2)/55)/(1/q). Which is smaller: k or a?
k
Let u be (3/(-2))/((-3)/6). Suppose 12 = 8*v - 4*v. Is u greater than or equal to v?
True
Let t = -223/7 - -32. Is -0.04 at most t?
True
Suppose 0*y - 3*y = -15. Suppose -y = 3*w + 1. Is 2/23 bigger than w?
True
Let o = -376 + 123. Let f = 2275/9 + o. Which is smaller: f or 2/7?
f
Let o be 16/(-42) + (-2)/(-3). Let h = -72/161 + 3/161. Which is greater: o or h?
o
Let p(u) = u**3 + 5*u**2 + 3*u - 1. Let r be p(-4). Let i be 2 - ((-52)/60 + r). Which is smaller: 1 or i?
i
Let s = 12 + -20. Suppose 30*h + 7 = 29*h. Which is smaller: h or s?
s
Let q(p) = p**3 - 10*p**2 - p + 11. Let f be q(10). Let t(n) = 4*n**3 - 2*n**2 + n. Let u be t(f). Which is bigger: u or 4?
4
Let l be 2*(-2)/4 + 1. Let i be 14/12 + 15/(-10). Is l greater than i?
True
Suppose 2*w - 12 = -2. Which is bigger: 3 or w?
w
Suppose -2*q - 3*w + 5 + 6 = 0, 0 = 4*q + 2*w - 34. Which is bigger: 11 or q?
11
Let h(z) = -4*z**2 - z - 1 - z**3 + 2*z**2 + 5*z**2. Let p be h(3). Which is smaller: p or -3?
p
Let q = 31 - 30.9. Is q less than 32?
True
Suppose 0 = -11*j + 10*j - 38. Is j greater than or equal to -39?
True
Let k be ((-48)/(-4))/(-4) - -15. Let z be k/(-9)*(-12)/(-8). Do -2 and z have the same value?
True
Let u(c) = -c**2 - c + 2. Let o be u(0). Let h be 1 + -1 + (1 - o). Which is smaller: h or -2/15?
h
Suppose 50 = t + t. Suppose 0 = 5*p + t, 4*z - p + 1 = 6. Let n be 85/45 - 0 - 2. Which is greater: z or n?
z
Let c = -37 + 147/4. Which is smaller: c or -3/5?
-3/5
Let s be 60/(-24)*(-16)/190. Which is smaller: 0 or s?
0
Suppose 2*p + 3008832 = -16208212. Let x = p - -16613135300/1729. Let a = x - 3/247. Is a less than 