(2). Suppose 0 = 9*t - p*t - 26. Let w = t + 10. Which is greater: -1 or w?
-1
Suppose 0 = -4*f - 3*s - 19, -5*f - 5*s = -0*f + 30. Let m be (-1*6/(-78))/(2/10). Which is bigger: m or f?
m
Let z(v) = 64*v. Let s(o) = -7*o. Let b(u) = -28*s(u) - 3*z(u). Let h be b(2). Is 2/7 equal to h?
False
Let l(z) be the third derivative of 4*z**5/15 - 2*z**2. Let c be l(1). Let p be 8/72*(-1 + c). Is p <= 1?
False
Let h(z) = -z**3 + 5*z**2 + 7*z - 6. Suppose -2*f + 8 = a, 3*f - 3*a = 1 + 29. Let w be h(f). Let s be ((0 - 2)/(-56))/(-1). Is s less than w?
True
Let n(b) = -4*b**2 - 41*b - 355. Let k be n(-12). Which is smaller: k or -441?
-441
Let f = 20 - 19.89. Let o = -0.08 + 0.07. Let y = f + o. Which is smaller: -2 or y?
-2
Let v = -114333/74 + 1545. Which is bigger: 0 or v?
0
Let k be 126/18*(-12)/14. Let z(u) = u**2 + 4*u - 12. Let a be z(k). Suppose d - 2*w = -d + 16, -4*w = -5*d + 35. Do a and d have different values?
True
Let a = 292 + -272. Is a <= 2/27?
False
Let t be 3*(-1)/(3/(-7)). Let q = t - 4. Let f be -2 + 0 - 8/(-2). Do f and q have the same value?
False
Let v(b) = -2*b**3 + 4*b**2 - 2*b + 4. Let j be v(4). Let r be j/204 - (-1)/3*181. Is 60 bigger than r?
False
Suppose 4*s - 2*w + 7*w = -279, 5*s + 354 = -w. Let j = -15 - s. Is j at least as big as 56?
True
Let g(a) = -2*a - 52. Let o be g(-23). Let k be (-8)/((-48)/(-18))*(-2)/o. Which is smaller: k or 31?
k
Let c(p) = p - 3. Let a be c(5). Suppose -7*l = -2*l + 80. Let h be (l/16)/((-2)/6). Are h and a non-equal?
True
Let i = 54 - 53. Let x be (-4 + 28/8)/(i/(-2)). Do 1 and x have the same value?
True
Let n = 1662 + -1551. Is n less than 113?
True
Let d = 9 + -8. Which is greater: 10 or d?
10
Let n be (-21)/4*8/(-3). Let g(q) = -q**3 + 14*q**2 - q + 13. Let y be g(n). Is -1/2 greater than or equal to y?
True
Let o = -1/238 - 467/2142. Suppose -2*r - 2*h + 6 = -3*r, -4*h = 3*r + 8. Let n be ((-4)/(-3))/(r - -2). Does o = n?
False
Let z(s) = -s**3 - 15*s**2 + 18*s + 31. Let t be z(-16). Is -15/8 < t?
True
Suppose -4*f = 4*y + 8, 2*f + f - 5*y = -6. Is -70 less than f?
True
Suppose 5 - 3 = -m + 2*d, -2*m + 17 = 3*d. Suppose 4 = m*j + 16. Let x be (-8 - -16) + (j - 0). Is x != 3?
True
Let f(k) = -13*k + 2175. Let r be f(0). Is 2176 at least r?
True
Suppose 9*f + 41 = 545. Let s be ((-70)/f)/(22/(-16) + 1). Which is bigger: s or 3?
s
Suppose -x = -4*x + 18. Suppose -13 = x*c - 1. Let l be (-3 - -2)/(c/(-2)). Is 2/103 not equal to l?
True
Let r be (-745)/(-240) + 0 + -3. Let s = 77/1200 - r. Are s and 1 equal?
False
Let z = 294 + -294. Which is bigger: z or 22/7?
22/7
Let z be 5/(-1) - -9*1. Suppose p + 1 = 5*v, z*v = -v + 3*p - 7. Which is bigger: v or -17?
v
Suppose 17*r - 3*a + 5029 = 13*r, -r = -a + 1258. Is -1254 not equal to r?
True
Let h be -6 - 54/9 - -6. Are -7 and h equal?
False
Suppose -2*r - 5*v + 7 = -2*v, -r - v = -3. Suppose 5 = -r*l + 7*l. Let d = -1/5 - 1/20. Is d bigger than l?
False
Let f = 803 + -797. Let x(d) = d**2 + 5*d + 4. Let c be x(-4). Is c at least as big as f?
False
Let c be 6 - (-1 - 0)*-2. Suppose m - 20 = -c*m. Let o = 3677 + -3674. Is o less than m?
True
Let m = 1782/1547 + -2/221. Which is smaller: m or 2/19?
2/19
Suppose f - 4*u = 174, 4*f - 6*u = -7*u + 662. Which is smaller: f or 168?
f
Suppose -392 = -2*a + 2*d, 0 = -4*a - 5*d + 1218 - 389. Which is greater: 200 or a?
a
Let c = -28 - -24. Let b be ((-2)/c)/((-462)/(-24)). Is b less than or equal to -1?
False
Let p = -7 + 11. Suppose 2 = p*s - 6. Let r be 4/s - 0/1. Is 0.1 < r?
True
Let b = -17593/19 - -923. Is b greater than or equal to -4?
True
Suppose -6*d = -4*d + 10. Let i be (-1)/(-3 + 144/28 + -2). Which is greater: d or i?
d
Let v = 1669/987 + 19/47. Is 2 greater than or equal to v?
False
Let l = 106 - 72. Let r = -33.87 + l. Let h = r + 5.87. Is h at most as big as -0.1?
False
Let q be 7*-3 + (17 - 13). Let s(d) = d + 14. Let g be s(q). Which is bigger: g or 0.14?
0.14
Let w(t) = t**3 + 9*t**2 + 11*t - 19. Let g be w(-7). Let j = -3 + 5. Let b = j - -3. Which is smaller: g or b?
g
Let i be (3 - 9)/(2 - 4). Let c = -6 + 9. Suppose c*r - x - 16 = -2*x, 0 = 3*r - 4*x + 4. Is r smaller than i?
False
Suppose -5*f - 4*t = 12, 2*t + 4 = -3*f - 2*t. Let u be -3*(1 + 0 + -10 + 10). Which is smaller: u or f?
f
Let d = 35/198 + -25583/792. Let w = d - -1509/40. Does w = 7?
False
Let n(f) = -f**3 + 6*f**2 - 3*f + 1. Let d be n(4). Suppose -3*l = -4*x + 194, l - 229 = -5*x - 2*l. Suppose d = x*z - 44*z. Is z less than or equal to 8?
True
Suppose -5*u - 583 = -4*s - 0*s, -s = 3*u - 150. Which is greater: s or 146?
s
Let w = 1000 + -3896. Let t = -118730/41 - w. Which is smaller: 0 or t?
0
Let b be (-1 - (-152)/(-7))/19. Let p = 8/7 + b. Suppose -2*n = -k + 3*n + 4, -4*k + 5*n + 1 = 0. Which is bigger: p or k?
p
Suppose 6 = -4*u + 5*k + 2, -3*k - 2 = 2*u. Let t(q) = -q**2 - 13*q + 12. Let x be t(-13). Let y be (-8*(-2)/x)/(22/(-9)). Is u >= y?
False
Let g(j) = -j**3 - 4*j**2 - 2*j + 1. Let b be g(-2). Let d = -3 - b. Let s(q) = -51*q + 129. Let n be s(3). Which is bigger: d or n?
d
Suppose -48 = 5*p - 83. Are p and 7 non-equal?
False
Let s be 4/10 - (-2)/(-5). Suppose 2*a = -s*a - 2. Let k be (-19)/18 - (-3)/6. Which is smaller: k or a?
a
Let u = 1552 + -159854/103. Suppose -1 = q - 2*q. Which is greater: q or u?
q
Let l be -4 - -5 - 2*-1. Let t be 13/(-8)*-2 - l. Suppose 0 = -12*r + 8*r. Is r less than t?
True
Let r = -361 + 360.52. Which is smaller: 0.1 or r?
r
Let q(j) = -15*j**2 + 6*j + 16*j**2 - 1 - 2. Let y be q(-6). Let t be y + (-3)/(63/(-57)). Which is greater: t or -1?
t
Let g = 35 - 46. Let x(o) = o**2 + 3*o - 8. Let f be x(-6). Let l = g + f. Is -5/4 >= l?
False
Let g = -493 + 468. Which is smaller: g or -0.6?
g
Let m = -0.7 + 2.7. Is m <= -53?
False
Let q(g) = 2*g**2 + 6*g - 5. Let h be q(-4). Let p be h - 7/((-14)/(-20)). Which is greater: -9 or p?
p
Let r be (-4)/(-6) + (-194)/6. Suppose -2*o - 21*o - 279 = -14*o. Which is greater: r or o?
o
Let o = -782 + 755. Which is bigger: o or 0.06?
0.06
Suppose 0 = -4*r - 5*w - 7 - 10, 0 = 4*r - 4*w + 44. Let f be (r/42)/(2/9). Is 0 less than f?
False
Let r be (-7 + 9)/(2/3). Suppose -b = -4*h + 2, -b = 2*h - 7*h + r. Suppose 0 = -b*q - 2*q - 4. Which is smaller: q or -3/2?
-3/2
Let u be (-3300)/1015 + (-80)/14 + 6. Is -2 >= u?
True
Suppose 9852 = 17*l + 2287. Which is smaller: 444 or l?
444
Let q(m) = -5*m + 16. Let r be q(9). Let c = 37 + r. Is 8 bigger than c?
False
Let g be -2*(-39)/567 + (-34)/119. Is 1 <= g?
False
Suppose -p + 3*t - 21 = 2*p, -8 = -p - 4*t. Let d(v) = 2*v**3 + 18*v**2 + 19*v + 16. Let c be d(-8). Do c and p have the same value?
False
Let t(k) = k - 5. Let p be t(8). Suppose 0*z + 3*z = p. Let b = -11 - -12. Do b and z have the same value?
True
Let q(o) = 2036*o + 2. Let r be q(1). Do 2038 and r have the same value?
True
Suppose -13*x = -12*x - 3. Let v be 3/2*32/24. Suppose 3*p - v*l = -x - 63, 3*p = 5*l - 75. Which is smaller: -19 or p?
p
Let i = -0.6 + 0. Let m = -1.8 - i. Let s = -201.9 - -202. Which is smaller: s or m?
m
Let f(t) = -t + 23. Let g be f(17). Let m be (6/g)/(2/(-2)). Which is smaller: m or -1/49?
m
Let r be 927/6*((-36)/27)/1. Which is smaller: -0.2 or r?
r
Let o = -20 + 18.2. Let x = -375.9 + 347. Let i = 29 + x. Do i and o have the same value?
False
Let x = -3.57 - 0.43. Is x less than -7/5?
True
Let g(a) be the first derivative of a**4/4 - 2*a**3/3 - 2*a**2 + 4*a + 1. Let b be g(3). Let l(f) = -f**3 - 2*f**2 + f. Let t be l(b). Which is bigger: t or 8?
8
Let f be (-144)/3*92/69. Which is greater: -61 or f?
-61
Let p = -2.44 + 0.24. Let a = -2.2 - p. Let d = -1 - 0. Which is bigger: d or a?
a
Suppose 2*c - 2*f + 14 = -0*f, 14 = -2*c - 2*f. Let l = c - -9. Let p be (l - 4)*(-6)/4. Which is smaller: p or 2/5?
2/5
Suppose 24*q = 16*q - 16. Which is smaller: q or 44?
q
Let w be 355/(-240) + (-2 - 14/(-4)). Let p = 53/240 - w. Is p <= 0?
False
Let t be (-2 - 1 - 4/(-1))*-49. Let q = t - -47. Which is smaller: q or -25/8?
-25/8
Suppose -1259 = -42*l + 4831. Is l >= 144?
True
Suppose -4*t = -4, -4 = 35*h - 31*h - 4*t. Let a(m) = -m**2 + 7*m + 9. Let u(g) = g + 1. Let q(b) = a(b) - 2*u(b). Let v be q(6). Is h at most v?
True
Suppose 9 + 30 = -3*n. Suppose 0 = 2*m - 22. Let s = m - 24. Is n not equal to s?
False
Let 