 p. Is -3 != i?
True
Suppose 8 = w + w. Is 5 at most w?
False
Let q = -4 + 4. Let a = -0.2 - 0. Let u = -0.5 - a. Is q < u?
False
Let y(r) = r**2 + 3*r + 2. Let z be y(-3). Let u(q) = -2 - 3*q + z. Let b be u(-1). Which is smaller: b or 4?
b
Suppose 3*n - 5*r + 1 = 2, -3*n - 5*r = -11. Suppose -3*c = n*m - 3*m - 8, -m = 3*c + 2. Let u be ((-2)/(-12))/(-3 - -2). Do c and u have different values?
True
Let d(p) be the third derivative of 0 + 2*p**2 + 1/120*p**6 + 1/12*p**5 + 0*p**3 + 0*p + 0*p**4. Let s be d(-5). Are s and -2/3 equal?
False
Suppose x + 7 = 4*k, -3*k = -k. Let w = -4 - x. Suppose u + 5 = -2*c, 3*c + 4*u - u + w = 0. Is c equal to -3?
False
Let g(r) = r + 4. Let s be 7/1 + 3 + -4. Let m be (s*-1)/(1/1). Let z be g(m). Is -1 not equal to z?
True
Suppose 3*r = -4*s - 12, -20 = -s + 7*r - 2*r. Let q(z) = z**3 + 4*z**2 + 2*z - 2. Let v be q(-2). Let m be ((-9)/v)/(-3 + -3). Is m at least s?
True
Suppose 5*l - 33 - 27 = 0. Suppose -4*p + l = -4*o, 0 = -5*p - 5*o + 4*o - 15. Is -3 greater than p?
False
Let s be 16/(-24)*2/4. Is s equal to 18/13?
False
Let u be 0 - (-2 + 1 + 0). Let x be (-8)/110*2/4. Are u and x equal?
False
Let g = -6.33 + 7.8. Let h = g - 1.3. Is -1 equal to h?
False
Let c(b) = -b**3 - b**2 + b + 2. Let m be c(0). Let q(d) = -d + 1. Let z be q(-2). Which is greater: m or z?
z
Let d be (-15)/(-10) - (-1)/2. Let i be (3 - 0)*(-8)/(-6). Is d not equal to i?
True
Let d be 5*(-3)/3*-1. Suppose d*h - h = -4. Which is greater: -2/7 or h?
-2/7
Let o = -176.06 + 178. Let u = o - -0.06. Let t = -4 + 4. Is t > u?
False
Let k = 3.6 + 10.4. Let b = k + -17. Which is bigger: 0.1 or b?
0.1
Let h(x) = 2*x**3 + x**2 - x. Let l be h(1). Suppose 0 = -5*i - l*j - 12 - 6, 3*j = -3*i - 9. Which is greater: i or 1?
1
Let a = -60.2 + 69. Let i = -8 + a. Let z = 0.7 - i. Is -2/3 smaller than z?
True
Suppose -16 + 12 = -4*y. Which is smaller: 4/17 or y?
4/17
Let l be (1 - 7)/((-9)/6). Suppose -7*d - 3 = -l*d. Is 1/13 greater than d?
True
Let s be 1 + 1 + -5 - (1 - -2). Let k(r) = 4*r**3 - 2*r**2 - 2*r - 1. Let y be k(-1). Is y <= s?
False
Let b = -1 + 2. Let g = 0 - -1. Let o = g + -2. Which is smaller: b or o?
o
Suppose 0 = 12*h + 105 + 99. Is h less than -16?
True
Let y be (-6)/2 - 4*-1. Suppose y = -0*w + w. Do -1/7 and w have different values?
True
Let q = -10.2 - -11.2. Which is bigger: q or -1/89?
q
Let w = -24 + 25. Is 1/2 at most as big as w?
True
Let f be 32/20 + 4/10. Let z be (f/(-3))/(6/(-63)). Suppose 0 = -2*b + z*b. Which is smaller: b or -1?
-1
Let w be 1 - (-2 + (-12)/(-4)) - 1. Is w > 4?
False
Let u(p) be the first derivative of -p**4/4 - 2*p**3 - 3*p**2 - 3*p - 2. Let v be u(-5). Is v not equal to 5/3?
True
Let g = -159056/147 + 1082. Which is smaller: 0 or g?
g
Let i(a) = -a + 2. Let w be i(-3). Let q(d) = -2*d - 1. Let v be q(-2). Is v greater than or equal to w?
False
Suppose -5*g + 15 = -10. Suppose 4*t = -5*h + 17, 0*h - 3*t + 4 = -g*h. Which is greater: 2 or h?
2
Suppose -5*k - 34 - 11 = 0. Let j be (k/(-30))/((-9)/(-12)). Are j and 1 non-equal?
True
Suppose 4*x - 14 = 2*q + 3*x, 23 = -3*q + 2*x. Let s be (-1 - -1) + (-2 - q). Suppose 0 = 90*b - 48 - 42. Which is smaller: s or b?
b
Suppose -s = 5*v + 16 + 11, -v - 12 = -2*s. Suppose z = 3*z + 10. Is v greater than or equal to z?
False
Suppose -2*i + 1 = -3. Suppose -3*g - i*n + 3 = 0, 2*g - 3*g + 4*n - 13 = 0. Is 4/9 greater than g?
True
Let q = -2215 + 11041/5. Is -6 greater than q?
True
Let h be 4/10 - 1285/525. Let g = -12/7 - h. Are g and -0.1 unequal?
True
Let l = 287/2 - 143. Let b(p) = -3*p**3 + 2*p - 1. Let u be b(1). Let y be 2/(u/1)*-1. Is l less than y?
True
Let x = -7.92 - 0.08. Let k = x + 6. Let i = k - -1.9. Are 2/9 and i non-equal?
True
Let y = -0.6 - -2.1. Let k = y + -9.5. Let z = 8 + k. Is -0.2 <= z?
True
Let p(o) = 2*o - 3*o - 7 + 2*o. Let z be p(6). Are -1 and z unequal?
False
Suppose 4*b = 2*o, -4*o - 4*b + 1 = 13. Let k = o - -3. Let y = -182/9 + 20. Which is smaller: y or k?
y
Let w be -1*1*6*27/18. Is -8 >= w?
True
Suppose -2*f + 6 + 12 = 0. Is f smaller than 9?
False
Suppose -5*k - 3 = 3*v, -4*v = -0*v + 4. Is 4 equal to k?
False
Let v(a) = 0*a - 6*a + a**3 + 3 - 2 - 4*a**2. Let f be v(5). Which is smaller: f or -3?
f
Suppose 0 = r - 4*h - 9, 4*r + 5*h = 7 + 8. Suppose -5*p + j + 8 = 0, 21 - 3 = r*p + 4*j. Which is bigger: 1 or p?
p
Let b be 2*(3/6 - 0). Which is smaller: b or 1/41?
1/41
Suppose 2*a + 5*f = 11, a - 2 = -f + 2. Let j(g) = -5*g**2 - 2*g + 4. Let r be j(0). Which is smaller: r or a?
a
Let z = -3 - -3.01. Let y = -0.03 - z. Is y at least -1?
True
Let h be ((-2)/76)/((-3)/(-12)). Let w = 4284 - 732620/171. Let p = w - h. Is p greater than -0.2?
False
Let x = -13268428/21 - -631993. Let l = -163 + x. Is -1 >= l?
False
Suppose s = -p + 5, -2*s - 5 = -2*p + s. Let o = 0 - -3. Let q = p - o. Which is smaller: 0.2 or q?
0.2
Let b = -29 - -28. Let i = -16.91 + -0.09. Which is smaller: i or b?
i
Suppose -2*q - 86 = -4*x, x = -q + 27 - 1. Let u = -11 + x. Let s be (u/8)/(18/(-8)). Is s smaller than -3/2?
False
Let a(u) = -u + 1. Let y be a(15). Let s = 11 + y. Is s at most as big as -3?
True
Let y be 3*(-1 + 3/(-9)). Let b be 16/7 + y/14. Suppose -b*j = -3*j. Is j < -2/29?
False
Let x = 55/63 + -23/21. Let n be (2*(-2)/(-4))/(-1). Do x and n have different values?
True
Let k = 127/5 + -25. Which is smaller: k or -80?
-80
Let x be ((-2)/10)/((-3)/15). Let b be (x - -1) + (-28)/18. Is b less than 1?
True
Let a = 16 + -25. Let i = a + 8.9. Is 5 at least as big as i?
True
Let q be (-1)/2*2*-1. Which is greater: q or -2?
q
Suppose 0*o + o = 5. Suppose 3*g - o*l = -38 + 5, 4*l = g + 18. Are g and -5 equal?
False
Suppose 5*r + 14 = -h, -3*h - 3 = -5*r - 1. Suppose 7*t - 5*t = 20. Suppose 5*q - 15 = t*q. Which is bigger: q or h?
q
Let j = 0.15 + 2.35. Let h = j + 13.5. Which is greater: h or 1?
h
Let r be (-2)/((24/4)/3). Is -3/8 <= r?
False
Suppose 2*x - 3 = -2*x - n, 5*n - 15 = 5*x. Is 1/3 greater than x?
True
Let t = 14 - 2. Suppose t = -2*m + 4*m. Let s be 4/m + (-34)/6. Is -4 at least s?
True
Let w be (-8)/(-40) - 228/5. Let y = w - -46. Which is greater: 1 or y?
1
Suppose 3*o - 2*y = 24, -5*o = -5*y - 0 - 45. Let q be (-8)/12*o/8. Is -0.02 < q?
False
Let v = 7 - 7.1. Let l be (-71 + 0)*29/(-9). Let z = -229 + l. Is z less than or equal to v?
True
Suppose -3*h = -2*h. Suppose j + 0 = 4. Suppose 0 = -k - 6 + j. Which is smaller: k or h?
k
Let u = -56.77 + 57. Let l = -4.63 + u. Let c = l + -0.6. Is 0.1 > c?
True
Let v(g) = g - 2. Let q be v(3). Let a = 10 - 81/8. Is q at least a?
True
Let p = -42 - -377/9. Let r = 3 - 2. Which is smaller: r or p?
p
Let c(k) = -k + 9. Let f be c(-12). Which is smaller: -0.1 or f?
-0.1
Let c be (1 + -1)*(10 + -11). Which is smaller: c or 4/23?
c
Let f be 4/11*6/(-36). Which is bigger: 0 or f?
0
Let f = 115/4 + -29. Does 19 = f?
False
Let h be (-15)/(-8) + 6 + -8. Which is smaller: h or -1?
-1
Let l = 33/19 + -391/247. Is -1 less than or equal to l?
True
Let o be (-77)/35 + 1/5. Which is greater: -1 or o?
-1
Let o = 21 + -20.8. Are o and -4 unequal?
True
Let i(d) = -8*d + 79. Let a be i(10). Let z = -20/113 + 594/4633. Which is smaller: z or a?
a
Suppose -3*p = -4*f - 114, 0*f - 2*f = 0. Does 38 = p?
True
Let x be (-2)/3 - (-1)/(-3). Let c = -2379/11 - -216. Which is smaller: c or x?
x
Suppose m - 52 = -2*m - 5*p, -m - 5*p = -34. Let w = m + -7. Suppose 0 = -d + t + 4, -w*d = 5*t - 2 + 1. Is 2 > d?
False
Let z = 4 - 10. Let g(k) = k**3 + 7*k**2 + 7*k + 9. Let p(n) = -5*n**3 - 35*n**2 - 35*n - 46. Let v(o) = 11*g(o) + 2*p(o). Let j be v(z). Is j equal to -2/5?
False
Let d be (2/(-2) - -7)/(212/4). Which is smaller: d or 1?
d
Suppose 3 = 2*o - 1. Suppose -o = v - b - 3, -3*v = -4*b - 8. Let s be (1 - 10/4)*2. Which is greater: v or s?
s
Suppose -3*o = -o + 4. Are o and -4 equal?
False
Let u = -36 - -36.05. Let v be 1/(-3) - 2/30. Is u less than v?
False
Let s(w) = -7*w + 5. Let j(o) = o - 1. Let u(k) = -4*j(k) - s(k). Let p be u(1). Is p less than 2?
False
Let l(g) = -g + 2. Let p be l(0). Let i be -2*(1 - (-1)/p). Is -3 < i?
False
Let o be (0/(-1*2))/(-2). Suppose o = -s - 1. Is s at most -5/4?
False
Let a be ((-4)/(-32))/(1/8). Let v = -1 - 1. Let t be (4/v)/(-12 - -1). Is t bigger than a?
False
Let o be (-3)/