 z?
z
Let l be 146/234 + (111/(-39) - -3). Which is smaller: 2 or l?
l
Suppose 4*f = -0*f + 4. Let x be (-9)/(-6)*8/42. Which is smaller: f or x?
x
Let h(b) = -3*b**3 + b - 1. Let j be h(1). Let w(f) = -f**2 - 2*f + 2. Let z be w(j). Let t be ((0 - 0) + -1)*z. Is 1/5 greater than t?
False
Suppose 6 = -i - i. Let l(f) = -f**2 - 10*f - 4. Let s be l(-10). Which is smaller: s or i?
s
Let s be (-265)/130 + (0 - -2). Which is smaller: s or -1?
-1
Suppose -k + 6*k = 140. Let s be 8/(-4) + k/12. Which is greater: -1 or s?
s
Suppose -2 = 5*u - 2*p, -5*u + 5 = 5*p - 0*p. Is u greater than or equal to -2/33?
True
Let n = 11 - 21. Let a be 3/(-15) - 2/n. Let l be (-2 - (-32)/18)*1. Is l less than a?
True
Let f be 0 - (-1)/((-2)/(-10)). Suppose 6*c = 5*n + c + 40, f*n - 3*c = -32. Suppose z - 6*z = 4*g, -2*g = -3*z + 22. Is n > g?
True
Let z(r) = 3*r**2 - 2*r + 1. Let h be z(1). Suppose 0 = -h*d - d - 3. Let j(p) = p + 1. Let s be j(0). Which is greater: d or s?
s
Let g(z) = 3*z + 1. Let f be g(1). Suppose -8*o + 3*o + 24 = -f*k, -2*k = 2. Which is smaller: o or 3?
3
Let p = 5415/14 + -387. Are p and -1 nonequal?
True
Suppose 8 = -2*a - 2*a + 4*b, -20 = -5*a - 5*b. Which is smaller: a or 2/67?
2/67
Let c = 5.9 - 6. Is c <= 15?
True
Let m(s) = -s - 1. Let c = 12 + -6. Let x be m(c). Is x equal to -8?
False
Let j = 16 - 19. Let s be 20/(-6) - (-4)/(-6). Which is smaller: j or s?
s
Let v = 32 - 11. Which is greater: v or 22?
22
Suppose 2*z + 3 = 1. Which is bigger: z or 2/31?
2/31
Let c(m) = -m**2 - 3*m + 7. Let d be c(-5). Let u be (2 - 1)/(-1) - 0/10. Is u at most as big as d?
False
Let m be (-9)/(-3) - (-2 + 0). Suppose 3*u + 21 = 3*c, 3*u + m*c - 23 = 2*u. Is u not equal to 7/3?
True
Suppose -2*a - a + 3 = 0. Suppose 18 = -v - 4*l, v - 5*l - 2 = 25. Let y = v - 0. Which is greater: a or y?
y
Let l = 3.7 - 3.6. Is -5 equal to l?
False
Let b(y) = -y**2 - 6*y - 2. Let t be b(-6). Let s be 4*(t - 63/(-30)). Suppose 2*r + 12 = -5*c, -r + 7*c + 9 = 2*c. Is r less than s?
True
Let x(a) = a**3 + 3*a**2 - 2*a - 3. Let g be x(-2). Let b = g + -1. Are b and 2 equal?
False
Let b(r) = 2*r**2 - 2*r + 7. Let v(u) = u**2 - 3*u + 6. Let x(j) = -2*b(j) + 3*v(j). Let f be x(-6). Which is bigger: f or -3/5?
-3/5
Let w = -7.13 + 0.13. Let q = -6.8 - w. Which is smaller: 0.3 or q?
q
Let x(i) = -4*i - 20. Let w be x(3). Which is smaller: -33 or w?
-33
Let y be (-89)/(-364) - -2*(-2)/16. Which is smaller: -1 or y?
-1
Let k = 46 - 232/5. Let c = -1.6 - 2.4. Are k and c unequal?
True
Let c(x) be the first derivative of -x**3/3 - x**2/2 + 2*x + 4. Let h be c(-2). Which is smaller: h or 1/4?
h
Suppose -4*j + 5*t = 39, 3*t - 5 = 3*j + 22. Let p = 6 + j. Is 0 <= p?
True
Let g(s) = 5*s + 2. Let i be g(8). Suppose 2*o + 18 = v, -2*o = -v + 5*v - i. Suppose 5*m = -2*j + m + 6, 4*j + 2*m - v = 0. Is 4 < j?
False
Let t(f) = -f**3 + 8*f**2 + f - 4. Let a = 6 + 2. Let y be t(a). Which is greater: 3 or y?
y
Let n(v) = v - 12. Let b be n(15). Let m = -8 - -5. Let y = b + m. Are -2 and y nonequal?
True
Let v = -22/29 + 300/319. Is -3/4 less than or equal to v?
True
Let o be (-10)/(-15) + 4/(-6). Let r be (3 - 33)*(-7)/2. Let f be 9/r + (-4)/14. Which is smaller: f or o?
f
Let l = 42/5 - 382/55. Which is bigger: 1 or l?
l
Let p be (-2)/10*15/(-9). Let v = 2.3 + -0.3. Is p at least v?
False
Suppose -t + k + 0 + 7 = 0, -22 = -t + 4*k. Suppose 0 = 4*a - 5*c - t + 4, -4*c = 2*a - 12. Suppose -a*i = -0*i - 4. Which is bigger: i or -2?
i
Let b = 8/11 - 46/33. Suppose -3*o - 2*u - 14 = 0, 0 = 4*o + 4*u + u + 28. Which is smaller: o or b?
o
Let v be ((-18)/8)/(-3) + (-21)/12. Is v smaller than 1/8?
True
Let i(r) = 11*r**3 + 1. Let w be i(-1). Is w not equal to -10?
False
Let q = 0.1 - 1.1. Suppose 0 = -b - 3, 7*k - 4*k = -b - 36. Which is smaller: q or k?
k
Suppose -2*x + 54 = 3*n, -5*n - 4*x = -6*x - 90. Is n less than 18?
False
Suppose -4*s - s = -45. Let w be 45/(-12) - s/(-12). Let b = -10 + 6. Which is bigger: b or w?
w
Let l = -528 - -11086/21. Which is smaller: l or -1?
-1
Suppose 0*a + 4*l - 16 = 2*a, -2*a - 10 = -2*l. Suppose -w + 11 + 7 = 0. Let m be (-4)/w + (-6)/(-27). Which is bigger: m or a?
m
Let h(c) = c**3 + c**2 + 2*c + 1. Suppose m - 3*m - 12 = -5*a, -5*m + a = 7. Let u be h(m). Suppose 0 = 6*t - 2*t. Is t less than u?
False
Let x(w) = -w**2 + 9*w - 7. Suppose -n - 2*n = -24. Let g be x(n). Which is bigger: -2/5 or g?
g
Let l(a) = 10*a + 8*a**2 - 5*a**3 + 6*a**3 - 3*a - 4. Let p be l(-7). Let d = p - -2. Is d less than 2/3?
True
Let b be (-40)/(-16)*(-6)/5. Which is smaller: b or -4?
-4
Let d(v) = -4 - 4 + 3*v**2 - 2*v**2 - 4*v. Let p be (1 - 0)*-1 + 7. Let o be d(p). Which is greater: o or 2/3?
o
Let p(h) = h + 7. Let b = 4 + -9. Let a be p(b). Suppose -4 = -4*i + a*i. Is 3 != i?
True
Let p(l) = -l + 2. Let f be p(3). Let v(c) = -c**3 - c - 4. Let x be v(0). Let k = -38/9 - x. Do k and f have the same value?
False
Let f be 2 - (0 - 0)/3. Suppose -14 = -4*n + f. Let y be ((-1)/n)/((-7)/21). Which is smaller: 2 or y?
y
Let m = -0.1 + -0.1. Let d = m - -0.2. Let g = 0.1 + d. Is g > -0.2?
True
Let r = 10 + -10. Suppose r*k = -k. Let q be 1/2 + (-14)/24. Is q greater than k?
False
Let g = -3/2 + 2. Is 0 <= g?
True
Let o be -1 - (-4)/44*9. Let a be ((-2)/(-6))/(1/(-3)). Is o less than a?
False
Let p = 3711036 + -18625147/5. Let r = p + 14069. Let c = r + -76. Are c and 0.1 nonequal?
True
Let u be 1/(0 + 3 - 4). Suppose 4*p = 0, -3*y - 2*p = y. Which is smaller: y or u?
u
Let c be 11/(-4) - 2/(-2). Let w = -47.9 - -48. Which is greater: c or w?
w
Let c = -25348/7 + 21562/7. Let t = -540 - c. Is 1 at most t?
False
Let l = -6 + 6. Suppose l = 3*w + 10 + 5. Let v be 2/w + (-15)/(-100). Are 1 and v nonequal?
True
Let f be ((-11)/(-3))/(0 - 1/(-6)). Suppose 0*r + 115 = 5*r. Is r at least f?
True
Let p = -10 + 9. Let d = 2 - p. Which is smaller: -0.1 or d?
-0.1
Suppose -3 = 4*u - u. Let d(i) = -i**3 + i**2 - i - 1. Let m(t) = 6*t**3 + t**2 - t + 11. Let v(h) = u*m(h) - 5*d(h). Let g be v(-7). Are 3/2 and g equal?
False
Let p = 3/215 - -137/5590. Does p = 1?
False
Let f = -8 - -21. Suppose 5 - f = -2*n. Suppose -2*v = -v - 3. Which is smaller: n or v?
v
Let b = -0.4 + -0.4. Let u = b - -0.7. Is u at least as big as 3?
False
Suppose 0 = -5*b + 4*i - 13, 3*b + 2*i = 3*i - 5. Let m be 0/(1/((-1)/(-1))). Which is bigger: m or b?
m
Suppose -10*i + 40 = -5*i. Which is smaller: i or -1?
-1
Suppose 6*y - 4*y = 6. Are 3 and y unequal?
False
Let o(d) be the second derivative of -d**4/12 + d**3 + 5*d**2 + 2*d. Let a be o(7). Let q = a - 2. Which is smaller: q or -2/15?
-2/15
Let o = 133451/198 - 674. Which is smaller: o or 1?
o
Let m = -20 - -18. Let p = -3 - -7. Let r = m + p. Are r and 0 nonequal?
True
Let p(f) = f - 6. Let i be p(10). Suppose -2*k + i = -4*s, 4*k - 8 = s - 0. Is k >= 3/4?
True
Let z be 0 - 12/(-4) - -2. Suppose 5*w = 2*u - 5 - 0, z*w + 5 = -u. Does 5/11 = w?
False
Let o = -0.14 + 0.18. Is o <= 0.1?
True
Let q = -9.451 + 0.051. Let c = 7 + q. Let t = c + 0.4. Which is smaller: -0.2 or t?
t
Let j = -4 + 1. Suppose -4*x - 3*v = 20, -2*v - 3*v = 2*x + 24. Let l be (2 + 4)/(3/x). Which is bigger: l or j?
j
Let w = -364405904681/904976 + -56343781/5552. Let f = -412815 - w. Let u = 2/163 - f. Do -2 and u have different values?
True
Let z be (3/(-5))/(-2*7/70). Which is greater: 0 or z?
z
Let s = -24.48 + 25. Let m = s + 0.08. Is -2 bigger than m?
False
Suppose -3*q - 4*q = 0. Is 2/3 at least as big as q?
True
Let x(f) = -f**3 + 5*f**2 + 2. Let h be x(5). Suppose 0 = -2*w - 2*q + 20, -w + 5*q = h + 12. Is w < 5?
False
Let k = 19 - 37/2. Let g = k - 0. Let w = -0.2 + 0.1. Do w and g have different values?
True
Suppose -5*u = -30 - 15. Let o = 13 + -5. Which is smaller: o or u?
o
Let t be (174/36)/((-2)/(-6)). Let c be ((-90)/4)/3*2. Let m = c + t. Which is smaller: -1 or m?
-1
Let d(m) = -m**3 + 16*m**2 - 15*m + 7. Let u be d(15). Let y = -8 + u. Does y = 4?
False
Let p(x) be the first derivative of -x**4/4 + x**3 + 2*x**2 + 3. Let r be p(4). Is r less than or equal to -2/9?
False
Suppose 3*r - 3*q = 0, -5*q + 10*q - 4 = r. Which is greater: r or 4/9?
r
Suppose l = -1 + 6. Let m be (18/(-7))/((-3)/21). Suppose 3*j + 14 = -2*u + 6*j, l*j - m = -2*u. Is u >= -2?
True
Let x = 3 + -5. Let j = 0