er: n or 11?
n
Let v be (-3)/2 - 70/(-28). Is 1/14 > v?
False
Let s be 82/180 + ((-21)/6)/7. Is s equal to 2?
False
Let l(t) = -t - 12. Suppose 0 = -4*n + 2*n. Suppose n = -b - 4*b - 45. Let c be l(b). Which is smaller: -2 or c?
c
Suppose -675 - 1005 = -3*o. Suppose 5*f - o = -0*f. Let l = -562/5 + f. Which is smaller: l or 0?
l
Suppose -p - 1 = 7. Suppose -37 = 2*z + 3*z - 2*s, 5 = -z + s. Is z greater than p?
False
Let s be 1/(((-344)/(-2))/(-4)). Let k = -77/387 + s. Does k = -1?
False
Let n be 2/(-36)*-3 - 345/2610. Which is bigger: 0 or n?
n
Let p = -39/5 + 8. Suppose -g = -w - 1, -4*w + 21 + 20 = 5*g. Suppose d + 3 - w = 0. Do d and p have the same value?
False
Suppose -11*n + 10*n = 0. Which is bigger: 2/13 or n?
2/13
Let m(z) = -z**3 - 4*z**2 + 3*z - 3. Let o be m(-5). Let n(t) = t**3 - 7*t**2 + t - 1. Let r be n(o). Is 5 >= r?
False
Suppose 27 = -3*f + 4*f. Is 27 greater than or equal to f?
True
Suppose -41 = 3*d + t - 14, 0 = t. Do d and -8 have the same value?
False
Let i(x) = -x**3 + 5*x**2 + 6*x - 3. Let c be i(6). Is -2/13 at least as big as c?
True
Suppose -2*l + 4*v - 35 + 13 = 0, v = -l + 4. Let u = -2 - l. Is u equal to 3/19?
False
Suppose 4 + 0 = 4*m. Suppose 3*u + 8 = 2*u. Let k(y) = y**3 + 7*y**2 - 8*y + 2. Let w be k(u). Which is smaller: w or m?
m
Let t(f) = 2*f**2 + 6*f - 7. Let d be t(-5). Is d less than 13?
False
Let b = -1/12 - 5/12. Which is greater: b or -1?
b
Suppose 5*x = -10, -4*x - 2 = -4*y + 6. Suppose 0 = -5*h - s + 10, y = 5*h - 5*s - 13 + 3. Which is greater: 18/7 or h?
18/7
Let d = -18 - -55/3. Let h(g) = 4*g + 15. Let q(p) = -21*p - 76. Let w(n) = 11*h(n) + 2*q(n). Let z be w(-6). Is d at least as big as z?
False
Let y = -57 + 23. Which is smaller: y or -36?
-36
Let w = -317 - -316. Let h = -0.01 + 5.01. Is w at least as big as h?
False
Let s = 1/157 + -321/1099. Which is smaller: s or 0.3?
s
Let q = 0.6 + -0.8. Let t be 0 - 32/(-20) - (0 + 2). Which is bigger: t or q?
q
Let o = 1 + -2. Let v be 6/8 + (o - 0). Is v > 0.1?
False
Let a = 0.065 - 0.065. Let n = 3.8 - 4. Is a at most as big as n?
False
Let s = -0.4 + 0.3. Let x = 28.3 - 28. Is x < s?
False
Let u = -165/8 + 5099/248. Is -1 > u?
False
Suppose -4*q + q = -171. Let o = 95 - q. Let r = -188/5 + o. Is r > 0?
True
Suppose -q = 2*r + 3, 3*r - 2*r - 4*q = 12. Suppose 6*v - 12 = 3*v. Suppose -3*f = 3*b - 4*b + 4, r = -v*b - f - 10. Which is greater: b or -1?
-1
Let p = -17 + 10. Do p and -0.1 have different values?
True
Let t = -352 - -1073/3. Is 6 not equal to t?
True
Let w(l) = l - 32. Let m be w(13). Which is bigger: -21 or m?
m
Let r(z) = -z**3 + z**2 + z + 14. Let h be r(0). Which is bigger: h or 15?
15
Let a = 0.3 - -2.7. Which is smaller: -3/7 or a?
-3/7
Let g be (16/9 + -2)*3. Let l = 0.3 - 0.1. Which is smaller: l or g?
g
Let b = 5 + -2. Suppose -17 = -5*d + 48. Suppose -b*k + d = -2. Which is smaller: 3 or k?
3
Let z = -0.038 - 1.962. Is -17 less than z?
True
Let w be 120/(-28) + (-2)/(-7). Let d = w - -9/2. Which is greater: -1/4 or d?
d
Let l = -4.8 - -4.7. Which is bigger: l or 1/60?
1/60
Let q(m) = -5 + 3*m**2 + 5 + 2*m - m + m**3. Let y be q(-3). Let w be (-9)/4*4/6. Is y at least as big as w?
False
Suppose -2 = 4*t + 10. Is -9/4 at least as big as t?
True
Let v(q) = 2*q**2 - q. Let w be v(-1). Is 0.1 smaller than w?
True
Let r = 28467/176 - 3273/16. Let v = r + 43. Which is smaller: -1 or v?
-1
Suppose -4 + 24 = -4*u. Let s = u + 8. Suppose 0 = -0*a - 3*a - 4*l + 22, -3*a - 5*l + 26 = 0. Is s bigger than a?
True
Let b be (-450)/(-20) + (-2)/4. Let x = b + -16. Are x and 7 nonequal?
True
Let t = 159/7 - 153/7. Suppose -8*d + 10 + 6 = 0. Which is smaller: d or t?
t
Let n(r) = -r**2 + 5*r + 6. Let v = 9 + -14. Let z be n(v). Let h = z + 177/4. Which is greater: -1 or h?
h
Let h = -1/36 - -5/18. Suppose -24 = 5*g - g. Let i be (g/(-24))/((-1)/(-4)). Which is greater: i or h?
i
Let h = 1060/51 + -62/3. Is h <= 1?
True
Let c be (98/21)/(-1)*3/(-2). Which is bigger: 3 or c?
c
Let a = 12/5 + -249/110. Do a and 0 have different values?
True
Let l be 4/(-14) + 78/(-21). Let d be (l/6)/((-10)/(-15)). Let q be 1*(-7)/5 - -1. Which is greater: q or d?
q
Let q = 3 - 2. Let f = 0 - q. Is 2/39 equal to f?
False
Let a be (-3 - -2)*(9 + -8). Let h be ((-16)/(-6))/(2/6). Let d be 2 - (1/h - -2). Which is smaller: d or a?
a
Let x = 0.5 + -1.5. Let d = 0.95 + x. Is d bigger than 1/5?
False
Suppose 5*b - 18 = -4*w, 3*b - 4*w = -b. Let m be 3/12 - b/8. Is -5 < m?
True
Let k(q) = -2*q**2 - 2*q + 3*q + q**2 + 0*q**2. Let g be k(0). Which is smaller: 1 or g?
g
Let y be 22/6 + (-4)/6. Suppose 0 = -0*m - m + 2. Is y less than or equal to m?
False
Let z(i) = 2*i**2 - 2*i - 1. Let q be z(-1). Suppose -q*f + 16 - 4 = 0. Suppose 0 = 5*u + c - 2, 2*u - c - 17 = f*c. Which is smaller: u or 0?
0
Let x be (-4 - (-3 + -3))/8. Is x at least 0?
True
Suppose 2*g - 4*g = 8. Let r = g + 0. Is -4 less than or equal to r?
True
Let k be 76/16 + 2/8. Let o = -3 + k. Which is bigger: 3 or o?
3
Let f be (0 - 1)*-1*5. Suppose -f*x = -t - 2*t - 10, -x = -4*t + 15. Suppose b - 10 = t*m - 4*b, -2*b + 4 = -5*m. Which is bigger: m or -2?
m
Let f be -1 - (-3)/(2 + 1). Suppose c + 14 = 3*m + 5, 4*m - 20 = f. Do 5 and c have different values?
True
Let n = -2 - 8. Do -8 and n have different values?
True
Let v = -341/7 + 49. Which is smaller: v or 2.9?
v
Suppose -5 = -0*m - 5*m. Suppose h = -0 + m. Which is smaller: h or -2/3?
-2/3
Let q be 14/(-49) - 135/(-7). Suppose 0 = -4*m, -4*t - 4*m - q = 21. Which is bigger: t or -9?
-9
Suppose 5*z = -3*x - 12, 2*z - 3*x - 15 = -3. Suppose -3*a + a = h - 8, 5*h + 4*a - 22 = z. Let r be (3 - h)*1 - 1. Which is bigger: r or 1/7?
1/7
Suppose 4*v = x - 4*x + 14, 3*x + v = 8. Is 3 at most as big as x?
False
Let l = 4 + -2. Does 6 = l?
False
Suppose 0 = -g - 4 - 21. Let t = g + 15. Which is smaller: -8 or t?
t
Let y(p) = -p - 19. Let n be y(0). Is n > -19?
False
Suppose -5*d = r - 20, 6*r - 2*r + 20 = 0. Suppose -s - 10 = -2*s + 3*x, s + 2*x = -d. Is 0 at most s?
True
Suppose -7*m = -5*m + 80. Let x be (-2)/(-8) + (-6)/m. Are 0 and x equal?
False
Suppose 29 = 19*p + 105. Which is bigger: -8 or p?
p
Let f(u) = 4*u - 1. Let d be f(1). Suppose d*l = -2*k + k - 24, 2*k + 3*l = -39. Which is smaller: -16 or k?
-16
Let g(m) = -5*m - 1. Let s be g(-2). Let h = s - 13. Let f(n) = -n**3 - 4*n**2 + n + 1. Let d be f(h). Do d and -3 have different values?
False
Let f be (-2)/(-2 - (-12)/8). Suppose 7 = -f*v + 3. Is v less than or equal to 1/8?
True
Suppose 3*y + 10 = -2*q, 3*q + 4*y + 1 = -13. Let s be (1 - 2*3)*-1. Suppose 4*b - 2 = -s*m - 16, m - b + 1 = 0. Is q <= m?
True
Let k = -0.85 - -0.05. Let i = -1 - k. Which is bigger: 2 or i?
2
Let h be 2/(-4) - (-3)/6. Let q(z) = -z. Let j be q(h). Let t = -2 + j. Is t >= -1?
False
Let k be -1*(-2)/(-3) - (-2)/12. Which is greater: 0.01 or k?
0.01
Suppose 8 = -4*u - 0*u. Are u and -6/7 nonequal?
True
Let p = -687 + 681.91. Let j = p + 0.09. Let z = j + 4. Which is smaller: z or 3/8?
z
Let w = 7 - 48. Which is smaller: w or -2?
w
Let v be ((-3)/6)/(1/2). Which is smaller: 4 or v?
v
Let g(u) = u**2 - 3*u + 2. Let x be 34/10 - 8/20. Let b be g(x). Is b less than or equal to 2?
True
Suppose 0 = -7*n + 6*n + 6. Is n <= 7?
True
Let a = 1302221/257 - 5067. Which is bigger: 1 or a?
1
Let z = 7 - 3. Suppose -5*u = z*f - 9 - 56, -35 = -f - 5*u. Which is smaller: f or -1?
-1
Let i be ((-6)/7)/(15/(-10)). Is i less than or equal to 2?
True
Let r be (-4)/6*(-9)/6. Let x = 0 - r. Let i = -21 - -21.2. Is x smaller than i?
True
Let y be (0 + 2)*((-692)/(-138) - 5). Which is smaller: 1 or y?
y
Suppose -3*n = -0*n - 15. Let a(x) = -x**2 + 3*x + 6. Let k be a(4). Suppose 2*j - 6 = -5*l + 25, 0 = 3*j - k*l + 1. Is j less than or equal to n?
True
Suppose 5*k - 8 - 7 = 0. Suppose 0 = k*c - 2 + 5. Is -1/20 <= c?
False
Let v be -1*4/(-8)*-2. Suppose 0 = -2*n + 4*i, 6 = -5*n - i + 5*i. Are v and n non-equal?
True
Let q = -19 + 18. Is -4/5 smaller than q?
False
Suppose -l - 4 = 3*l. Let i be (-2)/(-2) + l/2. Suppose 2 = -w + 4. Is i less than w?
True
Let k be ((-1)/5)/((-24)/10). Suppose 3*z = 7*z + 4*y, -z = 2*y. Suppose h + h = z. Which is smaller: k or h?
h
Let o be 2 - (0 - -1 - -6). Suppose 23 = -u + 2*j + 2, 3*j + 51 = -4*u. Let l be (u/(