se o - i - 12 = -3*i, d = -5*o - 4*i + 72. Is o >= p?
False
Suppose 16*a - 392 = 120. Let m be ((-24)/a)/(6/(-16)). Which is smaller: 6 or m?
m
Let q = -1.667 - -45.317. Let l = -0.35 - q. Let c = l - -43.4. Which is greater: 1/8 or c?
1/8
Suppose 2*b = 6*b + 2*z - 614, -3*b = z - 459. Suppose 0 = -3*t - 44 + b. Let v be (-46)/t - (-15)/90. Is v greater than 0?
False
Let l = 122.05 + -121.95. Which is greater: l or 3801?
3801
Suppose 0 = -2*f - 17 + 13. Let u be ((-2)/f)/(-1)*(7 + -6). Let d be (u + 0)/(121/(-22)). Is d equal to 0?
False
Let i be -3 + 0 - 4/(8/14). Let q be 18/45 - 196/i. Let d be (3 - 3) + q + 4. Is d < 24?
False
Let q = 7 - 3. Suppose -t + q - 3 = 0. Let w = -248 + 250. Is w != t?
True
Suppose 2*s - 5*g = 7352, 2*g = -3 - 9. Which is bigger: 3659 or s?
s
Let x(b) = -3*b + 9. Let m be x(3). Suppose 5*y - 1 - 24 = m, 2*t - 2*y + 6 = 0. Is t not equal to 3/17?
True
Let x be 28 + (-9462)/304 + 2/(-16)*-1. Is x at least as big as -19/6?
True
Let y be ((-183)/39 + 1)*1/(-15). Let q = y + 2/13. Let n be ((-10)/4)/((-20)/(-8) + -3). Is n at most q?
False
Let l be 1 - 2 - (-240)/258. Suppose 4*k = 4*c - 4, 11*k - 6*k = -10*c + 10. Do l and c have the same value?
False
Let r(x) = -32*x - 31. Let z be r(19). Let a = z + 639. Is -7/12 at least a?
False
Suppose 3*n = -3*s + 18, -2*s = -143*n + 148*n - 15. Which is smaller: 24/1021 or n?
24/1021
Let k be ((810/(-42))/3)/((-77)/98). Suppose -4 = -u + 2*q + 4, -2*u + 5*q + 16 = 0. Which is greater: u or k?
k
Let x = 8 - 11. Let k = -804 + 619. Let j = k - -180. Is j < x?
True
Let v = 11101/463980 - 26/1221. Suppose 3*i = -5*t + 28, 2 = t - 3. Is v equal to i?
False
Let a = 651 + -644. Let c(f) = f**3 - 4*f**2 - 16*f - 36. Let o be c(a). Are o and -17/11 nonequal?
True
Let u(x) = -x**3 + 5*x**2 + 5*x + 4. Let p = 24 - -11. Suppose -5*h - 5 = -p. Let r be u(h). Is -2 greater than or equal to r?
True
Suppose -16 = 4*o, -534*o - 14 = -2*u - 531*o. Is u > -5/597?
True
Let t be (-180)/14*(-5)/(105/(-98)). Which is smaller: 1 or t?
t
Let o = 2 + -2. Suppose 5*v + 6870 = 1140. Let d = -99700/87 - v. Is d at least o?
True
Let w be -15 - (-4 + -8) - (-4 + 1). Does -13/121 = w?
False
Let a be (-11)/88 - 2*(-24767)/(-16). Is -3096 greater than a?
False
Let b = -0.4375 - -0.3375. Are 1586 and b unequal?
True
Suppose -5*n + 340 + 356 = 3*n. Which is greater: n or 945/11?
n
Let o = -70 + 82. Let s be (o/5)/(24/(-60)). Let g = -8 + 1. Which is smaller: g or s?
g
Suppose 3*w = q - 2064 - 235, -757 = w + 2*q. Let b be ((-1008)/w + (-2)/17)/3. Is b greater than or equal to -241?
True
Let m = 778 + -780. Let f be 12/(-48)*-154 + 1/m. Does 38 = f?
True
Let v = -6438 - 1701. Is v < -8139?
False
Let h(a) = a**2 + 33*a + 30. Let g be h(-31). Let r(x) = 5*x - 8. Let w be r(-5). Which is greater: g or w?
g
Let k be 62/4 + 2/4. Let h(y) = -5*y**2 + 41*y + 2. Let r be h(8). Is k >= r?
True
Suppose 0 = 100*a - 105*a + 220. Let u(g) = -13*g**2 + 74*g - 1. Let b be u(5). Are b and a equal?
True
Let b = -32/19 - -1293/779. Suppose 8151*u - 8152*u - 7 = 2*o, 40 = -5*o - 5*u. Are o and b equal?
False
Let b be -10 + 4 + (-2145)/26. Let h = -214 + 124. Which is bigger: b or h?
b
Suppose l = -4*u + 48, -92*l + 3*u = -97*l + 155. Is 53/2 greater than or equal to l?
False
Let s = 37 + -21. Let n be s/(-48) + 11/(-21). Are n and 2/5 unequal?
True
Let o(b) = -13*b**2 - 65*b + 91. Let a be o(-6). Is 38 < a?
False
Suppose 43*z - 195488 = 2*z. Which is smaller: 4769 or z?
z
Let a = 228 - 182. Let n = a - 45. Let y be (-2 + (-28)/(-16))/5. Which is bigger: y or n?
n
Let g be 6/27 - (38/9 + 0). Let b(l) = -11*l - 45. Let r be b(g). Is 1/59 at least r?
True
Let z = 2084 - 68774/33. Suppose -d = -3 + 17. Let p = d + 14. Which is greater: z or p?
p
Let b = 18749 + -18750. Do -19/17 and b have the same value?
False
Suppose 0 = 2*f + 4, -4 = 4*u - 0*u + 2*f. Let i = 0 + 12. Let a = i - 25/2. Is u <= a?
False
Let q = 320/5873 + -22953958/420630133. Let j = q - 4/1149. Which is smaller: j or 0?
j
Suppose 2*d + 838 + 2708 = -1006. Which is smaller: -2277 or d?
-2277
Suppose 0 = -2*l + 5*u + 87 - 45, 2*l + 3*u + 6 = 0. Which is smaller: l or 233/33?
l
Suppose 0 = 2*f - 4, -5*f - 21 + 126 = -5*g. Let m be (g/76)/(6/8). Which is smaller: -26/3 or m?
-26/3
Suppose 11*u = -8*u - 95. Let i be ((-20)/9 + 2)*(-3185)/(-130). Is u greater than or equal to i?
True
Let w be (8/(32/(-22)))/((-1)/(-72)*3). Is w equal to -26?
False
Let p(j) = j**3 - 7*j**2 - 3*j - 2. Let g be p(6). Let h(t) = t**2 + 2*t + 33. Let a be h(0). Suppose a*n + 1100 = 13*n. Which is bigger: n or g?
n
Suppose 4709 = 41*y - 11281. Suppose -4*m - 3*z = -y, 64 = -4*m - 2*z + 452. Is m <= 97?
True
Let p = 242 + -242. Suppose -23*x + 30*x - 1393 = p. Is x at most 200?
True
Let a be 25/13 - 12/(-28)*-7. Suppose 0 = -2*b + 1 + 9. Suppose -2*t = -b*w - 0*w, 0 = -5*t + 4*w. Which is smaller: a or t?
a
Let r be (-20)/(-6)*(-8865)/300*-10. Is 984 <= r?
True
Let q be (-10)/(-6)*9/(-10). Is q > -2/539?
False
Let s(a) = 10*a - 5*a + 13 - 178*a**2 + 177*a**2. Suppose -4*x + 31 = 3. Let n be s(x). Is n bigger than 0.42?
False
Suppose 2*b = j - 3*j, 3*b - 1 = -4*j. Let p be (4/(-10))/(b/(-10)). Are p and -22/5 unequal?
True
Let d be 12/8 - (-1 - (-14358)/5724). Which is smaller: d or 0?
d
Let a = -523/4 - -132. Are a and 416 unequal?
True
Let t = -5059 + 4783. Is t less than or equal to -0.5?
True
Let j = 1808 + -4600. Is j at least as big as -2793?
True
Let g be 5692/15 - (11296/320 + -35). Is 379 <= g?
True
Let u = 2444668/4719165 + -1/85030. Let k = -2/111 + u. Let l = 3/7 + -41/63. Is k > l?
True
Suppose 10*i + 50 = 460. Suppose -3*g + 4*y = -i - 124, g = -y + 55. Suppose 5*m - d = -4*d + 55, 4*d - g = -5*m. Which is greater: 21/2 or m?
m
Let r = -234 + 262. Suppose -12 = -8*v - r. Is v <= -26/15?
True
Suppose 3*k - 21 = -3*o, 5*o - 19 = -3*k + 3*o. Suppose -k*a + 486 = a. Is -0.1 at most a?
True
Let u = 0.948 + -0.168. Let i = 0.88 - u. Let g = -8 - -6. Which is greater: i or g?
i
Suppose -103*z - 15 = -106*z. Suppose 5 = z*b + f + 15, b - 24 = 5*f. Which is bigger: b or 12/31?
12/31
Let t = -387 + 461. Let a = t + -35. Which is bigger: -1/10 or a?
a
Let a = 10548997/23 - 458573. Are a and 78 unequal?
True
Let c be -12246 + ((-3)/3 - 2). Let u = 49255/4 + c. Is 66 at most u?
False
Suppose 2*h = t - 80 + 494, -4*t = -2*h + 402. Is h at least 211?
False
Let b be -3 + 1 + (-2 - 0). Let t(g) = g**3 + 5*g**2 + 4*g + 3. Let j be t(b). Suppose 109 = 2*r - j*l + 23, -4*r + 4*l = -172. Is r greater than 44?
False
Let w = -587 - -590. Suppose -w*u - 670 - 380 = -2*f, 4*u + 4*f + 1420 = 0. Is u smaller than -352?
False
Let y(v) = 21*v + 10. Let p be y(0). Let h be ((-6)/15)/(15/((-375)/p)). Is h at least -49.2?
True
Let y = -73 + 78. Let l = 0.03 + 4.97. Let i = y - l. Which is bigger: 2 or i?
2
Let r = -365 + 371. Let z(o) = o**2 + 2*o - 48. Let b be z(r). Does b = 2/341?
False
Let w(x) be the third derivative of -x**5/15 - x**4/12 - x**3/6 - 10*x**2. Let y be w(-4). Let a(c) = 12*c + 88. Let g be a(-12). Is y equal to g?
False
Let x(f) = f**3 + 12*f**2 - 14*f - 13. Let c be 13/((2 + -1)/3). Let r be (6/(-18))/(1/c). Let h be x(r). Which is smaller: -1/14 or h?
-1/14
Let h = -12896 + 12897. Is 16697 < h?
False
Suppose 3*i - 46 = -3*z - z, 4*z + 4 = 2*i. Let v be 3*(6/10)/(9/i). Suppose 3*h + h = v*h. Which is smaller: 7/9 or h?
h
Let t = -1.8 - -2. Suppose 352 = 8*m + 336. Which is greater: m or t?
m
Let l = -1736 - -1693.96. Let n = 0.22 + -0.18. Let v = l + n. Is v at least as big as 0?
False
Let i be ((-31)/(-2))/(3/150). Suppose 0 = 94*h - 70*h - 3000. Let v be i/h*2/2. Is v not equal to 5?
True
Let f = 60.96 + -68.96. Is -7/25 less than f?
False
Let b be (-21)/(-42)*-84*2. Which is greater: -86 or b?
b
Let k = -0.01 - -11.21. Let d = 90 - 100.2. Let l = d + k. Which is smaller: -28 or l?
-28
Suppose -4*o + 2*l - 6 = -56, -3*l = o - 23. Suppose -7 - o = 3*y. Let b be (-616)/252*(-5 + 8). Which is greater: b or y?
y
Let k = -14786.9635 + 14790. Let p = k - 0.0365. Which is bigger: p or -0.3?
p
Let m = 1980 + -4713/2. Which is smaller: m or -378?
-378
Let o be -2 + 6/(-2)*-21. Suppose -3*w = 3*a + 81, -5*a - 34*w - 162 = -38*w. Let b be (-22)/165 - (1804/a + -2). Is o at least b?
False
Let l = -32