 i = -3600 - -3496. Which is bigger: -74 or i?
-74
Suppose p - 4*y - 5 = 0, 4 = y + y. Suppose -p*i + 7*i = -12. Let b be (4/(-4 + i))/(4/58). Which is greater: -31 or b?
b
Let o = -3 - -3. Let w = -1466/29 + 546847/10817. Is o at least w?
False
Suppose -26 = 16*y - 74. Suppose 0 = y*c - 42 + 45. Which is smaller: 6/23 or c?
c
Let y(f) = -5*f + 13. Let c be y(-26). Let g = -2275 - -2274.9. Is c at least g?
True
Suppose 5*w = 5*m + 15, -3*m - 9*w + 13*w - 11 = 0. Let j(i) = i**2 - 1. Let q be j(m). Which is smaller: q or -1/3?
-1/3
Let d = 12512 + -20236. Is d != -7724?
False
Let u = -0.056542 + 5.056542. Let o = 0.112 + -51.112. Are u and o unequal?
True
Let k be (7/(56/472) - -3) + -4. Which is smaller: k or -2?
-2
Let i be (-3 - (-19)/7)*-7. Suppose -w + 5 = -g, i*g - 4*w = 6*g + 28. Does -11/2 = g?
False
Let p be -1 + (-5)/(-7 - -2). Suppose p = 3*c - 12. Suppose c*a - 2*t = -102, -2*a + a - 4*t = 12. Does a = -23?
False
Let t = -176 - -413. Let o = t + -230. Are 70/9 and o equal?
False
Suppose 7367*j - 7366*j = 3*n + 336, 0 = -2*j + 2*n + 684. Which is greater: j or -12?
j
Let v be (5/((-45)/(-38)))/(406/42 - 9). Let c = -14 - -20. Is v less than or equal to c?
False
Suppose 2*h = 3*x + 2, 7*x - 4*x + 3*h - 18 = 0. Suppose 2*d + 4*u = -0*d + 586, 2*u = x. Which is smaller: 290 or d?
290
Let p(a) = a**2 + 6*a. Let q = 46 + -55. Let m be p(q). Suppose 5*d = 2*s + m, 2*d - 38 = 3*s - 14. Which is bigger: s or -4?
-4
Let l = 828/7 + -118. Let c = 0.026 + -7.626. Let f = -6.4 + c. Which is smaller: l or f?
f
Let x = -0.28426 + 0.02256. Let a = x + -0.0083. Let j = -13/21 - -2/7. Which is smaller: j or a?
j
Let w(l) = 19*l**2 + 152*l - 6. Let g be w(-8). Let j = 53 - 63. Is j > g?
False
Let g = -10/6051 + -2583737/24204. Which is smaller: -108 or g?
-108
Suppose c = -5*r - 335, 2*r + 9 + 1 = 0. Let j = 309 + c. Which is smaller: -1/147 or j?
j
Let t(g) = 9*g + 173. Suppose 2*l = 9*x - 10*x - 62, -3*l = -5*x + 67. Let w be t(l). Is w at most -612/7?
True
Let p be (-170)/27*1 + -5 + 6 + 3. Which is smaller: p or -2?
p
Let d = -4832365773244/11827959 - -32275801/79. Let a = 14/1047 + d. Are a and -1 equal?
False
Let g be 1153126/(-2600) + 2/4. Let x = g - -443. Which is smaller: 1 or x?
x
Let g be ((-1)/(-1))/(16/112) - (76 - 18). Are g and -448/9 non-equal?
True
Let y = 377/3 + -101. Let s be (-2)/(-2) + (3 - 16 - -17). Suppose 0 = s*z + 9*z - 350. Are z and y unequal?
True
Let c = 316.6 + 78.4. Let t = c + -355. Is t at least as big as -0.3?
True
Let s = 335.709 + -336. Let h = s - -0.091. Which is smaller: -27 or h?
-27
Suppose 0 = 3*x - 322*q + 326*q + 3765, 6223 = -5*x + 2*q. Which is smaller: -1245 or x?
x
Let j be 29567/3285 - (-18)/(-2). Let v = j - -239797/13140. Are v and 0 equal?
False
Let l = -5.994 - 1.376. Let o = l - -7.47. Which is smaller: 150 or o?
o
Suppose 2*b = -d - 425, -b + 169*d - 174*d - 190 = 0. Which is greater: b or -1?
-1
Let u(g) = g**3 - 24*g**2 - 182*g + 61. Let d be u(30). Which is smaller: d or -2/1593?
-2/1593
Suppose 0 = 4*c + 2*c - 102. Let u be (2/(-4))/(((-102)/180)/c). Let k = 6 - u. Which is greater: -10 or k?
k
Suppose 0 = 10*o - 8 - 2. Let d be ((-214)/18)/((-186)/9 - o). Let m = -2/39 - d. Which is smaller: m or -2?
-2
Suppose 7*w = 12*w + 10. Let x be w/5 + (-392)/70. Let d be (-3)/(x/32*2). Is 9 smaller than d?
False
Let i(m) = 96*m. Let f be i(0). Which is smaller: f or -3/2206?
-3/2206
Let k = 2700 - 2697. Is k bigger than -187?
True
Let b = -8242 + 8243. Let o(y) = -y**2 - y. Let c be o(1). Let i be c/4*(-4)/(-118). Which is smaller: b or i?
i
Let h = -0.5 - -0.1. Let q = -0.0884 - -0.3884. Let p = q + h. Which is smaller: p or -1.6?
-1.6
Let s be 2/(16/3) - (-279133)/(-376). Let x be (-2)/16 - (s/688 + 1). Are 1 and x nonequal?
True
Let m be ((-20)/(-7))/(54/567). Suppose 0 = 3*k + 2*v + 37 - 4, -m = 2*k + 4*v. Let o(d) = -2*d**2 - 21*d - 26. Let l be o(k). Is 11.7 != l?
True
Let c = -0.36 + 0.38. Let j = 0.426 - 0.83. Let y = -0.004 - j. Is y at least c?
True
Suppose 13756 = 5*a - 2*g, 0*a + g - 11010 = -4*a. Is 2752 <= a?
True
Let i(o) = o**2 - 13*o + 41. Let p be i(5). Suppose -4*j - j + 885 = 0. Let c = j - 879/5. Is p at least c?
False
Let y(q) = -2*q**2 + 115*q - 1163. Let m be y(44). Is m smaller than 314/13?
False
Let z = -0.0276 + -0.4304. Let u = z - 0.842. Which is greater: 0.09 or u?
0.09
Let b be ((-77)/(-22))/7*(-1 + 3). Let q be -4 + 354 - (0 + b)*-1. Which is smaller: 350 or q?
350
Let y be 56*((-36)/(-9) + -5). Is -72 at least y?
False
Let c = 508.4296 + -0.7296. Let s = c - 508. Is 3 <= s?
False
Suppose -9 = -r + 2*r. Let d = -14649938517/73882 + 10508778/53. Let l = 1/697 + d. Is l at most as big as r?
True
Suppose 13*f = 11*f + 8. Suppose 0 = f*l - 16 - 4. Suppose 3*j = -l - 16. Is -7 equal to j?
True
Let k = 0.87 - 1.16. Let d = -0.3 - k. Let x be (-6 + 2 - 0)/(-1). Which is smaller: x or d?
d
Suppose 0 = 2*f + l + 20, -f - 4*l - 28 = l. Let i(p) = -p**3 - 5*p**2 + 3*p + 6. Let x be i(-6). Let g = x - 32. Is f at most as big as g?
True
Let s be ((-258)/117 - -2)/((-142)/(-169974)). Is s greater than or equal to -246?
True
Suppose -3*m + 8*m = p + 54, -4*m = -3*p - 118. Let d be 10 + -11 - 38/p. Suppose 27*x = 21*x + 14*x. Are x and d non-equal?
True
Suppose 3*q + 29 = -10. Let y be ((-6)/4)/(1/2) - -5. Let n(p) = -p**3 - 2*p**2 + 3*p - 4. Let k be n(y). Is k >= q?
False
Suppose 200*p + 3 = 203*p. Let a be p/(-3) + (-11)/3. Let x = -7/2 - a. Which is smaller: 0.4 or x?
0.4
Suppose 2*m + 3*m - 1380 = 0. Let w = -70822 + 71097. Which is greater: m or w?
m
Let k = 34 - -6. Let m be 26*((-148)/k + 4). Which is smaller: m or 7?
7
Let m be ((-4)/6)/(8/60). Let j = 16.049 + -16.329. Which is smaller: m or j?
m
Suppose 0 = -2*b + 3*b - 3*u - 10, -4 = -3*b - 4*u. Suppose b*a + 3 - 11 = 0. Suppose -16 + 6 = -a*n. Is n >= 3?
True
Let y = 21249129/82607198 + 1/265618. Are 1 and y non-equal?
True
Let g = -34.65 - -34.83. Which is greater: -23 or g?
g
Let r be ((264/(-84))/11)/((-22)/77). Let z be (6/(-29))/(2/(-4)). Are r and z non-equal?
True
Suppose 7*k + 10 + 2 = 3*k - 2*b, 0 = -2*b. Is 102.4 less than k?
False
Suppose 112 = 4*t - 2*z - 2*z, -3*z + 15 = 0. Suppose 62 + t = g. Is g at most 95?
True
Let b be 4 + (-5)/(15/36). Let l(m) = -m - 11. Let a be l(b). Let i be a + (-11)/((-33)/(-36)). Are i and -16 non-equal?
True
Let a = -0.9 + -0.1. Let d = 804/47 - 365914/21385. Which is bigger: d or a?
d
Let o = 563 - 3915/7. Is o smaller than -23?
False
Let a(x) = -x**3 - 6*x**2 + x + 10. Let m be a(-6). Suppose 68 = m*p + 52. Suppose 2*n - 36 = 2*b, -p*n + 8 = -6*n. Which is greater: b or -23?
b
Let d = 123 - 46. Let x = 75 - d. Let t be (x - 4/(-2))*1. Which is bigger: t or 2/21?
2/21
Let c be 303494/(-602) + (-6)/7. Which is smaller: c or -1009/2?
c
Let f = 43 - 38. Suppose -17*m = -14*m + f*w + 8, 0 = w + 1. Which is smaller: -34/29 or m?
-34/29
Let n = -293015 - -3220927/11. Which is smaller: n or -204?
-204
Let u be -2210 - (0 + (6 - 18)). Is u >= -2198?
True
Let m = 0 + -0.1. Let j = 176/3457 - -4852/176307. Is j bigger than m?
True
Let j = 685 + -681. Suppose -j*f + 6*f + 2*v + 258 = 0, 3*f + 363 = 3*v. Which is smaller: 2 or f?
f
Suppose 4*y = -2*l + 10, 14 = 7*y - 2*y + 2*l. Let f = 16 + -5. Suppose -5 = y*t + f. Which is bigger: t or -8/3?
-8/3
Let d(p) = -8*p + 46. Let m be d(6). Let w be ((0 - m) + -119)*(-12)/9. Let g = w + -142. Which is bigger: 15 or g?
15
Let w = 166.75 - 3.75. Let m = w + -109. Let i = -63 + m. Which is bigger: -4 or i?
-4
Let w(a) = 41*a**3 - a**2 + 34*a - 21. Let j be w(4). Which is smaller: j or 2720?
2720
Let b be (-8 - -8) + (-3)/(-7)*(-1)/11. Does 0 = b?
False
Let j(q) = q**3 + 11*q**2 - 13*q. Let w be j(0). Is 110/179 greater than or equal to w?
True
Let a(c) = c**2 - 16*c + 51. Let o be a(13). Suppose 0 = 4*p - 5*p - o*p. Is 1/15 != p?
True
Suppose -3*o - 2*q = -24, o - 68 = -4*q - 70. Which is smaller: o or 451?
o
Let m(i) = 20*i - 99. Let f be ((-26)/8 - -2)/(2/(-8)). Let p be m(f). Is -3/10 at least p?
False
Let b = 243.52 + -247.72. Which is smaller: b or 126?
b
Let u be ((-15)/(-9))/(1/12). Suppose 0*w - 132 = -4*w + g, u = 5*g. Which is bigger: 32 or w?
w
Let g = -0.1241 - 2630.8759. Is g at least -1?
False
Let i = 219.275 - 0.275. Let p = i