ller than q?
False
Let m(c) be the second derivative of 1/6*c**3 + 5/2*c**2 + 10*c + 0. Let p be m(-3). Does 4 = p?
False
Let l be 3*2*3/(-6). Let g be (-405)/45 + (-48)/(-7). Are g and l nonequal?
True
Let i be (-56)/(-70) - 6/15*2. Is i at least 0.037?
False
Let k = 3 - 1. Suppose -j + 3 = -15. Let d = 37/2 - j. Which is greater: k or d?
k
Suppose 0 = 3*y - 27 - 102. Suppose 4*x - 14 = -2*p, -p - 3*x = 3*p - y. Is p greater than 13?
False
Let f be (-36)/(-126) + 9150/(-28). Is -326 less than f?
False
Let z(u) be the third derivative of -u**4/8 - 5*u**3/3 + 12*u**2. Let s be z(-3). Let f be ((-48)/7)/3 + 2. Is s at least as big as f?
False
Let t = -46 + 48. Suppose 4*z - 1 + 5 = 4*y, -3*z + 17 = t*y. Which is smaller: z or 0?
0
Let a = 0.04 - 3.04. Let b = 2.92 + a. Let u = -3 + 4. Is b less than or equal to u?
True
Suppose 670*s = 705*s + 34860. Which is smaller: -997 or s?
-997
Suppose 2*m = 5*j + 32, 3*j + 58 = 4*m - 6. Let v = 21 - m. Let p = -5 + v. Which is smaller: 2 or p?
p
Let g be ((-668)/6)/(56/(-154)). Let u = g - 53345/174. Let n = 214/377 + u. Do n and -1 have different values?
True
Let n(d) = -d**3 + 7*d**2 + d - 15. Let o(i) = i**3 + 9*i**2 - 2*i - 11. Let m be o(-9). Let w be n(m). Let z be (-16)/(-9) - (-2)/9. Are z and w unequal?
True
Suppose 250 = t - 4*c, -3*t + 15*c - 10*c + 785 = 0. Are 271 and t equal?
False
Suppose -i = 4*i - 0*i. Let v be (-233)/(-58) - (3 - -1). Which is bigger: v or i?
v
Let a = -115 - -110.3. Which is bigger: -1/2 or a?
-1/2
Let o = -20214/25 - -809. Is o > -1?
True
Let r be (162/8)/3*88/11. Is r != -2?
True
Let k(d) be the second derivative of -d**5/20 - 5*d**4/12 + 2*d**3/3 + 23*d. Let h be k(-5). Is h at most -20?
True
Suppose -4*j = -2*c - 0*c - 20, 13 = -4*c - j. Is -52/19 > c?
True
Let n be 159/21 - (-5 + 5 + 8). Suppose 0*d = 4*u - 3*d + 3, -9 = -2*u + 5*d. Which is greater: u or n?
n
Let t = -101 + 2939/29. Suppose 16*u - 13 - 3 = 0. Which is greater: t or u?
u
Let b(k) = 36*k + 325. Let y be b(-9). Is 12/17 at least y?
False
Let v be 4 - (-6)/(-1) - 93/3. Let y = v + 32. Which is bigger: y or -0.14?
-0.14
Let p be (-1078)/(-6) - ((-6)/(-3) - 6). Is 184 < p?
False
Let p(q) = -q - 23. Let s(m) = 11. Let f(y) = -2*p(y) - 5*s(y). Let w be f(4). Is w >= -1/18?
False
Suppose -405 = -21*f + 6*f. Suppose -25 = -f*u + 22*u. Let q = -0.3 + -0.7. Which is bigger: u or q?
u
Let h be -1*3*(9 - 12). Which is greater: 0 or h?
h
Let r be 4/22 - 350/(-11). Suppose -5*c - r = -3*c. Let a = -15 - c. Which is bigger: 2/15 or a?
a
Suppose 5*s = 4*f + 50, 46 = -5*f - s - 31. Suppose -5*i + 42 = 2*i. Let v = -20 + i. Which is greater: f or v?
v
Let x = 15 - 41. Let m be -24 - 5 - -6 - 2. Do m and x have the same value?
False
Suppose 2*a - 4*b + 4 = -0, 0 = 2*a + b - 11. Let n be (2 - 266/119)/(a/(-14)). Which is greater: 1 or n?
1
Suppose 5*f = -d - 1, 4*f - 6 = -4*d - 10. Is -344 bigger than f?
False
Let d = 70 + -64.4. Let a = 7 - d. Let w = -9.6 - a. Which is smaller: w or 1/4?
w
Let j = 0.258 + -0.258. Does j = -8/87?
False
Let s be 30/3 - 7 - -5. Let x(h) = -h**3 + 4*h**2 + 7*h - 1. Let p be 3 - 1 - 0 - -3. Let a be x(p). Which is smaller: s or a?
s
Suppose -5*v = y - 30, 3*y + 3*v - 59 = 31. Let f = -29 + y. Which is smaller: 9/2 or f?
f
Suppose 34*y = 46*y + 348. Let l(q) = 2*q**3 + 3*q**2 + q + 1. Let n be l(-3). Is n bigger than y?
False
Let p = 41519 - 101596995/2447. Let w = p + -2353/115009. Which is greater: w or -1?
w
Let s = 0.0906 + 0.0194. Is s <= 0.14?
True
Let x be ((-6)/(-10))/((-576)/960). Let z be -14 - (-1*2)/2. Which is smaller: x or z?
z
Let q(p) = -2*p**2 + 7*p - 32. Let l be q(4). Let k be (39/4)/(l/96). Which is smaller: k or -2?
k
Let y = 2533/3 - 808. Which is smaller: 37 or y?
y
Let t = -344 - -319. Let h(f) = f**3 + f**2 - 5*f + 3. Let j be h(-4). Is j bigger than t?
False
Let x be 1752/40 - (-12)/(-15). Is x not equal to 4?
True
Let l = -89 + 142. Let b = l - 53.7. Is b not equal to -0.1?
True
Let y = 3 + -2.8. Let a(d) be the first derivative of -d**2/2 - d - 9. Let c be a(-2). Which is bigger: y or c?
c
Suppose -20*f = l - 18*f + 11, 3*l = 5*f. Is l greater than or equal to -54/13?
False
Let a(q) = 2*q**2 + 2. Let o be a(-2). Let t = o + -8. Suppose 3*i - t - 1 = 0. Are i and 5 non-equal?
True
Let q = 57613/534 + 74/267. Which is smaller: 107 or q?
107
Let t = 337 - 337. Let w be 15/12 + 2 + 2. Let b = w + -15/4. Are t and b equal?
False
Suppose -18 = n - 10*n. Let p be 1 + 5 + -5 - (n + -1). Which is smaller: p or -1/2?
-1/2
Let h be 214/108 - (-2 + 4). Suppose -16 = -4*m, -67*y + 13 = -66*y + 3*m. Is h <= y?
True
Let s be (9/(-72))/((-3)/(-150)). Let w be (5 - -1)*(0 + -1). Which is smaller: w or s?
s
Let b be -4 + (1*3 - (-5586)/5434). Which is smaller: -1 or b?
-1
Let o = -35 + 42. Let y(m) = -5*m + 33. Let t be y(o). Let i be (-2)/5 - 24/10. Which is bigger: i or t?
t
Let z = 1137 - 766. Is 0.2 < z?
True
Suppose 5*t - 2*w + 18 = 10*t, -5*w = 4*t - 28. Is t smaller than 16/31?
False
Let s be (-3)/(-9) - (-160)/24 - 6. Is -3/1201 not equal to s?
True
Let p(q) = q + 5. Let d be p(-5). Let b be ((-1)/(-36) + d)*-2. Do 0.2 and b have the same value?
False
Let w(c) = 2*c**2 - 18*c + 29. Let i be w(7). Which is smaller: 2/53 or i?
2/53
Suppose 108 = -2*s + 5*t - 51, 4*s - 2*t = -278. Which is bigger: s or -64?
-64
Suppose 2*h - 2*g + 0*g = 192, 480 = 5*h + 2*g. Is h greater than or equal to 97?
False
Let p be (78/40)/((-42)/(-35)). Let d be 3 - (-56)/(-20) - (-4)/5. Which is bigger: p or d?
p
Let k = -231 + 226. Is k <= 0.21?
True
Let b = 3/214 + 83/1712. Let i(o) = 4*o**2 + o + 1. Let c be i(-1). Let u = c + -3. Which is greater: b or u?
u
Let h = -1/38 + 21/76. Let y = -29/12 - -299/84. Are h and y non-equal?
True
Suppose -13*f + 15 = -8*f. Suppose 5*t + 13 - f = 0. Let l be 4/(-34) - t/17. Which is smaller: l or -9/11?
-9/11
Let d be (4653/1545 + -3)*(3 - 8). Is -1 greater than d?
False
Let q(j) = 3*j + 14. Let i be q(-4). Suppose -4*n - 4 = -i*h, -4*n + 10*h - 4 = 5*h. Which is smaller: -11/12 or n?
n
Suppose -2*t = 5*t. Is -1/141 equal to t?
False
Suppose i - 4*i = 45. Let y = i - -15. Suppose -6 = 3*g - 6*g. Which is greater: y or g?
g
Let y = -19283/31 - -622. Is -1 != y?
True
Suppose -23*j - 271 = 120. Is -17 equal to j?
True
Let k = 4.07 - -0.33. Let o = k - 4.3. Which is smaller: -0.4 or o?
-0.4
Suppose -2*s - 4*j - 9 = -3*s, -j = 2*s. Let u = -209 - -1081/4. Let g = -60 + u. Which is greater: s or g?
g
Let v = -629 + 44662/71. Which is bigger: -1 or v?
v
Suppose 2*s + 3596 = -5*l, -4*s = -l - 8*s - 712. Is -721 <= l?
True
Let l = -3 + 9. Suppose 2*d - l + 26 = 0. Let s(n) = 6*n - 75. Let j be s(11). Are d and j unequal?
True
Let r = -18.6 - -18.5. Which is smaller: -145 or r?
-145
Let g = 8 - 7.7. Suppose 6 = 6*w - 8*w. Let z be w - 2 - 0 - -4. Which is smaller: z or g?
z
Suppose -162*z = 154*z - 14536. Let u be (-2)/(-5) + (-228)/(-5). Are z and u unequal?
False
Let y(c) = -2*c**2 + 30*c + 2. Let f be y(14). Let g be (3/(-9))/(2/30). Let k be (6/81)/(g/f). Is -0.1 at least as big as k?
True
Let v = 1 - 1. Let n be ((-31)/15 - (-480)/(-800))*6/220. Which is bigger: n or v?
v
Let w(i) = i**3 - 4*i**2 + 2*i - 4. Let p be w(4). Let y = -279 - -1971/7. Which is smaller: p or y?
y
Let n = 34 + -58. Let c = -23 - n. Is c >= -15?
True
Suppose 0 = -2*y - 50 + 4. Is y not equal to -24?
True
Let y = 8 + -49. Let u = y - -27. Do -0.1 and u have different values?
True
Suppose 2*o = -3*a - 36, -3*a - 6 + 0 = 0. Let n be ((-4)/(-20))/((-3)/o). Let y = -3/32 - -19/32. Is y at most n?
True
Let y be 22/(-4) - (-7)/14. Let r be ((-80)/50)/(2/y). Suppose -4 - r = -f. Are f and 8 nonequal?
False
Suppose v = -m - 2*m + 12, 24 = 3*v + 5*m. Suppose v*k - 15 = 0, q + q - 41 = k. Suppose -q = 5*f - 3. Is -3 at most as big as f?
False
Let v be (-2)/(-2) + -2 - (-6281)/6259. Is -1 at most v?
True
Let l = -1247 - -1248. Which is greater: l or -1/7?
l
Let j = 7.118 + -7. Let l = 2.118 - j. Which is smaller: l or -4/11?
-4/11
Let t be (((-350)/(-49))/(-10))/((-88)/(-28)). Is 1 less than t?
False
Let a(m) = -m**2 + 5*m - 5. Let y be a(4). Let u be ((-10)/(-4) - 2 - 1)*-36. Let r be 2/(-18)*(-6)/u. Is y bigger than r?
False
Suppose w + 53 = 2*v, -5*v = -21*w + 24*w - 116. Is v at most 21?
False