p < 4?
False
Suppose -3*w = -u + 6 + 7, 0 = -3*w + 3*u - 15. Suppose -3*g + 18 = -0*g. Let m be ((-2)/w)/((-1)/g). Which is smaller: m or -1/2?
m
Suppose -5*b + 4 + 0 = -3*t, -5*t + 2 = -4*b. Suppose s = -b*y + 2, -5*s - 3*y = -0*s - 17. Let m = s - 6. Which is smaller: -1 or m?
m
Let s = -151 - -158. Does s = -2?
False
Let p be (4/(-20))/(6/30). Is p less than -1/39?
True
Suppose 0 = -7*i + 3*i - 4. Let c be (-3 - -3)*(-1)/(-2). Let y be (7 - 3) + c + i. Is y <= 3?
True
Suppose -5 = u - 0*t + t, 5*u + 18 = 2*t. Which is greater: u or -3?
-3
Let l(q) = 3*q**2 + 22*q + 4. Let t be l(-6). Is -20 greater than t?
False
Let s be 7/(70/872) + 1/(-5). Is s at most as big as 87?
True
Let z = 0.6 - 0.1. Let s = -0.06 - -0.46. Let c = z - s. Which is bigger: -3 or c?
c
Let j be (0*2/4)/(-1). Let k(h) = -h**3 - h**2 + 1. Let v be k(j). Are v and -1 unequal?
True
Let v(h) = 2*h + 1. Let b be v(-1). Let c be (363/(-12))/(15/4). Let p = -42/5 - c. Does p = b?
False
Let w = 0.28 + -2.48. Let o = w - -2. Is o at least as big as -2?
True
Let h be (((-6)/(-40))/1)/(57/8). Is h greater than -1?
True
Suppose -2*n = -3*n. Suppose 12 = 3*q - n*q. Let x be 0 + 0 - q/6. Which is smaller: x or 0?
x
Let k = 2 - -3. Let z = 5 - k. Is z smaller than -1/2?
False
Let q be 1 + 0/((-1)/1). Let f be (-4)/(-3)*(3/2)/3. Is f greater than q?
False
Let o be (-2)/(11/4 + -2). Let p be 8/(-2) - 1*(-1 - -1). Which is smaller: p or o?
p
Let r = 1.5 + -0.4. Let l = -2.1 + r. Is 6 greater than l?
True
Let q = -1.02 + 0.02. Let v = -1 - 0. Is v > q?
False
Let m = 0.5 + 0. Let n = m + -0.2. Let p = n + -0.3. Are -1/5 and p non-equal?
True
Let f = 1 - 1. Suppose f*l - 4*j = -l - 3, -3*j = -3. Which is greater: -4/11 or l?
l
Let b = -74 - -155/2. Let y be 5*1*(1 + 0). Is y less than or equal to b?
False
Let x be -6*(-3)/(-54)*-2. Which is bigger: -0.4 or x?
x
Let h be (-3 + -1 + 6)/(-2). Is h less than or equal to 4?
True
Let r be (5/(-3))/(4/(-12)). Let q(k) = 4*k. Let y be 7 - 3 - 3/1. Let m be q(y). Which is greater: r or m?
r
Let p = -72 + 502/7. Is p at most as big as 17?
True
Suppose -4*v = -92 + 452. Let c be 2/4 - (-69)/v. Let f = c - -31/60. Which is smaller: 1 or f?
f
Let t = -44 + 39. Which is greater: t or 2.2?
2.2
Let t be -2 - (-2 - 2) - 2. Suppose 2*f - 4 = 4*f. Is t < f?
False
Suppose 2 = l - 2. Suppose -l*p = -2 - 2. Is p < 1/2?
False
Let i = -8.3 - -8. Let m = 0.2 + i. Let p = 3.8 + -3.7. Is m less than p?
True
Let x = -798 - -19944/25. Which is smaller: 0 or x?
x
Let v be (-26)/(-7) - (-10)/35. Suppose 0 = 3*i - 4*s + 5, -v*s + 30 = i + i. Suppose -i*j = t - 13, 3 + 7 = 5*j. Is 2 != t?
True
Let t(o) = o**3 + 12*o**2 - 2*o - 2. Let s be t(-12). Is 64/3 <= s?
True
Let r(f) = -f + 1. Let z be r(1). Let s(o) = o + 8. Let j be s(-8). Suppose j = 4*p - 7*p + 5*y + 5, -3*p - y = 1. Is z less than or equal to p?
True
Let b = 1.1 + -0.1. Suppose -2*z + x = -6, -4*z + 14 = -5*x + 2. Which is bigger: b or z?
z
Let y(k) = k**2 + k. Suppose 5 = -m - 4*m. Let q be y(m). Let a be 0/(-2)*(q + 1). Which is bigger: a or -0.1?
a
Let t be (12/10)/((-2)/(-5)). Suppose 16 = w + t*w. Let z = 4 - 0. Is z less than or equal to w?
True
Suppose -4*o - 3*u = -5*o + 6, -4*o = 2*u - 10. Suppose o*a + q = -0*a + 8, a + 19 = 4*q. Is a greater than or equal to -1/6?
True
Let y = 0.9 + -1.8. Let p = 0 + y. Let x = 1 + p. Is x smaller than 0.01?
False
Let o(a) be the second derivative of -a**4/12 - a**3/3 + 3*a**2/2 + 3*a. Let q be o(-3). Which is bigger: q or 2/21?
2/21
Let z = 2.1 + -2. Let a = z - 0.1. Is a at most 0?
True
Let g = -52 + 47. Which is smaller: -1 or g?
g
Let p = 119407/67470 - 280/173. Let b = 1/65 + p. Let w = -0.3 - 0.7. Is b >= w?
True
Let h(l) = -l - 1. Let s be 1 + (-2 + 2 - 2). Let r be h(s). Let q be 0*2/(-8)*2. Is r at least as big as q?
True
Let u(x) = -3*x - 75. Let y be u(-31). Do y and 17 have the same value?
False
Let l(s) = -s**2 + 7*s - 1. Let a be (12/18)/((-2)/(-21)). Let k be l(a). Is k != -4?
True
Let b(v) = v**2 - 7*v - 8. Let t be b(7). Let s be (0 - 0) + (-24)/t. Are 1 and s non-equal?
True
Let k(r) be the third derivative of -r**4/24 - r**3/6 + r**2. Let w be k(-2). Let n = -7 + 4. Is w > n?
True
Let x = 15 - -2. Let r = -16 + x. Is 2/41 at least as big as r?
False
Let l be 8/5*(-1)/20. Is 0 at most as big as l?
False
Let h = -2.3 - -1.3. Is -8 less than h?
True
Let c = 211/3 + -71. Let u = 0.22 - -0.08. Let r = u + -0.3. Which is greater: r or c?
r
Suppose -297 = 5*m - 737. Let r be (-5)/m - (-2)/11. Let o = 0 - 0. Is o < r?
True
Let k be (-7)/(-7) - (1 + -2). Which is smaller: k or 12/11?
12/11
Let k(w) = -w + 3. Let a be k(2). Let p = 61/7 + -218/21. Let u = 11/6 + p. Is u less than or equal to a?
True
Let n(u) = -u - 1. Let b be n(2). Let p be -1 - (-12)/(-3 - 1). Is p smaller than b?
True
Let l be (0 + -1)*(-4 - -1). Suppose l*j + 5 - 20 = 2*i, -4*j + 16 = -4*i. Which is greater: 6 or j?
j
Let d(q) = q. Let a be d(0). Which is smaller: -1 or a?
-1
Let t(i) = 2*i - 17. Let h be t(8). Is h smaller than -3/7?
True
Let b = -2 - -1. Let a = -0.06 + -0.04. Is b bigger than a?
False
Let x = -44 - -58. Is x bigger than 15?
False
Suppose 3*o + o + 3 = -5*t, 3*t = -2*o - 3. Let x = -6 - -9. Suppose v - i = o + 1, -22 = -x*v + 5*i. Is v < -1?
False
Let m(z) = -7*z + 97. Let k be m(24). Is k > -71?
False
Let d(p) = -1 + 3 - 1 + 5*p - p**2 + 3*p. Let z be d(8). Is 2/17 greater than or equal to z?
False
Let y be -4*3*6/63. Let g = -10 - -8. Which is greater: g or y?
y
Let d = -0.23 - -0.13. Is d greater than 0.6?
False
Let m = -5 + 9. Let i(z) = -z**3 + 5*z**2 - z - 3. Let k be i(m). Is k not equal to 10?
True
Let b = 33 - 32. Which is greater: 56 or b?
56
Let f = -7 + 5. Let c = -62 - -184/3. Which is smaller: f or c?
f
Let b(t) = -1 + t - 3*t + 0. Let o be 6/(-14) - (-4)/(-7). Let c be b(o). Is 1/2 equal to c?
False
Let j = 3 - 15. Let l be ((-8)/j)/(2/(-3)). Is l greater than 0?
False
Let o(h) = -h**3 + 3*h**2 + 3. Let m be o(3). Suppose f - 4 + 0 = 0. Let r be (-2)/4 + (f - 2). Is m > r?
True
Let q = -1145306/211 - -5428. Do 0 and q have different values?
True
Suppose -36*d = -35*d. Which is smaller: 8/29 or d?
d
Let q(t) = 83*t**3 - t**2 - 2*t - 2. Let w be q(-1). Suppose -3*v - 1 = 11. Let u be 14/v*(-18)/w. Which is greater: u or 0?
0
Let s be ((-2)/(-8)*4)/1. Which is smaller: s or 2/7?
2/7
Let v = -264.91 + 263. Let j = v + -0.09. Which is greater: -1/2 or j?
-1/2
Let s be (-2 + (-11)/(-2))*2. Let t(a) = 0*a**2 + a**2 + 71 - 8*a - 64. Let f be t(s). Is f less than or equal to 1?
True
Let x = 10.1 + -8.1. Do x and -7 have different values?
True
Let c = 542 - 564.7. Let r = c + 24. Let f = -0.3 + r. Which is smaller: 2 or f?
f
Let z(p) = p**3 - 9*p**2 + 2*p - 9. Let f be z(9). Let k(o) = -o**2 + 8*o + 12. Let h be k(f). Is h less than 3?
False
Let q = 305 - 214. Is 92 at most as big as q?
False
Let u be 4/1 - 20 - -3. Is u != -13?
False
Let c be 4/6 + (-4)/6. Suppose c = 2*k - 3 - 3. Suppose k - 2 = z. Is 1 bigger than z?
False
Let q be 5 + -2 + 28/(-11). Let b = q - 4/33. Let o be (1 + 1)*(-2)/(-4). Which is smaller: b or o?
b
Let i be 23/(-3)*3/(-4). Let g = i - -91/4. Let j = -29 + g. Which is bigger: -0.2 or j?
-0.2
Let m be 2/(-8) + (-43)/(-204). Does -1 = m?
False
Let u(h) = -h**2 - 5*h + 7. Let p be u(-5). Do p and 8 have the same value?
False
Let t(n) = -n**3 + 6*n**2 - 5*n + 5. Let g be t(5). Suppose -h - g*u = -3, 4*h - 2*u = u - 34. Is -7 less than h?
False
Suppose 23 = x + 34. Are x and -13 equal?
False
Let y = -68 + 60. Let d = -8 - -5. Let k = y - d. Which is smaller: k or -0.1?
k
Let g be (4/(-4))/(2/30). Let a be 1/(-1 + g/6). Is -1 less than or equal to a?
True
Let f be (16/(-20))/((-2)/5). Let u be (1/(-2)*-2)/1. Suppose 3*n = -u - f. Is -1 less than or equal to n?
True
Let u(k) be the second derivative of -k**3/6 + 3*k**2/2 - k. Let r be u(5). Suppose 2*f + 2 = -0*f. Is r <= f?
True
Let m(z) = z**2 + z + 8. Let c be m(-7). Suppose c = -8*d + 3*d. Let h = d + 7. Is -4 <= h?
True
Let w = -7/104 - -5/26. Which is smaller: 0 or w?
0
Let m = 283 - 3677/13. Let i(j) = -j - 1. Let k be i(0). Is k <= m?
True
Let o(g) = g**2 - 10*g - 8. Let l be o(11). Suppose 5*z + 13 = -l*h, 3*z + 5*h + 12 = 1. Let b(u) = -u - 6. Let x be b(-5). Is x < z?
False
Let n