 v. Let d be -3 - 2*(v - 1). Suppose -2*r + z - 16 = 5*z, r + 4*z = -16. Which is greater: d or r?
r
Let r = 3.28 - 0.28. Is r not equal to -2/9?
True
Let z(u) = -u**3 + 5*u**2 - 5*u + 2. Let q be z(4). Let k be (-3)/(-24)*4*46. Let b = 19 - k. Is b greater than or equal to q?
False
Let z = 0.179 - -156.821. Let r = z + -155.99. Let g = r - 0.01. Which is smaller: g or 3?
g
Suppose 2*y = -6 - 10. Is -8 greater than y?
False
Let l be (12/2*-1)/(-2). Suppose 21 = -l*g - 0*g. Let s(r) = r**2 + 6*r - 8. Let c be s(g). Which is smaller: c or -2?
-2
Let j = -186 - -100. Is j less than -86?
False
Let n = -9 - -7. Which is bigger: n or 1?
1
Let p be 33/((-38)/4 + -1). Which is bigger: -4 or p?
p
Let z(b) = -b**2 + 3*b + 7. Let s be (-1)/3*(-14 + -1). Let r be z(s). Is r at most as big as -4?
False
Suppose 17*l = 12*l - 35. Which is bigger: 0.1 or l?
0.1
Suppose -3*c = 5*g + 5 + 4, -4*g - 3 = c. Which is smaller: -1/7 or g?
-1/7
Suppose 5*q = 4*a + 17, 0 = -2*a - 0*a + 2*q - 6. Suppose 5*f - g = -a*g + 27, f + 3*g = 11. Do -2 and f have the same value?
False
Let m be 30/(-9)*(-6)/2. Suppose 5 = 5*i - m*i. Suppose 8*v + 16 = -0*v. Is i at least as big as v?
True
Let x = 3.14 + -0.24. Let k = -0.3 + 0.2. Let c = x - k. Is -1/4 bigger than c?
False
Let y = -11 - -7. Let z = y - -4. Let f = z + 0.2. Is f not equal to 2/7?
True
Suppose -5*q = -5*b - 5, q - 8 = 4*b + 8. Let t be -2 + -2 + (7 - 2). Let y be ((-4)/(-16)*4)/t. Which is smaller: y or b?
b
Suppose -r + 74 = 10. Let w = 105 + r. Let u = w - 3551/21. Which is smaller: u or 0?
u
Suppose 2*h - a = 0, 2*h + a - 4*a = 0. Suppose -3*u + 5*c + 10 = h, -5*c = 2*u + 5 + 5. Is u at most as big as 2?
True
Let d be 4/2*(3 - 1). Let z(w) = -11*w**3 + w**2 + 5*w + 17. Let l(g) = 4*g**3 - 2*g - 6. Let m(n) = 8*l(n) + 3*z(n). Let c be m(3). Is c less than d?
True
Suppose 2*s = r - 5*r + 18, 0 = -3*s + 2*r - 13. Let g = -5/34 + -6/17. Which is smaller: g or s?
s
Suppose -d = o + o - 4, -2*o + 6 = 2*d. Is d at least as big as 8/11?
True
Suppose 100 = w + 4*w. Suppose -2*p + 5*m - w = 0, m = 3*p - m + 8. Which is smaller: 2/7 or p?
p
Let o = 90 - 86. Which is bigger: o or 9?
9
Let c = -1/72 - 17/72. Let o = 4 + -3. Which is bigger: o or c?
o
Let f = 3.9 - 36.9. Which is bigger: -1/2 or f?
-1/2
Let a = -52 - -71. Does 1 = a?
False
Let z be 6/(-3)*(-1 - -2). Is -3/2 not equal to z?
True
Let j be (5/(-10))/((-2)/(-8)). Suppose 17 = -5*q - 8. Let w = j - q. Is w >= 4?
False
Suppose 4*g - 3*g = 8. Suppose g = 4*s - y, -2*y + 5 = -4*s + 3*s. Suppose -2*p + s*p = -2. Do -3 and p have different values?
True
Let r be 0 + 3/((-72)/58). Let w = 722/3 + -238. Let i = r + w. Is -1 != i?
True
Suppose 0 = 3*y + y. Let a be -2 - -7*1 - y. Suppose 4 = p, -p + 1 + 3 = -a*w. Is w greater than 0?
False
Suppose g + 8 = -o, -3*g + 2*o = -0*g - 1. Which is smaller: -8/3 or g?
g
Suppose -4*g = -5*g + 3. Suppose g*y - 5 = 13. Is 5 greater than or equal to y?
False
Let s(b) = 255*b**3 - 2*b**2 - b - 2. Let r be s(-2). Let j be ((-1)/(-6))/((-24)/r). Let q = j + -44/3. Which is smaller: 0 or q?
q
Let j be (1 - 4)/((-6)/(-8)). Suppose -8 = 4*v, -5*c + 22 = 3*v - 67. Let q be 4/(-14) - c/7. Is q at least as big as j?
True
Let w = -4 + 6. Suppose -2*x + 2 + 4 = w*b, -4*b = -3*x - 5. Suppose 0*q - 6 = b*q. Is q smaller than 0?
True
Let h be -2 - (-2 - (-1)/1). Let a = 0 - 1/12. Is h at least as big as a?
False
Suppose 4*l + 3*n = 0, -2*l - 4*n = 2*l - 4. Do -18/11 and l have the same value?
False
Let s be 6/(-4)*(-2)/24. Let q(f) = -f**2 - 12*f + 13. Let m be q(-13). Is s smaller than m?
False
Suppose -3*f - 30 = -12. Let a be (-1)/(-2) + (-33)/f. Suppose 0 = -3*t + a - 0. Which is bigger: t or 1?
t
Let l = -0.037 + 0.407. Let m = -0.27 + l. Which is smaller: m or 2.6?
m
Let c = 0.05 + -0.03. Let w = c + -0.22. Which is bigger: -1 or w?
w
Let f = 44 - 43. Is f > -0.7?
True
Let k(v) = v**3 + 9*v**2 + 6*v - 15. Let q be k(-8). Let y(o) = -o**2 + 3*o. Let p be y(3). Is p < q?
True
Suppose -p + k = -24 - 1, 4*k = 3*p - 72. Let o be (2 - p/8)*6. Which is bigger: -7 or o?
-7
Let v(b) = -b**2 + 5*b - 4. Let p be v(4). Let w be (-8)/(-2) + 2 + -12. Let a be ((-2)/w)/((-1)/6). Which is smaller: a or p?
a
Let s be (7 + -7)/(2/2). Are s and -1/25 unequal?
True
Let l be (-6)/10 + -3*(-85)/(-75). Which is smaller: l or -9?
-9
Suppose 2*p = -3*f + 7 - 0, f - 7 = 4*p. Let a = 11 - 7. Let u be (-18)/60*a/9. Which is greater: u or p?
u
Suppose -5*i + 7 - 37 = 0. Let z = i + 2. Is z at least as big as -4?
True
Suppose -26 = -s - 2*c + 6*c, -3*c - 39 = -4*s. Let p be -14 - -14 - 16/s. Which is smaller: -0.1 or p?
p
Let p = 67 + -60. Let t = -1 - 0. Is t < p?
True
Let s(z) = -z + 10. Let v be s(6). Suppose -2 - 4 = -2*y + 4*a, v = -y - 5*a. Do y and 1 have different values?
False
Suppose -2*l + 72 = -4*l. Is -36 greater than or equal to l?
True
Suppose i + 22 = 2*t - 39, 0 = 5*t - 5*i - 145. Which is greater: 61/2 or t?
t
Let j = -1 - -0.9. Let n = -0.05 + 0.05. Let o = n + j. Which is bigger: 3 or o?
3
Suppose -2*g - 48 = 4*y, -g - 5 = -1. Let t be (-4)/5*y/2. Let r(o) = 4*o - 16. Let k be r(5). Do k and t have the same value?
True
Suppose 72 = -q + 2*f, 6*q + f + 181 = 3*q. Let a = q - -309/5. Which is smaller: -2/3 or a?
-2/3
Let m = -17 + 73/4. Let o = 351/4 + -87. Let y = m - o. Which is bigger: -2/5 or y?
y
Suppose 4*x + 23 = 7, -48 = -2*p + 4*x. Let g = 28 - p. Let q be (-3)/(63/g) - 0. Is q smaller than -2?
False
Suppose -4*h = -3*w - 40, 2*h - 16 = 3*w + 4*h. Let q be (w/10)/(7/(-5)). Which is greater: 0 or q?
q
Suppose 3*v = -5*i + 7*v - 26, -v = i + 7. Are i and -3 nonequal?
True
Let m(y) = 8*y**3 + y. Let v be m(1). Suppose 0 = -z + v - 4. Suppose 0 = -3*r + 4*r + 4, 3*u - z = 5*r. Which is bigger: u or -3?
-3
Let r = -37.1 + 37. Which is smaller: r or -2/19?
-2/19
Let a = -2 - -6. Let r be (-1)/(-6)*a - 0. Suppose 5*k - 6 = -1. Which is bigger: k or r?
k
Suppose -2*w = 3*y - 20, y - 63 = -5*w - 0*y. Let c(m) = 2*m**2 + m - 1. Let b be c(1). Suppose -b*f - 5*h = 4, w = f - h - 4*h. Which is smaller: f or 2?
2
Let v = -42.4 + 36. Let g = v + 0.9. Let c = -5 - g. Is 0 bigger than c?
False
Let x be ((-13)/91)/((-11)/2). Which is smaller: x or 0?
0
Let h(q) = -2*q - 4. Let i be h(-3). Is i greater than or equal to 1?
True
Suppose -4*j - 26 - 17 = d, -3*d - 41 = 4*j. Let i = -116 + 106. Which is smaller: i or j?
j
Suppose 0 = -r + 1 + 4. Suppose -5*d + 2*p + 3*p = 5, 0 = -3*d - 3*p + 27. Do r and d have the same value?
False
Let c = 0.1 - 0.1. Let l = 24.1 + -24. Is l at least c?
True
Let b = 76 - 72.4. Which is smaller: 2 or b?
2
Let o(g) = g**3 - 7*g**2 - 4*g - 3. Let n be o(8). Let b = n - 23. Which is smaller: b or 7?
b
Let o = -4.2 - 2.8. Which is greater: o or 1/3?
1/3
Suppose -3*i + 5*w + 3 = 0, 2 = 2*i - 0*i + w. Let v be (-6)/4*4/3. Let t be ((-9)/(-12))/(v/(-8)). Is t <= i?
False
Let d be (-4)/30 - (-130)/(-150). Let o = 1/2 + -39/70. Do o and d have the same value?
False
Suppose -13*t = -7*t. Suppose 1 = -3*f + 4. Is t <= f?
True
Let o = 8982/47 + -6410939/33558. Let f = o - -1/34. Which is greater: f or 0?
f
Let q = 1.17 + -1.97. Let i = -0.3 - -0.2. Which is smaller: q or i?
q
Let f = 5.6 + -6. Let x = -27 - -26.9. Which is greater: x or f?
x
Let p be (-14)/5 + (-3)/15. Let l be ((-16)/6 - -2)*6. Which is greater: p or l?
p
Let c = 13 - 13. Let o = c - 0.1. Is o > -8/5?
True
Suppose -2*d + 4*d - 2 = 0, -5*f = d + 34. Let t = f + 10. Suppose t*l = -0*l - 3. Is l greater than -3?
True
Let p be (-86)/630 - 16/(-72). Which is bigger: 0 or p?
p
Suppose -142 = 3*u + d, -170 = 3*u + 3*d - 32. Is -1/3 equal to u?
False
Let i be -2*(-5)/8*-4. Let u be (-3)/(3*(-2)/8). Let n = u + i. Is n at most -2/7?
True
Let s = 0.6 + -0.1. Is 1/2 less than or equal to s?
True
Let u = 5 + -13. Let s(y) = -2*y - 10. Let n be s(u). Let c = n - 6. Which is bigger: c or -1/3?
c
Let f(c) = c**3 + 11*c**2 + 11*c + 7. Let k be f(-10). Let l be k/15 - 1/(-5). Is 2/9 less than or equal to l?
False
Suppose -4*y + 14 = -5*p - 0*y, 2*y - 4 = p. Is p < -2?
False
Let r = 4 + -4. Which is smaller: r or 2?
r
Let u = 0.17 + -0.37. Does 2/5 = u?
False
Suppose -v + 2*v - 7 = 0. Which is greater: v or 4?
v
Let f be (-2)/(8/3)*(-18)/63. Which is smaller: 2 or f?
f
Suppose 0 = -3*s - 7 