- 1. Is p less than or equal to j?
True
Let w(v) = -3*v**3 + 2*v**2 - 2*v + 1. Let a be w(1). Let z be (-6)/2 - ((-2 - 2) + 2). Are a and z non-equal?
True
Let z(d) be the second derivative of d**4/12 + d**3/3 + d**2/2 + 6*d. Let j be z(-2). Let n = 1 + -1. Which is greater: n or j?
j
Let q = -6 - -10. Let a be 34/10 - 12/q. Let l(u) = -u - 3. Let b be l(-4). Which is smaller: a or b?
a
Let p(d) = d**2 - 8*d - 9. Let y be p(9). Suppose y = 4*h + 4 - 32. Suppose -2*j + 1 = h. Which is smaller: j or -2?
j
Let z = -12 + 0. Let y = 13 + z. Let q be 1*(1 - 4/(-2)). Is y bigger than q?
False
Let f = -72 + 42. Let z = -20 - f. Suppose -14 = 3*w + 4*q, 0 = 5*q - 0 + z. Does -1 = w?
False
Let r(a) = a - 5. Let o be r(0). Let b(j) = -2*j - 20. Let y be b(-8). Is o greater than or equal to y?
False
Let v(w) = 2*w**2 + w - 8. Let b be v(0). Does -9 = b?
False
Let d = -31/40 - -1/40. Is -2 < d?
True
Suppose -4*w - 25 = -3*n + w, -4*w = n + 20. Are 1/7 and n equal?
False
Suppose 1 + 3 = 4*k. Let g = 1/9 + 41/36. Is g bigger than k?
True
Let f = 81 - 75. Which is bigger: f or -5?
f
Suppose 0*v - 4*v = -12. Suppose 0 = -3*o + v, 4*d - 3*o + 3 = 6*d. Is d greater than 3/10?
False
Let n = -17 - -12. Let c = n - -6. Which is greater: 4 or c?
4
Suppose 3*o = -2*o + 25. Let b = o + -8. Let r be -2 + 1 + -1 - 1. Is b at least r?
True
Let f = -5 + 7. Let n be ((-4)/10)/((-1)/(-40)). Let o be (2/n*f)/(-1). Is 1/4 < o?
False
Let z(f) = -f + 2 - 13*f**2 + 31*f**2 - 19*f**2. Let l be z(0). Which is greater: l or 0?
l
Suppose -2*f - 3*m - 8 = -5*m, 3*f - 28 = -5*m. Let b be (16/(-6))/(f/(-3)). Suppose 0 = 2*j + 3*d + 10, 0*d = -4*d - b. Are -2/3 and j equal?
False
Let n be (-1 - -2)/((-21)/(-105)). Is 4 greater than or equal to n?
False
Let f = 10 + -12. Suppose 3*u + 2*l = -17, -u - 3*l = -2*u + 9. Let z = 2 + u. Is f > z?
False
Let l = -13 - -4. Let s(v) = v**2 + 9*v + 5. Let t be s(l). Let z = -4 + t. Which is smaller: z or 0?
0
Let y = 68 + -49. Which is bigger: y or 18?
y
Suppose -x = -2*k - 0*x, -24 = -2*k - 5*x. Let i be (2/2)/((-7)/(-21)). Is i at least as big as k?
True
Suppose 0 = -6*z - 0*z. Which is smaller: 7/6 or z?
z
Let w be (0 - (-12)/99)*(-4)/(-4). Which is greater: 0 or w?
w
Suppose 2 = -2*f + 4. Which is bigger: 20/17 or f?
20/17
Let k = -10 - -11. Which is bigger: k or -1/8?
k
Let n(w) = -w + 12. Let g be n(8). Which is smaller: g or 3?
3
Let c(p) = -p**2 - 12*p + 3. Let v be c(-10). Let q = 25 - v. Let b = -65/2 + 33. Do b and q have the same value?
False
Let k be 3 + ((-352)/58)/2. Are k and 1 unequal?
True
Let c(g) = -g + 2. Let f be c(3). Is f less than or equal to 1/21?
True
Suppose -9*c + 15*c - 108 = 0. Is 20 >= c?
True
Suppose -5 = -u - 0*u. Is u at least 5?
True
Let w(h) = -h**3 + 6*h**2 + 7*h + 2. Let c be w(7). Suppose t = 3*q - c*t + 3, -3*q + 1 = -t. Let n be 1/(-12) + (-1)/(-4). Which is smaller: n or q?
n
Suppose -5*c + 24 = 9. Let v(s) = s**3 - 5*s**2 + 4*s - 2. Let m be v(c). Are -8 and m non-equal?
False
Suppose a - 4 = -4*o, 3*o + a - 1 = 2*o. Is 9/8 <= o?
False
Let x = 59 - 29. Suppose -c = 3*c + 16, 3*r - 3*c - x = 0. Let a be (0 + 4/r)/(-2). Which is bigger: a or 0?
0
Let d = -0.298 + -158.702. Are d and -1 non-equal?
True
Let p = -1.6 - 0.4. Let o = p + 4. Let f = o + -2.2. Which is greater: 1 or f?
1
Let d = 0.955 + 0.045. Is d at least 3/2?
False
Let q be (5/(-4))/(7/(-28)). Which is bigger: q or 4?
q
Suppose 5*g = -5, 0 = -3*q + 5*q - 2*g + 2. Let v = -2963/6 + 495. Let h = v - 3/2. Is h bigger than q?
True
Suppose -d + 1 = -4. Let x = 9 + -6. Is x at most d?
True
Let z be ((-1)/6)/(4/12). Which is bigger: -1/4 or z?
-1/4
Let w(t) = -11*t**2 - 2*t. Let l be w(-2). Let d = 5/1121 - -136747/3363. Let i = d + l. Which is smaller: i or 0?
0
Let d be (-2)/6 + 2/24. Let g = -7 + 6.9. Is g not equal to d?
True
Suppose -4*v - 36 = 40. Is v not equal to -19?
False
Suppose 0 = -2*t - w + 5*w - 50, -4*w = t - 5. Are t and -14 equal?
False
Suppose -4*j + 4*p = 16, -2*j - 4 = 3*p - 1. Suppose u = 3*u + 2. Let f be (-1)/j*u*3. Is f greater than or equal to 0?
False
Let l = -32.8 + 16.9. Let p = l - -16. Which is bigger: 2 or p?
2
Let m be (-3)/(-5) - (-1616)/(-10). Let v = m - -2091/13. Which is bigger: 1 or v?
1
Let t be (40/50)/(1/5). Suppose 2*y + 2*f - 56 = 0, -2*y = 3*f - 14 - 45. Suppose -3*w + b = -0*w - 1, -5*b = -y. Is t > w?
True
Let g(i) = -i**2 + 11*i - 10. Let l be g(9). Let y = 5 - l. Which is greater: 0.3 or y?
0.3
Let q = 4 + -5. Is 10/7 at most q?
False
Let t be -8 - (1 - 1) - 0. Suppose -59 - 45 = 13*h. Is t at most h?
True
Let b = 2/333 + 640/4329. Suppose -h + 4*h - 3*v - 12 = 0, -5*h + 3*v = -10. Is h not equal to b?
True
Let j = 833.1 - 833. Suppose -6 = t - 3*t. Is j less than t?
True
Let z be (0 + 40/(-6))*(-4)/(-10). Is z > -2/9?
False
Suppose 0 = 3*u - 1 - 11. Suppose -2*x = u - 14. Do 1 and x have different values?
True
Let h(q) = -q**2 + 13*q - 1. Let t be h(11). Let f be t/(-12) + (-2)/8. Which is greater: f or -1?
-1
Let j = 17/115 - 1/69. Suppose -4 = x - 5*m, m = -2*x - 1 + 4. Suppose 0 = d + x - 0. Is j less than or equal to d?
False
Let x(b) = -6*b - 8. Let f(g) = 11*g + 16. Let k(s) = 3*f(s) + 5*x(s). Let y be k(-7). Is y greater than or equal to -13?
True
Suppose t - 4 = -5. Are -1 and t unequal?
False
Let s be 18/(-6) - (-176)/(-21). Let v = -35/3 - s. Is -1/5 equal to v?
False
Let o = 1 - 0.9. Is -0.13 < o?
True
Suppose 5*j + 2 = 4*a, 2*j - 8 = j - 2*a. Suppose -2*i + 0*i = -6. Suppose -i*p = -2*q + 21, -3*q - p = -3*p - 19. Which is greater: j or q?
q
Let v = -21 - -10. Let h = 7 + v. Are -3 and h non-equal?
True
Let k = -41 + 57. Is 16 at least as big as k?
True
Let z = 7 - 9. Which is smaller: z or -2/5?
z
Suppose 6 = x - 4*q - 3, -5*x = -2*q - 27. Is -0.1 smaller than x?
True
Suppose -3*u - 1 = -2*u. Is u <= 3/22?
True
Let f(r) = 5*r + 5. Let t be f(10). Suppose -t = -k - 4*k. Are -1 and k unequal?
True
Let i = 268/987 + 2/141. Is i bigger than -1?
True
Suppose -4*a - 2 = -5*a. Let z be 0 - -2*(-1 + a). Let d = z - 3. Which is bigger: d or 3/7?
3/7
Suppose l = -2*l. Let q(a) = -a + 2. Let j be q(l). Let n = -10 + 8. Is j less than or equal to n?
False
Let g be (-4)/(-18)*30/14. Let o be -2 + 82*(-1)/(-84). Let k = o - g. Which is smaller: k or -1?
k
Suppose 0 = -3*g + 2*d + 24, -2*g - g - 2*d + 24 = 0. Let y(c) = -c**3 - 6*c**2 + 8. Let b be y(-6). Is g at least as big as b?
True
Let m be (1*-19)/(13/26). Is -39 at least as big as m?
False
Suppose -h + 39 = 9. Suppose 0*z = 5*z - h. Is z greater than 5?
True
Let a = -4680/7 - -670. Let t = -2 + a. Suppose -2*d + 5*l = -25, 5*d - 4*l - 15 - 5 = 0. Which is greater: t or d?
d
Let b(v) = -v**2 - 7*v + 7. Let y be b(-8). Is y smaller than 1/2?
True
Let q(b) = 5*b - 1. Let h be q(2). Let p be (-3)/h + (-4)/6. Is 1/4 equal to p?
False
Let m = -42 - -41. Is -7/4 < m?
True
Let d be (-1 - -1)*(-4)/12. Let m = -4 + 3.7. Let j = -0.7 + m. Which is smaller: j or d?
j
Suppose 46 = -5*h + h - 2*x, 2*h - 2*x = -32. Is -13 <= h?
True
Let n be (3*8/(-36))/((-11)/69). Is 3 at most n?
True
Let l be 4/17*(-2)/(-12). Suppose -m + 1 - 2 = 0. Which is greater: m or l?
l
Let o = 94/3 - 31. Let x = 68 + -69. Are o and x non-equal?
True
Let f = 0.067 - 0.067. Is 12 >= f?
True
Let l = 16.9 - 17. Which is greater: l or 13?
13
Suppose 3*x - 5*x - p + 66 = 0, 5*p - 24 = -x. Let i = x - 287/8. Is -1 at least as big as i?
True
Suppose -4*a - 5*n + 25 = 0, 0*n = -5*n + 25. Let q = 4 - 2. Suppose q*g - 4 + 6 = 0. Is g >= a?
False
Let p be (-6)/18 - (-164)/42. Which is smaller: 5 or p?
p
Let a = 1031/40 - 127/5. Let o be 0/(0 + 4/2). Which is smaller: a or o?
o
Let i = 0.05 - -0.15. Do 0.11 and i have the same value?
False
Let j(o) = -1. Let f(g) = g + 1. Let u(z) = f(z) + 5*j(z). Let k be u(5). Which is greater: -1/5 or k?
k
Let q = -72.1 - -75.03. Let m = q + 0.07. Is m <= 1/4?
False
Let q = -8 + 9. Are 2/25 and q equal?
False
Suppose t + 3*d - 12 = 0, -2*d + 0*d = -2*t - 8. Let n be 11/(165/54) + -3. Is t != n?
True
Let c be (-10)/25 + (-6)/10. Suppose 5*t + 44 - 9 = 0. Is t < c?
True
Suppose -1 - 7 = k. Are -9 and k equal?
False
Suppose 0*l - 10 = -2*l. Suppose o - z + 1 + 2 = 0, 0 = -o + l*z - 23. Is 3 not equal to o?
True
Let q be 3/(-7) - (-2210)/(-119). Which is smalle