*v - 5*v + 8 = u. Suppose -18 = p + 3*q + q, -p - q = v. Are -1 and p non-equal?
True
Let j = -0.89 - -0.99. Which is bigger: 48 or j?
48
Let s = 12 - 30. Let g be (2/(-10))/((-6)/s). Is g at least as big as 0?
False
Let l(p) = p**2 + 4. Let n be l(0). Suppose 0 = 5*w - 15, -8 = i - n*w + 2. Suppose -i*c = -3*c + 2. Which is bigger: 4/3 or c?
c
Let v(k) = -3*k - 1. Let t be v(-1). Suppose -4*w - t*i = -0*w - 22, -4*w = 3*i - 27. Suppose 0 = -2*x - w + 1. Which is bigger: -2/5 or x?
-2/5
Let i = 100.04 + -103. Let u = 0.04 - i. Are -2 and u unequal?
True
Suppose -2*u + 4*u = 4. Let w = 1 - u. Let y = 0.2 + -0.1. Is y less than or equal to w?
False
Let z = 27/235 + 4/47. Let h = z - 27/85. Which is greater: 0 or h?
0
Let b = -53 + 53. Are b and -12/23 nonequal?
True
Suppose -3*q = z - 20, 2*q + 4 = z + q. Let i = 142 - 134. Is i not equal to z?
False
Let j = 325 - 12676/39. Is j greater than -1?
True
Let r be (-4)/(-14) - 176/420. Let o = 2 + -1. Let p be o/(-1) - 0 - -2. Which is bigger: p or r?
p
Suppose 0 = -4*m + 8. Suppose -4*i + 6 = -m. Suppose 3*l - i*l + 5*q - 22 = 0, 0 = -2*l - 4*q + 14. Which is greater: l or -4?
l
Let h = -67 + 79. Is h at most -1?
False
Let b = 1 + 1.4. Let r = b + -0.4. Suppose -22*x = -4*x. Which is bigger: x or r?
r
Suppose r + 5 = q - 0, -2*r + 4 = 5*q. Suppose -q*i + 2 = -4*i. Does 1 = i?
False
Let m = 4/11 - 5/44. Let n(q) = q**3 - 11*q**2 + 31*q - 11. Let s be n(6). Is s bigger than m?
False
Suppose 0 = -9*p + 4*p - 5*q + 25, -2*p + q = 2. Suppose -o - 2 = -4. Does p = o?
False
Let d = 42 + -42.2. Is d equal to 7?
False
Let k be -6 - -3 - (-29)/9. Are k and 0.2 equal?
False
Let o = 1 - 1. Suppose 0 = -5*p + 4*n + 40, 4*p - 2*n - 45 = -7. Let a be (3/6)/(p/(-8)). Which is greater: a or o?
o
Let y(c) = -c**2 + 12*c - 7. Let b be y(11). Let o be (b/(-6))/(-7 - -5). Which is smaller: o or -4?
-4
Let z be ((0 + -1)*1)/(-1). Which is smaller: 1/28 or z?
1/28
Let p be 3/(-6) + 2/4. Suppose -19 = -5*u + 1. Let t = u + -4. Is p smaller than t?
False
Let x(r) = -3*r - 83. Let f be x(-26). Is -1 not equal to f?
True
Let j = -40 - -29. Is -9 equal to j?
False
Let i(b) = b**3 - 2*b**2 - 2*b + 3. Let s be i(2). Let l = 1 - 6. Let r be 24/(-14)*l/20. Which is greater: r or s?
r
Let l = -0.01 + -0.33. Let a = 0.06 - l. Which is smaller: a or 0?
0
Let p be (-8)/(-36) - (-29)/(-9). Let v(w) = w + 6. Let t be v(p). Which is smaller: t or 1?
1
Let h = 16 + -11. Suppose -h*x + 0*x + 15 = 0. Suppose -5*o = 3*z - 9, 4*z - 6 - 6 = -o. Is x less than z?
False
Suppose -4*w - 45 = w. Let g be (-12)/w - (-8)/(-4). Is g less than -2?
False
Let k(q) = -q**2 - q + 1. Let s be k(2). Suppose -5*g = 109 - 9. Let r be s/g + 1/(-36). Is 2/9 >= r?
True
Let b = -41/57 + 1/19. Let z(g) = -3 + g**2 - 5*g - 2*g**2 - 1. Let t be z(-4). Which is smaller: t or b?
b
Let p be (-2)/(-282)*(9 - 3). Which is greater: -1 or p?
p
Let z(p) = 2*p + 10. Let d be z(-5). Let r = -601/65 - -47/5. Is d at least as big as r?
False
Let h = 1 - 0.4. Let c = h - 1. Let f = 0.2 + c. Are 0.1 and f equal?
False
Suppose 3*k = -o + 3, 2*o - k = 2 + 4. Suppose 4*m - 3*z = m + 42, m - o*z - 16 = 0. Which is greater: -2 or m?
m
Let y = 73 - 72. Is 4/27 < y?
True
Let n = 0.13 + -0.12. Let p = 40.69 + -41. Let v = p + n. Is 0.1 less than v?
False
Let q(g) = 6*g**3 - g**2 - g + 1. Let o be q(1). Suppose 0*w + 5*j = -w - 24, o = -j. Which is smaller: 4/5 or w?
4/5
Let m(k) = 2*k**2 - 6*k + 3. Let v be m(2). Which is smaller: v or -3?
-3
Suppose -3*s - 16 = j, -j = 3*j - 4*s + 16. Let o = 1 + j. Let c = -9 - o. Which is bigger: -4 or c?
c
Let h = -0.8 + 0. Let i = h - -0.7. Is -0.1 > i?
False
Let s be (9/3 - 3)/(-2). Suppose 5*d - 3*g - 22 = s, -4*g - g = -5. Suppose -d*v - 10 = -5. Is v at least as big as -1?
True
Let s = 0.18 - -1.82. Which is smaller: -2/9 or s?
-2/9
Suppose o + 3*p - 6 = 0, 0*p = 4*o - 4*p + 8. Let k be 3/(-6) - (-28)/88. Is k at least o?
False
Suppose -3*i = -3*f + 6, 5*i + 5*f - 31 = 9. Suppose -4 - 5 = i*s. Which is greater: -5 or s?
s
Let j = -4 - 0. Let p = 4 + j. Suppose 4*d - 5*c = -5, -4*c - c + 5 = p. Is d less than -3/4?
False
Suppose -2*b - 2*b = 32. Is -6 <= b?
False
Let u be 5*-3*(-4)/(-12). Which is smaller: -6 or u?
-6
Let f = -11192/345 - 26/115. Let z = f - -32. Which is smaller: -2 or z?
-2
Let z(x) = x - 7*x**2 + 2 + 0*x**2 + 6 - 1 - x**3. Let j be z(-7). Is j greater than 3?
False
Let c(a) = -5*a**2. Let w be c(-2). Let s be w/3*18/(-15). Let h be s/6*6/(-4). Is -1 at most h?
False
Suppose 2*y - y = 0. Let r be (-4)/35 - (-2)/5. Is r at least y?
True
Let l = -6 - -7. Let s = 3.28 + 0.12. Let t = s + -0.4. Which is bigger: l or t?
t
Let u be 15/(-4) - 2/8. Let m = u + 6. Suppose -2*h - 4*r = m*h - 8, -5*h - 2*r = -1. Which is smaller: -2 or h?
-2
Let v(m) = m**3 - 12*m**2 + 10*m + 12. Let d be v(11). Let j(q) be the second derivative of q**3/6 + 3*q**2 + 2*q. Let r be j(-7). Does r = d?
False
Let l be (-7)/(-12) - (-3)/(-12). Suppose y = -3*y. Which is greater: y or l?
l
Let s be ((-2)/2)/(1/(-3)). Let b = s + -1. Let y = 4 - b. Is 3/5 less than y?
True
Suppose -3*b + 17 = 5*y, -3*b - 2*y + y + 25 = 0. Let t be (-10)/16 - b/(-12). Is 1 greater than t?
True
Let p(r) = r**3 + 6*r**2 + 3*r - 5. Let f be p(-5). Let a be (-10)/2 - (6 - f). Which is bigger: a or -5?
-5
Let n be (4/6)/((-8)/12). Is -1/43 at least n?
True
Let z = 56797/185 + -307. Let t = z + -39/185. Is t greater than -1?
True
Let k = -6.6 - -6. Is 3 smaller than k?
False
Suppose 3*z - 16 = -7. Let i = -1 - z. Let j be 0*2/i*2. Is j equal to 1/8?
False
Let u = -3 - -4. Let o = u - 0. Let w = -28.1 + 28. Which is smaller: w or o?
w
Suppose -2*c = -5*v - 35, 0*v + 10 = -2*v. Suppose c*q - 3*j + 80 = 0, -q + 3*j - 67 = 3*q. Let r = -9 - q. Which is bigger: r or 3?
r
Suppose -6 - 4 = d. Let i be (-8)/d + (-16)/40. Is i < -14?
False
Let r = 4 + -3. Let j = -48257 - -6080315/126. Let f = -2/63 - j. Which is smaller: r or f?
f
Let y be (3/300)/(-1)*-1. Let a = 203/300 - y. Let o = -25 - -25. Is a smaller than o?
False
Let u = -4 + -5. Let z = 8.2 + u. Let s = 0.6 + z. Which is bigger: 0.3 or s?
0.3
Suppose 14 = -6*v + 8. Which is smaller: v or 1/33?
v
Let u = -2473/7 - -354. Suppose -4*h = 5*j - 25, 4 = 5*h + 2*j - 6. Which is bigger: u or h?
u
Let m(o) = -o**2 - 10*o - 1. Let p be m(-10). Is 6/19 at most as big as p?
False
Let j(u) = -u**2 - 7*u + 7. Let w(k) = -9*k**3 + 2*k**2 - 2*k + 1. Let n be w(1). Let b be j(n). Is -1 less than or equal to b?
True
Suppose 6*l - 16 = 4*l. Suppose l*r - 10*r = 2. Which is bigger: r or -2?
r
Let b be (24/18)/(1/6). Let w(o) = o - 2. Let n be w(b). Are 5 and n unequal?
True
Let d be 3*(-1)/(3/(-2)). Do 1.2 and d have the same value?
False
Suppose 3 = -77*k + 76*k. Are -20/13 and k equal?
False
Let j = -12 + 11.6. Let p = 0.8 - 2.2. Let u = p - -0.4. Is j < u?
False
Let t(j) = 2*j - 4*j**2 + 1 + 0 - 3*j. Let l(v) = 7*v**2 + 2*v - 2. Let n(r) = -3*l(r) - 5*t(r). Let g be n(1). Which is bigger: g or -2/5?
-2/5
Let z be (3 - 1 - 11) + -1. Let y be (13/z)/((-3)/(-5)). Let l = y + 5/2. Does 0 = l?
False
Let j be 1 + 0/3 - -8. Suppose 0 = 5*o + 3*u + 1, 0 = o + 5*u + j. Let n be 1 + 22/(-10) + o. Which is smaller: 3 or n?
n
Let y = -13 + 18. Let x = y + -4.94. Let u = x - 0.16. Is 0 not equal to u?
True
Let y be 2/(-10) - (-8)/(-10). Is y equal to 1/6?
False
Suppose 3*g + 5 = 8*g. Let k = -0.4 - 0.1. Which is greater: g or k?
g
Let b(h) = -h - 2. Suppose 15 = -5*t - 15. Let k be b(t). Let p be (-4)/(-6) - k/4. Is 1 >= p?
True
Suppose -148 = -3*t + 2*k, 5*k + 24 = 4*t - 171. Let l = t - 197/4. Is l >= 1?
False
Let q be (-4 - -2)/((-2)/3). Suppose -4*c + 14 = -q*x, -2*c - 4*x + 2*x = 0. Let j = 48 - 45. Which is smaller: c or j?
c
Let a be (-168)/40 + 0 + 4. Let x = -3 - -4. Is a > x?
False
Let c = 3.71 + 0.29. Let g = -7 + 11. Let u = g - c. Is u < -2/7?
False
Suppose 2*t - 2 = -0. Let c = -14/5 + 78/35. Let n = c + 27/35. Is t at most n?
False
Let p(z) = z**3 + z**2 - 4*z - 3. Let k be p(-2). Let h be (2/k)/1 + 0. Which is smaller: -1/3 or h?
-1/3
Let o(j) = j**2 - 9*j - 12. Let p be o(10). Let i be 2 + p/3*4. Which is smaller: i or -1?
-1
Let h be ((-9)/30)/(18/96). Is -0.1 <= h?
False
Let z = 14 + -14.1. Which is smaller: z or -0.9?
-0.9
Let i = -41268/13