- 5*l + 20, 3*z - l + 2 + 2 = 0. Is z less than s?
False
Suppose 0 = -2*s - 9 - 1. Let m be (1 - 0)*(-35)/s. Let d = -6 + m. Which is bigger: d or -1?
d
Suppose -3*r - r = 0. Let f(y) = y + 4. Let j be f(r). Suppose 0 = -5*n + 4*n + j. Which is greater: n or 2?
n
Let k = 1 - -2. Let j = k - 2. Let x(r) = -r**3 + 10*r**2 - 10*r + 9. Let s be x(9). Which is greater: j or s?
j
Let i(a) = a**2 + 7*a + 2. Let o be i(-7). Suppose -5*y + 4*d = 32, 0*y + 5*y - o*d = -26. Which is smaller: y or -2?
y
Let c be (-2)/((-16)/6) - 2/(-8). Do c and 4/31 have different values?
True
Suppose 2*c - 1 = -5. Is -13/6 < c?
True
Suppose 0 = -3*s - 2*f - 36, -3*s = 5*f - 0*f + 36. Let w(i) = -i**3 - 12*i**2 - i - 11. Let t be w(s). Let y be 1/2 + 2/(-4). Do y and t have the same value?
False
Let s be (2/(-3))/((-4)/(-6)). Let q = -16 - -16. Which is bigger: q or s?
q
Let k = -6 + 5. Let n = -3 + k. Let v be (-2)/(-3)*(-6)/n. Which is smaller: v or -3/8?
-3/8
Let p be (-23)/(-7) - (-4)/(-14). Suppose -5 = y - 5*v, -2*v = -4*y + v - p. Let n = 1 - y. Which is smaller: -1 or n?
-1
Suppose 0 = -w - l + 28, 4*w - 10 = -5*l + 106. Which is smaller: 25 or w?
w
Let p = 0 + -5. Let w = 5 + p. Which is smaller: w or 1?
w
Suppose 3*m = 36 + 9. Let q be 34/5*m/1. Let k = q - 513/5. Which is greater: k or -1?
k
Let u(h) = 9*h**3 - h**2 + 3*h + 4. Let m be u(-1). Which is greater: m or 0.2?
0.2
Let h = 9.097 - 0.097. Which is smaller: h or -2?
-2
Suppose -21 + 15 = 2*g. Is g smaller than 0?
True
Suppose 0 = -5*o + 2*n - 1, n - 1 = 2*o. Let t be o/4*20/15. Which is greater: t or -1/3?
t
Suppose 12 = 3*g - 0. Suppose 4*a - 12 = g*v, v - 3*v - a + 6 = 0. Which is smaller: -1/8 or v?
-1/8
Let a = -12 + 12. Let x be 3/22*(-8 - -4). Is a not equal to x?
True
Let d(n) = 2*n**3 + 2*n**2 - n + 2. Let h be d(-2). Let o = -18 - -12. Let t = 3 + o. Which is smaller: h or t?
h
Let r be 0 - -4 - 11/((-308)/(-96)). Do -0.2 and r have the same value?
False
Let f = -7 + 7.12. Let p = f + -0.02. Let o = -0.2 - -0.3. Is p not equal to o?
False
Let m = -4003/85 + 485587/8840. Let d = m + -63/8. Is 1 < d?
False
Let u = -6 - -9. Suppose u*s = -s - 4. Is s != -1?
False
Let q be (-15)/(-3) - (-2 + 0). Let h be (4 + 2)/1 - -1. Is q at least h?
True
Let d = -6 - -6. Let u(h) = h. Let g be u(d). Let r = -1/12 - 1/6. Which is smaller: r or g?
r
Let i = 4.4 - -0.6. Let h = i + -6. Which is bigger: -0.6 or h?
-0.6
Let m = 49 + -39. Is 11 greater than m?
True
Let l = -4 - -3. Let d = -2.6 - 0.3. Let u = d + 3. Which is bigger: l or u?
u
Let m = -6941 + 27977/4. Let o = m + -54. Let x be (2 - 4)*(-1)/(-2). Which is smaller: o or x?
x
Suppose i = -t - 2, 4*t + 11 = 5*i + 3. Let z = 7 + -5. Suppose 0 = 3*v + h - 5 + 12, z*v + 5 = -h. Is v not equal to t?
False
Let z(a) = -6*a**2 - 3*a - 2. Let i be z(-2). Which is smaller: -21 or i?
-21
Let l = 3.9 + -4. Let f = -0.47 - 0.03. Is l less than or equal to f?
False
Let v(s) = -3*s - 1 + 12*s + s**3 - 5*s**2 - 4*s**2. Suppose -y - 104 + 112 = 0. Let t be v(y). Is 7 at least as big as t?
True
Let d(i) = -i - 1. Let x be d(-3). Let v be x/(-7) + (-200)/35. Let m be (v + 0)/3 + 3. Which is smaller: -2/9 or m?
-2/9
Let t be (-1)/(-3 - (2 - 4)). Is t bigger than 5/18?
True
Let a(g) = 2*g**2 + 3*g + 3. Let t be a(-2). Is t not equal to -1?
True
Let t = 10.9 - 11.9. Do t and -7.8 have different values?
True
Suppose 0 = -8*j + 3*j + 5. Which is greater: j or -1/4?
j
Let a(q) = -4*q. Let c be a(-1). Suppose 5*i + 10 = 0, i = 5*p - 2*p + 4. Let j = c + p. Is j smaller than 1?
False
Let t(v) = -v**3 + 5*v**2 + v + 2. Let r = 3 + 2. Let n be t(r). Does 7 = n?
True
Let i = -31.1 + 31. Which is smaller: 3/5 or i?
i
Suppose 0 = p - 9*p + 5*p. Does p = 6/29?
False
Let q = 41 + -36. Which is bigger: q or 1/3?
q
Suppose -q = -10 - 5. Let r be q/(-18) - (-3)/9. Which is smaller: 0.5 or r?
r
Let m = -10 + 15. Let y = -3 - -7. Is y smaller than m?
True
Let l = 2.04 - 2.24. Let y = -3 - -4. Which is greater: y or l?
y
Let a = -0.06 + -0.04. Is -18 bigger than a?
False
Let i = -16 + 15.7. Which is greater: i or -2/19?
-2/19
Let l = -7 - -10. Let d be 2 - (0 + -2 + 2). Let z be (l/d)/(18/(-24)). Is -3 >= z?
False
Let q(w) be the second derivative of w**4/12 + w**3 - 5*w**2 + 2*w. Suppose -2*r + 4 = -2*y - 8, 0 = 3*y - 2*r + 19. Let a be q(y). Which is smaller: a or -2?
a
Suppose -3*o + 5 = -13. Let b(v) = v**2 + 3*v - 2. Let c be b(-4). Suppose -o = 4*k + c. Is k at least 0?
False
Let d = 11 - 7. Suppose -3*q - i = -2*q - 2, -4*i = -2*q + 22. Which is smaller: q or d?
d
Let u be (-104)/16 + 1/(-2). Which is bigger: u or -6?
-6
Let g be 6/(-5)*30/12. Which is smaller: g or -5?
-5
Let y be (0 - 2)/(1 - -1). Let u = -0.017 + -0.163. Is y > u?
False
Let r = -0.4 + -0.1. Let j = 3.08 - 0.08. Let b = j - 4. Which is bigger: b or r?
r
Let b(r) = -r**3 - 8*r**2 + 11*r + 5. Let n be ((-45)/20)/((-2)/(-8)). Let g be b(n). Is -13 <= g?
True
Let z = 36 + -33. Is z != 3?
False
Let x be (2/(-4))/((-3)/(-6)). Suppose -2*j - 1 + 3 = 2*p, 5*j + p - 5 = 0. Let l = 0 - j. Is x at least l?
True
Suppose -v + 3*j = 9, 3*v + 5*j - 43 = -0*j. Let i(c) = c - 6. Let p be i(7). Let q = p - -4. Which is smaller: v or q?
q
Let d be 0 - ((4 - 1) + -3) - 0. Which is bigger: 3/14 or d?
3/14
Let z be ((-2)/4)/(103/(-99)). Let j = 3/206 - -1/206. Let u = z + j. Which is smaller: u or 0?
0
Let w = -42 + 19. Let o = w - -17. Is o at most 0?
True
Let b = 0.2 + -1.2. Let q = 116.2 + -131. Let h = -15 - q. Which is bigger: h or b?
h
Suppose -v - 8 = -107. Let h be (v/3)/((-6)/(-4)). Let x be 10/(-55) + 26/h. Is x less than or equal to 2/9?
False
Let z be -1 - (-8 + 3 + 19). Is -13 less than z?
False
Let d = -53 - -81. Is 29 >= d?
True
Let k = -32 + 32. Which is bigger: -2 or k?
k
Suppose -2*l = -5*l - 9. Let t be (12 + -2)*l/6. Does t = 1?
False
Let b = -19 - -31. Is -0.3 < b?
True
Let v = -1.1 + 1.1. Let a = v + 0.7. Let b = -0.06 + -0.04. Which is bigger: b or a?
a
Let f = -45 + 46.9. Is -1/4 > f?
False
Let c = -232153/105 - -2211. Which is smaller: 1 or c?
c
Let i be 7/(14/(-4))*-4. Which is bigger: i or 9?
9
Suppose 0 = d - 0*d + 45. Let h = d - -79. Let p = 205/6 - h. Does p = -1?
False
Let t(s) = -s**2 - 3*s + 11. Let u be -5 + (2 - (-4)/(-2)). Let c be t(u). Is c not equal to 2/41?
True
Let u(r) = r**3 + 5*r**2 - 3*r + 4. Let n be u(-6). Let o be (-4)/(-10) + n/10. Which is bigger: 0 or o?
0
Suppose t + 4*t = 10, -2*b - 3*t + 12 = 0. Is 3 at least as big as b?
True
Suppose 3*j + a = 3*a + 560, 5*a = 25. Let u be (-5)/(-3)*(-4)/j. Let f = u - -40/57. Is f != -1/3?
True
Let f = 0.487 + -0.287. Let a(r) = -r**3 + 3*r**2 + r - 4. Let x be a(3). Is f greater than or equal to x?
True
Suppose 3*j = 15, 2*o + 6*j - 28 = 2*j. Suppose -o*z - 24 = -4. Do z and -5 have different values?
False
Suppose k = 5*k - 4. Let f be 77/(-108) + k/4. Let w = f + -1/27. Which is bigger: w or -1?
w
Let t = 2 + -4. Let y be (-10)/(-35) + t/7. Let o be (0 - 1)/2*y. Is 1 at most as big as o?
False
Let q(k) = 2*k**2 + k - 4. Let z be q(3). Suppose 10 = 3*b - b. Suppose 0 = b*m - 8 - z. Which is smaller: m or 4?
4
Let x = 8 + -38/5. Let u = -2 - -1. Let s = u - 1. Which is smaller: s or x?
s
Let h = 39 - 17. Which is smaller: h or 20?
20
Let n = -8.3 + 8. Let t be (-3)/((-2)/((-8)/54)). Is t at least n?
True
Let z = 1045/1288 - 1/23. Let b be 31/(-24) - (-4)/6. Let n = z + b. Which is smaller: 1 or n?
n
Let d = -4 - -4.7. Does -3/8 = d?
False
Suppose 4*z = -4*c, -3*z + 8*z + 27 = 4*c. Let f be 2/(-3)*z/4. Suppose -2*v - 4 = -5*j, 2*v + 10 = 2*j + 4*v. Which is smaller: j or f?
f
Let z be 1 + 0 + (7 - 1). Let h = 25 - z. Suppose 2*m - 2 = 2, 5*m = 2*r + h. Do r and -5 have the same value?
False
Let x be 0 + (-2)/10 + (-38)/(-40). Is -15 at least x?
False
Let h = -6 - -8. Suppose -4*d - 6 = -3*k - 0*k, -4*k - 8 = 0. Are h and d equal?
False
Let k(z) = z**3 + 4*z**2 + 2*z - 1. Let h be k(-2). Suppose 4*w - h = 5. Suppose w*u - 10 = -2*n - 0*u, 15 = -2*n + 3*u. Is n >= 1/6?
False
Let q = -31.96 - 0.04. Is q at least 0.1?
False
Let g be 1/4 - (-14)/8. Let z = 5 - g. Suppose -4 = -i - z*i. Which is bigger: i or 2?
2
Let n be -1 + (55/8)/5. Let z(f) = -f**2 - 7*f + 9. Suppose -4*c - 4*d - 32 = 0, -3*c = 4*d + 11 + 13. Let b be z(c). Is n at most as big as 