**2 + 22*v + 9*v + 311*v**2. Let t(p) = p**2 + 16*p + 34. Let d(r) = 4*q(r) - 7*t(r). Let i be d(-12). Is 34 > i?
False
Let r be (25/10)/(70/448). Which is smaller: r or 12?
12
Let u = -3837 + 3836. Which is greater: 0.3944 or u?
0.3944
Suppose 1112 = 8*a + 56. Let l be a/(-2)*(-43)/(-86). Which is bigger: -34 or l?
l
Let t(s) = -7*s**2 - 19. Let y(v) = 3*v**2 + 9. Let a(p) = -2*t(p) - 5*y(p). Let n(b) be the first derivative of a(b). Let u be n(0). Is 2 equal to u?
False
Let c(z) = -9 - 3 - z**3 + 28*z + 4 + 16*z**2 - 61*z. Let t be c(11). Do 235 and t have the same value?
False
Let d be (-3)/(12/(-2)) - 1. Let y = 0.0689 + 25.9311. Is y less than d?
False
Let c = -524 - -560. Suppose 2*z + 17*k - 18*k = -24, -3*z = 4*k + c. Which is smaller: z or -9?
z
Let n = -10/27 + 104/135. Let x = 1.65925 + 436.34075. Which is bigger: x or n?
x
Suppose -r - 3*f + 81 = 0, -307*f - 89 = -r - 302*f. Which is greater: r or 82?
r
Let m(p) = -p**2 + 43*p - 81. Let s be m(41). Let i be ((-56)/(-21) - 3)/s. Let f = 409 - 4493/11. Is f at least i?
True
Suppose 2*t + 5*d + 10815 = 0, 10*t - 4*d = 7*t - 16257. Is -5414 greater than t?
True
Suppose 0 = s - 3*s + 40. Suppose 0 = -17*w + s*w + 168. Does -58 = w?
False
Suppose -3*t = 4*t - 14. Let i be (1 - 0)/(t/(-34)). Is i at most as big as -11?
True
Let k = 5822 - 5953. Which is smaller: k or -2/51?
k
Let j(c) = -3*c - 2. Let v be j(-2). Let r be (-608)/(-44) - v/(-22). Let y(o) = 6*o**3 + 42*o**2 - 23*o - 146. Let d be y(-7). Are r and d nonequal?
True
Let w(p) = 36*p**2 - 1046*p + 29. Let u be w(29). Which is smaller: u or -48?
-48
Let w = -10688 + 10443. Which is smaller: w or -246?
-246
Suppose 119*o - 126*o = -140. Suppose -o = -4*y - i - i, -2*i + 8 = y. Is 45 <= y?
False
Let v = -201 + 348. Let q = v + -142. Which is smaller: -2 or q?
-2
Suppose 0*a - 2*a = -48. Suppose -37 = -3*u - 3*h - 1, a = 4*u - 4*h. Suppose 8 = 5*f - u*f. Which is greater: -1 or f?
-1
Let s = -11771/6 - -1906/3. Which is smaller: s or -1326?
s
Suppose 3*z - 9*z - 12 = 0. Let y be z*(0 - 4/16*-2). Let w be 0 + -8 + y - (7 - 7). Is -6 greater than w?
True
Suppose -6076*l - 21 = -6083*l. Which is smaller: l or 26/7?
l
Suppose -1230*o = -1196*o + 2924. Which is bigger: -32 or o?
-32
Suppose h + 77 = -3*o + 71, 11 = -3*h - 2*o. Which is greater: -258 or h?
h
Let o(x) = -x**3 + 31*x**2 - 36*x + 193. Let i be o(30). Which is bigger: i or 68?
68
Suppose 0 = -27*v + 26*v - 439. Let i = -353 - v. Which is bigger: i or 87?
87
Suppose 0 = -6*f - 31 + 7. Let l(z) = 2*z**2 + 47*z + 15. Let o be l(-23). Which is smaller: f or o?
o
Let y(d) = -5817*d - 4882. Let c be y(-6). Which is greater: 30021 or c?
30021
Let i be (-5 - -4)*-3 - 1. Let k be i/3 - 30/(-9). Suppose 171 = k*s + 471. Is s < -76?
False
Suppose -4*k + 5*r = 94, 23 = -5*k - 5*r - 117. Let b be (99/9)/(24/k + 1). Is 143 equal to b?
True
Let h be (-1 - 38/(-34)) + (-17976)/204. Let t = 88 + h. Which is greater: -1/33 or t?
t
Let a be -8 + (4 + -5)*1*-5. Let k = -1324/2067 - -4/159. Is k at most a?
False
Let f = 44163 - 65421. Let h = f + 361542/17. Which is smaller: 8 or h?
8
Let h = 37514/19365 + -5/1291. Is 0.2 != h?
True
Suppose -6*n = -n - 10. Let k = -447 + 761. Let c = 330 - k. Which is greater: c or n?
c
Let c = -1.8 + 2.6. Let l = 2.68 - -4.28. Let j = l + -6.9. Which is bigger: c or j?
c
Let f be 20/(-300) - 15256/660. Which is smaller: f or -22?
f
Let d(b) be the first derivative of -b**2/2 - 5*b - 17. Let p be d(0). Let o(x) = x**2 + 3*x - 10. Let a be o(p). Which is greater: 2 or a?
2
Let w be (-370)/(-22) - (-150)/825. Which is smaller: -39 or w?
-39
Let f(o) = o**2 - 20. Let y be f(0). Let t = y - -16. Let b be (2/10)/(t/(-20)). Which is greater: b or -2?
b
Suppose -5 = 4*v - 21. Suppose 2*h - 3*p = 10, 4*h - 9 - 11 = v*p. Suppose 0*r - 107 = h*j + r, 0 = j - 2*r + 28. Which is greater: j or -23?
j
Let w = -322536721/24650 + 327161/25. Let n = 49/34 - w. Which is bigger: n or -1?
n
Let x be (2610/245)/((-15)/(-14)). Does x = 9?
False
Let b be 1936 + (-6 - 1 - (-176)/24)*9. Do b and 0 have the same value?
False
Let j(u) = u**3 + 13*u**2 - 4*u - 82. Let h be j(-5). Which is smaller: 154 or h?
h
Let g be ((-4 + 4)/3)/(-3). Let q be g - 2 - (-153)/81. Let d = -209/5 + 42. Which is smaller: q or d?
q
Let t be (-3 - -1)*(-1)/(-5043794)*1. Let q = t + 322804725/4814301373. Let f = -20/83 + q. Which is smaller: f or 0?
f
Let k = 48 + -40. Let s be -192 + (30/k - (-3)/12). Let w be 3/(-15) + s/10. Which is bigger: -18 or w?
-18
Let p(u) = 88*u - 84. Let t be p(-9). Let o = t - -768. Which is smaller: -110 or o?
-110
Suppose 10 = -g - 5. Let v(t) = t**3 - 67*t**2 - 433*t - 341. Let k be v(73). Let i be (-61)/k + (-10)/g. Which is bigger: -2 or i?
i
Suppose -10*y + 3*y = -8*y. Which is greater: y or 19/617?
19/617
Let f = -2558 + 2675. Which is bigger: f or 113?
f
Suppose 0 = 18*i + 5*i - 0*i - 46. Which is bigger: i or -2/689?
i
Suppose 29*x + 48 - 20 = 985. Does x = 298/9?
False
Let y be 7*2 + 3713/158. Which is smaller: y or -1?
-1
Suppose 148 + 192 = -65*c + 15. Suppose 0 = -f + 4*f + 5*a + 1, 4*f - 4*a = -12. Which is greater: c or f?
f
Let b(j) = 5*j - 1. Let h be b(-6). Let k = -39 + 62. Let i = k - 52. Is i <= h?
False
Let s be (3/(3/2))/2. Let z = -250 + 266. Let u be 1/(-4) - (-2)/z. Are s and u unequal?
True
Let p(c) = -c + 22. Let k be p(17). Suppose 14*t = -5*z + 13*t - 14, 0 = -k*z + 2*t - 2. Is -14/5 <= z?
True
Suppose 0 = 3*j + 2*r + 1298, -4*j - 16*r = -11*r + 1740. Which is greater: -427 or j?
-427
Let u be (9093/(-4))/((-135)/180). Which is greater: u or 3030?
u
Let r(h) = 2*h**3 + 6*h**2 - 29*h - 92. Let p be r(-7). Let b be -3*(-1318)/(-14) + (-201)/(-469). Is b <= p?
True
Suppose -4*n + 0*v = -5*v - 174, 5*n + 3*v - 236 = 0. Let y be -3 + (-621)/n*(-2)/3. Which is smaller: y or -6?
-6
Let m(w) = 7*w - 160. Let f be m(23). Let p be f/(-3)*(-66)/(-11). Which is bigger: p or -9/8?
-9/8
Let p(f) be the first derivative of 2*f**3/3 - 8*f**2 + 16*f - 25. Let n(m) be the first derivative of p(m). Let l be n(5). Which is smaller: 6 or l?
l
Let d be 25*(2 + (-3 + 6)*-1). Let s(f) = f**3 + 11*f**2 - 11*f - 13. Suppose -l + 20 = -2*y, -3*l = 2*l + 20. Let j be s(y). Is j at least as big as d?
True
Suppose -4*i + 3*h + 15 = 0, 113 = h + 118. Which is greater: i or -2/685?
i
Suppose 6*z - 11*z + 425 = 0. Suppose z = 108*u - 113*u. Let j be 4/(-11)*5/10. Is u at most as big as j?
True
Let r = 28 + -25. Let f = 102 + -99.8. Are r and f equal?
False
Suppose -36*g + 41620 = -40*g + n, 0 = 4*g + n + 41620. Is -10404 at least g?
True
Let c be (-664)/(-176)*4/12. Which is greater: c or 1?
c
Suppose 0 = -5*q + t - 250, -2*q - 83 = -0*q + 3*t. Let i = q + 38. Is -13 at most i?
True
Let q = -3215.3 - -3254.313. Let l = q + -0.013. Let y = -39.5 + l. Which is greater: y or 0.3?
0.3
Let f(s) = 31*s - 1925. Let i be f(45). Which is smaller: -531 or i?
-531
Let i be (-196)/5 + (-62)/(-1395)*-18. Are -1.2 and i equal?
False
Let p(n) be the third derivative of n**4/8 + n**3/3 - n**2. Let i = -12357 + 12370. Let d be p(i). Do 39 and d have the same value?
False
Let n = -1.9 + 2. Let c = 0.2 - n. Let o be (-66 + 58 + 2 + 3)/(33/3). Which is bigger: o or c?
c
Let s = 5.4 + -34.4. Let a = 38 + s. Which is greater: a or 18?
18
Let p be 60/(-4)*(-8)/(-20). Let j be ((-868)/145 - p) + 0. Is 1 <= j?
False
Let c = 5111 - 5619. Is c at most as big as -3?
True
Let p = -19 - -84. Let y = -29 + p. Let u = -1397.9 - -1398. Which is smaller: u or y?
u
Suppose 0 = 2*x + 4*d + 92 + 34, 0 = 5*x - 2*d + 399. Which is smaller: x or 11?
x
Suppose 52*n - 51*n - 2*w = -33, n = 4*w - 31. Let a(s) = -s - 6. Let k be a(-8). Suppose k*b = -13 - 53. Is n not equal to b?
True
Let n = 7434 - 7428. Is n >= 13?
False
Let g(h) = 10*h + 469. Let k be g(-47). Is k >= 1/3881?
False
Let y = -355.7 + 350.7. Is 41 bigger than y?
True
Let l be (-504)/(-30) - 1/(-5). Let m be (-2542)/20 + l/170. Is -130 not equal to m?
True
Suppose 3*r + 0*r + 2*w + 26 = 0, 3*w = -5*r - 42. Let s be (9/r + -2)*-2. Let n(x) = 9*x - 23. Let q be n(s). Is 40 less than q?
False
Let p be 95368/289 - (2 - 1). Let f = -329 + p. Is f bigger than -1?
True
Let x(i) = 4*i - 1 - 6*i - 7*i**2 + 6 + 6*i**2. Let r be x(2). Which is smaller: r or -1?
r
Suppos