et l be u/(-10) + (-42)/10. Which is smaller: 0.05 or l?
l
Let r be (-362493)/(-504) - (-6)/(-16) - -5. Let j = r + -724. Is j bigger than 6?
False
Let b = -1240042673/3046212 - -5/234324. Which is smaller: -408 or b?
-408
Let y = -117 + 106. Let b = -917 - -918. Which is smaller: y or b?
y
Let z be (22/(-2) - -3)/((-2)/1). Suppose -14*s + 12*s = -z. Let m be (236/(-4) + -1 - 1) + s. Are m and -58 non-equal?
True
Let j(x) = 62*x - 3. Let r be j(3). Let i be r/132 - (-3)/12. Let n = 361 + -359. Does n = i?
False
Let r = 1462 - 1463. Is -39/28 not equal to r?
True
Let k be 7 - (4/2 - 1). Let l(g) = -20*g + 682. Let t be l(34). Suppose w + q + 6 = 0, -2*q - t = -k. Is w not equal to -6?
True
Let l = 660.418 + -660. Let i = l + -0.428. Does i = -23?
False
Let w be -1 - (1 + 5253/(-2625)). Let z = w - -12241/7875. Suppose -5*l - 3*o + 3 - 13 = 0, 10 = 5*l - o. Which is smaller: z or l?
l
Let l = -46.7 - 2.3. Let j = 77 + l. Which is bigger: 0.2 or j?
j
Suppose o = 6*o. Suppose o = 53*n - 56*n. Let c be 1/2 + n + 2. Is c >= 2?
True
Let l = -3533/14 - -36737/140. Let f = l - 64/5. Suppose -j = 4*j - 2*a + 23, -3*a - 3 = 5*j. Is j > f?
False
Let i = -5 - -7. Let j = 1691.404 + 6.096. Let v = j - 1696. Is i smaller than v?
False
Let p be 142/8 + 2/8. Let r = -148 - -144. Let a be r + 20 + (-35)/(-28). Is p < a?
False
Let g(j) = 6*j**2 - 43*j + 8. Let t be 2/(-5) + -9 + (-246)/(-15). Let i be g(t). Is -7/15 > i?
False
Let u be (4/(-6) + 2)/(1/3). Let w be (u/16)/((35/(-10))/7). Which is greater: w or 0.01?
0.01
Let c = 99 - 222. Let z = c - -109. Let k = z + 12. Is k > 2?
False
Let a(k) = k + 11. Let u be a(-11). Suppose -7*f + 3*f = -5*y + 20, u = -f - 5*y + 20. Which is smaller: 33 or f?
f
Let i = -437321/83 + 5269. Let k be (-1)/4 - (-1)/4. Is i < k?
False
Let y = -82/90187 + -10233337122/1533179. Let a = y - -6678. Which is greater: 4 or a?
4
Let u be -5 + (-4 + 7 - (2 - 27)). Suppose -2*h - 2*l - 11 - 1 = 0, 3*h + 4*l = -u. Which is smaller: h or -27/14?
-27/14
Let c(f) = -2*f**2 + 46*f + 68. Let s be c(26). Let r be (66/s)/(489/8). Suppose 4*p + 4 = 5*l, -2*l + 0*p = 3*p + 3. Which is smaller: l or r?
r
Let r = 2.334 + -2.396. Which is greater: 4/9 or r?
4/9
Let j be (-6 + (1 - 156))/1. Is j at least as big as 1.7?
False
Let d = 1320.1 + -1317.4. Which is smaller: -40 or d?
-40
Let l = -95 - -95. Let d(t) = 7*t + 117. Let k be d(l). Let x = -138 + k. Is x at most -20?
True
Let v be 6 - (10 + -6 - -1). Let i = 3 + 1. Let o be (0 + 2)/(10 + i). Is v less than o?
False
Let y be -2167 - (-16 + 4) - -11. Which is smaller: -2143 or y?
y
Suppose 17*t - 186 = 11*t. Let z(a) = a**2 - 35*a + 23. Let f be z(t). Which is smaller: -102 or f?
-102
Let u = -24.03885 - -0.03885. Is 2.55 at least as big as u?
True
Let v = -21459.957536 - 0.042464. Are v and -0.2 non-equal?
True
Let q(x) = -2*x**3 + 10*x**2 + 52*x + 3. Let r be q(-3). Which is greater: -202 or r?
r
Suppose -3*g = -2*d - 53, -g - g - 123 = 5*d. Let i be (-160)/d - 6 - 113/(-5). Which is smaller: i or 26?
i
Let h = -0.12 - -0.168. Which is smaller: h or 0.7?
h
Let i(n) = -60*n - 56. Let v be i(5). Which is greater: -350 or v?
-350
Suppose 0*x + 2*w = -x - 71, -2*w + 6 = 0. Let m = -53 - x. Suppose -4*j - 1 = -4*z - 25, -5*z + m = 4*j. Are 9 and j equal?
False
Suppose 10*c = -53 - 67. Let z be (105/c - -6)*-20. Let w be (110/4)/((-12)/(-24)). Is w less than or equal to z?
True
Suppose -2*l = -2*t + 1746, -1757 - 1741 = 4*l + 2*t. Is l bigger than -874?
False
Suppose 117*g + 7*g = 10*g - 3762. Is 10/31 at least as big as g?
True
Let z(v) = v**3 - 59*v**2 - 373*v - 2. Let h be z(-6). Is -77 bigger than h?
True
Let o = -0.087 + 0.011. Let w = o - -21.076. Which is bigger: 2/3 or w?
w
Let l = -5215 - -5215. Let b be 4/(-26) - (-232)/1339. Which is bigger: b or l?
b
Let t = -25594.9593 + 25598. Let d = 0.0407 - t. Let b be (((-210)/4)/(-5))/3. Which is bigger: d or b?
b
Let q(z) = -z**3 - 18*z**2 - 14*z - 6. Let n be q(-17). Let h be 533/1211 + n/133. Which is bigger: h or 1?
1
Let q = 1439/1068 + -26/267. Which is smaller: 0.134 or q?
0.134
Let f(v) = 1001*v - 6. Let j be f(3). Let z be j/(-45) - ((-6)/5)/(-3). Let o = z + 70. Is o equal to 30/11?
False
Let h = 4761 + -7860. Is -3097 at most h?
False
Suppose 4*b = 2*r + 28, 5*b + 2 = -2*r + 19. Suppose -b*x + 19 = -1. Let h be -2 - (x/((-20)/(-11)) + -4). Is h bigger than -12?
True
Let l(j) be the first derivative of j**2/2 + 17*j - 41. Let u be l(19). Let f be -5 + u/4 - (1 + -39). Which is bigger: f or 41?
f
Let v be 2/(15/((-12810)/4)). Which is smaller: v or -2128/5?
v
Let z = -7098 + 16965. Which is smaller: -0.1 or z?
-0.1
Let j = 196.6 + -23.6. Let i = 189 - j. Is 1 at least as big as i?
False
Let c(w) = 6*w**2 + 38*w - 13. Let t(s) = -10*s**2 - 77*s + 25. Let y(j) = 11*c(j) + 6*t(j). Let k be y(6). Which is smaller: 3 or k?
k
Let x = 25 - 11. Suppose -x*s + 9*s = 155. Let h = 31 + s. Is h bigger than 1/48?
False
Let w = 439 + -445. Let l be (-691)/w - (-10)/(-60). Is 114 at least l?
False
Suppose -3*g - 5*g + 200 = 0. Let f = -89 + g. Are -66 and f unequal?
True
Let r = -467362 - -16359106/35. Let a = r + -41. Which is bigger: a or 1?
1
Let r = -68.6 + 68.5978. Let i = r - 0.0278. Which is smaller: -0.13 or i?
-0.13
Suppose -n - 1069 = 3*s - 7*s, -1315 = -5*s - 3*n. Suppose 3*l + 2 = s. Is l at most 90?
True
Let o be ((-336)/2360)/(-21)*(-3)/(36/(-15)). Which is smaller: o or -1?
-1
Let a be 1/2*20/5. Suppose 5*t + q = 27, 0 = a*t + 2*q + 2 - 8. Suppose -t*k = -17*k + 11. Which is smaller: -12 or k?
-12
Suppose 0 = 3*k + 15, 6*k - 2*k = 3*d + 4. Let f be (-4)/d + -2*(-165)/(-500). Are 2 and f nonequal?
True
Suppose 2*z + 1 = 5*w + 35, 3*z + 3*w = 51. Suppose -z*l - 9*l - 676 = 0. Is -28 < l?
True
Let b be (10/(-45))/1*23931/6. Let k = 475955/537 + b. Are 1 and k nonequal?
True
Let b = -14.8 - -12.8. Let x = -3.18 + 0.18. Let w = -2 + x. Which is greater: b or w?
b
Let g = 0.0613 + -12.7913. Which is smaller: 3 or g?
g
Let b(r) = r**2 - 127*r + 1379. Let j be b(12). Which is smaller: -1.328 or j?
-1.328
Let m be 14*(-2 + (3 - 0)). Let x(w) = w**3 - 33*w**2 + 9*w - 278. Let h be x(33). Is h >= m?
True
Let i(j) be the first derivative of j**4/4 + 7*j**3/3 + 7*j**2/2 + 12*j + 1. Let a = 136 + -142. Let u be i(a). Which is bigger: 4 or u?
u
Let w = -0.022 - -8.022. Suppose -240 = -4*x - 2*x. Let d be 5/(-2)*(-12)/x. Is w > d?
True
Let h be 14 + 27/(324/(-168)). Are 196 and h unequal?
True
Let t = -1354 - -398. Is t less than -7653/8?
False
Let i = 37.374 + -37.9. Let d = i - -0.126. Is d less than 0.18?
True
Let d(b) = b**3 + b**2 + 8*b + 7. Let r(w) = -w**3 - 2*w**2 - 9*w - 8. Let f(j) = 5*d(j) + 4*r(j). Let i be f(4). Which is bigger: i or 36?
36
Let c = -290.6 - -290.6. Which is bigger: c or 251.9?
251.9
Let f(k) = -88*k - 883. Let g be f(-8). Is g at most -179?
True
Let i(v) = -11*v. Let k be (1/(-1))/(0 - (3 - 2)). Let z be (5 - 6)*(k + 0/(-2)). Let p be i(z). Is -1 less than or equal to p?
True
Suppose -11*u = -12*u + 8. Suppose 3*w = -u - 7. Let z(i) = i**2 + 9*i + 11. Let l be z(w). Is 0 equal to l?
False
Let m(z) = -z**2 + 6*z. Let v be m(5). Let w(q) = -11*q + 55. Let i be w(v). Suppose i*l = l - 29. Which is smaller: 27 or l?
27
Let q be 4 + 323/1 - (-4 + -1). Suppose 80 = -324*n + q*n. Suppose -w + 9 = -5*p, 5*p = 3*w - 3 - 24. Which is smaller: n or w?
w
Let r = 2.175 + -3.75. Which is bigger: 0 or r?
0
Suppose -10*j + 7 = -3*j. Suppose 4*l - 2*g = 14, 2*l + 0*g + g - 13 = 0. Which is smaller: j or l?
j
Let o(y) = 3*y + 6 - 2*y + y. Let g(t) = 6*t - 85. Let w be g(16). Let u be o(w). Is 29 less than or equal to u?
False
Let h = -1.05932 + 0.05932. Are h and -390 unequal?
True
Let g = 33331 - 33332. Which is bigger: g or 1/1484?
1/1484
Let c(m) = m**3 + 11*m**2 - 11*m. Let n be c(-12). Let u be 3*2/(-6) + -18. Let d = u + 17. Which is smaller: n or d?
n
Let p(w) = 7*w + 21. Let l be p(-3). Let x(b) = -4*b + 56. Let s be x(l). Let t be s/(-26) - -2 - 1470/78. Is t > -58/3?
True
Let k(m) = m**3 - 5*m**2 + 3*m + 5. Let u be 8*((-10)/(-4))/(-7 + 12). Let r be k(u). Which is smaller: -4/229 or r?
-4/229
Let k = -81 - -388. Let n = k + -306. Is n at most -4/149?
False
Let j = 936/7 + -134. Let k = 21756.37 + -21756. Which is smaller: j or k?