10*c + 4*c. Let a(q) be the second derivative of 5*q**3/6 + q**2 - 4*q. Let v be a(c). Which is bigger: v or -7?
-7
Let x be 3030/4*(-12)/(-75). Let m = x + -7818/65. Let u = -3 + 3. Which is greater: m or u?
m
Suppose 2*m + m = 4*m. Suppose m = 4*t + 4 - 0. Are t and -4 nonequal?
True
Let i(n) = n + 3. Let m be i(-3). Suppose m = -7*q - 3*q - 10. Are q and 1 unequal?
True
Let r = -538 + 548. Which is smaller: 69/8 or r?
69/8
Let c = -9 + 23. Let g = 899 + -899.3. Which is greater: g or c?
c
Let w be (-30)/4*(-6)/5. Suppose 4*n - 11 = w. Which is bigger: 22/5 or n?
n
Let g be 2 + (54/45)/(6/20). Suppose -g + 2 = -4*j. Is j less than -3/13?
False
Let t be (1 + 4)/(59/(-1239)). Which is smaller: t or -106?
-106
Let c be 2/(-8) + (-27)/36. Let t be (1 - c) + 3*(-10)/15. Which is smaller: t or 2/95?
t
Suppose -5*x - 25 = -u, 0*u - 20 = -5*u + 4*x. Which is smaller: u or -4/691?
-4/691
Suppose 5*y - 112 = y. Suppose -y = 3*a - 85. Suppose j = 4*p + 26, 4*j - 3*p + 24 - 102 = 0. Is a at least as big as j?
True
Let b = 10740/7 + -1538. Let q = 8 - 13. Which is smaller: b or q?
q
Suppose -j - 18 = -0*j - 5*q, -3*j + 3*q - 18 = 0. Which is bigger: j or 19?
19
Suppose -117 - 122 = -4*j + 5*u, -4*j + 2*u = -230. Suppose -5*f = 2*f - j. Let c = 23 - 16. Is f less than c?
False
Let v = 229 + -209.8. Let s = -19 + v. Which is smaller: 8 or s?
s
Let i = 5 + -87. Is i greater than or equal to -82?
True
Suppose 27 = 33*g - 6*g. Is g < -8/51?
False
Let b = 97/56 + -15/8. Let x = -6 - -7. Which is greater: b or x?
x
Let q = 2.484 + -1.245. Does q = 0?
False
Let h = 21 - 33. Let o = h + 11.3. Let i = -0.8 - o. Are -3 and i nonequal?
True
Let f be (-104)/(-6) + 161/(-69). Which is smaller: f or -5?
-5
Let l be (-12)/754 - (320/104)/(-20). Is l >= -1?
True
Let d = -66 + 78. Suppose d*w = 17*w + 70. Is -16 greater than or equal to w?
False
Let b be 1/(2/(-3 - -1)). Let i = 498/7 - 71. Is b bigger than i?
False
Let g be (26/(-6))/(-1*(-1)/16). Let t = 69 + g. Is t at least 0?
False
Let b be 2/(-9) + (-114)/(-27). Suppose -2*w - 28 = -3*g - g, b*w = -4*g + 40. Let c be (-9)/(-3) - 50/g. Which is smaller: -4 or c?
-4
Let n = 0.0482 + -0.1482. Is n bigger than -112?
True
Let w = -174 - -173.7. Is 1/2 >= w?
True
Let h = -129 + 68. Let w = h - -54. Do w and -2 have different values?
True
Let q be (-12)/(-16) - 261/420. Which is smaller: -1 or q?
-1
Suppose 8*o + 1578 = 290. Let i be o/6 + (-4)/(-8). Let r = 26 + i. Which is bigger: 0.3 or r?
0.3
Suppose -18*b + 19*b + 31 = 0. Which is bigger: -14 or b?
-14
Let p be (2/36)/((-316)/16). Which is smaller: p or -1?
-1
Suppose 5*w + 5 = i + w, 5*i - 3*w - 25 = 0. Let o be -2 - (1 + 1)/2. Let j = i + o. Which is greater: j or 1?
j
Let y = 7 + -1. Let p = 6.14 - y. Let n = -0.04 + p. Which is greater: n or 0?
n
Let r(t) = 14*t**2 + 11 - 4*t**3 + t - 4 + 3*t**3. Let p be r(14). Is 22 at least p?
True
Let f = -123 + 197. Is f bigger than 74?
False
Let h(n) = n**3. Suppose 2*r - 2 - 4 = 0. Let a = r - 3. Let v be h(a). Which is smaller: v or 2/17?
v
Let u = -1894444 - -32218525/17. Let s = -763 + u. Which is smaller: s or -0.1?
-0.1
Let d = 391 - 388. Which is smaller: d or -9/20?
-9/20
Suppose 6 = -5*l - 2*k, 55*k - 60*k = -l + 15. Which is smaller: -38/31 or l?
-38/31
Suppose -2*g + 5*d - 1 = 0, 4*g + 17 = -6*d + d. Let j be (g/(-5))/((-91)/(-65)). Is -1 less than or equal to j?
True
Let s(p) = -3*p**2 + 97*p - 46. Let o be s(32). Which is smaller: o or -11?
o
Let m be (-173)/(-3) - (105/3)/(-5). Is m bigger than 64?
True
Let k be (-4 + 10/3)*(0 + -72). Suppose -41*b + 37*b + k = 0. Do b and 11 have the same value?
False
Suppose -68 - 36 = -4*i. Suppose i = 2*s - 3*s. Let o be 264/(-10) - (13 - 335/25). Do s and o have the same value?
True
Let j be (-8)/20 - 2/((-20)/454). Is j not equal to 45?
False
Let h = 17 - 14. Suppose h = -3*l - 6. Let v be 1/((2 + l)/(-6)). Do 5 and v have the same value?
False
Let r = -913 + 11864/13. Is 1 at least r?
True
Let m = 0 - 0. Suppose 5*f - 20 = 0, 2*q + 46 = 4*f - 58. Let k be ((-21)/15 - -1)*(-55)/q. Which is bigger: k or m?
m
Let z be (12/12 - 1) + 14. Is 312/23 <= z?
True
Let b be ((-4)/1 - -3)/((-15)/(-505)). Which is bigger: -35 or b?
b
Suppose 2*y - 2*g - 42 = 0, g + 2 = -1. Suppose b + y = 4*b. Let i be b/21 - 88/406. Does 1 = i?
False
Let z be 5 - ((0 - 2) + -8). Is z > 14?
True
Let t = -5.202 + 6.202. Suppose 5*x + 50 = 2*c - 159, -5*x - 215 = -5*c. Which is smaller: t or x?
x
Suppose s + n = 6*s - 15, 2*s - 6 = 5*n. Suppose -4*g - s + 15 = 0. Let q = g + -7. Is q at most as big as 1/3?
True
Suppose 2*q = -5*t + 32, 3*q + 5*t = 4*q + 14. Suppose -31 = -z - 5*h, z + 1 = 2*h - 3. Let v = z - 1. Is q equal to v?
False
Let b(o) = o**2 - 25*o + 14. Let d be b(25). Let t(l) = -7*l - 26. Let u be t(-6). Is d at most as big as u?
True
Let h = -9 - -10. Let g be (-88)/(-288) - h/4. Is -1 at most g?
True
Suppose 3*b = h - 0*h + 12, 0 = 5*b + 2*h - 9. Let o = 0.1 + 0.2. Let m = o - 0.4. Which is greater: m or b?
b
Let r(b) = -2*b**3 + 27*b**2 + 14*b - 1. Let n be r(14). Which is greater: n or 3/10?
3/10
Let q(d) = -5 - 1 - 1 + 10*d**2 - 12*d + d**3. Let o be q(-11). Let g be 0 + (o + -1 - 4). Does 3/7 = g?
False
Let p = 3 + -3. Suppose -3*i + i + 2 = p. Let t be 2/(-6) + (-88)/(-66). Is t > i?
False
Suppose -c + 5*c + 10 = 2*i, 0 = -i + 5. Suppose 4*o + 7 - 3 = c. Do o and 5/4 have different values?
True
Let z = -10467 - -6730279/643. Is 1 less than z?
False
Let c = -2.8983 - 0.1017. Which is bigger: c or -3/31?
-3/31
Let v = -11.593 - 0.407. Is 2/3 greater than v?
True
Let s = -334 + 335. Are 2/351 and s equal?
False
Let u be ((-15)/(-4))/(15/320). Which is bigger: 79 or u?
u
Let d = -6927/8 + 865. Let n(s) = 4*s**2 + 5*s + 25. Let u(k) = -k**2 - 2*k - 8. Let v(o) = 2*n(o) + 7*u(o). Let m be v(5). Is d equal to m?
False
Let h(k) = -k**3. Suppose 0 = -o - 1. Let n be h(o). Is 2 > n?
True
Let p = 376.1 + -376. Are p and -29.6 equal?
False
Suppose 2*v = -0*v + 6. Suppose -k = -4*o + 2*k + 8, -9 = -3*o + v*k. Let f be -2 + (o - 1)/(-2). Which is greater: f or -1/49?
-1/49
Let l = -203 + 1823/9. Does l = 1?
False
Let n = -6 + 5.79. Let d = -0.09 + n. Let t = 9.4 - 9. Are d and t non-equal?
True
Let z be 2/(-256)*(-1)/6. Is z >= -1?
True
Let p be (-1)/((-3)/6)*-4. Suppose 7*o - 3*o = 68. Let q be (-1 + 2)*o/(-2). Is q at most as big as p?
True
Let r = -30 - -30. Let w(t) = t**3 + 2*t + 70. Let y be w(r). Which is smaller: y or 71?
y
Let y be (4/6)/(2/48). Let p(a) = a**2 - 3*a - 2. Let r be p(4). Suppose 4*i - 32 = r*i. Is i > y?
False
Let b = -0.13 + 0.13. Let v = b - -2.1. Let u = v - 2. Is u smaller than -0.02?
False
Suppose 24 = 2*x - x + 5*t, 0 = 3*t. Let c be (2/(-6))/((-4)/x). Let q be -3*2/3 + c. Which is bigger: 1/2 or q?
1/2
Let w be (-7)/24*(-3 + 0). Let r = 23 - -25. Let u = 50 - r. Is u bigger than w?
True
Let u = 4.59 + 0.01. Let z = u - -0.4. Which is smaller: z or 0.03?
0.03
Suppose 6*f + 3*n + 431 = 2*f, 427 = -4*f + n. Which is smaller: f or -106?
f
Suppose -4*l - 7 = 3*v + 15, 0 = 2*l + 3*v + 8. Let q = l - -5. Let p be 2/(-4) + 30/(-12). Which is bigger: p or q?
q
Let c be 2 + 6 - (-2 - -3). Suppose -2*g + 2*b - 14 = 0, 3*b = g + b + 7. Let u = g - -12. Is u >= c?
False
Let o = 7 + 11. Suppose 4*l = -12, l - 29 - o = -5*q. Suppose -2*p + 7*p = q. Is 1 greater than or equal to p?
False
Let p = 165 - 266. Is -5 >= p?
True
Let w = -959 + 957. Which is bigger: w or 5/47?
5/47
Let g(a) = a**3 - 9*a**2 + a - 6. Let u be g(9). Let h = 3 - u. Let y = 198 + -206. Which is bigger: y or h?
h
Let w = 0 - -0.3. Let n = -45 - -32. Let k = -11 - n. Is w <= k?
True
Let d = -5 - 0. Let l = -76 - 61. Let s = 139 + l. Is s < d?
False
Let l = -38 - -40. Suppose -g + 2 = l*g - 2*h, 0 = 5*g - 5*h. Which is smaller: g or 9?
g
Let j = 38.48134 + -0.07134. Let v = j - 0.41. Is -0.2 > v?
False
Let c be 2*1 + (-72)/33. Let j be 3/(-27) + 7/(105/5). Which is smaller: c or j?
c
Let m = -873 - -873.04. Is -12 smaller than m?
True
Let m be (-750)/114 - (-14 - -12). Which is smaller: -4 or m?
m
Let p be (6/2328 - 0)/(2/(-4)). Which is smaller: 1 or p?
p
Let r be 1 - -4*(-1 + -33). Let c be (3 + -1)*5/r. Let y(a) = -2*a**3 - a + 2. Let f be y(1). Is c != f?
True
Suppose 0 = -2*l - i - 94, -3*i = -4*i + 2. I