-3. Let o(u) = -u + 6. Let f be o(6). Suppose f*p = -p. Do p and q have the same value?
False
Let m = -20.07 + 21. Let d = m - -0.07. Do 0.1 and d have the same value?
False
Let u = -0.34 + 1.38. Let m = -0.04 + u. Which is smaller: m or -2/5?
-2/5
Suppose 0 = 3*g - 5*g - 3*p - 14, -g + 15 = -4*p. Let l = g + 1. Let z be l + 5/7 + -1. Is 1 less than z?
False
Let b = 0.2 + -0.1. Let v(u) = -9*u - 2. Let c be v(7). Let p = -125/2 - c. Which is smaller: p or b?
b
Let c be 15/(-60) + (-10)/(-8). Which is greater: 3/2 or c?
3/2
Let n = 2.3 - 0.3. Let q = -16 - -15. Let k = n + q. Which is bigger: k or -1?
k
Suppose 0 = -0*i + 3*i + 18. Let n be (-145)/13 - i/39. Which is smaller: -10 or n?
n
Let l be (-3)/585*10/4. Let r = -59/39 - l. Is -2 smaller than r?
True
Let k be ((-12)/10)/((-6)/(-15)). Let h be -1*k/(-12)*3. Is h not equal to -2?
True
Let x = 89/51 + -24/17. Is x equal to 0.5?
False
Let l = 0.1 - 0.2. Are 1/6 and l non-equal?
True
Let b be (-36)/(-10) + (-6)/10. Suppose 5*d = b*d. Which is bigger: -2 or d?
d
Suppose 5*u + 2*z = 4*z + 30, 0 = -4*u - z + 24. Let h = u - 6. Which is smaller: h or 2/9?
h
Let b(c) = 2*c**3 - 6 - 2*c**3 - c**3 - 1. Let f be b(0). Let k be ((-1)/8)/(f/(-42)). Which is greater: -2 or k?
k
Let n(d) = 4*d - 4. Let x be n(4). Suppose 4*c - 9 = -3*v, x - 27 = -2*c - 5*v. Which is greater: c or 2?
2
Suppose -3*g + 4 + 8 = 0. Suppose l - g*l = -15. Suppose 2*i - i + 4*h = -19, 5*h = l*i - 30. Is 5/4 greater than i?
True
Let x = 2 - 1.8. Which is smaller: x or -2?
-2
Let w = 1909/4 + -480. Which is bigger: -3 or w?
w
Suppose -i + g = 13, 3*g = -5*i - 0*g - 65. Is i greater than -12?
False
Let i = -5 + 2. Let t be (3/6)/(i/36). Let g = -9 - t. Is g at least as big as -3?
True
Let k be (10/2 + -2)/(-1 + 0). Which is smaller: -5 or k?
-5
Suppose d + 28 = -2*d - 5*w, 0 = -3*w - 15. Let i = 121/5 - 24. Is i greater than d?
True
Suppose 4*z = 3*z. Suppose -8 + 2 = -3*o. Suppose -4*m - p + 1 = z, -23 = -o*m - p - 4*p. Is -2 greater than or equal to m?
False
Suppose -4 = 3*z - 1. Suppose 2*r + 4*q + 0*q - 8 = 0, 0 = 5*r + 3*q - 6. Let b be -2 + r + 18/8. Is z at least b?
False
Suppose -3*d + 5 = -8*d. Let z be (0 - -2 - 1)/d. Let a = -26/3 + 53/6. Are a and z equal?
False
Let i = -13 + 13. Let w = -8.7 - -9. Is i less than w?
True
Let l = -36.9 - -37. Let f(c) = c**3 - 3*c**2 + 2*c + 1. Let q be f(2). Is q <= l?
False
Suppose -i - 4*z + 2 = 0, 0*i + 5*z + 3 = -4*i. Is 1/3 > i?
True
Let p = -1 - -4. Let l be 1/2*(3 + p). Let z = 1 + 1. Is z greater than l?
False
Let g = 5 - 1. Suppose -21 + 5 = g*h. Is h at least as big as -3?
False
Let q(a) = -2*a**2 + 8*a - 2. Let u be q(3). Suppose -h = -u*h. Let f(i) = -i + 6. Let d be f(6). Is h >= d?
True
Let j = -0.2 - 1.8. Which is greater: j or -4?
j
Let v(f) = -2*f**3 - 17*f**2 + 9*f + 15. Let n(u) = -u**3 - 8*u**2 + 4*u + 7. Let x(y) = -7*n(y) + 3*v(y). Let p be x(-5). Which is greater: p or -2/19?
p
Let l be (-2)/8 + 4/(176*-1). Which is smaller: l or 0?
l
Let p = 51 - 35. Suppose -s = 4*c - 4*s + p, 4*s = -3*c + 13. Which is smaller: -1/2 or c?
c
Let o = 51 + -81. Let d be 29/o - (-18)/27. Is 0 greater than d?
True
Suppose -5*j + 7 = -3*n, 2*j - 4 = -2*n + j. Is -0.18 less than n?
True
Suppose -7 = -b - 2*w, 3*b + w + 2*w = 6. Is 6 greater than or equal to b?
True
Suppose 2*r + 698 = -3*u - 545, 2 = 2*u. Let j = 26786/43 + r. Let a = -28/215 + j. Which is smaller: a or 0?
a
Suppose 5*v - 54 - 66 = 0. Which is smaller: v or 22?
22
Suppose -15 + 27 = -3*c. Let d = 5 + 11. Suppose 3*x - 7*x = d. Is x at least c?
True
Suppose -3*c = -4*u + 10, -c - 4*c = -4*u + 14. Let x = u - -1. Let a(i) = 2*i - 2. Let f be a(x). Is 3 equal to f?
False
Let s(l) = l**3 - 4*l**2 - 9*l + 27. Let z be s(5). Let n(t) = t**2 + 5*t + 2. Let b be n(-6). Which is greater: z or b?
b
Let k be ((-20)/(-630))/((-6)/(-14)). Which is greater: 1 or k?
1
Let s(w) = w - 5. Let c be s(4). Let i(d) = -d - 3. Let o(m) = m - 6. Let p be o(6). Let y be i(p). Is c equal to y?
False
Let u be (1/1)/((-62)/(-14) - 4). Do -3 and u have the same value?
False
Let s = 0.19 - 0.09. Is 0.2 greater than or equal to s?
True
Suppose -7 = -5*n - 2. Let r = -40/13 - -385/104. Is r not equal to n?
True
Let f = -13/28 - -3/14. Which is smaller: 1 or f?
f
Let c = -0.11 + 0.14. Are -0.1 and c unequal?
True
Let i be (6 - 2) + 0/2. Is i at most 11/3?
False
Let l = -6 + 5.2. Let d = l - 0.2. Let x = d + 1. Which is smaller: 3 or x?
x
Let h = 44 + -44. Let v = -0.2 - -0.2. Is h >= v?
True
Suppose -4*g + 4*m + 63 = -m, 0 = 5*g - 5*m - 85. Let c(a) = a**3 - 9*a**2 - 10*a - 6. Let l be c(10). Let q be ((-4)/6)/(g/l). Is q at most 1?
True
Suppose -3*w = -6*w + 15. Do 7 and w have the same value?
False
Let f(t) = -t**3 - 6*t**2 + 8*t + 4. Let r be f(-7). Suppose -p + 6*p = -10. Is r >= p?
False
Let c(f) = f**2 + 8*f - 5. Let d be c(-9). Let o be ((-2)/d)/((-1)/(-2)). Is -1 <= o?
True
Let x be (-13)/11 + ((-3)/3 - -2). Is x < 1?
True
Suppose 1 = 3*y - 4*q + 27, -25 = -5*q. Let l(t) = t**2 - 9*t + 6. Let o be l(8). Is y bigger than o?
False
Suppose -6*a - 9 = -3*a. Is a greater than or equal to -5/2?
False
Let z be 76/(-90) - 2/(-5). Let s be -2 - (5/18 + -2). Let h = s - z. Are -1 and h equal?
False
Let w(u) = 8*u**2. Let v be w(-1). Suppose 0 = 4*r - v*r + 72. Let i be (3/4)/((-27)/r). Is -1 at most i?
True
Let s be (5 - 1) + 8/(-4). Let h(k) = k - 2. Let v be h(4). Let n be (-8)/10*(-5)/v. Is n > s?
False
Let n(h) = -h**3 + 11*h**2 - 7*h - 5. Let b be n(10). Suppose -b = -6*p + p. Is 3 smaller than p?
True
Let h be 6/(-3)*-1 + 3. Suppose 0 = -2*z - 2*z - 4*p, h*z + 4*p - 1 = 0. Let c = -133/5 + 557/20. Is c less than z?
False
Let t be (-6)/9*3 + 7. Suppose -4*r - 2*m + t = -5, 3*r + 10 = 2*m. Suppose 0 = -3*k - r*k. Which is smaller: k or -2?
-2
Let q = -8 + 6. Let r = 9 + -10. Which is greater: q or r?
r
Let h be (2/30)/((-10)/25). Is 1 > h?
True
Let j = 1.3 - 0.3. Suppose 14 + 0 = -7*g. Which is greater: j or g?
j
Let n be 3*8/(-18)*3. Let s(g) = g**2 - 9*g - 11. Let w be s(10). Does n = w?
False
Let i = 96 + -671/7. Suppose 3*y + 2*h = 5, 4*y - 4*h - 15 = -5*h. Suppose f = -4*r + y, 5*r - 4*f = r. Is r > i?
True
Let c = 3 - 3.3. Let s = 59 + -59. Is c at most as big as s?
True
Let z = -5 - -8. Suppose -3*g = 3 + 3, 2*g = z*x + 2. Is x > -4?
True
Let f be (0 - -3) + -1 - 12 - -2. Suppose j - u - 2*u = -16, 2*u = -3*j - 26. Is f < j?
False
Let h(c) = -c**2 - 8*c - 9. Suppose 3*y = -7 - 11. Let b be h(y). Which is smaller: b or 4?
b
Let t(w) = -w**2 + 12*w - 8. Let v be t(8). Is 26 greater than v?
True
Let b(x) = -x**2 - 10*x + 13. Let o be b(-11). Suppose 0 = -o*t + 5*g - 1, -4*t + 2*g + 30 = -7*t. Let p be 15/(-12) + (-2)/t. Which is smaller: -3/10 or p?
p
Let g(q) = -q**3 - 16*q**2 - 26*q + 4. Let d be g(-15). Is d equal to 168?
False
Let a(g) = 2*g**2 - 19*g - 10. Let i be a(10). Which is smaller: i or 2?
i
Let k(n) = -n**2 + n - 2. Let a be k(0). Are -2 and a non-equal?
False
Let h(z) = -z**3 + 3*z**2. Let n(a) = 2*a - 1. Let c be n(-2). Let j(v) = -v**2 - 6*v - 2. Let o be j(c). Let l be h(o). Which is bigger: l or -1/6?
l
Suppose 3*r - 2*r + 3*v = 8, v + 4 = r. Suppose 2*j + 13 = 5*u - 13, 5*u + r*j = 5. Let q be (7/(-10))/(-7)*u. Which is greater: q or 1?
1
Suppose 0 = 4*f + 5*n + 3 - 22, 3 = n. Is f less than or equal to 0?
False
Let u = 7.97 + 0.03. Let o = u - 9. Which is greater: o or 0.2?
0.2
Let d = -5 - -4. Let c be 2/(-4) + 2/12. Which is smaller: c or d?
d
Let r(x) = x**2 + 5*x + 4. Let b be r(-3). Suppose -5*j + 3*o = 35, 0 = 3*j - 3*o + 5*o + 2. Let n = 3 + j. Is n at least b?
True
Suppose -4*o + 23 = -3*m, 0 = -2*m - 2. Suppose 3*a - 3 = 4*a + o*y, -3*a - 5*y = 9. Let p be (-4)/18*(2 + a). Which is bigger: p or -0.1?
p
Let g = 3 + -2. Let y(j) = 0 + 2 - j**3 - 4 + 5*j + 4*j**2. Let i be y(5). Which is bigger: i or g?
g
Suppose -2*f + 1 + 3 = 0. Suppose 0 = -f*a + 6 + 2. Suppose 0*r + 14 = 5*v + 2*r, -a*v + 2*r + 4 = 0. Which is smaller: v or 1?
1
Let i = -0.07 + 0.03. Which is smaller: -0.2 or i?
-0.2
Let s be 3 - (-6 - 0/3). Which is smaller: -1/4 or s?
-1/4
Let r be 24*(-2)/(0 - 4). Which is bigger: r or 10?
r
Let y = -1 - -1. Is y at least -2/111?
True
Let h be -4 + 0 + (-30)/(-7). Is h bigger than -1/4?
True
Let n = 0.04 -