2. Let p be g(3). Let c(a) = -19*a + 22. Let d be c(p). Let s = d + -111. Which is bigger: -11 or s?
-11
Suppose 3*l = 13*l - 40. Suppose 0 = -4*c - 5*v - 5, -l*c = -0*v + v - 15. Which is smaller: -2 or c?
-2
Let y = 5170.9 - 5171. Which is smaller: y or 1565?
y
Let t be (3/(-58))/(15/10 + (-1404)/944). Is -5 at least as big as t?
False
Let k(r) = -r**2 - 2*r. Let q(a) = -a**3 + 3*a**2 - 3*a + 2. Suppose 5*i = 4*i + 2. Let b be q(i). Let h be k(b). Is h < -4/73?
False
Let x = 1409 - 1410.8. Let o = 1.99 + 0.01. Let q = o + x. Which is bigger: 4/21 or q?
q
Let a = 462 - 459.5. Let t = -1.5 + a. Is -18 bigger than t?
False
Suppose 2*i + 1090 = -2*k, -2*k + 75*i - 74*i - 1090 = 0. Is k smaller than -545?
False
Let w be ((1 - 4) + 2)/(3 - 2). Let p = -204 - -17750/87. Is p < w?
False
Let r(p) = 29*p + 22. Let m be r(-1). Is -22 equal to m?
False
Suppose -3*s = -51, 15*f - 16*f - 5*s + 62 = 0. Let h(z) = -6*z**3 + z**2 - z - 1. Let w be h(-1). Are f and w equal?
False
Let y(m) = -2*m**2 + 77*m - 162. Let v be y(26). Are v and 488 non-equal?
False
Let m = 423 - 531. Let u = -188 - m. Is -80 != u?
False
Let i = -3.62 - -321.62. Let q = i - 317.94. Is -0.1 != q?
True
Let f(i) = 91*i**2 - 89*i**2 - 11 + 11*i + 43. Let j be f(-6). Let s be j/(1/2*16). Are 6 and s equal?
False
Let o = 153/4 - 667/12. Do o and 16 have different values?
True
Suppose -27*q = 9*q + 3348. Suppose -3*r - 172 = -r. Let v = q - r. Is v greater than -51/8?
False
Suppose -3*p - 8 = 2*f, 4 = 3*p - 3*f + 7. Suppose 0 = 16*x + 47*x + 1008 - 63. Let r be (-2*p/(-30))/(3/x). Is r greater than or equal to 7/4?
False
Let m = -213 + 213.2. Let r = 7 - 15. Let a = 8 + r. Which is smaller: a or m?
a
Let j(d) = -53*d - 12. Let q be j(-8). Suppose -120*x - q = -124*x. Suppose -5*m - 88 = -x. Are -4 and m non-equal?
True
Suppose h + 3*h + 1420 = 0. Let b(t) = 4*t**3 + 653*t**2 - 3193*t - 523. Let s be b(-168). Is h at most as big as s?
True
Suppose 4*m - v + 27 = 79, -9*v - 84 = -4*m. Is m > 88/7?
False
Let f = -6734 + 8499. Which is greater: 1768 or f?
1768
Let j(x) = 2*x**3 + 11*x**2 - 3*x + 5. Let h be j(-5). Let u = h - 0. Is u bigger than 45?
False
Let q = -76 - -82. Suppose -4*b = -2*g + 234, -5*b - 297 = q*g - 4*g. Is b less than -59?
False
Let m(g) = -4*g**2 - 9 + 5*g**2 - 13*g + 32*g. Let z be m(-17). Which is smaller: z or -46?
-46
Let q = -2681 - -2681. Is q >= -6/3383?
True
Suppose -4*p = -5*f + 33, -f + 6*p = 2*p - 13. Suppose -f*l + 4*w = 5, 11*l - 3*w = 9*l - 2. Let d be ((-25)/20)/(l/(-20)). Is -25 <= d?
True
Suppose 0 = -75*a + 12188 + 862. Is a less than or equal to 2?
False
Let b(r) = r + 23. Let v be b(-10). Suppose -2*z + 92 = -70. Let s = z + -68. Is v <= s?
True
Let g be (-9)/(-104)*608/152. Is 1 less than or equal to g?
False
Let t = -5062 + 116404/23. Let w = 0.2713 + -0.1713. Which is smaller: t or w?
t
Let q be (((-1)/(-15))/((-1)/(-1)))/(1004/409130). Which is smaller: 27 or q?
27
Suppose -5*y + q - 17 - 2 = 0, 4*q = -4. Let l be y/14 - (3882/(-504) - -5). Let p = l - 13/6. Which is greater: p or 0?
p
Let g = -6 - -6. Let p = 2.33 + 67.67. Let w = -70.063 + p. Is w smaller than g?
True
Let o = -637369/14 + 45473. Which is greater: o or -53?
-53
Let y = 110 + -49. Suppose -5*f + 26 - y = 0. Suppose -2*t = 22 - 6. Are t and f equal?
False
Let z be ((1 - 0)*1)/((-2380)/20468). Let q = 3/25 - -29/175. Are q and z equal?
False
Suppose -n - 2*z = 4, 7*z - 8 = 11*z. Let f = 2484070/417 - 5957. Is n <= f?
True
Let d(z) = -z**3 - z**2 - z - 4. Let f be d(-3). Let s be -2 + 81/f + -3. Let n be (6 + (-41)/7)*0. Which is smaller: n or s?
s
Let v be ((-6)/(-9))/(((-44)/(-1176))/11). Suppose 0 = 4*f - v - 500. Is 173 less than or equal to f?
True
Let t be (-2 - 4)/((-12)/(-112)). Let p be (-168)/(-189)*6/t. Let d = 18 + -19. Is p less than or equal to d?
False
Let i be (-3)/(2*3/(-4)). Suppose 4*d - 2*d = -i. Let k = -111 + 439/4. Which is bigger: d or k?
d
Let g be (-39 - -9)/(18/(-168)). Which is smaller: 291 or g?
g
Suppose -2*t - 2*s - 298 = 188, 1263 = -5*t + s. Which is bigger: t or -248?
-248
Let p = -0.047 - 26.953. Let m = -27.01 - p. Let z = -42 - -42. Which is bigger: m or z?
z
Let g = 18449/3 + -6153. Let q = 2 + 0. Is q not equal to g?
True
Let k(x) = x - 21. Let h be k(-9). Let q = 37 + h. Let n(v) = -v**3 + 8*v**2 - 5*v - 10. Let g be n(q). Which is greater: -9 or g?
g
Let y = -1407 - -1406. Is y less than or equal to 1/3006?
True
Let r be 0 - ((-294084725092)/(-10350))/1. Let o = 28413983 + r. Let p = -4/207 + o. Is -1 not equal to p?
True
Let h = -1.5 + 0.3. Let i(m) = -m**2 + 9*m - 13. Let g be i(4). Let w = g - 51/7. Which is smaller: h or w?
h
Let l = 15747 + -47242/3. Which is greater: l or 4826?
4826
Let z = 177 - -15. Let j = -269 + z. Let w = j + 94. Is 0.1 < w?
True
Suppose 3*a - 2*d = 0, -632 + 632 = 4*d. Is 3/425 < a?
False
Suppose 148*z - 184 + 36 = 0. Is 2482 > z?
True
Let i = 2176.2 - 2176.2. Is 213.2 less than or equal to i?
False
Let w(p) = -3*p - 8. Let b be w(7). Let u = b + -33. Is -63 greater than u?
False
Let x be ((-64)/96)/(2/(-1758)). Let c = x - 581. Do c and 5 have the same value?
True
Suppose -5*y - k - 986 = -106, 3*k = y + 160. Is 13 != y?
True
Let o be -73 - (-6)/(0 - 2). Let v = o + 75. Which is smaller: v or -2/297?
v
Suppose -h = -5*l + 4*h + 65, 5*l - 53 = 2*h. Suppose -24*o - l*o = -1749. Is 53 less than o?
False
Let j = 0.066808 - 88.040808. Let a = j + -0.026. Let d = 88.2 + a. Which is bigger: d or -0.08?
d
Let i = -397432898/6553 + 60649. Are 0 and i nonequal?
True
Suppose -26*p + 50*p - 32*p = -6320. Is p > 793?
False
Suppose 0 = y + 3*a + 59, 0 = -2*y + y + 3*a - 71. Let z = -64 - y. Let s = -36.974 + -0.026. Which is bigger: z or s?
z
Let k = -0.02 + 0.08. Let o = -2.7 - -508.7. Let p = 513 - o. Is p greater than or equal to k?
True
Let o(k) be the third derivative of -k**4/4 + 149*k**3/6 + 42*k**2. Let x be o(10). Is x greater than 443/5?
True
Suppose 9*s - 13*s + 76 = 0. Suppose 11 + s = 10*x. Let v = 0.08 + 0.22. Which is smaller: x or v?
v
Suppose 0*f - 4*f + 12 = 0. Suppose 0 = d - f*d - 4*n - 112, 0 = -4*d + 4*n - 200. Let v = -79 - d. Is v bigger than -26?
False
Let a(h) = -23*h**2 + 447*h + 97. Let i be a(20). Which is smaller: -153 or i?
i
Let z(p) = -2*p - 59. Let w(d) = d + 20. Let t(m) = 7*w(m) + 2*z(m). Let n be t(-8). Let v be n*1/124*-2. Is 1 >= v?
True
Suppose -j = -5*r - 546, -6*r - j + 216 = -8*r. Let w(a) = -a**2 - 111. Let x be w(0). Is r less than x?
False
Let n = -212.07 - -212. Let l = 82 - 408/5. Which is smaller: n or l?
n
Let h = 92369 + -14040087/152. Let l = 7.1 + -7. Is h != l?
True
Let p = 92 + -60. Suppose 24*d - p*d = -184. Suppose -9*h + 5 = d. Is -6 smaller than h?
True
Let p = -1169 - -2575. Which is bigger: 0.05 or p?
p
Suppose 1475*d = 1473*d - 4*u - 332, -5*d = -5*u + 830. Is d at most as big as -167?
False
Let b(d) = -3*d**3 + d**2 + 4*d + 1. Let l be b(-2). Suppose -5*i = -62 - 8. Is l != i?
True
Let y(l) = 65*l - 26. Let i be y(1). Suppose 3*t + 4*f - 132 = 0, 2*t - 1 = -4*f + 91. Are t and i nonequal?
True
Suppose -m + 9312 = 2*r - 5*m, 3*r + 2*m - 13960 = 0. Is 4654 greater than or equal to r?
True
Let x be 2/(-10)*((-14)/7 + (-5)/(-15)). Suppose -4*h - 15 - 1 = 0. Let r = 4 + h. Is x > r?
True
Let i = 1139 + -1130. Suppose -g + i = -j, 4*g + 0*g - 48 = -2*j. Let u = 0 - 1. Which is smaller: u or g?
u
Let v(z) = -z**3 - 6*z**2 + 8*z + 3. Let j be v(-7). Let l = -3474 - -3476. Is j at most l?
True
Let w = -251 - -186. Let g be w/312*(-4)/290. Do -1 and g have different values?
True
Let z = -44099 + 1543602/35. Which is greater: z or 5?
5
Suppose 13*u + 6760 = -15*u - 12*u. Which is smaller: u or -180?
-180
Let l = -9334 - -494. Let d be (-2002)/l - (-1)/(-4). Is 0 not equal to d?
True
Let u = 1804.93 + -1723.6. Let h = -86.3 + u. Let x = -5 - h. Which is smaller: x or -0.1?
-0.1
Suppose -5*z + 3*x = -895, 3*x + 363 + 353 = 4*z. Which is smaller: z or 355/2?
355/2
Let h = -10 - -12. Let q be h + 1 + (-34)/10. Let a = 1076 - 1076.42. Is a != q?
True
Let i = -79858 - -741002380/9279. Which is greater: i or 0?
0
Let x(k) = k**3 - 4*k**2 - 2*k - 13. Let s be x(5). Suppose 127 = s*a + 429. Let m = a - -293/2. Is -6 at most m?
True
Let o = 319 + -166. Let i = o - 97. Suppose 49 - 90