(v) = c(v) + 3*m(v). Let n be k(-3). Is n less than 48?
False
Suppose -2 = 3*p + 1. Let d(o) = -o**2 + o + 1. Let k be d(p). Let u be k/(0/(-4) - 1). Is 2 equal to u?
False
Let g(v) = v + 16. Let h be (-16)/(-6)*(-483)/92. Let k be g(h). Which is smaller: k or -1?
-1
Let p(d) = d - 3*d**3 + 4*d**2 + 0*d + d**2 + 2*d**3. Let a be p(5). Suppose i = a*i. Which is smaller: 2/7 or i?
i
Suppose -3*g = 4*d - 24, 3*d - 3*g - 51 = -12. Suppose -8*l + d*l = -15. Is l less than or equal to -12?
True
Let g(c) = -c**3 - 21*c**2 + 20*c - 71. Let a be g(-22). Which is smaller: a or 3?
a
Suppose 3*l = 3*c - 90, l + 13 = 2*c - 19. Let y be (12/144)/((-2)/l). Is 0 > y?
False
Let l be 3/(-24) + (-369)/2808. Which is smaller: l or 1?
l
Suppose -o - 4*o - 75 = a, -2*o = -a - 68. Let w = 348/5 + a. Which is greater: -42 or w?
w
Let z be 6/(-2) + -3 + 6. Let f(l) = z*l + 2 - l + 17 - 3. Let x be f(9). Is x < 9?
True
Suppose 0 = 3*i + 3 - 27. Suppose 3*y = 2*s + 15 + 21, -5*y = -5*s - 80. Let u = s + 21. Which is smaller: i or u?
i
Suppose -z + 65 = -h - 56, -4 = -z. Let k be h/(-15) - 10/(-50). Which is greater: 10 or k?
10
Suppose -3 = 2*t + s, -3 + 6 = -3*t - 2*s. Let v = 4 + 0. Let r = v - 5. Which is smaller: r or t?
t
Let d = 21 + -12. Let m be (24/d)/((-14)/894). Let z = 170 + m. Is -0.2 at most as big as z?
False
Let i(u) = -u**2 + 3*u - 1. Let l be i(2). Let w = 7 + -6. Let a be 1/w - -1 - l. Is a equal to -4?
False
Let f(i) = i**2 + 5*i - 7. Suppose 2*p + 6 = p. Let s be f(p). Do s and -4/3 have the same value?
False
Let r(f) = -f**2 - 14*f + 13. Let p be r(-15). Let n(g) = -g**3 + 5*g**2 - 3*g - 2. Let h be n(4). Let c be h + p + (-11 - -6). Is -5 less than c?
False
Let m = 1.3 + -23.3. Let n = m + 19. Which is smaller: 0.3 or n?
n
Let d = 64.047 - 64. Let k = d - 0.037. Which is greater: k or 2/11?
2/11
Suppose -3*t + 24 = -t - 4*s, -3*t + 26 = -4*s. Let v be 0*(-4)/(-8*t). Do 3/16 and v have different values?
True
Let c = -14.89 - -14.8. Which is smaller: c or 11?
c
Suppose 0 = r - v - 6, 2*r - 3*v - 2 - 13 = 0. Let m be 2/(-8) - 35/(-28). Let j = m - r. Is -2/7 at least j?
True
Let i = 837 - 846. Is -3/28 > i?
True
Let h(f) = -f**3 - 6*f**2 + 26*f - 47. Let z be h(5). Which is smaller: z or -193?
-193
Suppose -45 = 4*g + 5*o, g + o = -2*g - 31. Let k = 8 - -3. Let z = g + k. Is z at least 1/9?
True
Suppose 0 = 11*y + 74 + 3. Which is smaller: 2 or y?
y
Let z be 1/(6/(5 - 11)). Which is bigger: z or -5?
z
Let l = -36.43 - -36. Let r = -0.33 - l. Is -2.7 < r?
True
Let k(c) = -5*c**2 - 215*c + 1. Let g be k(-43). Which is smaller: -5/82 or g?
-5/82
Let h = 25 + -20. Suppose -h*l + 25 - 15 = 0. Let y be (0 + (-2)/(-4))/(-2). Is y less than or equal to l?
True
Suppose 2*a - 5 = 11. Suppose -4*i - a = -0*i. Do i and 1 have the same value?
False
Let h = 60 - 58. Let s be 4 + (h - 132/28). Which is smaller: s or 2?
s
Let l = 13 - 0. Let k(c) = -c + 9. Let o be k(l). Suppose -2*q + 6 = -0*q. Is o at least as big as q?
False
Let q = 0.218 + 19.782. Is 0 at least q?
False
Let u be 3*(-4)/15 - (-22178)/(-65). Is -344 less than u?
True
Suppose -3*h = -12 - 30. Are h and 16 unequal?
True
Suppose -4*h + 242 = 7*h. Is 19 less than h?
True
Let l = 38.6 + -34. Let f = l + -2.6. Let s = 3 - 2.9. Which is smaller: f or s?
s
Let x(a) = a**2 + 10*a + 23. Let m be x(-7). Suppose 4*j + 0*p - 36 = -m*p, 3*p + 9 = j. Is j equal to 10?
False
Suppose -19*w + 4 = -15*w. Let h = -843 - -18543/22. Is h at most as big as w?
True
Let s be 3/(6*3/(-24)). Let k be s + 53*3/39. Which is smaller: 0 or k?
0
Let m = 3826 - 3836. Let t = 11 - 7. Which is bigger: m or t?
t
Suppose 0 = 2*o - 19*o + 1632. Is -3 >= o?
False
Let q(d) = d - 1. Let x(l) = -l + 8. Let h(m) = 6*q(m) + x(m). Let s be h(-1). Let z = 5 + -9. Is z at most s?
True
Let y(l) = l**2 + 5*l - 6. Let s be y(-6). Suppose 2*k + 0*k - 2 = s. Let g(p) = 4*p - 2. Let o be g(k). Which is smaller: o or -2?
-2
Let n be 2*((-6)/4)/(-1). Suppose 12 = 7*a - n*a. Are a and 0.05 nonequal?
True
Let n be (-97)/(-6) - (-1)/(-6). Let f(a) = 3*a + 11. Let y be f(-4). Which is smaller: n or y?
y
Let p(g) be the third derivative of g**6/120 - 17*g**5/60 + 7*g**4/12 + 6*g**3 + 33*g**2. Let z be p(16). Which is smaller: 22/7 or z?
22/7
Suppose 115*f - 60 = 112*f. Which is smaller: f or 21?
f
Let g be (-20)/(-20) + 0 + 1. Let o(f) = 0*f - 1 - 5*f + 4*f. Let w be o(1). Which is smaller: w or g?
w
Let o be 0/((-12)/(-4))*-1. Suppose o = -2*r - 8, -2*u - r + 23 = 1. Are 13 and u unequal?
False
Let i(s) = -s**2 + 2*s. Let z be i(3). Let t be (-3 - -4) + (z - 0). Is 0 less than or equal to t?
False
Let z be 1495/69*(-15)/(-25). Which is greater: z or -12?
z
Suppose -34 = -c - 17. Suppose c - 13 = -4*j. Which is bigger: 2/11 or j?
2/11
Let l = -14 + 19. Suppose 0*i = i - 2*n + 9, l*i = -n - 78. Let a be 9/(-16)*10/i. Which is smaller: 0 or a?
0
Let l = 459 + -345. Are l and 114 unequal?
False
Let g be 9249/9 - (3 - 1). Let h = 977 - g. Let c = -48 - h. Which is greater: 0 or c?
c
Let y = -19 - -36. Suppose 0 = -4*f + 5*r - 12 - 19, 0 = -2*f + r - y. Which is greater: -5 or f?
-5
Let t(v) = v - 2. Let l be t(4). Let f = -3.239 + -0.061. Let g = 6.3 + f. Which is greater: g or l?
g
Let v(h) = -5*h**3 + 2*h**2 + 4*h - 6. Let t be v(2). Is t less than or equal to -37?
False
Let q = -207955 + 10605377/51. Let l = -7444/153 - q. Let s = l + 42. Is s equal to 2/5?
False
Let m = 13.66 - -0.34. Let u = m - 7. Let j = -4 + u. Which is smaller: -0.1 or j?
-0.1
Let p = 25 + -25.22. Let q = 0.08 - p. Let o be 9/(-6)*(-3)/(-9). Is q < o?
False
Let q = 44.1 + 2.9. Let w = 46.9 - q. Is -1/6 at most as big as w?
True
Suppose -24*t + 120 = -5*m - 19*t, 3*m + t = -68. Let n be (11/3)/((-1)/6). Which is bigger: n or m?
n
Let v = -3 + -3. Let s be ((-2)/v)/((-11)/2). Suppose -7*j - 9 = 2*j. Which is greater: j or s?
s
Suppose -16 = -4*o, 4*y + 3*o + 14 = -2. Suppose 1475*m + 40 = 1467*m. Which is smaller: m or y?
y
Let j be (-6)/(-14) - 2/(-2). Let l be (-204 - 2) + 1 + -12 + 7. Let w = l + 211. Do j and w have the same value?
False
Let s be (-3 - 60/(-16))/((-15)/24). Suppose -5*t + 3*q + 32 = 0, -5*t - q = -3*q - 28. Suppose 5*h = -2*k - 20, -t*h - k = -6*h + 1. Is s less than h?
False
Suppose -2*y + 99 = -l, 5*l - 2*y + 201 = -302. Is -504/5 at least l?
True
Let b(c) be the third derivative of -c**6/120 - c**5/60 - c**4/12 + 5*c**3/6 - c**2. Let a be b(0). Suppose -6 - 6 = -2*o. Is a not equal to o?
True
Let j = -0.0094 - -1.8094. Which is greater: j or -2/13?
j
Let u be -3*-6*4/(-72). Let d = 8 + 6. Let t = d - 15.2. Which is bigger: t or u?
u
Suppose 1681*z + 1364 = 1692*z. Is z not equal to -4?
True
Let q be 2 + 343/(-30) + (-8)/48. Is q greater than -9?
False
Let a be (-396)/60 + (-6)/(-10). Let q be 3/a - (-75)/(-6). Suppose 2*j = 4*j + 28. Which is greater: j or q?
q
Suppose -64*a + 350 = -54*a. Which is smaller: 273/8 or a?
273/8
Suppose 0 = 3*y + r - 16, -4*y - 5*r = -17 + 3. Let t be (-49)/21*32/(-14). Is y <= t?
False
Suppose -166 = -4*p + y, -p = p - 3*y - 78. Suppose 38*j = p*j. Which is greater: 1/4 or j?
1/4
Suppose 2 = 2*n, -2*k = -5*n - 1132 - 165. Let m = 5215/8 - k. Let y = m - -23/8. Which is greater: 4 or y?
4
Suppose 2*d + 32 = -3*o - 71, -d = -o + 59. Is -52 smaller than d?
False
Suppose -m - 2*f = 15 - 3, 0 = f. Let p be (-2)/(-5) + (-13)/(-5). Let g be -3 - p/(m/16). Is g less than or equal to 2?
True
Suppose 5*r + 209 = 2409. Suppose -8*t = 2*t + r. Is t < 1?
True
Suppose 0 = -4*d + 8*d + 28. Let j be (3/(-42))/(2/d). Which is greater: -0.054 or j?
j
Suppose 4*v - f - 148 = -0*v, -5*v - 5*f = -210. Suppose n + 5*d + v = 4*n, d = -3*n + 14. Let b = -7 + n. Is -2 <= b?
True
Let r be ((-75)/3)/(-1) - 4. Suppose r = -n - 2*n. Is -7 at least n?
True
Let x(s) = 2*s + 0 + 0 + 4 - 7*s. Let h be x(1). Is -22 at most h?
True
Let i = -1414 + 32521/23. Which is smaller: i or -7?
-7
Let c be (-39)/(-8) - 2*4/(-64). Suppose 3*k + s - 3*s = -47, -c*s + 7 = k. Is k > -12?
False
Suppose 0*d + 4*n = 2*d + 26, -2*n + 41 = -5*d. Suppose -3*p + 8 = -4*b - 22, 3*p - 12 = b. Is b less than or equal to d?
False
Let k = 43021/39060 + -135/124. Are 1 and k equal?
False
Suppose 4*x - h = 42, x - 16 = h + 2*h. Let m(v) = -v**3 + 11*v**2 - 9*v - 9. Let w be m(x). Which is g