. Which is smaller: 16/147 or u?
u
Let z(p) = p**3 + 16*p**2 - 36*p - 3. Let n(b) = -2*b**2 - 27*b - 103. Let v be n(-5). Let l be z(v). Let w be 4/(-21)*(-12)/(-1). Which is greater: w or l?
w
Let g be -5 - -4 - (0 + 9). Suppose 4*s + 18 = -0*s + 2*s. Are s and g non-equal?
True
Suppose 142 = 5*u + 4*t, 18*u - 17*u = t + 41. Let j = 61 - 23. Suppose 2*a - j - 28 = 0. Which is smaller: a or u?
a
Suppose 48*y + 18262 = 101*y - 261843. Which is bigger: y or 5287?
5287
Let v = 1841/4390 + -17/878. Is v < 1170?
True
Let l = 178 + -200. Let g = 0.01 + 0. Let j = g - 0.01. Which is smaller: l or j?
l
Let z(q) = -q**2 - 5*q + 6. Let o be z(-7). Let m be (o/(-370))/(2/(-5)). Suppose 2*y = 5*n - 5, 2*y + 2 + 2 = 4*n. Are y and m equal?
False
Let c = -1995 - -1450. Is c at least as big as -4?
False
Let n = -6561/4 + 48091/28. Which is smaller: -0.1 or n?
-0.1
Let z = 4285 - 4216. Which is smaller: -14 or z?
-14
Suppose -2*m = -2*h + 84, h + 106 = -3*m - 4. Let v = 37 + m. Let z be 6/((-47 + -10)*v/2). Which is smaller: -1 or z?
-1
Suppose -191 = 3*o - p, -6*o - 5*p = -9*o - 175. Let j be 13/(-2)*2*5. Let b = o - j. Which is smaller: 1/21 or b?
b
Let l = -2088 - -2056. Does l = -234/7?
False
Let v(q) = 9*q**2 + 107*q + 921. Let y be v(-10). Which is bigger: 750 or y?
y
Let t = 24 - 22.5. Let x = t + -4.5. Let a = 0.85 - 0.78. Which is greater: a or x?
a
Let l be (-2)/2*-1*-1. Let w = 209551/1022448 + -26/179. Let u = w - -1/357. Which is greater: u or l?
u
Let k be (465/(-25))/(-1*1/(-5)). Let d = 95 + k. Suppose 3*h + 33 - 97 = d*u, -31 = u - h. Is u < -27?
True
Let t be (30 - (-418)/(-14))*(-7)/(-58). Is t at most 1?
True
Let w(c) = -3*c**3 - 2*c**2 + 9*c + 8. Let l be w(-3). Suppose -52 = -z + 5*p, -3*p = -4*z + 3*z + l. Let r = z - 33. Are r and -9 equal?
False
Let v be -4 - 14*6/(-12). Let l be (3 - 5/v)/(30/(-1548)). Which is smaller: -70 or l?
-70
Let b(g) be the third derivative of -g**4/8 - 67*g**3/2 + 236*g**2. Let x be b(-42). Which is smaller: -73 or x?
x
Let h(g) = -268*g - 356. Let p be h(-11). Which is smaller: p or 2593?
p
Let y be (-10)/(-4)*(-46)/(-115) - -108. Let i = 385 + -277. Which is bigger: i or y?
y
Suppose 0 = -j - 3*x - 32, 3*x + 37 + 109 = -4*j. Let w = -48 - j. Let b be w/(-50) - 678/(-10). Which is greater: 69 or b?
69
Let n be (40/1260)/(-1*(-1)/(-3)). Does 0.5 = n?
False
Let o = -3684 + 6597. Is o less than 2913?
False
Let y(u) = -u**3 + 4*u + 5. Suppose 4*z - 448 = j, 4*j + 97 = 2*z - z. Let a = 109 - z. Let i be y(a). Which is greater: i or 54?
54
Let r(x) = -2*x - 22. Let w(n) = n + 22. Let i(h) = -6*r(h) - 5*w(h). Let l be i(-6). Let u = -18 - l. Which is bigger: 0 or u?
u
Let z = -205.13 + 206. Let n = 1.03 - z. Let t = -41 - -41. Is t >= n?
False
Let x(g) = 8*g**2 + 8*g. Let z be x(0). Is 5/871 < z?
False
Let t be 5204/(-13060) - -6*1*77/1155. Which is smaller: t or -8?
-8
Let o(z) be the second derivative of 13*z**3/6 - 53*z**2/2 - 14*z. Let x be o(6). Do 27 and x have the same value?
False
Let q = 0.006 - 0.174. Let z = q + 0.022. Is 1/4 not equal to z?
True
Suppose -12971 = 98*h - 339*h - 69124. Does -935/4 = h?
False
Let g be (-2 + 12/4)*149. Let v(s) = 47*s - 38. Let x be v(4). Which is smaller: g or x?
g
Let u = -1.9673 + 0.0893. Let i = u - 0.122. Which is smaller: i or -54?
-54
Let v = -241/66 - -20315/6666. Let u = v + 2/505. Which is smaller: 15 or u?
u
Suppose 5*f + 127 = -4*t, 0 = 3*t - 4*t + 4*f - 16. Let o = t - -33. Which is greater: 47/8 or o?
47/8
Let z(g) = g**2 - 5*g - 13. Let h = -77 - -82. Suppose 4*t = -h*t + 63. Let r be z(t). Is -6/35 >= r?
False
Suppose -36*g = 27 + 1017. Suppose -22 = -4*c - 6. Suppose -f + c*f - 8 = -2*h, 0 = 5*h - 5. Which is smaller: f or g?
g
Let t be ((-1148)/(-12))/7*(160/30 + -5). Is t >= 6?
False
Let q be ((113656/12)/(-1))/(592/48). Let c = 768 + q. Which is bigger: 0.9 or c?
0.9
Let f = -364 - -361. Let a be 30/12*f/((-81)/4). Is 0 bigger than a?
False
Let a(u) = -10*u - 465. Let c be a(-46). Suppose -2*i = 5*m - 364, 4*i - m - m - 776 = 0. Let x = i - 595/3. Is x equal to c?
False
Let c = -58 + 49.68. Let p = c - -9.32. Are p and 140 nonequal?
True
Let w = 0.2922 + -64.3622. Let n = w + 64. Let x = n + -0.13. Which is smaller: -3 or x?
-3
Let m be -4 - -1411 - (-3 - -8). Suppose b + 1119 = 5*i - 9*i, 5*i - 2*b + m = 0. Is i less than -278?
True
Let s = -0.045 - 6.755. Let y = s + 6.7. Let b = 146 - 212. Which is smaller: y or b?
b
Let v be 4*(-1)/(-6)*1*6. Let h(b) = -v*b + 29 + 22*b - 10*b - 7*b. Let g be h(-17). Is g at most 13?
True
Let s = -13778 + 13598. Which is bigger: s or -176?
-176
Suppose 35*l = 30*l - 70. Suppose 4*i + 2*q + 2 = 6*i, 4*i + 5*q - 13 = 0. Suppose -i*f = -3*f - 15. Which is smaller: f or l?
f
Let j = -15520 - -2529763/163. Suppose 0 = -4*a + a. Which is bigger: a or j?
j
Let g = -3872 + 42590/11. Which is bigger: 2/297 or g?
2/297
Let x = -6 + 2. Let c = -1421103/4 - -355277. Which is smaller: x or c?
x
Suppose 23400 = -92*u + 128*u. Which is bigger: u or 3257/5?
3257/5
Suppose 0 = -27*a + 30*a + 96. Let z be (a/20)/(1806/(-45)). Is z > 0?
True
Let o = -462647/42 - 149691/7. Let l = 13607653/420 + o. Let h = l - -11/28. Which is greater: -1 or h?
h
Let m = -206 - -234. Are m and 48 non-equal?
True
Let v be (-45)/(-13590)*1*(2 - -2). Is v at least as big as -1?
True
Let w = 861/5 + -1757271/10205. Is 1 at least as big as w?
True
Suppose 10 + 25 = 5*f. Let q be 20/(-15)*(-725)/(-20)*(-10)/75. Which is greater: f or q?
f
Let p(v) = -v**2 - 41*v + 240. Let h be p(-43). Is 155 < h?
False
Let s be -4 + 201/(-608790)*1284329. Let o = s + 55/5798. Let u = o - -428. Which is smaller: u or -1?
-1
Let f(k) be the third derivative of -k**5/12 + 49*k**4/24 + 5*k**3/2 - 19*k**2. Let r be f(10). Which is smaller: 4 or r?
4
Suppose 3*l = 5*k - 36, -75 + 48 = -3*k. Let i(r) = -2*r**3 - 3*r**2 - 3*r - 1. Let c be i(-2). Which is smaller: l or c?
l
Let m be (-2)/1 - (22 + 111778). Let l be m/(-154) + 0 + 4. Let r = l - 730. Is -1 >= r?
False
Let i = 41830 + -11796041/282. Is i >= 0?
True
Suppose -4*f + 61 = -59. Suppose -37377 = -537*j - 2493*j + 33347 + 14116. Is f not equal to j?
True
Let v = 418 - 610. Let r be 5 - (v/3)/(-4). Let p be 1896/462 - 2/r. Is 3 less than or equal to p?
True
Let q = -3674 + 3898. Are 237 and q nonequal?
True
Let c(p) = -p**3 - 5*p**2 + 6*p - 2. Let s be c(-6). Let k be -3 + 0 + s*4/(-2). Suppose -5*z - 2*q - 4 = 0, 2*z + 0*z + q + k = 0. Which is greater: z or -3?
z
Let v(u) = 18*u**3 + 3*u**2 + 4*u - 14. Let f be v(-3). Let y = -490 - f. Is y greater than -57/16?
False
Let v = 234 - 227. Suppose -3*b + m + 13 = 0, -72*b + 73*b + m - 11 = 0. Which is bigger: v or b?
v
Let w = -0.214 + 10.714. Let p = w - 2.5. Is -1 >= p?
False
Let k = 2894.01 - 2894. Is -0.6 at least k?
False
Let s = -1 - -3. Let g(o) = -18*o - 297. Let x be g(-20). Suppose -5*r + x = s*j - 9, 144 = 4*j - 5*r. Is j > 35?
True
Let s = -209 - -211. Let w be (7/(-63))/(s/123). Which is smaller: w or -6?
w
Suppose 13*t - 12*t = 3, 4*g + 11 = 5*t. Which is bigger: g or -2/4053?
g
Let a = 0.4 + -1.2. Let d(x) = 3*x**2 + 33*x - 121. Let p(s) = -2*s**2 - 22*s + 81. Let z(r) = -5*d(r) - 7*p(r). Let h be z(-14). Is h > a?
False
Let s = 13491 - 18919. Is -5431 greater than or equal to s?
False
Let h(q) = -345*q + 1. Let p be h(-3). Let j be 0*(-1 + 2) + 1406/p. Which is greater: 0 or j?
j
Let r be ((-16)/32)/(99/2). Suppose 233*h - 226*h + 7 = 0. Are h and r non-equal?
True
Let d(o) = -4*o**3 + o**2 + 4*o - 3. Let h be d(2). Let c = h - -5. Let n be (-9)/c - (-10)/(-8). Do -1 and n have different values?
True
Let l(f) = 11 - f**2 - 5*f - 2*f + 1. Let d be l(-8). Suppose -18 = 3*s - 3*x, d*x - 20 + 86 = -5*s. Are -8 and s unequal?
True
Suppose -130 = f + 4. Let c = -96 - f. Let w = c - 28. Which is smaller: w or -1/4?
-1/4
Let x = 0.4 - 0.3. Let n = 209 + -204. Let f be ((-8)/(-80))/(n/20). Which is bigger: x or f?
f
Let z be 1/((-21)/(-36))*(-854)/244. Is z > 23?
False
Let s(g) = -g**2 - 64*g + 172. Let q be s(-61). Which is greater: 352 or q?
q
Let q(u) = -u**2 + 29*u + 3. Let d(g) = g**2 + 11*g + 3. Let r be d(-13). Let z be q(r). Is 3 greater than or equal to z?
True
Let g = -8977/1235 + 84/95. Which is bigger: -7 or g?
g
Suppose -5*x = -3*x - 7180. Suppose 539 