Which is smaller: t or -3?
-3
Let c be (16/(-12))/(12/(-45)). Suppose 5*x = 3*u - 4 - 0, c*x = 5*u - 10. Is x < 3/11?
False
Let p(v) = v**2 - 4*v. Let c be p(4). Which is bigger: -1 or c?
c
Let t be (-1230)/(-310) + 4*-1. Which is smaller: t or 1?
t
Suppose 0 = -m + 2*k + 19, -k + 5*k - 39 = -5*m. Let t = m + -7. Let q(z) = -z**3 - 5*z**2 + 4. Let g be q(-5). Is g less than or equal to t?
True
Suppose 0 = z + i + 14, i = -4*z - 2*i - 51. Let x be (21/(-3) - 2) + 1. Is z <= x?
True
Let d(j) = j - 1. Let s be d(4). Suppose -1 = s*n - 2*l, -2 - 3 = 3*n + 2*l. Let k be (-48)/(-70) + (-4)/10. Which is smaller: k or n?
n
Suppose 0*j = i - 5*j + 15, 0 = 3*j - 12. Let l be 30/10 - 26/2. Let t be (-4)/(-6) - l/3. Is i < t?
False
Let v be 1312/20 + 2/5. Let c = v - 55/2. Let y = c - 535/14. Which is smaller: y or 0?
0
Let l(i) = i**2 - 5*i + 2. Let c be l(4). Which is bigger: 8 or c?
8
Let q be (-1)/(-1) - (-2)/(-2). Let r = 76 - 75. Which is smaller: r or q?
q
Suppose t = a - 0*a - 1, -4*a - 1 = t. Which is greater: t or -2/51?
-2/51
Let y(d) = d**2 + 8*d + 1. Let o be y(0). Let l = -3 + 2. Which is bigger: l or o?
o
Let v(i) = -i - 3. Let n be v(-3). Is 1/26 greater than n?
True
Let s be 385/(-2)*(-15)/100. Let t = s + -6715/232. Is 1 > t?
True
Let w = -0.9 - 4.1. Let b = w + 6. Does 2/11 = b?
False
Let j(u) be the first derivative of -3 + 2*u - 1/4*u**4 + 1/2*u**2 + 1/3*u**3. Let g be j(0). Is g >= 1?
True
Let o be 2/6 + (-87)/(-9). Let u be (-2)/o - 21/20. Is -1 at least as big as u?
True
Let v = 13/909 - 17341/47268. Let f = v - -7/26. Which is bigger: 0 or f?
0
Let r = 12 - 8. Let w(u) = -u**2 + 13*u - 8. Let g be w(12). Suppose 4*b - 5*q + 12 = -g*q, 0 = -r*b - 5*q + 12. Is b < -2?
False
Suppose -5*h = 4*l - 0 + 5, 4*h - l + 25 = 0. Is -17/3 smaller than h?
True
Suppose 0 = -0*w - 5*w. Suppose -6 = -2*r - 2. Which is greater: r or w?
r
Let t be (-1)/((-6)/4 + 1). Let u be t/(-3) + (-10)/3. Let k = -4 - u. Is k < 1/4?
True
Let w be ((-2 - -3) + -2)*-7. Let f(m) = -m**2 + 6*m + 6. Let z be f(w). Let y(s) = s**2 + 8*s + 7. Let n be y(-7). Is z >= n?
False
Suppose -63 = -8*w + 5*w. Which is smaller: w or 0.2?
0.2
Let h(f) = f**2 - 2*f - 7. Let k be h(5). Let q = 17/2 - k. Let x be 3/(-30)*8/2. Does x = q?
False
Suppose 3*n + 2*n = -30. Let f be (-2)/9 - 2/n. Suppose 2*g - 1 = -16*z + 15*z, -5*z - 7 = -2*g. Which is bigger: f or g?
g
Let v(w) = 26*w**3 - 2*w**2 + 3*w - 1. Let j be v(1). Do 25 and j have the same value?
False
Let p = -190690 - -2094578/11. Let x = p - -274. Which is bigger: x or 0?
x
Let t = -20 - -19.95. Let z = t - 0.05. Is -5/7 bigger than z?
False
Let g = 8 - 0. Let c(j) = -2*j + 8. Let q be c(g). Is q not equal to -7?
True
Let m = 4.93 - 5. Let l = -0.041 - -0.311. Let j = m + l. Which is bigger: -2 or j?
j
Let r(t) = -t**2 - 9*t + 13. Let c be r(-9). Is c less than 13?
False
Let u = -1.1 - -0.1. Let v = 0.03 + -0.03. Let w = v + u. Are -2/9 and w non-equal?
True
Let b(f) = -f**3 + 4*f**2 - 2*f + 1. Let c be b(3). Let p(a) = -a**3 + 4*a**2 + 3*a - 4. Let q be p(c). Do q and 8 have the same value?
True
Let j be -3 - 7/(406/(-162)). Is j equal to 1?
False
Let f = 10071 + -241739/24. Let a = 6607/8 + -827. Let l = f - a. Which is bigger: 1/4 or l?
1/4
Suppose -5*q + u = 52, 2*q + 24 = -u + 3*u. Let b be 4/q + (-4)/(-10). Let m = b - -1. Which is bigger: -1/12 or m?
m
Let q = 6 + -6.05. Let k = 0.05 - q. Let f = 404/9 - 45. Which is bigger: k or f?
k
Let w(r) = r**2 + 10*r - 12. Let j be w(-11). Let z be 1 - j - 21/6. Is z at most as big as -2?
False
Let q = 18 + -19. Let z = -1.9 + 2. Is z less than or equal to q?
False
Let o = -0.2 + 0.3. Is 19 greater than o?
True
Let y = -5 + 6. Suppose -4*v - y = -5. Does v = 2?
False
Let a = -9210 - -3214288/349. Is -1 at most a?
True
Let k be -1 + 0 - 19/13 - -2. Is 1 not equal to k?
True
Suppose z + 0*v + 7 = -3*v, 9 = -3*v. Is -5 at most z?
True
Let c = -15 - -24. Let h be c/4 - (-4)/(-16). Which is smaller: 1 or h?
1
Suppose -2*j - 52 = 2*w - 8, 4*w - 32 = 2*j. Let t = -20 - j. Let x be 2 - (-2)/36*-35. Which is bigger: t or x?
x
Suppose 5*c = -3*g + 2*g - 100, -2*c = -g + 33. Is c > -18?
False
Suppose 7*v - 3*v = 40. Let s be v + 0 + -2 + -1. Are 0 and s unequal?
True
Let x(f) = f + 6. Let m be x(-6). Let k = 461/756 + -15/28. Is m equal to k?
False
Let c = 20/9 - 226/99. Is 0 < c?
False
Let q = -7.052 + 0.052. Are q and -2/3 unequal?
True
Suppose 2 = -x + 2*x. Suppose 2 + 0 = 2*u + 2*s, -2*u + 4*s + 2 = 0. Suppose u = 3*b - x*b. Which is smaller: -1/6 or b?
-1/6
Let f = 8.5 + -0.5. Let c = f - 8.1. Which is smaller: c or 0.02?
c
Let r = -0.09 + -0.33. Let u = -0.08 + r. Are u and 1/4 equal?
False
Let z = -11 - -7. Let d = 4 + -8. Let t = z - d. Which is smaller: t or 1?
t
Suppose -84 = 2*a - c, 4*a + 5*c + 180 = -a. Is a smaller than -38?
True
Let u = -18 - -21. Which is bigger: 0 or u?
u
Let f be (-2)/7 + 12/42. Let p be 0 - (-6)/56*2. Which is smaller: p or f?
f
Let k be 60/(-152)*(-72)/(-15). Let t = k - -790/437. Which is smaller: 1 or t?
t
Let o = 6 + -4. Let r = 4.99 - 4.8. Let i = r + 0.01. Which is smaller: i or o?
i
Let a = 4.754 - -0.046. Let p = a - -0.2. Let f = p + -2. Which is bigger: 0 or f?
f
Let t be (1 + 9/(-6))*(8 + -6). Which is smaller: 28 or t?
t
Let h = -12 - -14. Suppose -1 = h*m - 5. Which is bigger: m or 0?
m
Suppose 0 = 4*j - 2 - 2. Let d(y) = -y**3 - 6*y**2 - 9*y - 3. Let q be d(-4). Let i be (j - (0 + q))/(-2). Is i less than 4/5?
True
Let h = 39 - 41.9. Let t = h - -0.9. Which is greater: -0.4 or t?
-0.4
Let y(g) = g**3 + 8*g**2 - 10*g - 2. Let z be y(-9). Suppose 0 = 3*c - 7*c - a + z, -c = 4*a + 2. Is c at most as big as 3?
True
Let u = 9 + -20. Let b = 2 + u. Is b smaller than 2/3?
True
Suppose 4*u = 2*u + 8. Suppose 0 = -2*i + 5*q - 27, -u*i + 30 = 5*q + 9. Which is smaller: -3 or i?
-3
Suppose 0 = -2*s + 3*s + 1. Let v be 46/50 - 2/2. Is s smaller than v?
True
Let n(j) = -j**2 - 4*j + 3. Suppose 6 = -4*t - 10. Let k be n(t). Is k < 3?
False
Let s = 17 - 8. Let m be (1*s/(-3))/(-5). Does m = 0?
False
Suppose -5*w = 0, -d + 3*d - 4 = -2*w. Is d less than 2?
False
Let o = 598/5 - 120. Let q(u) = u**3 - 9*u**2 + u - 9. Let h be q(9). Let g be 3/(12/(-4)) - h. Does o = g?
False
Let z = -120/217 + 27845/1302. Let q = z - 58/3. Is q >= 1?
True
Suppose -2*w = 4*s - 7*w + 14, 3*s = -w - 1. Let f = 0 - s. Which is bigger: f or 1/7?
f
Let m = 21 + -25. Is -3 != m?
True
Suppose 5*s = -8*u + 6*u - 16, 3*s + 9 = -u. Is u at least -16/9?
False
Let m = 4 - 3. Let g(j) = -j**3 - j**2 - j + 1. Let n(i) = -3*i**3 - 4*i**2 - 5*i + 4. Let a(w) = -4*g(w) + n(w). Let s be a(m). Is s less than or equal to -1?
False
Let y = -45036248/165 - -272945. Let s = y - -28/15. Which is smaller: s or 1?
s
Let w be 8/10 - (-7)/35. Let y(m) = m**2 + 2*m - 5. Let a be y(-5). Let r be (-3)/36*a*w. Is r < -2/3?
True
Let y = 0.6 + -0.1. Let h = 0.5 + y. Let g = -2 + h. Is -2 at least as big as g?
False
Let p(b) = -b**3 + b**2 + 7*b - 1. Let h be p(3). Which is smaller: h or 0?
0
Let n be 246/30 + (-2)/2. Let w = n - 267/35. Let p = -0.3 + 0.3. Which is smaller: w or p?
w
Let p(r) = r**2 - 11*r - 16. Let y be p(12). Which is smaller: y or 0?
y
Let i be (8/620)/(4/(-20)). Which is greater: 0 or i?
0
Let n = -701/2 - -339. Is -12 equal to n?
False
Let d be (-2)/(-2 + 0 + 4). Let k be 19/5 - 2/(-10). Let n be 1/k - 10/8. Is n > d?
False
Let p = 13 + -17. Let r be ((-6)/5)/(4/10). Is r > p?
True
Let p(n) be the second derivative of -n**4/12 + 2*n. Let l be p(1). Let c = -8.8 + 9. Is c <= l?
False
Let h = 3 + -2. Let n = 1 - h. Is -2 <= n?
True
Let x be (-1)/(-1*(-3)/(-6)). Suppose 2*w = -3*c + 4*c - 8, -x*w = 10. Let s be c*(9/6)/1. Which is smaller: s or -2?
s
Suppose -5*y - 4 = 5*t + 11, -y = -3*t - 29. Let x be 1 + -2*1 + 3. Suppose -3*l - x = 19. Is t at least as big as l?
False
Let k(d) = -d**2 + 5*d + 2. Let g be k(6). Are g and -2 equal?
False
Let p(m) = 2*m + 3. Let f be p(-1). Which is greater: -9/26 or f?
f
Let p = -12 - -38. Let m be (-2)/(-11) - p/22. Which is smaller: m or 1/3?
m
Let g = -0.001 + 0.301. Which is smaller: g or -1/2?
-1/2
Let s = -181/2 - -88. Let k = -17 - -12. Let c = k - -2. Which is smaller: s or c?
c
Let p = -7.18 + 0.18. Which is smaller: p or 2?
p
Let y be (-16