-18)/(-10) + -2)/(u/(-430)). Which is smaller: w or 23?
w
Let z be (-1)/((-145)/(-60) + -2). Suppose -60*r + 15*r = 90. Are z and r unequal?
True
Suppose 21*p - 23*p + 8 = 0, p = -g + 8. Is -462 less than g?
True
Let s = -184549/2124 - -782/9. Is -1 at most as big as s?
True
Suppose -27820 + 10161 = 24*d - 116755. Is d >= 4129?
True
Suppose -5*m - l + 55 = 0, -11*l + 6*l = 25. Suppose -7*i = -m*i + 10. Is 16/7 not equal to i?
True
Let j = -12.9 + 10.9. Let p = j - 8. Which is bigger: 0.05 or p?
0.05
Suppose 0 = -66*a + 69*a, 0 = -2*z + 5*a + 16882. Which is smaller: 8442 or z?
z
Let l = 24.88 + -21.88. Let z = -20 - -16. Which is greater: l or z?
l
Suppose -280*c = -267*c - 13. Is -2/4097 not equal to c?
True
Let h(f) = -f**3 + 13*f**2 - 15*f - 35. Suppose d = 0, -13*w + 9*w + 2*d + 48 = 0. Let c be h(w). Which is greater: c or -70?
-70
Let q = 5626 + -95639/17. Is -19 > q?
False
Suppose -h + 609 = -3*z, 8 = 3*z - 7. Let q be (8/(-10))/(h/(-120)). Let g be 3/(3/(-2)) - -2. Which is greater: q or g?
q
Let y be (3810/(-9) - (-3)/9)/((-24)/144). Is y at most 2539?
True
Let s(l) = -l**2 - 29*l + 84. Let r be s(-31). Let z = -0.2 + 0. Are r and z equal?
False
Let x = 15 + -25.48. Let g = x - -10.2. Which is smaller: -1 or g?
-1
Suppose -2*f + 2*v = -378, 15*v - 10*v = -3*f + 575. Let c be 171/f*(-55)/(-12). Suppose 0 = -3*m + 6*m + 2*i - 14, -19 = -5*m + i. Which is smaller: m or c?
m
Suppose 2*c - 800 = 5*z, 220 = -2*z - 2*c - 86. Let j = -158 - z. Which is smaller: -5/126 or j?
-5/126
Let w be 78/288 - (-2)/(-6). Let f be 2/(-1 + 6 + -4). Let l be f/(-15) - (-26)/(-30). Which is smaller: w or l?
l
Let l = -0.8 + -3.2. Let w = 98.45 - -5.25. Let h = w + -104. Is h smaller than l?
False
Let o be 9 + 81/6*2. Suppose 7 + 1 = -4*m. Let k be 3/m + 300/8. Is o less than or equal to k?
True
Let r be 45783/4*472/1062. Is r < 5089?
True
Suppose -5*h - 13 = v - 3*h, 0 = -5*v - 2*h - 41. Is -183/31 at most as big as v?
False
Let z(p) be the third derivative of -p**5/60 - 11*p**4/24 - 17*p**3/6 - 3*p**2 + 2*p. Let y be z(-9). Which is smaller: -3/10 or y?
-3/10
Let j = 0.5147 + 11.4853. Is j smaller than -765?
False
Let i(r) = 17*r**2 - 155*r - 76. Let v be i(11). Is 274 less than or equal to v?
True
Suppose -4*x + 14 = 2*j - 0*j, 0 = 3*j + 3*x - 12. Let w(a) = -9*a + 25. Let l be w(10). Let c be l/(-414) + 4/(-18). Does c = j?
False
Let j(y) = 8*y - 19. Let n be j(12). Suppose -n = -6*h + 31. Suppose -5*o = -4*x + 56, -5*x - 6*o = -4*o - 103. Which is bigger: x or h?
x
Let q = -39.3 + -5.7. Let t = -0.23454 - -0.23454. Is t >= q?
True
Suppose 7*p + 8 + 20 = 0. Let b be (42/35)/(p/(-10)). Suppose 4*j = x + 18, 2*j = 8*x - b*x. Are -0.3 and x nonequal?
True
Let x(o) = -o**3 - 5*o**2 + 6*o + 1. Let g be x(-6). Let s be (g*(-20)/(-12))/((-1)/(-3)). Suppose s*z - z = -16. Which is smaller: z or -8/3?
z
Let v be (-82)/(-4)*(-436)/(-4360). Which is smaller: 2 or v?
2
Let i = -28839 + 432179/15. Which is bigger: -27 or i?
-27
Let u be (3338/10)/((-20)/(-25)). Let d = u - 413. Let z be 102/170 + 132/55. Which is greater: z or d?
d
Let x = 18.101 + -1.211. Are x and 1 non-equal?
True
Let r = 12332 + -86308/7. Let y(f) = f**3 - 10*f**2 + 8*f + 12. Let z be y(9). Which is bigger: r or z?
z
Suppose -4*p - 3494 = 2*z, -5232 = -45*z + 48*z - 3*p. Which is greater: z or -1747?
z
Suppose 0 = 2*z - 4*l + 12, -3*z + 0*z + 37 = 5*l. Suppose -1170 = 3*i - k, 0*i - z*i + 2*k - 1560 = 0. Is -391 <= i?
True
Let r = 0.1767 - -2.8233. Let p be (-1)/2 + 174/300. Is p at least r?
False
Suppose 0 = -107*c - 6900 - 8829. Which is smaller: -146 or c?
c
Let o be (40/220)/(2/22). Suppose 2*i = -2*x + 2, 5*x - 8*x = -o*i - 8. Which is bigger: -3/23 or i?
-3/23
Suppose -5*r = 20, -5*r - 3161 = 3*s + 495. Which is smaller: -1213 or s?
-1213
Let s be ((-4)/7)/((-2294)/651). Is 1/32 greater than s?
False
Let k be (-33)/(-22)*205/(-30). Let f = k + 291/28. Which is smaller: -0.04 or f?
-0.04
Let g be 348 + -8 + (-2 - -25). Is g at least as big as 367?
False
Let j(w) = -8*w + 31. Let v(a) = -5*a + 16. Let r(y) = -4*j(y) + 7*v(y). Let c be r(-4). Let b = 1756/3451 - 15/29. Which is greater: b or c?
c
Suppose -6 = -2*q + 40. Suppose 0 = q*x - 27 + 4. Is x smaller than -1/47?
False
Let c = 6 + -5.3. Let g = -15.2973 - -17.2973. Is g >= c?
True
Let s = -25.416 - -0.016. Let h = 16.4 + s. Let f be (-1)/3 + (-2)/21. Is f < h?
False
Suppose 3*i - 3*c - 33 = 0, 6*c - 2*c - 33 = -3*i. Let l(v) = v**3 - 8*v**2 - 10*v. Let n be l(i). Are n and 254 equal?
False
Let v = 206 + -45. Let j = v + -163. Which is greater: j or 31?
31
Let m = 67.28 + 8.32. Let v = m + -75.1. Is 42 equal to v?
False
Let p = 0.8013 - 0.9013. Are 2411 and p equal?
False
Let k = 1458 + -452. Which is greater: 1008 or k?
1008
Let l be ((-6)/368)/(52/(-1872)). Let a = 1009/230 + -43/10. Let v = l - a. Which is greater: v or 2/7?
v
Let x = -346.8 + 347.15. Is -14 at least as big as x?
False
Let c = 1353 - 1353.065. Let w be 20/32*2/5*-2. Is c > w?
True
Let r be 440/(-880)*(1 + 0). Are -1/932 and r unequal?
True
Suppose -25 = 5*j, -3*v + 954 = -5*v + 6*j. Which is smaller: v or -499?
-499
Let u = -20877 + 20883. Which is smaller: u or 106?
u
Let m = -13894.757 + 13895. Which is greater: 0.3 or m?
0.3
Let k be (-2 - -4)*(-23)/38295. Which is smaller: k or -1?
-1
Suppose -r = -4*z + 84, 2*z = r + r + 186. Let p be (168/r)/((-2)/8). Let d = -12 - -19. Is d not equal to p?
False
Suppose 6*d - 112 = 10*d. Let r = -72 + 75. Suppose 0 = -y - 5*u - 35, y + u = r - 34. Are d and y unequal?
True
Let x = -13988404758 + 6844652343728006/489309. Let y = x + -2/2319. Is 1 at most as big as y?
False
Let x = 27919/460 - 27/92. Let m = 5144/85 - x. Let j = 788 - 786. Is j bigger than m?
True
Let v = -93079/33422 - 9/983. Let i = v + 4439/238. Is i at least 17?
False
Suppose -3*f = -15*f + 96. Let h be (-6)/(-10) + f/((-240)/(-882)). Which is bigger: h or 35?
35
Let j = 215 + -388. Let k = -139 - j. Which is smaller: 37 or k?
k
Let k = -4557 + 4555.9395. Let n = -0.0605 - k. Which is smaller: n or 1/3?
1/3
Suppose -9*b + 43*b = 17*b - 59*b. Is b at least 2/5155?
False
Let f be ((-2)/(-2)*-3)/(93/39370*-1). Does 1269 = f?
False
Suppose i - 200 = -47. Let j be (-3 - 0)/(85/i). Is -3 > j?
True
Suppose 0 = 3*g - g + 5*m + 174, -228 = 4*g - 5*m. Let f = -10943/180 + -268/45. Which is smaller: f or g?
g
Let g be 3*5 - 10/(-5). Let r(t) = -38*t + 2107. Let c be r(55). Is g at least as big as c?
True
Let j = -40 - -62. Suppose -j*d + 20*d + 10 = 0. Suppose 0 = 4*c - 0*k - k - 45, -c + d*k + 16 = 0. Does c = 8?
False
Suppose 3*t - 549945 = -212*t - 88*t. Is t != 3629/2?
True
Let d = -4.6 - -22.6. Let u(b) = 7*b - 105. Let y be u(15). Let c be 1/(-3) + y/(-8 + 4). Which is smaller: c or d?
c
Suppose 0 = 4*y - 5*j + 24, -4*y - 2*j - 16 = -20. Let b = -361189/104 + 3473. Which is smaller: b or y?
y
Let k = 24487/9 + -2721. Which is bigger: k or -319?
k
Let w be (-17)/(357/(-28))*(1 - 616/610). Do 1 and w have different values?
True
Suppose -2*j + 12*w = 7*w - 2798, 5568 = 4*j - 3*w. Is j less than 1390?
True
Let c(q) = 3*q**2 + 124*q - 42. Let o be c(-36). Let g = o + 618. Let t be ((-1)/8)/((-1)/(-6)). Which is smaller: t or g?
t
Let f = 10932 - 6588. Is f at least as big as 4341?
True
Let x(m) = 2*m**2 - 145*m + 67. Let h(g) = -g**2 + 97*g - 45. Let a(b) = 8*h(b) + 5*x(b). Let i be a(-26). Which is smaller: i or -3/23?
-3/23
Let a = 24667 - 24672.55. Which is greater: a or 9?
9
Let c(o) = o**2 - 13*o - 151. Let s be c(0). Let x = -146 - s. Do 22 and x have the same value?
False
Suppose -3*o - 137 = -2*p + 4*p, -o + 149 = -2*p. Let z be (-468)/8 - (-3)/(-6). Let w = z - p. Which is smaller: w or 77/5?
w
Suppose -19*y - 108 = 44. Suppose -3*z = 5*d + z + 45, 2*d - z = -18. Let i = y - d. Which is smaller: i or 30?
i
Let z(x) = 8*x**2 + 70*x - 25. Let i be z(-9). Are -189/34 and i nonequal?
True
Let g be -10*(20 - 17064/(-60)). Which is smaller: g or -3042?
g
Let q = 11935 + -12156. Which is smaller: q or -224?
-224
Suppose 6 = v - 5*i, 9*i - 74 = -4*v + 4*i. Let z be (-12)/((-9)/(-63) - v/14). Is 63/5 greater than z?
True
Suppose -5*u - 1001 = -60*r + 64*r, -4*u = 4. Which is greater: -993/4 or r?
-993/4
Suppose -2*t - 7 = -5*v, -2*v + 0*t - 5*t = 3. Let l = 12080 +