
True
Let k(s) = -s**3 + 3. Let z be k(0). Let v(t) = -t - 7. Let o be v(-7). Suppose o = 3*c - 7 + 1. Which is smaller: z or c?
c
Suppose -4 - 6 = -5*w. Suppose 51 = 4*v - 21. Let l be (-6)/(-27) - (-8)/v. Which is smaller: w or l?
l
Let w be 6/(-4) + (-10)/(-5). Let k = 7 + 8. Let i be 1/3 - (-25)/k. Does i = w?
False
Suppose -v + d + 8 = v, 2*v = -4*d + 18. Suppose -v = -t + 7. Is 12 equal to t?
True
Let u(g) = -3*g + 3. Let j be u(2). Let c be (6/(-4))/((-9)/(-12)). Which is greater: j or c?
c
Suppose 0 = -3*c + 24 - 9. Let f be 4/(4 + (-9)/3). Is c greater than or equal to f?
True
Suppose 0 = -3*r + 2*q + 196, -2*r = 2*q - 56 - 78. Let t be (-6)/(-3) + r/(-27). Is t > 1?
False
Let t(c) = 8*c**2 - 2*c - 1. Let z be t(-1). Let g = -3 + z. Let l = -5 + g. Is 1 at most l?
True
Let j(v) = -1 - 2 - 4 + v + v. Let f be j(7). Let r be (-6)/f*(-3 + 4). Which is smaller: -1 or r?
-1
Let p = 8.3 - 8. Let g = -0.7 - p. Is g equal to -7?
False
Let w be 2/4*0/(-5). Let n(p) = -p**2 + 3*p - 3. Let o be n(2). Let g = o + w. Which is greater: g or 2/5?
2/5
Let p = -25 - -16. Which is smaller: p or 0.2?
p
Suppose -2*i + 15 = -5*r, 0*r + 3*i = -3*r - 9. Let t be 345/(-27) - (-2)/(-9). Let p = t + 53/4. Are p and r non-equal?
True
Let m = 6.05 + -6. Let f = m + 3.95. Which is greater: f or 1?
f
Let h = 12 - 6. Do 6 and h have the same value?
True
Let q = 19/30 + -2/15. Let p be (-1)/3 + 13/3. Suppose p*s = s. Which is greater: q or s?
q
Let k = -236/105 - -23/15. Which is smaller: -1 or k?
-1
Let u(w) be the second derivative of w**3/6 + 5*w**2 + 4*w. Let c be u(-7). Are c and 3/2 unequal?
True
Let d be 33/12 - 3 - 738/24. Is -31 less than or equal to d?
True
Let s = -36 + 12. Let w be (-2)/(-6) - (-8)/s. Which is smaller: w or 1/3?
w
Suppose 0 = -4*x - x + 20. Suppose 6*g - g = -w + 12, 5*w + 27 = x*g. Suppose -10 = -5*b + g*b. Is b greater than 4?
True
Suppose 6*k = 2*k - 36. Which is smaller: k or -10?
-10
Let t be 3/(-19)*26/39. Is t <= 1?
True
Let i = 10 + -6. Suppose 17 = i*j + 5. Is j greater than or equal to 3?
True
Let i(j) = j**2 - 5*j + 4. Let m be i(5). Suppose -m*b = b - 10. Which is bigger: b or 0?
b
Suppose -12 = -3*t - 3. Suppose -3*b + 0*j + 3*j - 3 = 0, 0 = t*j + 3. Is b >= -3/4?
False
Let i be 1 + -1 + 1*2. Let y be 66/12 - 3/2. Suppose 19 = 3*s - y*g, -2*g = 3*s + 2*g + 13. Is s not equal to i?
True
Let c(q) = q**2 + 8*q + 3. Let j be c(-8). Suppose -t - j*t = 4. Let n be (-6)/5 - (-2)/10. Does t = n?
True
Suppose -6*z + 5*z = -1. Let b = -232/1125 - 2/125. Which is bigger: b or z?
z
Let b = 137 + -135. Is 0.3 greater than b?
False
Let l = 9.4 - 10. Let r = l - -9.6. Let u = 8.9 - r. Is u less than -2/7?
False
Let d be (-35)/(-45) + 2/9. Let p be (-3)/(-9)*0 - d. Let v be (1 - -1)*2/34. Is v greater than p?
True
Let g = 4 - 7. Let y be 252/(-66) - (-4)/(-22). Which is greater: g or y?
g
Let v = 176/377 + -18/29. Let x = -4 + 4.4. Let y = x - 0.3. Is v greater than y?
False
Let y be 6*(1 - 1 - -1). Let u = y - 1. Suppose 0 = -u*m + 3*z + 10, -m - 4*z - 25 = 4*m. Which is greater: 1/7 or m?
1/7
Let q(h) = h**3 + 12*h**2 - 2*h + 3. Let o be q(-12). Suppose 2*j - o = 3. Do 15 and j have different values?
False
Let v be (1/(-3))/(2/30). Let r be v/20 - (-18)/8. Let x be r + (-3 - 8/(-14)). Which is smaller: 1 or x?
x
Let p = -0.49 - -0.4. Which is greater: 1 or p?
1
Let b = 7 + -9. Is 1 <= b?
False
Let u = 10 + -17. Let c = -3 - u. Is 4 at most as big as c?
True
Let m be 2/(6/(-7)) + 3. Is 0.01 not equal to m?
True
Let n = -22 - -11. Are n and -0.1 unequal?
True
Suppose -h + 3*h + 16 = -4*g, 3*h - 4*g - 26 = 0. Suppose h*m - 2 = -4*w, -27 = -5*w + 4*m - 5. Let z be 4/(-8)*4/w. Which is smaller: z or 1/9?
z
Let b = 463.03 + -461. Let z = -6.97 + 7. Let j = z - b. Is j <= 1?
True
Suppose 0 = 9*k - 7*k - 12. Is 3 at least k?
False
Let y = 0 - 1. Let i(u) be the first derivative of u**2/2 + 5*u - 1. Let o be i(-7). Which is greater: y or o?
y
Let s be -3 + 2/1 + 2 - 3. Does s = -13/4?
False
Let w = 3.6 - 0.6. Let q = -2.9 + w. Let v = -115/12 + 28/3. Which is smaller: q or v?
v
Let a be (-1 + (-2)/(-4))/2. Do a and 0 have the same value?
False
Let a be (-5)/2*(-18)/15. Let u = a + -2. Are 1 and u unequal?
False
Let p = -1562 - -1562. Let j = 2.5 + -0.5. Let t = j + -3. Which is smaller: p or t?
t
Let x(f) = f + 6. Let r(s) = s**2 - 8*s - 5. Let v be r(8). Let h be x(v). Let d(t) = -t + 2. Let j be d(1). Is h < j?
False
Suppose 5*x = -x - 126. Do -0.1 and x have different values?
True
Suppose -2*c - 4*y - 12 = 0, -5*c = -0*c + y - 15. Suppose -c*r = 2*k - 10, -9 = -k - 0*r - 4*r. Let w = -1/58 - 107/522. Which is bigger: w or k?
k
Let u(p) be the first derivative of -p**3/3 - 5*p**2/2 - 3*p - 7. Let i be u(-4). Which is smaller: -4/11 or i?
-4/11
Let l = -0.4 - 0.1. Which is smaller: l or -1?
-1
Suppose 2*c + 3*b + 4 = -1, 19 = 2*c - 5*b. Suppose 4*m + 14 = c*m. Are -5 and m equal?
False
Suppose -2*q - q = 6. Is -10 less than q?
True
Let l = 131.6 + -131. Do l and -4 have the same value?
False
Let j = 10 + -2. Suppose j = 3*n - 5*k - 11, -n + 4*k = -18. Is -1/2 less than or equal to n?
False
Let v be (1/1)/(1/(-3)). Let o = v + 2. Let g be ((-8)/(-50))/(22/(-55)). Which is smaller: o or g?
o
Let b(l) = l**3 - 5*l**2 + 3*l - 3. Let x be b(5). Suppose 0 = 2*h + 2 + x. Which is smaller: -1 or h?
h
Let o(i) = 3*i. Let w be o(-1). Let u(v) = -5*v - 1 + 7 + 5 + 2*v. Let d be u(5). Does d = w?
False
Let z(m) = m**2 - 11*m + 13. Let k be z(9). Is k > -5?
False
Let z(o) = -2*o - 6. Let x be z(-4). Let c be (x + -4)*(-1)/(-32). Suppose 10 = -i - 3*n, 5*n = i - 2 - 12. Which is smaller: i or c?
i
Suppose -2*c = -5*j - 21, -3*c + j + 21 = -3*j. Suppose -13 - 5 = -c*i. Let s = i - 6. Which is bigger: s or 1/5?
1/5
Let r be 2/(-6) - (1 - 68/(-12)). Which is bigger: r or -10?
r
Let g be -1 - (1 - (0 + 0)). Let k(s) = -4*s - 1. Let y(d) = 5*d + 2. Let a(r) = 6*k(r) + 5*y(r). Let z be a(-6). Is z <= g?
True
Let b = -0.9 - -4.9. Are 3 and b non-equal?
True
Let w(s) = -s**3 - 9*s**2 - 3*s - 7. Let g be w(-9). Let l be (48/g)/(-1) - -2. Is 0 at least l?
True
Suppose -1 = -3*w + 5. Let z be 6*((-2)/(-1) - 1). Suppose -c = 4*f - z, -5*f = -w*c - 0*c - 1. Is c equal to 1?
False
Let v be (-6)/39 - (3 - 3). Which is bigger: -1 or v?
v
Let w be (-77)/126 + (-1)/2. Is w >= -2?
True
Let k = 9 + 2. Let r = -54/5 + k. Which is smaller: r or 0.3?
r
Let w be (-371)/35 + 1/(1/2). Which is smaller: -8 or w?
w
Let f = 6 + 0. Suppose 0 = -5*p + 2*p - f. Let m = -8 - -5. Is p at least as big as m?
True
Let g = -21 + 14. Is -7 < g?
False
Let h be (21 - 0)*(-12)/(-9). Suppose 3*z - h = -c, -4*c + 22 = 2*z - 0*z. Let w be 8/(-6)*z/(-2). Is 6 != w?
False
Let f(l) be the second derivative of l**3/6 + 3*l**2/2 - l. Let a(r) = r**2 + 7*r - 11. Let k be a(-8). Let m be f(k). Is 1/16 greater than or equal to m?
True
Let f(y) = -y**3 + 4*y**2 + 5*y - 1. Let k be f(5). Are 5/31 and k nonequal?
True
Suppose -3*r = r. Let v be (2/7)/(34/(-85)). Which is smaller: r or v?
v
Let h = 0.1 + -5.1. Let o(p) = 2*p**3 - 10*p**2 - 11*p - 5. Let q be o(6). Which is greater: q or h?
q
Let r(d) = -d + 1. Let l be r(-5). Suppose 5*k + 3*i = l*i, 3*i = -3*k + 24. Suppose b - k + 7 = 0. Which is smaller: -3 or b?
b
Let b be -2*1 + 27/18. Let r = -2 + 1.7. Is r greater than or equal to b?
True
Let f(w) = -31*w**2 + 3*w - 2. Let h be f(1). Is h != -30?
False
Let x(r) = -2*r - 1. Let d be x(2). Let f be 40/(-12) - (-4)/12. Are d and f equal?
False
Let w(m) = -6*m - 8. Let z be w(-2). Suppose -2*l + 57 = l. Suppose 2*q - 3*r = 3*q - l, 4*q = -2*r + 26. Are z and q equal?
True
Let m = 389 - 13613/35. Is 0 at most as big as m?
True
Suppose -5 = 2*w + 13. Let x = 6 + w. Let h = x + 3. Is 6/7 at least as big as h?
True
Let y be (-1)/(-1*(-1)/(-3)). Suppose -2*b + 6 = b, y = 3*f - 3*b. Let r(v) = -v**2 - 6*v - 2. Let w be r(-5). Is f bigger than w?
False
Let v = 14 + -14. Which is smaller: 3/11 or v?
v
Let z = -27 - -27.1. Which is smaller: -6 or z?
-6
Let z = 1.41 + 1.59. Let x be ((-1)/(-2))/(14/8). Which is bigger: x or z?
z
Let p be ((-6)/2)/((-3)/2). Let w be -4 + (2 + 0 - p). Which is greater: -1/2 or w?
-1/2
Let q = 6.1 - 0.1. Let v = q + -6.4. Which is greater: 1 or v?
1
Suppose 82 + 154 = 4*y. Let i = 237/4 