- 4 = -21, 3*j - 2 = v. Is j less than f?
False
Let f be 16/(-18)*1/(-4). Let j = 484 - 442.8. Let c = -41 + j. Is c at least f?
False
Let j(z) = -2*z**3 - z**2 - 3*z - 3. Let o be j(-2). Let t = -7 + o. Let n be t/(-18)*9/(-6). Which is bigger: n or 0?
n
Suppose -24 + 4 = 2*q. Is q <= -10?
True
Suppose i = -0*i + 9. Let j(l) = l - 8. Let k be j(i). Which is smaller: 7 or k?
k
Let s be (-4)/(-10) - (-2 + 162/55). Which is smaller: -2 or s?
-2
Let y = -33 + 23. Let q = y - -10.1. Which is smaller: q or -6?
-6
Let w = -2 + 13. Let i = -2 + w. Suppose 3*t = 6*t + i. Are t and -3 non-equal?
False
Let q = -14.2 - -21. Let f = 24 - 17. Let i = f - q. Which is greater: 1 or i?
1
Suppose 3*m - 12 = -0*m. Suppose m*y + 16 + 0 = 3*r, -y = 5*r + 4. Does r = 1?
False
Suppose -115 = -4*r - 47. Is 15 less than or equal to r?
True
Let b be (-4)/(-22) + (-6)/33. Suppose 0*y - 11 = f + 3*y, b = 3*y + 15. Is f != 3?
True
Let l be 5/4*(-6)/(-15). Let d = 0.6 + -3.6. Which is smaller: l or d?
d
Let d(c) = c**3 - 5*c**2 - 15*c + 8. Let x be d(7). Is x > -1?
True
Let n be 87/145 - 261/385. Which is greater: n or -1?
n
Let k = 5 - -3. Suppose -85 = -5*i - f, k*i - 3*f - 68 = 4*i. Which is smaller: i or 16?
16
Let o = 0.16 + -0.1. Let a = -2 + 2.06. Let c = o - a. Which is smaller: c or 2?
c
Let v = 364/9 + -12898/63. Let z = v - -164. Suppose 2*t - 4*y - 10 = 0, -4*y = -3*t + 5 + 4. Is t equal to z?
False
Suppose 0 = 5*d + 5*r - 200, 5*d + 0*r + 4*r = 195. Let o = d + -37. Let i be (-2)/(-8) - 1/4. Which is bigger: o or i?
i
Let x be (2 + 0)/((-4)/(-1)). Let c = 8 - 4. Suppose c*l = 2*p + 2, 3*p + 6*l = 4*l + 5. Which is smaller: x or p?
x
Let b = 3 + -5. Let a(c) = 6*c + 47. Let p be a(-8). Which is greater: p or b?
p
Let f(w) = -w**2 - 6*w + 18. Let n be f(-8). Suppose 0 = n*c + 10. Suppose 0*q - 4*q - 8 = 4*v, q = v + 12. Which is greater: v or c?
c
Suppose -3*q + 2*c + 14 = -2*c, 0 = -q - 5*c - 8. Let r = q - 5. Let j = 2 - 5. Is r at most as big as j?
True
Let w be (2/5)/(4/20). Is w bigger than 2?
False
Let u be 4 + (-116)/14 - -4. Which is bigger: u or 0?
0
Let u = -1 + 1. Suppose -q + u*p - 3 = -3*p, -2*p + 2 = 2*q. Which is smaller: 2/9 or q?
q
Let w(d) = d**3 + d**2 - d. Let q be w(1). Suppose 7*m - 4 = -11. Are q and m equal?
False
Suppose 0 = -p - 5*p - 24. Which is bigger: -3 or p?
-3
Let y = 2 + -1. Let k(m) = -2*m**3 - 3*m**2 + 3*m + 1. Let q be k(-4). Let x be -1 + (-3 - q/(-18)). Is y greater than or equal to x?
True
Suppose j + 0 = 2. Let o = -6 - j. Suppose -7*x = -10*x - 27. Are x and o equal?
False
Let v = 7 - 5. Let n = v + -2. Which is bigger: 1 or n?
1
Suppose -4*z + 15 = -2*w - w, 4*w - 30 = -3*z. Suppose 5*p = p - 76. Let h = p + 26. Is z bigger than h?
False
Let l = 2 - -6. Which is smaller: 9 or l?
l
Let o(x) = -x**3 - 11*x**2 - 11. Let h be o(-10). Which is bigger: h or -112?
h
Let r = -25 + 45. Let t(h) = h**2 + h - 2. Let i be t(-2). Suppose 5*w = 2*n + r - 5, 5*n - 5*w + 15 = i. Which is smaller: n or 2/5?
n
Let r be (-2)/(-14)*(-1 + 0). Let h(p) = -p**3 + 4*p**2 + 4*p + 6. Let y be h(5). Let g be y - (1 - (-2 - -1)). Which is greater: r or g?
r
Let s = 3 + -3. Suppose 0*n - 3*n + 5*t + 9 = s, -2*n = -2*t - 2. Let w be -6*(-2 - (-10)/4). Which is greater: n or w?
n
Let b = 6 + -11. Let g = 6 + b. Is g >= 2?
False
Let s = 1 + 0. Let o = 385 - 1922/5. Is s greater than o?
True
Suppose -5*f + 2*f - 3 = 0. Which is greater: -1/24 or f?
-1/24
Let s(d) = -d**3 - 6*d**2 - 5*d + 1. Let n be s(-5). Let t = 83/52 - 24/13. Is t at least n?
False
Suppose 2*l + 0*l = 8. Which is greater: l or 3?
l
Let a = -1 - 12. Are -14 and a unequal?
True
Suppose -5*w - 50 = 5*r, -5*w + 4*r = -2*w + 9. Suppose 4*v - 5*s = -3*s + 2, -3*v = -s + 1. Which is smaller: v or w?
w
Let f be (3 + (-2)/(-1))/(-1). Let z = -31 + 27. Is f greater than or equal to z?
False
Let a = -244 + 5128/21. Is 0 smaller than a?
True
Let n(p) = -2*p + 6. Let f(h) = h**3 + 6*h**2 - 8*h - 4. Let m be f(-7). Let g be n(m). Which is bigger: g or 3/4?
3/4
Let r = 26 - 27. Which is smaller: r or 65?
r
Let c = -2 + 2. Suppose 5*z = -3*l - 14, c = -0*z + 3*z - l. Let s be (-1 + 2)*(-1)/(-6). Are s and z equal?
False
Suppose -8*n + 4 = -6*n. Is 20/9 > n?
True
Suppose 0 = 5*s - 58 - 12. Let g = s + -6. Let q = 5 - g. Is q != -3?
False
Let r(x) = -x**2 - 7*x - 10. Let c be r(-4). Let u be (-3)/c + (-5)/(-2). Let t be (-2)/12*16/(-3). Which is greater: t or u?
u
Let w be (23/20)/((-1)/32*-4). Which is greater: w or 10?
10
Let s = -2/695 - 2746/11815. Is s > 0?
False
Suppose -2 = -4*n + 2. Let x be (2 + -2)*n/(-2). Let f be 0/(0 - (-2)/2). Do x and f have different values?
False
Let l = 196 + -191. Is -0.3 >= l?
False
Let z(x) = -2 + 4*x + 2*x**3 - x**3 - 2 - 5*x**2. Let k = 3 + 1. Let y be z(k). Is y equal to -4?
True
Suppose 0 = -x + d + 1 - 2, -3*x + 2*d = 0. Let b = 393 - 645. Let g be (-16)/b + x/9. Which is bigger: 0.1 or g?
g
Let c = 4 - 1. Suppose -2*l - c = l. Let d be 3*(10/(-6))/l. Is 5 >= d?
True
Let t = 353/15 + -117/5. Let x(u) = u**3 - 6*u**2 - 11*u - 39. Let b be x(8). Which is smaller: b or t?
t
Let b = 1.6 + -2.6. Does 2 = b?
False
Let c = 0.015 - 6.015. Let n = 5 - 8. Let z = c - n. Is z greater than or equal to 1?
False
Let s be (-148)/28 + (-4)/(-14). Suppose 0 = q + y + 1, 2*y - 9 = 5*q + 17. Which is greater: s or q?
q
Let q be (-6)/((27/(-21))/((-4)/(-14))). Which is bigger: q or 0?
q
Let g = 8 + -6. Suppose -6*i + 8 = -2*i. Suppose 1 + 1 = -i*s. Is s at least as big as g?
False
Suppose 177 - 612 = 5*r. Is -85 less than r?
False
Suppose 3*g + 3 = 2*c, 3*c = -3*g + 2*c - 12. Is -3 greater than or equal to g?
True
Let f(n) = n**3 + 7*n**2 + 6*n - 4. Let a be f(-6). Let d be (1/4)/((-3)/30). Is a at most d?
True
Let u = -0.06 - -0.06. Let v = u + -0.05. Let f = v - 0.05. Which is bigger: 1 or f?
1
Let d be 0/(6/3 + -3). Is 2 greater than or equal to d?
True
Let d(r) = -5*r**2 + 2 + 0*r**2 + 2*r**2 + 2*r**2. Let p be d(4). Which is smaller: p or -15?
-15
Let m be (-5)/3 + 2/3. Let a be 3*(-4)/(-36)*-9. Which is greater: m or a?
m
Let g = -1/28 + -13/28. Suppose 4*i = -10 + 34. Suppose z + 6*l = 2*l + 7, 0 = -4*z + l - i. Is z bigger than g?
False
Let i(a) be the third derivative of a**4/24 - a**3/3 + 6*a**2. Let s be i(6). Which is greater: s or -2?
s
Let p = -6 + 8. Let w = p + -2. Let v = -0.02 - -3.02. Are w and v non-equal?
True
Let v(w) = 2*w**2 - w + 1. Let j(h) = 4*h**2 - 3*h + 3. Let z(c) = -2*j(c) + 5*v(c). Let m be z(1). Let d = -8 + 11. Is m <= d?
True
Let f be (-1)/((16/(-36))/(-4)). Which is smaller: -8 or f?
f
Let v(f) = f + 2. Let g be v(-3). Is g equal to 4/13?
False
Let b be 70/2 + (-6)/15. Let l = b - 34. Which is greater: l or 0?
l
Let a = 8 - 6. Suppose 0*j - 5*m = -j + 1, 0 = 2*m + a. Let q be (-2 + (-10)/j)*0. Is q less than or equal to 1/9?
True
Let q be (-40)/5 + 1 + 2. Let a = q - -5. Which is greater: 1 or a?
1
Suppose -8*f + 11*f - 51 = 0. Let n = 19 - f. Which is bigger: n or 5?
5
Let y = 36/5 - 103/15. Is y not equal to -1?
True
Let f(c) = 2*c**3 + c**2 + c + 1. Let r be f(-2). Let h be 28/r - (-1 + -1). Which is smaller: 1 or h?
h
Let r = 8 + -6. Suppose -z + r*s + 4 = 16, 4*s = -12. Let b = z + 13. Which is smaller: -6 or b?
-6
Let s = 13 + -15. Let x(q) = -q**2 + 2*q - 3. Let c be x(2). Is c > s?
False
Let t = -177/170 - -15/34. Is t at most as big as -1/8?
True
Let f be (-22)/77 + (-8)/(-14). Which is greater: f or 1?
1
Let s = 11 + -11.01. Let l = s - -0.01. Are -0.1 and l nonequal?
True
Let c = 6 + -1. Let g = -638/3 + 213. Is c at most g?
False
Let v be 4 + (-30)/3 + 0. Is v greater than -7?
True
Let d = 82 - 165/2. Which is smaller: 0 or d?
d
Let c be 2/(-4)*(-2 - -2). Suppose -2*l + 3*i = 4*i + 6, 0 = 5*l + i + 12. Let d = c - l. Are d and 3 equal?
False
Let m be (-1)/(((-2)/(-9))/(-2)). Which is greater: -0.2 or m?
m
Let l = 102 - 407/4. Is l at most -12?
False
Suppose 2*q - 13 = 5*w, 5*w = w - q. Let l be (-1)/(1*(1 - 0)). Let z be (2 - 4)*l/(-2). Is z greater than w?
False
Let n be 314/(-15)*20/6. Let u = -70 - n. Let a be (-30)/(-225) + 34/(-30). Is u less than a?
False
Suppose -20 = 4*i + 4. Which is smaller: -9 or i?
-9
Suppose 9 = -5*x + 49. Is x greater than or equal to 9?
False
Suppose 4*n - 4*k = -n + 6, 2*k = 5*n + 2. Let y =