v?
v
Let y = 267 - 5608/21. Is 0 at most as big as y?
False
Let l be 24/(-12) - (-80)/(-2). Which is smaller: l or -41?
l
Suppose -6*a - 7 = 5. Which is smaller: a or -6?
-6
Let i = 88 - 86. Let y be 3/(-5) - -2 - -1. Do i and y have the same value?
False
Let q = 15 - 12. Let g = q - 3. Which is greater: -0.6 or g?
g
Let v = -0.082 + 0.008. Is 1/2 less than v?
False
Let r = -2 + 5. Suppose -5*k = r*o - 8, -5*k = 2*o - 3*o - 4. Which is smaller: o or 3?
o
Let l be (1*-1)/((-12)/(-2)). Let w = -0.92 + 1.32. Which is greater: l or w?
w
Let w be ((1 - 0)*-30)/(-1). Is 29 <= w?
True
Let m be (3/(-8))/(15/10). Let i = -22.9 + 21. Let s = i - -2. Is m bigger than s?
False
Let q be ((-39)/(-6))/(14/8). Which is smaller: q or 3?
3
Suppose 10 = -4*u + 34. Let t(x) = -u - 2 - 1 - x. Let p be t(-6). Is p >= -2?
False
Let i = 1.2 - 10.2. Let p = i + 12. Which is bigger: 2/5 or p?
p
Let t = -38 - -22. Is -15 at least t?
True
Let b = -0.3 - -0.4. Let s = -1.9 - -2. Let f = s - b. Which is bigger: f or 2?
2
Let f = -380/2211 - 2/201. Let t be 3*1*(-3)/9. Which is greater: f or t?
f
Suppose 24 = 3*r - 45. Let x = r - 8. Which is greater: x or 16?
16
Suppose 0*n - 8 = -n + f, -2*n + 26 = -4*f. Suppose i = -n*i + 16. Suppose -2*d + s = 3, -i*d - 7 = -s - 2. Are -1 and d equal?
True
Let p = 40/3 + -13. Let c = -149 - -152. Which is bigger: p or c?
c
Let w = 14 - 39. Is w smaller than -25?
False
Let h = 19 + -27. Let n = 3 - h. Which is greater: 1 or n?
n
Let d = 0.08 - -0.32. Let r = -0.44 + d. Let o = 1.04 + r. Which is greater: o or 3?
3
Suppose 3*v + 3 = 5*n, -v + 5*n + 3 = v. Let r = v - -8. Which is bigger: 0 or r?
r
Let l be (-2)/(-8) - (3 - (-21)/(-6)). Which is bigger: l or 0?
l
Suppose 4*q - 9*q = 0. Is 1/11 greater than q?
True
Suppose -6*o + 3*o = 33. Is o != -12?
True
Suppose 0 = -t - 0*t - 3*k - 71, 0 = 5*t - 2*k + 355. Let c = t - -638/9. Do 0 and c have different values?
True
Suppose a - 14 + 171 = -r, -5*r = -3*a - 455. Which is smaller: a or -154?
a
Let f be (-8)/6*6/(-4). Let l be (-2)/(-4) - 3/f. Let h be (1 - (-4)/(-6))*-3. Are l and h nonequal?
False
Let v = 35 + -15. Which is greater: v or 18?
v
Let g = 18 + -25. Let x = 5.4 + g. Let q = x - -0.6. Which is smaller: 0 or q?
q
Let r = 0.43 + -0.5. Is r >= -0.4?
True
Suppose 0 = -5*f - t - 5, -7*f = -5*f + 3*t + 2. Let d be (-2 - f) + 2 + -2. Which is smaller: d or -2?
-2
Suppose 4*o = o + 273. Let d be (-14)/o - (-14)/(-78). Which is bigger: -1 or d?
d
Suppose -3*c + 2*k - 7 = 0, 0*k = -5*c - 3*k - 37. Let r = -4 - c. Is 2 <= r?
False
Let t(h) = -h**2 + 14*h - 17. Let l be t(7). Does l = 30?
False
Let o(m) = -m**2. Let s be o(1). Let h(v) = v**3 - 7*v**2 + 6*v + 3. Let i be h(6). Let f be 3/i - (s - 0). Is f != 1?
True
Let v(p) = -p**3 + 9*p**2 - 8*p + 11. Let m be v(8). Suppose -4*w - m = s, 2*s + 25 = 7*s. Is -4 > w?
False
Suppose 36 = -y + 5*c + 14, 3*y - 4*c = -11. Suppose 3*r + 2*r + 4*x - 15 = 0, -x + y = 2*r. Are -1 and r unequal?
False
Let p be 0 + 2/(-56) + 2/(-8). Which is smaller: -14 or p?
-14
Suppose 4*q = -5*l + 72, 2*q = 4*l - 35 - 33. Is l > 15?
True
Suppose 5*b - 51 - 155 = 3*y, 4*y + 203 = 5*b. Are b and 42 equal?
False
Let f(m) = m**3 + 7*m**2 + 4*m - 6. Let v be f(-6). Let z be (-3)/3 + 4/v. Let g be 49/28 + -1 + -1. Are g and z equal?
False
Let k be (-5)/((-5)/2) + -3. Let m = -2468 - -101182/41. Let o = m - -71/205. Are o and k nonequal?
True
Let o = -0.94 - 0.06. Let r be 10/(-8) - 1/(-4). Is r less than o?
False
Suppose 3*o - 12 = k + k, 5*k - 4*o = -16. Let f be (-2 - 1)*-1 - 1. Suppose -2*u + 4*u = x, 0 = -2*x + f*u. Is x >= k?
True
Let u = -1.28 + 1.18. Is -18 less than or equal to u?
True
Let j(p) = -p**3 + 4*p**2 + p - 3. Let s be j(4). Let w(n) = -3*n. Let t be w(s). Are t and 0 non-equal?
True
Suppose 3 + 1 = -4*f. Are f and -1/107 equal?
False
Let s = 1.5 - 1.2. Is s greater than -3/5?
True
Suppose -3 = -3*z + 3. Let u = -6393/8 - -801. Let p = 107/40 - u. Which is bigger: p or z?
z
Let p = 1 + -1. Suppose -7 = w + 4*a + 8, 5*w + 2*a + 3 = p. Is w < -2/25?
False
Let q = 83 - 84. Does -1/9 = q?
False
Let y(z) = -3*z**3 + 2*z**2 - 3*z. Let p be y(2). Let u = -18 - p. Do u and 1 have the same value?
False
Let h be (-1)/(-2) - (-4)/(-8). Suppose -3*j + 14 = -s, -4*j + h = 2*s - 12. Let a(f) = -2*f - 8. Let k be a(-6). Is k > j?
False
Let r(k) = -k**3 + 9*k**2 + 4. Suppose 2*n = -6, 45 = 4*m + n + 12. Let q be r(m). Let i(v) = v**2 - 5*v + 4. Let f be i(q). Is -3/4 less than or equal to f?
True
Let c be 35/(-70) - (2/(-4))/1. Suppose 0*i + 4*u + 19 = -5*i, 3*u + 6 = -i. Let a = -3 - i. Does c = a?
True
Suppose 0 = -6*f + 10*f. Let p = 3 + -4. Let m be (p/(-6))/((-1)/(-4)). Which is bigger: m or f?
m
Suppose -5 = 2*r - 5*f - 2, 0 = 5*f - 5. Let d = r + 0. Which is smaller: -3 or d?
-3
Let q = 0.03 + 0. Let h = q + 0.17. Which is smaller: -0.1 or h?
-0.1
Let i = -25 - -22.8. Let n = i + 2. Let y = -8 - -8.1. Which is bigger: y or n?
y
Let d = -216 + 215.2. Which is greater: d or -2?
d
Let d be 9 + (1 - (1 - -4)). Suppose -4 = d*n - o, 9*n + 16 = 4*n + 4*o. Which is greater: 3 or n?
3
Let v = -19 - -13. Let i = v - -8. Let g be i - (46/42 + 1). Is g less than -1?
False
Let p be ((-24)/(-272))/((-6)/(-8)). Which is smaller: 0 or p?
0
Let r = 92/3 - 30. Suppose -4 = 4*j + 4*m, -j = -5*j - 5*m - 5. Let o be (3 - (-2)/(-2)) + j. Is o >= r?
True
Suppose -h + 2*x - 11 = 4*x, -3*h - 13 = x. Let k(s) = 3*s + 7. Let r be k(-3). Which is greater: r or h?
r
Let w be 114/27 + -4 + (-14)/(-18). Let d be 1/(-3) + (-38)/(-78). Are d and w unequal?
True
Let n(u) = -7*u + 1. Let v(d) = -1 + 6*d + 1. Let i(j) = 5*n(j) + 6*v(j). Let k be i(-5). Are k and -1 equal?
False
Let z be 17/((3/(-2))/(-3)). Let m = z + -22. Which is smaller: m or 11?
11
Let o(i) = 12*i**3 + 1. Let k be o(-1). Is k < -9?
True
Suppose -2*n + 28 = -38. Let x be 2 - 4 - n/(-12). Let m = -3 - -3. Is x greater than or equal to m?
True
Suppose -12 = f + 9. Are -22 and f equal?
False
Let n = 1 + -14. Let g = -12 - n. Which is smaller: 1/8 or g?
1/8
Let g be 1/5 + (-21)/(-45). Suppose -3*n + 0 = -3. Which is greater: n or g?
n
Suppose 0 = 5*j - 3 - 2. Let m = 15 + -18. Let w be m/(-3)*0*j. Is w < -1?
False
Suppose 8 = -3*p - p. Let l be ((-2)/(-1) + p)/(-1). Suppose 2*k + n = 3, 3*n + l*n - 9 = 0. Is 0 less than k?
False
Let a be (-140)/44 - (-4)/22. Let f(h) = h**2 - 4*h**2 + 2*h**2 + 4 - h. Let i be f(a). Is i less than or equal to 1?
True
Suppose -2 = -17*f + 15*f. Is -1/94 less than f?
True
Let c be (-3)/(-1) - 35/7. Let g be 1 + c/(-3) + -1. Which is smaller: 0 or g?
0
Suppose n = 6*n. Is n at most 10/13?
True
Suppose 4*c + 3 = c. Let d(i) = -3*i - 1. Let y be d(7). Let f = y + 21. Is f <= c?
True
Let c be (1043/(-105) + 9)*(-18)/(-4). Which is smaller: -5 or c?
-5
Suppose 0 = -m - 3*m - 8. Let c = -1 - -4. Suppose c*l + 2*l + 10 = 0. Does l = m?
True
Let c(r) = -r**2 + 5*r - 1. Let o be c(4). Suppose o*d + 2 = -5*u, 4*d + 15 + 11 = 5*u. Let v be 6/8*-3 + u. Is 2/7 less than or equal to v?
False
Let r be 2*(-9)/(-24)*8. Suppose 0 = r*z - z. Suppose -5*q + 5*t = -3 + 8, -q = t + 3. Which is smaller: q or z?
q
Let r = 0.3 - 0.4. Let i = r - -0.16. Which is greater: i or -0.1?
i
Let n = 0.01 - -0.39. Let t = -0.1 + -0.4. Let r = t + n. Which is greater: r or 1?
1
Suppose -2*r + 9*h - 4*h = -23, r = h + 4. Let i be ((-1)/(-1))/((-8)/(-16)). Let g be i + 1/(44/(-80)). Is r > g?
False
Suppose m - 3*m - j = 0, -3*m = 3*j - 6. Let t be 0 - m - 14/6. Suppose -4*w = -9*w. Is w bigger than t?
True
Suppose -f - 4 = -5*f. Let s = -8 - -9. Is s > f?
False
Let p = 0 - 0. Let i = 13 + -8. Suppose 4*u - i*t = 3*u + 21, -4*u - t = 0. Is u less than p?
False
Let j be 20/(-8)*6/(-5). Let a(v) = 2*v + j*v - v. Let l be a(1). Is l at most 3?
False
Suppose -14*o = -6*o + 368. Which is bigger: -45 or o?
-45
Let h = 54 + -70. Which is greater: h or -17?
h
Let x(z) = z**2 - 5*z - 5. Let u be x(6). Suppose -3*n + 21 = 4*w - 2*n, -n = -5. Suppose 0 = -f + 2*g - u, -4*f - w = -0*f + 3*g. Which is greater: f or 1?
1
Suppose 0 = 3*k - 8*k + 25. Let y(l) = -4*l + 8 + k*l - 2. Let f be y(-10). Is f not equal to -3?
True
Suppose 0*a + 2*a = 12. Which is bigger: a or 0.1?
a
Let h(r) = r**3 + 2*r**2 - 2*r - 3. Let m be h(-2). Let v be (-27)/(-15) +