)*-1. Suppose v = -3*p + p. Which is smaller: p or 12/11?
p
Suppose -16 = -21*v + 17*v. Is v greater than 10/3?
True
Let h = -1 - -0.5. Let w = h + -1.5. Let r be 3/(-5)*(-70)/147. Is r not equal to w?
True
Suppose 4*a + 7 - 19 = 0. Suppose -2*r + 2*x = -3*r + 4, 4*r - x - 7 = 0. Suppose a*u - r*u = 0. Is u at most -2/13?
False
Let b = 40 - 28. Let k = -13 + b. Which is bigger: -1/11 or k?
-1/11
Let k(x) = x**3 + 3*x**2 + 2*x - 2. Let i = -2 - 0. Let n be k(i). Let t = 3 + n. Which is bigger: 2 or t?
2
Let p be 1 + ((-48)/(-2))/(-4). Is p less than -16/3?
False
Suppose -14*j = -9*j. Which is greater: -2 or j?
j
Let v(k) be the third derivative of k**4/8 - k**3/3 - k**2. Let b be v(4). Which is greater: b or 8?
b
Let u = 0.2 - 0.4. Let p = u - -0.6. Let f = p - 0.4. Which is bigger: -1 or f?
f
Let j be (-31)/33 - 2/(-3). Let g be -7 - (-1 - (-35)/(-7)). Which is bigger: j or g?
j
Suppose -5*z + 25 = 3*i, -3 = 5*z - 28. Suppose -3*l + 15 = -i*l. Are 4 and l unequal?
True
Let q = -482/205 + -2/41. Let o = 1 - 2. Are o and q unequal?
True
Let k be ((-20)/(-12))/((-1)/(-3)). Suppose -3*c + 1 = -k. Let b be 4 + (0 - 0) + c. Which is smaller: b or 7?
b
Suppose -m + 5*s = 0, m = -3*m + 5*s. Suppose -z - z = m. Let h be (3/6 + -1)*0. Is z at most h?
True
Let z be 68/(-154) + (-22)/77. Which is greater: z or -2?
z
Let w = -53 + 54. Which is smaller: -1 or w?
-1
Let r = 25.12 - 25. Let c = 0.32 - r. Which is smaller: c or 4?
c
Let n be 3*(3/(-9) + 0). Let o = n + 1. Which is bigger: 1 or o?
1
Let j be 1/(-10)*1*-24. Which is greater: 1 or j?
j
Let a = 12 + -2. Let v = a + -10. Which is greater: v or 2/41?
2/41
Suppose 0 = 5*x - 4*t - 14 - 12, 2*x + 3*t = -8. Suppose -3*c + 2*q = x*c + 20, 3*c + 5*q = -12. Which is greater: -6 or c?
c
Suppose -3*u - 20 = 2*u. Let h(k) = -k**2 + 3*k + 4. Let y be h(5). Let g be (y/u + -2)/(-2). Which is smaller: -0.1 or g?
-0.1
Let s = -12 + 12. Suppose a = 5*a - 44. Is a > s?
True
Let a = 0.2 + 0.8. Let j = -10 - -10.6. Let g = 0.9 - j. Which is bigger: g or a?
a
Let v = 18 - 21. Do 1 and v have different values?
True
Suppose -5*w = -4*s - 1 - 0, -5*w = 2*s - 7. Which is bigger: -2/23 or w?
w
Let f = 14 + -14. Is 4/37 >= f?
True
Let c be -3 - ((1 - 1) + 18). Let s be 8/28 - (-132)/c. Let j be (-1 - 0) + (s - -7). Is -5/7 less than j?
True
Let d be ((-4)/10)/(4/(-20)). Suppose o + d*o = 18. Is 5 bigger than o?
False
Let p(o) = o - 3. Let h(n) = 12*n - 39. Let b(k) = -2*h(k) + 27*p(k). Suppose -5 - 5 = -5*z. Let c be b(z). Is c > 3/2?
True
Let d be -1 - 1 - 35/(-14). Which is smaller: d or 1?
d
Suppose 0 = -4*a + 60 - 24. Which is bigger: a or 10?
10
Let p = -603/4 + 150. Let n = -2 + 2. Is n < p?
False
Suppose -4*b = n - 38, 2*b - 5*b + 19 = -4*n. Is 8 greater than or equal to b?
False
Let m be 4/16 - 34/72. Is 25/3 at least as big as m?
True
Suppose -2*n = -w - w - 6, -3*n = -2*w - 5. Which is smaller: n or 2/73?
n
Let y = 9 - 11. Is -1/2 less than y?
False
Suppose 0 = -4*f + 10 - 6. Do 1 and f have the same value?
True
Let b = -13.84 + 14. Let u = -1.84 - b. Is 2/7 < u?
False
Let r be 8 + ((-2)/(-1))/2. Let l be 2 + (-15)/r + 0. Which is smaller: -0.4 or l?
-0.4
Let k = -199 + 2602/13. Which is bigger: 1 or k?
k
Let m(u) = u - 1. Let b be m(-7). Let y(a) = -a**3 - 9*a**2 - 7*a + 9. Let w be y(b). Let f be ((-1)/(-2))/((-5)/(-2)). Is w less than f?
False
Let l = -19 - -29. Let r = -17 + 26. Which is smaller: l or r?
r
Let j be 3/8*(-5)/3. Are j and -2 nonequal?
True
Let v = -12 - -10.7. Let u = v - 4.7. Let j = 9 + u. Do 2/3 and j have the same value?
False
Let i(b) = 4*b**2 - 3*b**2 + 1 - 2*b + 4*b + 3*b. Let h be i(-5). Suppose -2*u = -u - j - h, -3*j - 11 = u. Is u at most as big as -1?
True
Let m be (12/(-27))/(4/(-3)). Let v = 4.6 - -0.4. Which is greater: v or m?
v
Let o(x) = -5*x**2 + 14*x + 4. Let v be o(3). Which is smaller: v or -2/19?
-2/19
Let z = 24 + -19. Suppose 16 = -k - 3*t, -t + z*t + 20 = 0. Which is bigger: 2/35 or k?
2/35
Let h(u) = -u**3 - 6*u**2 + 9*u + 8. Let m be h(-7). Which is bigger: -5 or m?
-5
Let a be (-2)/20*(0 - 2). Suppose 0 = 2*x - 2 - 4. Suppose -1 + x = -2*p. Which is bigger: a or p?
a
Let b(m) = -2*m**2 - 2. Let p be b(2). Which is smaller: p or -9?
p
Let o(b) = -b**2 - 5*b + 2. Let n be o(-4). Let w = n - 1. Suppose -5*p = 3*t - 16, 3*t = 8*t + 15. Is p > w?
False
Suppose -11 = -4*h - 5*o + 54, -5*o + 25 = 2*h. Let x be 164/(-10) - (-8)/h. Let m be ((-6)/4)/(4/x). Does m = 5?
False
Let v = 10 + -12.5. Let s = v - -4.9. Let o = -0.4 + s. Is o greater than 1?
True
Let w = 13 - 4. Let v be (80/w)/(-5) - -2. Which is bigger: v or -1?
v
Let w = 5 + -3. Suppose w*q - 3 = -p, -q - 3*p = -5*p + 11. Let b = -166/3 + 56. Is b smaller than q?
False
Let s = 7 - 10. Let v = -8 - -12. Suppose -v*t + 2 = -5*t. Which is smaller: t or s?
s
Let v(p) = p - 1. Let i be v(2). Is -2/7 at most i?
True
Suppose 12 = 3*y + 4*k, -5*k + 4 + 11 = -5*y. Suppose 0 = 5*m + 4*n - 48, 3*m + y*m + 2*n = 28. Suppose 3 = -2*p - 1, q - 2*p = m. Is 4 less than q?
False
Suppose 0*b - 28 = -4*l + 4*b, 5*b = l - 27. Suppose -t + 2*a = -11, 4*t - a = -6*a - 21. Which is greater: t or l?
l
Suppose -117 = -3*c - 5*b - 42, 0 = -5*c + 3*b + 159. Is 31 at most c?
False
Let v = -3826/43 + 89. Which is greater: v or 0?
v
Let i(v) = v**2 + v + 1. Let o be i(0). Let s = -6 + 56/9. Which is bigger: s or o?
o
Suppose 6*w - 1 = 2*w - 5*m, 5 = -w + 4*m. Suppose -15 = -l - 2*l. Suppose 2*h + 11 = -3*b, -h - l*b + 1 - 17 = 0. Is h less than w?
False
Let w(d) = -9*d - 1. Let c be w(3). Let a be 0/2 + (-3858)/c. Let o = a + -138. Are o and -1 unequal?
True
Suppose -4*k + 2*m = -5*k - 6, -4*k + 9 = -3*m. Which is smaller: 1/11 or k?
k
Suppose -3*n - 1 = 2. Is n smaller than -1/4?
True
Suppose -3*g = -z - 9, -3*z - g + 3 = -10. Which is greater: 16/7 or z?
z
Let t be ((-2)/(-12))/((-18)/27). Which is bigger: -0.1 or t?
-0.1
Let s(w) = -3*w + 4. Let l be s(3). Let t(m) = -m**3 + 5*m**2 - 1. Let y(b) = -b**3 - 1. Let q(o) = -t(o) + 2*y(o). Let z be q(l). Is z <= -1/4?
True
Let c = 357/116 + -24/29. Let z(o) = o**2 - 2*o - 2. Let b be z(3). Which is smaller: b or c?
b
Let q = -4 - -8. Let w be (1/14)/(2/q). Which is smaller: w or 0?
0
Suppose 0 = 4*k + k + 10. Let c be (k/(-4))/(21/18). Is c less than 0?
False
Suppose 5*n = -v - 4, -3*v = 3*n - 4*v - 4. Are n and 7/5 equal?
False
Let g = 7 + -10. Let n = 2 + g. Which is greater: -2 or n?
n
Suppose -5*m - 25 = 2*l, 2*l - 5*l - 5 = m. Let g = 0 + l. Is -1/3 smaller than g?
True
Let c(j) = -2*j - 18. Let v be (3 - 2)*-14 + 1. Let i be c(v). Suppose u = 3*b - 6 - 13, -4*b + 3*u = -17. Is b equal to i?
True
Let c = -0.4 + 0.57. Let g = 0.53 + c. Is g != -0.1?
True
Let a = 209 + -211. Which is greater: -0.3 or a?
-0.3
Let h = -131 - -128. Let w be (-4)/(-6) - (-4)/(-6). Which is smaller: w or h?
h
Suppose 0 = -0*b + 2*b - 6. Which is greater: b or 1?
b
Let h = 1208 - 1144.9. Let f = 60 - h. Let t = f + 3. Which is bigger: -3 or t?
t
Let y = -10.5 - -18.4. Let s = y - 8. Let d = 0.7 - -0.3. Which is bigger: s or d?
d
Let t be 1/((-195)/95 - -2). Which is bigger: -18 or t?
-18
Let h be 3/(-3) - (-2 - 63). Is 65 at most as big as h?
False
Suppose v = -p + 5, -4*v - p + 8 = -0*p. Let m(d) = d**2 + 6*d + 4. Let x be m(-6). Let h = 4 - x. Do h and v have different values?
True
Let x = 2 - -4. Is 2 less than x?
True
Let k = -161/902 + 5/22. Which is smaller: k or 0?
0
Let b(u) = -u**3 + 3*u**2 + 2*u - 2. Let d be b(3). Suppose -3*g = k + 20, -2*k + 40 = -5*k - d*g. Let y be ((-4)/72)/(2/k). Is -5 bigger than y?
False
Suppose -10 - 3 = 13*p. Are p and -1/13 unequal?
True
Let c(i) = i - 8. Let t be c(-4). Let l be ((-1)/(-4))/(3/t). Let m be 2/2*(-2)/6. Which is smaller: m or l?
l
Let k = 0.9 + -0.95. Let a = -0.45 - k. Let z = 14/15 - 8/5. Which is smaller: z or a?
z
Suppose -3*i + 15 = 2*f, 5 = -0*f - 5*f + i. Let a be -1*1/(-1)*f. Is a > 2/25?
False
Suppose 4*n + 30 = n. Let z be 26/n + 2/(-5). Let w be ((-1)/z)/((-5)/(-45)). Is w at least 4?
False
Let k(w) = 1. Let a(o) = o - 7. Let y(d) = -a(d) + 2*k(d). Let m be y(5). Suppose -3*p - 2*p + 25 = 0, 18 = z + m*p. Is z greater than -3?
True
Let z = -13.3 - -13. Let o = 2 + -2.1. Let h = z - o. Which is bigger: h or 1/2?
1/2
Let g be 125/(-22)*1/(-90). Let