 - 14. Are p and y equal?
False
Let w be 2/(-4)*0/(-2). Suppose 2*y - 3*u + 18 = 2*u, 4*y + u + 14 = w. Let q = y + 3. Is q at least as big as -0.2?
False
Let i = 1.94 + 0.06. Do 0.3 and i have different values?
True
Suppose -43 = -4*q - 11. Let f = -8 + q. Is f not equal to -2/3?
True
Let p be 16/(-4)*-1 - 2. Is 2 not equal to p?
False
Let r be (6/25)/(18/(-120)). Is -3 greater than or equal to r?
False
Let k = 6 + -6. Let o = 45 - 181/4. Is k at least o?
True
Let s = -1 + 1. Suppose s*h + 56 = -4*h. Let g be 2/(-7) + (-4)/h. Is 0 less than or equal to g?
True
Let d(u) = u**2 - 13*u + 16. Let a(g) = -g**2 - 9*g - 2. Let q be a(-7). Let b be d(q). Does b = 24/7?
False
Let v = 1 + 0. Let b = 0.9 - 1.2. Is b bigger than v?
False
Let w(j) = -3*j**2 + 4*j**2 - 2*j + j. Suppose -2*u = -8, 3*g - 12 = -4*u + 10. Let y be w(g). Which is greater: y or 3?
3
Let m(k) = -k**3 - 7*k**2 - 7*k - 9. Let a be m(-6). Suppose 12 = -2*j - 2*j. Let y be ((0/a)/j)/(-1). Is -2/7 < y?
True
Let d be 3/15*2*5. Suppose -5*s = -2*c - 6 - 8, -2*c + 4*s = 10. Is c < d?
False
Let t = 22.18 + -0.18. Let m = t + -21. Is m less than 2/5?
False
Let s = -9 - -7. Let j be 3/(-6) - 3 - s. Which is bigger: j or 0?
0
Suppose -6*g = -20*g - 1008. Which is bigger: -71 or g?
-71
Let i(g) = 7*g**3 + 2*g - 1. Let f be i(1). Let v be (-2)/(-30)*f/(-4). Is v at least -1?
True
Let o = -10.32 + 10. Let h = -0.12 - o. Let v = 64 + -188/3. Is h greater than v?
False
Let a = -16 + 9. Let z = 7.1 + a. Which is smaller: z or -1/4?
-1/4
Let o = -1195/532 + 42/19. Is o greater than -1?
True
Let a = -3373 - -239489/71. Let s = -61/1562 + a. Is s greater than 0?
True
Let f = 1 - 3. Let j = f + 4. Do -1 and j have different values?
True
Suppose 0 = -5*m - 5*v - 10, 0*m - 17 = -4*m + v. Let i = m + -3. Are -1/2 and i equal?
False
Let l = -1 - -1.3. Which is smaller: -6 or l?
-6
Let j = 30 + -15. Let n = 13 - j. Which is smaller: 2/5 or n?
n
Let y(p) = -p**2 - 2*p + 2. Let m be y(-3). Let z be (-2)/(-7)*2/4. Is z greater than m?
True
Let c = -47 + 46.16. Let f = c + 0.14. Let r = f - -0.4. Which is bigger: r or 1?
1
Suppose -40 = 2*s + 6. Is -22 bigger than s?
True
Suppose 3 = 3*v + 3*p - 0*p, -v = 3*p - 9. Are v and 1 equal?
False
Let l = -2 - -3. Let b(f) = 2*f**3 + f. Let z be b(1). Which is greater: z or l?
z
Suppose -5*a + 9 = -0*v + 4*v, 4*v = -2*a + 6. Is 0 >= v?
False
Let m be (0 + -1)/(1/(-2)). Let b be 4/3 - m/2. Are b and -1 equal?
False
Let y be ((-105)/(-2))/(-5)*-6. Is 64 less than or equal to y?
False
Let k(j) = -j + 3. Let d be k(-9). Which is smaller: 11 or d?
11
Let x = 88.8 - 88. Is x less than -3?
False
Suppose u = 2 - 1. Let o(d) = -d**2 + 13*d + 1. Let w be o(13). Are u and w nonequal?
False
Suppose -5*z = -14 - 1. Let f = -6 - -8. Do f and z have the same value?
False
Suppose 0 - 6 = -3*b. Let g be -2*(0 - b/(-4)). Is -5/7 greater than or equal to g?
True
Suppose -5*g = -5*r - 20, 0 = -3*g + 2*r + 11 - 0. Let b be ((-3)/4)/(g/(-12)). Which is smaller: 2 or b?
2
Let u be -13*(-2)/(-4)*-2. Let y(f) = -f**2 + 12*f + 12. Let j be y(u). Is j greater than -3/8?
False
Let u = 5801 + -18197/3. Suppose 412 = 7*w - 1422. Let d = w + u. Is d bigger than -4?
True
Let y(u) = -u + 3. Let w be y(14). Let k = 9 + -20. Is w != k?
False
Suppose -3 = 8*c + 5. Is -2/103 at least as big as c?
True
Let j = -9 + 9. Is j < 3/11?
True
Let p(r) = -r**3 - 6*r**2 + 6*r - 6. Let a be p(-7). Suppose 5*d + 27 = -4*m + 3, m + 6 = 5*d. Let i be 8/m - (1 - 3). Is a not equal to i?
True
Let k be 41/5 + (-4)/(-5). Is k > 9?
False
Let z = 33 + -21. Let x(l) = l**2 + l - 8. Let y be x(-5). Is z at most as big as y?
True
Let m(c) = -c**3 - c - 2. Let u be m(-1). Is -2/43 at most u?
True
Suppose a + 4*m - 21 + 0 = 0, -5*m = -20. Suppose 5*z = 12 - 42. Let f = a + z. Which is greater: -1/8 or f?
-1/8
Suppose -j - v - 5 = -2*j, j - 5*v = 5. Let y be 0/(5/(j/(-3))). Is y at least as big as 1/11?
False
Let x = 46 + -48. Is 0.3 at most x?
False
Suppose -4*g + g = -9. Suppose 0*t = g*t + 3. Let i be 6/20 - t/(-2). Is i <= -1?
False
Let z be 6/4 + 1*-1. Let n be 3 + -1 + (-70)/20. Is z greater than n?
True
Let k = -10/7 + 172/91. Are k and 0.1 nonequal?
True
Let s be 88/(-10)*155/(-10). Let g = -134 + s. Is g greater than or equal to 2?
True
Let s = -11 - -12.3. Let v = s - 2.3. Which is bigger: v or -2/5?
-2/5
Suppose 3*z - 20 + 8 = 0. Suppose -3 = q - z*q. Let s = -87 - -612/7. Which is smaller: q or s?
s
Let p = 34 + -47. Let f = -21 - p. Let s be (-8)/5*20/f. Which is greater: 2 or s?
s
Suppose -5*t + 8 = -3*t. Let h(a) be the third derivative of -a**6/120 + a**5/12 - 5*a**4/24 + 2*a**3/3 - 3*a**2. Let l be h(t). Is l at most -1/2?
False
Let b(m) = m**3 - m**2 + m - 11. Let x be b(0). Let k(n) = n + 11. Let r be k(x). Suppose -6 = 3*z, 0 = -h + 5*z - r*z + 11. Which is smaller: h or -2/11?
-2/11
Let h be (-11)/(0 + (-1 - 0)). Let t = -9 + h. Let k = t + -2. Is 1/3 at least as big as k?
True
Let f(o) = 3*o**2 + 3*o - 1. Let s be f(1). Which is smaller: s or -1?
-1
Suppose -k = -3*k. Let h be -1 - (1 + (-5 - -1)). Suppose -3*z + 15 = -3*m, -2*m = -h*z - 3*z + 13. Is k at least z?
False
Suppose 3*o - 3 = 2*o. Suppose -3*q - 2*s + 1 = -2*q, s + o = 3*q. Let i be (1 - 1)/(5 + -4). Which is smaller: q or i?
i
Let z = 13 + -27/2. Suppose 3*y + 2 = -1. Which is smaller: y or z?
y
Let z be (-12)/7 + 4/(-14). Let i = -5 - -7. Let d be 2 - (i - 6/(-4)). Is d bigger than z?
True
Suppose 3*g + 15 = 0, g + 1 = -2*d - 12. Let b = -43 - -31. Let q be (d/b)/((-2)/(-6)). Which is greater: -2/7 or q?
q
Let y be ((-1)/18)/(4 + 15/(-4)). Which is smaller: -0.2 or y?
y
Suppose 22 = 4*s + 26. Is s equal to -4/53?
False
Suppose -2*r + 2 - 20 = 0. Is r not equal to -8?
True
Let o = 0.4 - 0.3. Let z = o - 0.08. Let m be 2*((-7)/(-6) - 1). Do z and m have different values?
True
Let u = 2 + 12. Let l be 0 + -3 + 54/u. Is l >= -1/3?
True
Let d(n) = -n**3 - 4*n**2 - 3*n + 3. Let f be d(-2). Which is greater: f or -2?
f
Suppose -5*p = -3*r + 7, 4*p - 4*r + 4 = -0*p. Let l be p/(-7) + (-35)/294. Which is bigger: l or 1?
1
Suppose 0*b = -2*b - 2. Let d be -2 + 3 + 0 + b. Is d at least -1/2?
True
Let b(w) = w**3 + 8*w**2 + 8*w + 9. Let l(i) = i**3 + 4*i**2 + i - 3. Let n be l(-4). Let h be b(n). Are 3/4 and h nonequal?
True
Let s = 333 + -50947/153. Which is bigger: s or -1?
s
Suppose -8 = -3*g + 7. Suppose 0 = 3*y + 2 + 1. Let c be ((-28)/g)/(-4) + y. Which is bigger: c or -3?
c
Suppose -4*i + 4 = -0. Let j(r) = -r + 1. Let l be j(-2). Let w be 1*(10/l - 3). Which is greater: i or w?
i
Suppose 0*x + x - 11 = 0. Let d(h) = h**2 - 11*h. Let c be d(x). Are c and 10/9 unequal?
True
Let i be (-26)/30 + (-6)/45. Is -2/15 <= i?
False
Let r = -1.3 + 0.3. Let x = 1 + -3. Let t = -2 - x. Is r greater than t?
False
Let i = -14 + 7. Let y = 8 + i. Is 2 > y?
True
Let x = 14354/11 + -1304. Let o = 92/33 - 48/11. Let p = x + o. Is -3/5 not equal to p?
True
Let z be 18/8 - (-1)/(-4). Let w be (2 + z)*3/(-6). Let c = 0 - w. Are c and 3 nonequal?
True
Suppose -2*s + 3 = 1. Is 1 bigger than s?
False
Let t = -399 + 6785/17. Let h(p) = p**3 - 4*p**2 - 2*p + 6. Let q be h(4). Let o be (-4)/(5 - 3) - q. Which is bigger: o or t?
t
Let s(l) = -l**2 - 11*l - 5. Let f be s(-11). Suppose 8*u + 8 = 4*u. Which is smaller: u or f?
f
Let c(n) = -n**3 + 1. Let u be c(-1). Let a be ((-3)/u)/((-9)/(-24)). Let b be a/12*12/(-22). Is b greater than 0.1?
True
Let y be (5/4)/(3/12). Which is greater: y or 0.1?
y
Let x = 10 + -5. Let c(z) = z**2 + 5*z - 6. Let u be c(-5). Let p = x + u. Is p bigger than -1?
False
Suppose 12*r - 200 = 16*r. Is -48 bigger than r?
True
Suppose 36 = 5*x - 2*u, -2*u + 0 + 18 = 4*x. Suppose -5*c = -0*c - 10. Suppose 5*w - c*w - 3*h = -9, 0 = -2*w - h + x. Which is smaller: -1/6 or w?
-1/6
Suppose -2*f + 4*f - 10 = 0, -3*f = -4*a - 199. Let l = a + 277/6. Suppose 5*c = -5*y - 24 + 9, 3 = -5*y - c. Which is smaller: y or l?
y
Let t be -3*21/(-9) - -3. Suppose 0 = -3*d + d + t. Suppose 0 = -4*n - 4*v - 32, d*n - 4 = -3*v - 40. Are -6 and n equal?
True
Let i be 5*(0 + 0 + 1). Suppose -i*h = -2*j - 36, -8*h + 50 = -3*h + 5*j. Let k = h + -8. Which is smaller: k or 1?
k
Let y = 1 - 1. Let v = -306 + 3980/13. Which is smaller: y or v?
y
Suppose p = -6*p - 441. Do p and