 2. Let t(g) = 4*g**2 + 70*g + 6. Let b be t(-12). Let f = b + 262. Is s at least f?
False
Suppose 36*i - 38*i - 22 = 0. Let g(b) = 19*b + 158. Let f be g(i). Which is greater: -55 or f?
f
Let j = 40916/63 + -5846/9. Which is smaller: 498 or j?
j
Let n(z) be the second derivative of z**5/20 + 13*z**4/12 + 10*z**3/3 - 7*z**2 - 17*z. Let x be n(-11). Let u be 1/x + 162/(-528). Which is greater: u or 1?
1
Let y(u) = u**3 + 4*u**2 + u + 12. Let r be y(-4). Suppose 10*m - r*m = 2. Which is smaller: -1.07 or m?
-1.07
Suppose -3*i + 0*i + 3 = 0. Let n be (-2944)/5 + (-336)/280. Let p = -13573/23 - n. Does p = i?
False
Suppose -136*d + 2 = -134*d. Let h be d + 20/(-28) - (-67)/(-7). Let s = h + 46/5. Which is greater: -1 or s?
s
Let z be ((-6)/30)/((-7)/10 + 11/22). Is z < -1/6435?
False
Let c(p) = -7 - 41 - 19*p - 82. Let w be c(5). Are w and 0 equal?
False
Let n(f) = -324*f + 66. Let z(l) = 25*l - 5. Let y(h) = 2*n(h) + 27*z(h). Let k be y(-1). Let q = 30 + k. Which is smaller: q or -4/3?
-4/3
Let x = 36 + -25. Suppose -x = -5*u - 1. Suppose u*v = -3*v - 100. Which is bigger: -19 or v?
-19
Let l be 298*(16/(-36) + (-125036)/(-281520)). Let u = l - -1/510. Let t = -1/178 - 345/1958. Is t >= u?
False
Let d(x) = -3*x**2 - 3. Let g be d(3). Let q be (-95)/g*9/(-6). Let v = q - -1/4. Which is smaller: v or -5?
-5
Suppose 0 = 5*g + 9*s + 4232, -g + 321 = -4*s + 1150. Which is greater: g or -2522/3?
-2522/3
Let r(l) = 38*l**2 + 281*l - 23. Let k(z) = -13*z**2 - 94*z + 8. Let b(g) = -8*k(g) - 3*r(g). Let i be b(-8). Is i < 92?
False
Suppose 5*x - 9 = -4, 3*o - x = 32. Suppose -21 + 87 = o*j. Suppose -29 = j*k - 11. Which is smaller: -5 or k?
-5
Suppose -4*d - 5*x = -9*d - 215, 5*d = -x - 227. Let v be ((-4)/(-42))/(d/(-162)). Does v = -1?
False
Suppose 538*t + 43*t = 18011. Are 221/7 and t unequal?
True
Let v(f) = f**3 - 2*f**2 + 2*f. Let r be v(2). Let j = 200 - 198. Suppose -7 = 2*p - 7*p - 3*z, z = -2*p + j. Which is bigger: p or r?
r
Let i = 9962 + -9962.15. Which is bigger: -0.097 or i?
-0.097
Let u = 4155 + -4152. Is u at most 168/107?
False
Suppose 56*v + 323298 + 286556 = 98966. Is v < -9121?
True
Let l(f) = -3*f - 35. Let b be l(-12). Let z be (b + 26)/((-63)/84). Is -145/4 at least z?
False
Let p be (((-1400)/15)/(-28))/(73/(-12)). Which is smaller: 0 or p?
p
Let s be (15/(-35) - (-1026)/189) + (0 - 3). Let a be -3 + (1 + 0 - -1). Let b be 0 - (-1 - a - -1). Is s <= b?
False
Let u = 896 + -897. Which is smaller: u or -13/70?
u
Let z be (-2019025)/(-3533600) - (128/28 - 4). Is 0 less than z?
False
Let y be (3 + -1)/(12761/(-798) + 16). Suppose s + 316 + 131 = 2*n, 0 = 5*n - s - 1125. Is n <= y?
True
Suppose -6*z = -z + 240. Let b = -1094 + 1121. Let h be 2 + z/b - (-100)/36. Which is smaller: h or 11/5?
11/5
Let r = -25.6007 + 0.1007. Let i = -141.5 + r. Is 2 < i?
False
Let h(l) = 3*l - 15. Let s be h(5). Is s less than or equal to 2192?
True
Let j = -8.1 - 39.9. Let w = 50.3 + j. Let o = w - 3.3. Which is bigger: o or -34?
o
Let j be ((-7878)/876 + 9)*-26. Is 0 not equal to j?
True
Let u(q) be the third derivative of 0*q**3 + 1/2*q**4 - 13*q**2 + 0*q + 0. Let m be u(1). Which is smaller: 13 or m?
m
Let g = -2.7274 + -22.2726. Which is smaller: 43.9 or g?
g
Let z = 16 - 16. Suppose -2*m - 3*g = -2, -5*m - g + 18 = -z. Suppose -3*s = m*r - 7, -21 = -5*s + s - 3*r. Which is smaller: s or 12?
s
Suppose 0 = 2*m - 28 + 16. Let t be m/((-4)/64*2). Let g = t + 46. Is g smaller than -1?
True
Suppose -327*n = -318*n - 12852. Is n equal to 1428?
True
Suppose -559*o + 445*o = 23142. Suppose -5*u + 198 = 1218. Is u greater than or equal to o?
False
Let i be 1 - (-2 - 0/2). Let u be (1 - i)/(1 - 2/4). Let g(b) = -5*b - 2. Let k be g(u). Is k <= 18?
True
Let a be -3 - (221/4 - 3). Suppose 0 = -172*g + 561*g + 9782 + 11613. Are a and g non-equal?
True
Let j(d) = -81*d - 3013. Let z be j(9). Is z smaller than -3742?
False
Let o(y) = -2*y**3 + 4*y**2 + 5*y + 5. Let v be o(5). Let u(m) = 4*m**3 - 67*m**2 - 24*m + 2. Let z be u(17). Which is smaller: z or v?
v
Suppose 4*f - 12 = 0, 2*p + 26 = f - 3*f. Suppose 272*g = 282*g - 540. Let k be g/8*(0 - p/33). Which is greater: 3 or k?
k
Let y = -5737/20567 + 39/157. Is y less than 3?
True
Let s = 4178/41 - 7240269/71053. Which is bigger: s or 1?
1
Let c(i) = -7*i + 24. Let b be c(4). Let o(r) = -4*r**2 - 3*r - 7. Let w be o(b). Let k(n) = 16*n + 37. Let m be k(-6). Is w smaller than m?
False
Let a = -0.9284 - 0.0716. Let c = -220 - -308. Are c and a unequal?
True
Suppose -6*k + 2*k = 8. Let z be (9/6)/(3/8). Let f(w) = w**2 - 6*w + 7. Let u be f(z). Is u less than k?
False
Let c(m) = -2*m - 44. Suppose 23*j - 22*j + 23 = 0. Let l be c(j). Suppose 4*k + 4*f = l*f - 4, 4*f = 0. Which is greater: k or -3/47?
-3/47
Let s = 128 - 642/5. Let r be 349887/28765 + 4/110. Is s smaller than r?
True
Let m = -11 + 7. Let l(s) = -s**2 + 12*s + 19. Let q be l(14). Let v be 36/q + 5/6. Which is greater: m or v?
v
Let d = -290926197/951457 - 6/73189. Which is greater: -306 or d?
d
Let d be ((1 - 38) + 0)/(32/40). Let b be (-2)/54 + 8008/7722. Is b not equal to d?
True
Suppose g - 5*g - 40 = 5*n, 12 = 3*n. Let d be (-54)/g*(-16)/32. Which is smaller: d or -3/4?
d
Let q be (-1)/((-3)/36)*(-102)/(-42). Let l = 1146/35 - q. Is l bigger than 5?
False
Suppose 152 = -w + 155, -4*h - 4*w + 13708 = 0. Are h and 3423 equal?
False
Let b(c) = 3*c**3 - 20*c**2 + 22*c - 16. Let i be b(4). Which is smaller: -19 or i?
i
Let f = 103 - 93. Let i(b) = 29*b - 102. Let a be i(f). Do 187 and a have different values?
True
Let b be 8/4 + (7 - 21) + 12. Is b != -2/201?
True
Let b be (243/(-405))/((-1)/(-30)). Is -20 smaller than b?
True
Let a = 3839 + -3486. Is a greater than or equal to 356?
False
Let x = 720.6 + -869.5. Is x != -10?
True
Let r = 222.87672 + 31.09468. Let h = r + 0.0286. Is -0.1 at most as big as h?
True
Let n = 0.52 - -13.58. Let s = -13.1 + n. Which is smaller: s or 4/3?
s
Let v = -15/41 - -441/533. Suppose 2*i = 4*d - 2 + 4, 0 = 4*d - i - 3. Suppose -h + 2 = 3*a, -2*a - 4*h + 10 - d = 0. Is v bigger than a?
True
Let m be (4/14)/(10/14)*10. Let l(g) = -g**3 + 5*g**2 - 5*g + 25. Let c be l(m). Which is smaller: c or 4?
4
Let q(m) = -6*m + 146*m**2 - 77*m**2 - 71*m**2 - 10. Let r be q(-3). Let n be ((-116)/20)/(-2 + (-12)/r). Which is greater: 7 or n?
n
Suppose -2*g = -4*z + 10, 2*z + 3*g = 3*z. Suppose 13*b - 52 = 39. Let l be b + (285/(-55) - 0). Which is bigger: l or z?
z
Let k = -210 + 317. Let p = -85 + k. Are p and 22 nonequal?
False
Suppose -32377 = 11*v - 32432. Are 194/43 and v equal?
False
Let b(x) = -413*x - 4934. Let k be b(-12). Is 834/37 at least as big as k?
True
Let j be -7 + (-840)/(-212) + (1 - -2). Let y = 1 - 2. Let s = 0 + y. Is j > s?
True
Let a = -0.62 + 0.08. Let l = a + 29.54. Let r = l - 30. Which is smaller: 0.1 or r?
r
Let q = 104/11 + -10. Let m = -62 - -77. Let s be 4*(-25)/(-40)*(-12)/m. Which is bigger: q or s?
q
Suppose 0 = 7*q - 2*q + 10, 0 = -3*a - 4*q + 1. Suppose -a*w + 3 = -2*w. Suppose -5*z + 0*z = -h - 66, 0 = 3*z + w*h - 36. Which is smaller: 15 or z?
z
Let j = 175 - 303. Let m = -126 - j. Which is smaller: -48 or m?
-48
Suppose -3*u + 5 = -l + 1, -4*l = -20. Suppose -u*d - 30 = -13*d. Let p = 2.02 + -2. Do d and p have different values?
True
Suppose 4*q + 0 + 12 = 0. Let r be (q/(-2))/((-21)/(-112)). Let w be r/24 - (-19)/33. Are w and 0 non-equal?
True
Suppose 0 = -31*a + 23*a + 144. Let c be -2*124/24*a*1. Which is smaller: c or -185?
c
Let w = -833/10 - -204/5. Let k = -631/14 - w. Which is greater: k or -3?
k
Let a be -8*(-9)/792 - (-42)/22. Which is smaller: a or 0.2?
0.2
Let r(n) = n**3 + 2*n**2 - 7*n - 7. Let y be r(-4). Let p be ((-4)/(-3) + y/6)*0. Suppose 3*a + s - 2 = p, -s = -3*a + 3 - 5. Which is bigger: 3/5 or a?
3/5
Suppose -5*q - 3 = 80*l - 76*l, -4*l - q = -9. Which is bigger: -4 or l?
l
Suppose 47*j - 55*j = 288. Which is greater: j or 24?
24
Let f(l) = 2*l**3 + 53*l**2 - 30*l - 78. Let p be f(-27). Let j = 4 + -10. Let k = -7 - j. Is k < p?
True
Suppose -d + 13 = 4*d + 3*r, 3*d = -r + 7. Suppose -3*y + d*y = -1, y = -4*z + 13. Suppose -z*l + 1 = -11. Is l at most as big as 4?
True
Suppose -2*i = 39*g - 44*g + 25, g = 5. Let b be (-5)/(-15) + (-146)/114. Is b smaller than i?
True
L