13. Let c be ((-1)/(-9))/(9/(-54)). Which is bigger: c or v?
v
Let m = -0.4 - -0.1. Suppose 36 = -4*u + 16*u. Which is smaller: u or m?
m
Let q(c) = -2*c + 7. Let u(f) = -f + 1. Let h(r) = q(r) - u(r). Let j be 4 - (1 - (3 - 1)). Let m be h(j). Is m != 2/7?
True
Suppose 4*t + 65 = -5*g, -3*t - 2*t = -3*g - 2. Let i be 4/g*2/12. Are -0.2 and i nonequal?
True
Let k be ((-2514)/(-837) + -3)*6. Which is bigger: k or -1?
k
Suppose 0 = -p - 5*m - 6 + 19, 2*p + 22 = 2*m. Let j(a) = -a + 9. Let k be j(p). Suppose -3*q + 4*y = -k, 3*q - 1 - 9 = -2*y. Which is smaller: 3 or q?
3
Let i(v) = v + 2. Let o be i(-3). Which is smaller: o or -3?
-3
Let s(t) = -t**2 + 16*t. Let j be s(16). Which is greater: 2/21 or j?
2/21
Let z = -18 + 19. Is z equal to 2/29?
False
Let n = 0.07 + -3.07. Let i = -9 - n. Let z = i + 4. Do 0.1 and z have the same value?
False
Suppose 2*z + 2*z = -2*x + 230, z = 3*x - 373. Let c = -617/5 + x. Let o(f) = f**3 - 6*f**2 - 1. Let s be o(6). Is s greater than c?
False
Let s(m) = m**2 - m - 1. Let g(a) = 4 + 8*a**2 + 5*a**3 - 5*a**3 - a + a**3. Let d(h) = g(h) - 2*s(h). Let t be d(-6). Which is smaller: t or 1/6?
t
Let q be 0 + 1058/642 - 2. Let c = q + 2/107. Let r be 20/(-21) + (-4)/(-6). Is r <= c?
False
Let z be 0*(-3 + 4) + -4. Let q be (-1)/3 + z/(-24). Which is greater: q or 0?
0
Let u = 1 + -0.9. Let h = u - 0. Let k = 0.06 - -0.04. Are h and k unequal?
False
Suppose -19 = 2*v + 5. Let h = v + 14. Is h smaller than 3?
True
Let s(b) = -5*b + 98. Let f be s(22). Is f at least as big as -21/2?
False
Let l be (-828)/135 + 7 + 4/30. Let t = -5 - -8. Which is smaller: l or t?
l
Let g = -127 + 1145/9. Is g smaller than -1?
False
Let u = 33 + -38. Let n = 0.97 + 0.03. Which is smaller: u or n?
u
Let r(t) = -t**3 - 6*t**2 + 12*t + 17. Let x be r(-7). Which is bigger: -16 or x?
-16
Let i = -86 + 86. Let k = 11/10 + 2/5. Let v = k + -9/4. Is v equal to i?
False
Let n = -1 + 0. Let u = 1 + n. Let l be 1 + -1 - (0 + 0). Do u and l have the same value?
True
Suppose -2*i + 8 + 18 = 0. Suppose -f = 5*t + 2*f - 77, -2*f - 5 = -t. Do i and t have the same value?
True
Let h(c) = c**2 + c + 1. Let i(p) = p**3 - p**2 - 3*p - 9. Let s(x) = -5*h(x) - i(x). Let j = -14 - -11. Let z be s(j). Is z at least 0?
True
Let a(u) = -u**2 + 15*u - 15. Let n(w) = -3*w**2 + 45*w - 46. Let d(y) = -8*a(y) + 3*n(y). Let t be d(13). Is 8 at most t?
True
Let d be (0 + 4/40)*6. Let x = 2 + 0. Which is greater: x or d?
x
Let g(h) = h - 4. Let o be g(0). Is o <= -4?
True
Let j = 13 + -20. Let q = -47 - -35. Let y = q - j. Is 0 at most as big as y?
False
Let s(r) = r - 3. Let t be s(0). Suppose -2*h + 16 = -3*d, 0*h + 5 = 5*d + 3*h. Which is greater: t or d?
d
Let i(c) = c**3 - 8*c**2 - 11*c + 13. Let j be i(9). Let f = -7 - j. Let k(y) = -y**2 - 5*y + 6. Let m be k(-6). Are m and f unequal?
True
Suppose -1 = -3*t + 14. Suppose 0 = -t*s + 1 + 24. Let i = s + -5. Which is smaller: -3/8 or i?
-3/8
Suppose -2*d = -2*x + 6, -2*d = -6*d + 3*x - 7. Suppose 4*m - 5*h = -23, 2*m - d*h = -10 - 0. Let j be m + (-4)/((-12)/7). Is 0 less than or equal to j?
True
Let o = -8 - -6. Let v = o + 2. Is 0.3 less than or equal to v?
False
Let j be -1 - 5 - (10 - 14). Which is greater: 1 or j?
1
Let c be (-53)/(-12) + 3/(-4). Let l = 4 - c. Which is bigger: 0 or l?
l
Let q = -71/2160 + -4/135. Are 0 and q equal?
False
Let l = -1.32 + 1.5. Let y = -8.82 - l. Let n = y + 6. Are 1 and n unequal?
True
Let g(a) = 2*a**3 - 5*a**2 - 15*a - 10. Let b(t) = -t**3 + 2*t**2 + 7*t + 5. Let j(z) = -13*b(z) - 6*g(z). Let s be j(-4). Is -18 at most s?
True
Suppose -4*v = 3*t - 22 + 5, 0 = -t - 5. Are 8 and v unequal?
False
Suppose 2*g + 2 = 2*d, -7*g - 6 = -4*g - 2*d. Is -4 less than or equal to g?
True
Let l be ((-2)/30)/((-4)/(-50)). Which is smaller: l or -1?
-1
Let f(m) = -m**3 + 3*m**2 - m. Let x be f(3). Let w(c) = -2*c - 1. Let u be w(x). Is u bigger than 9/2?
True
Let y(k) = -6*k**2 + 0*k - 1 + 4 + 6*k - k**3 - 4. Let o be y(-7). Which is bigger: 7 or o?
7
Let i(c) = -c + 4. Let v be i(6). Let u be (-2)/v*(-5 - 0). Let x = 5 - 8. Which is smaller: u or x?
u
Let z = 7 - 6.98. Let s = 0.02 - z. Is s equal to 3?
False
Let f(l) = 6*l + 4. Let b = 8 + -10. Let q be f(b). Suppose 3*x + 6 + 15 = 0. Which is smaller: x or q?
q
Let s be 103/4 + 1/4. Suppose -s = 3*v - 2*i + i, -3*i + 8 = -2*v. Is -11 less than v?
True
Suppose 0 = 4*v + 1 + 3. Let s = -119/4 - -30. Is v bigger than s?
False
Let d be (-93)/(-9)*(6 + 0). Is 62 less than d?
False
Let k = 2.9 + -3. Let t = 2.5 + -35.5. Let z = t - -33.3. Which is smaller: k or z?
k
Let t = -26 + 31. Let m = -39.2 + 34. Let g = m + t. Which is bigger: g or -2/5?
g
Let p = -2 + 3. Let a = p + -2. Let m be ((-8)/12)/(1/1). Which is smaller: m or a?
a
Let d be 24/18 + (-1)/3. Let q = 16 + -16.1. Which is smaller: q or d?
q
Let d = 2 - 1.8. Is 11 bigger than d?
True
Let l be ((-4)/(-6))/((-8)/492). Is -43 greater than l?
False
Suppose 0 = c + 2 - 1, -5*z - 3*c + 112 = 0. Is z greater than or equal to 23?
True
Suppose 4 = 3*w - 2*c + c, -3*w + 2*c = -8. Let v be 1 + (-20)/12 + w. Is 1 at least v?
True
Let v be 3/7 + (-6 - (-3654)/49). Is v > 69?
False
Let l be (-5)/(-20) + 15/4. Let o(q) = q**2 - 9*q + 2. Let j be o(9). Let k be 3*-2*j/l. Which is greater: 0.1 or k?
0.1
Let m = -131 - -121. Do m and -10 have the same value?
True
Let q be (-9)/(-75) - (-3 + 4). Let h = q - 187/100. Is -4 at most h?
True
Let d = -3 - -4. Let y = -6.5 - -11. Let m = 0.5 + y. Which is smaller: m or d?
d
Let s be (-1)/(-33) + 2/6. Does s = -1?
False
Let n = -13823/3 - -4568. Let m = n + 39. Is m smaller than 1/4?
True
Suppose 0 = 5*l, 5*c + 0*l = -l + 5. Which is bigger: 1/71 or c?
c
Let a = 8 - 17. Is a at least -2/5?
False
Let j = -10 - -20. Suppose 2*l + j = k, l + 2*k = 5*k - 10. Suppose -5*u - 1 = 3*c + 4, u - 2*c = -14. Is l at least as big as u?
True
Suppose -12*g = -17*g. Which is smaller: 3/7 or g?
g
Let g = 4 - -13. Let m = 16 - g. Which is smaller: m or 3/10?
m
Suppose -5*d + 20 = -4*s, 0 = -d + s - 0*s + 5. Let j be -1 - ((-5)/11)/1. Is j less than d?
True
Let s(j) = 2*j**2 + 2. Let c be s(2). Let n be c/(-8) - (-33)/(-44). Is -3 smaller than n?
True
Let h = 57 + -53.1. Let q = h + -4. Let f = 1.5 - -0.5. Is f less than q?
False
Let v = 112/9 - 110/9. Are 1 and v equal?
False
Let c = 22 + -16. Let p = c - 5. Which is smaller: -2/5 or p?
-2/5
Let r = -23 + 23.65. Let x = r - -0.05. Let u = x - -0.3. Is 2 != u?
True
Suppose t = -t - 8. Let d be (-20)/9 + t/(-18). Let m be 9 + -7 - (1 + d). Is 2 at least m?
False
Let u be 6/(-9)*9/25. Which is bigger: u or -1?
u
Let n be ((-2)/(-6))/(201/40 - 5). Is 12 at most as big as n?
True
Let t be ((-3 - -2) + 0)/1. Let w(o) be the second derivative of o**4/12 + o**3/2 + o**2/2 + 4*o. Let n be w(t). Which is bigger: -4/9 or n?
-4/9
Let g = 7 - 6.9. Let m = -4 + 8. Which is bigger: g or m?
m
Let m = 8 - 10. Let d(i) = -i**2 + 8*i - 2. Let r be d(6). Let z be r/(-4) - (-1)/m. Is -2 less than z?
False
Let i = 14 + -10. Suppose -7 = -i*o + 1. Is o >= 2/3?
True
Suppose 5*o = -3*o + 24. Do o and 5/3 have the same value?
False
Let g = 3 - 3. Let w = 997/2 - 469. Let x = w - 29. Which is greater: x or g?
x
Let r(u) = -5*u + 28. Let n be r(8). Suppose 9*x - 4*x = -50. Let z = x - n. Is z at least 0?
True
Let v be 2/(-8)*32/20. Is 1/2 at most as big as v?
False
Let t = -1.084 + 0.084. Let i = -0.2 + 0.1. Let n = i - -3.1. Which is smaller: n or t?
t
Let k(w) = -w**3 - 7*w**2 - 7*w - 4. Suppose -4*y - 30 = y. Let x be k(y). Let l = x + -2. Are 1/9 and l equal?
False
Let c = -6 + 16. Let v = -2 + c. Is -1 < v?
True
Suppose -26*q + 24*q = 84. Which is greater: q or -43?
q
Let o be 185/11 + 10/55. Let b = o - 12. Let k be 14/(-5) - 1/b. Is k greater than -3?
False
Let s = 12 + -4. Let l be -5 + s + (-10)/4. Let b = 2 + -1. Is l < b?
True
Let y = -41 - -21. Does -20 = y?
True
Let x(r) be the third derivative of r**4/8 - r**3/2 + 4*r**2. Let y be x(2). Which is smaller: y or 2?
2
Let f(s) = s**2 + 5*s - 3. Let u be f(-6). Suppose c = -u*c - 20. Is -6 less than c?
True
Suppose -5*i = -i + 192. Let a be (0 - 0) + i/(-36). Which is bigger: 0 or a?
a
Let x = -5.12 - -5. Let p = -0.22 - x. Is p greater than or equal to 6?
False
Suppose 0*g + l = -2*g + 55, -4*