t u = j - 770. Which is greater: u or -3/8?
u
Let z(n) = n**3 + 6*n**2 + n + 6. Let i be z(-6). Suppose -3*a + i*a = -108. Let k = 174164 - 174129. Is k < a?
True
Let q be (172266/9)/(978/(-63)). Let l = 1233 + q. Let j = 19 - 20. Is j smaller than l?
True
Let x(n) = 29*n**2 + 21*n - 4. Let y be x(-5). Let w be y/7 - 4/(4 - 0). Suppose 88 = -2*d + 3*d. Is d at least w?
True
Let w be (4/(-6))/(40/(-22380)). Suppose 5*o - w = -4*r, r + 271 = 4*r - 5*o. Suppose 0 = 4*z + 116 - r. Which is greater: -3 or z?
-3
Suppose 0 = -2*h + 5*m + 23, -3*h + m = 2*h. Let g be -68 - -38 - (-2532)/90. Which is smaller: g or h?
g
Let k be -3*(-4)/(-9) - (-54)/162. Let l be (-9)/(-7) - 1 - (-2912)/(-8820). Which is smaller: l or k?
k
Let r(a) = 12*a**2 - a + 1. Let k be r(1). Let g be (-3)/4 - 3/k. Let v(b) = b**2 + 4115*b + 44. Let f be v(0). Which is bigger: g or f?
f
Let c = -4.8 + 10.8. Let l = -4.26 - -0.26. Let t = -2 + l. Is t not equal to c?
True
Let f = 4 + -4. Let q be f/((-1 - -2)/1). Let j be 2 - (q + (-96)/(-52)). Is -1 <= j?
True
Suppose -3*t + 3*u + 228 = 0, 0 = -0*t - t + 3*u + 66. Is t bigger than 81?
False
Let q = 110 + -95. Suppose 3*s - q + 18 = 0. Is s at least as big as 1/341?
False
Let l = 23 + -67. Let b = -43.28 - l. Let h = 0.62 - b. Is -0.1 > h?
False
Let k = 1463.9 + -1428.9. Which is bigger: k or 161/2?
161/2
Let c = -5/623 - -4227/216181. Let l = -706/1041 + c. Which is bigger: -444 or l?
l
Let h be ((-8)/(-42))/(3/996). Let v = 6213 - 18829/3. Let b = v + h. Which is smaller: b or 1?
b
Let k(y) = y**2 - 3*y + 2. Let m be k(0). Suppose o - 2*v = -5*v, o = m*v - 10. Let g be (-2)/o - 1705/(-15). Is g at most as big as 0?
False
Suppose 10*i = 6*i - 660. Let h be 1/(-10 - (-10014)/1002). Is h bigger than i?
False
Let w(r) = r**3 - 3*r**2 + 10*r - 6. Let q be w(5). Suppose -3*o = 5*t + q, o - 6*o = 2*t + 125. Is -89/4 greater than o?
True
Let r be (31/4 + -5)*(2 + -6). Let h = -11 - r. Which is smaller: h or -6/409?
-6/409
Suppose -41*h - 26108 = -36*h - 2*x, -3*x = 4*h + 20891. Which is smaller: -5221 or h?
h
Let j = -63 + 36. Let l = j + 10. Let t = l + 17. Which is greater: t or 20/7?
20/7
Let s be ((-30)/(-4))/((-144)/(-22)). Let g = -1061/144 + s. Is g bigger than -7?
True
Let a be 2/(-4)*6 + 1. Let n be (-2)/(-4) + (-3 - (-7)/(-2)). Let r be (-3 - -1)/6*n. Is a > r?
False
Suppose 0 = v + 7*v - 24. Suppose 4*o = -3*d, v*o - d + 3*d = 0. Let n be 66/(-2) - o/(-6). Which is smaller: -31 or n?
n
Let j be 6 + ((-10)/8)/(14/56). Let b = -2 + 4. Let r be ((-3)/b*2)/94. Which is smaller: r or j?
r
Suppose -19*s - 4*s = -276. Let c(z) = -2*z + 30. Let w be c(s). Which is greater: 50/11 or w?
w
Let t = -12.5 + -68.5. Let w = -10 - t. Let h = w + -71.36. Is h <= 2/7?
True
Let d(k) = -7*k**2 + 99*k + 549. Let p be d(-5). Does -145 = p?
False
Let l = 11.856 - 11.956. Which is smaller: l or 4217?
l
Suppose -22 - 80 = 2*c. Let w = -52 - c. Let t = 0 - 1. Is t at most as big as w?
True
Suppose 3*r + 3229 = 4*q, -776 = 4*r - 3*q + 3520. Is -1085 < r?
True
Let o(a) = -55*a - 276. Let g be o(-5). Is g greater than 1/298?
False
Let m = -2/3183 + 410677/111405. Let o = m - 3749/210. Is o at most as big as -14?
True
Let o = -101 + 101.014. Let v = 7.214 - o. Let b = -104.1 + 104. Is v equal to b?
False
Let w = 0.265 + 80.735. Which is smaller: w or 1/11?
1/11
Let u(d) = 42*d + 1087. Let a be u(-26). Let t(w) = w**2 + 4*w + 3. Let s be t(-4). Suppose -s*h = -2*h - 4. Which is smaller: a or h?
a
Suppose 1 - 3 = 2*u. Suppose 3*v - 20 = 4*s, -v - 2*s = 7 - 27. Let h be 6/v*(-4)/2. Is u <= h?
True
Suppose -57*l + 8750 = -18382. Is l less than or equal to 472?
False
Let r = 26.797 + -13.568. Let h = r - -0.771. Which is smaller: h or 11?
11
Let r be (-237)/21 + (-4)/(-14). Suppose -4*s - 5*p = 20, s - 5*s + 2*p + 8 = 0. Suppose s = 5*l - 8*l + 4*m - 51, 4*l + 61 = 3*m. Which is smaller: l or r?
l
Let y = 577 + 490. Let l = -1062 + y. Which is greater: -10 or l?
l
Let x = 47554062600/46487 + -1022954. Which is smaller: x or 0?
0
Let t(u) = 21*u - 85. Let y be t(4). Let k be (9/9)/((-1)/y) - -6. Suppose -11*n = -7*n - 24. Is n less than k?
True
Let x be 1/(-17) - (-101332)/9163. Suppose 0 = 7*y - 8*y + 13. Is y > x?
True
Suppose 2*i - 4*g + 3*g - 23 = 0, 4*g - 20 = 0. Suppose 8*k - 88 = -i*k. Which is bigger: k or 3?
k
Let v(z) = -z**2 - z + 1. Let h be v(-1). Let j = 3 + h. Let f be ((-288)/(-216))/(-2 + 80/12). Which is bigger: f or j?
j
Let l = 11.9 - 11.669. Let a = -0.129 - l. Which is smaller: -1 or a?
-1
Let a = 17.893 - 265.868. Let k = a + 248. Is -2 bigger than k?
False
Let k = -2/63 + 29/63. Let a = 0.019217 - -50.980783. Do k and a have different values?
True
Let a(j) = -11443*j + 12. Let t be a(-7). Let k = t - 4005377/50. Let m = 1/25 + k. Is 6 at most m?
False
Let c = -12829614/1048577 - 2/61681. Which is bigger: c or -12?
-12
Let l(w) = -1341*w + 842. Let x be l(-2). Is x > 3524?
False
Let f = 702 + -702.01. Let h = 69 + -69.8. Which is smaller: f or h?
h
Let n be (-26 - -12 - -2) + -228. Is n greater than or equal to -258?
True
Let q = -145421 - -2762243/19. Is q less than -40?
False
Let q be 217/1302*((-231)/28 + -3). Suppose 4 = -3*w + 5*w. Suppose -1 = -3*k + 4*j, 0*k = w*k - 2*j. Is q > k?
False
Suppose -148*b = -145*b - 3. Which is greater: -3/124 or b?
b
Suppose -2*l = -0*l. Suppose -151 = 2*o - 139. Let x be (19502/3255 - 6)*15/o. Is x less than l?
False
Let l be 22/((-2)/(-1) + 0). Suppose 2 = -s - 2*o + 5, -l = 5*s - 3*o. Let p be (-2)/(-8) - (s + (-5)/(-4)). Which is bigger: 4 or p?
4
Suppose -4*v + 19664 = 7508. Is 15189/5 not equal to v?
True
Let y = -30059542683/13 - -2313471395. Let l = -1042811625/871 + y. Let i = l + -1623. Which is greater: 0 or i?
i
Let y be 10603/18 - 52/936. Are y and 6474/11 non-equal?
True
Suppose 2356*j - 2360*j = -48. Let o be (-4)/6*(-18)/j. Which is greater: o or 40/19?
40/19
Let y = 3 + 0. Let j be 0 - (6/(-2) + y). Let k be (7 - (-488)/600 - 8)*4/(-14). Which is bigger: k or j?
k
Let p be 13 - (0 + -3 - -2). Let o = 0.482 + -0.254. Let t = 0.128 - o. Which is bigger: p or t?
p
Suppose 5*o + s + 80 = 0, 2*o - 2*s = -3 - 41. Let z = 8 + o. Which is smaller: -27 or z?
-27
Let k = -30.4 + -5.6. Let r = 40.091 - 4.041. Let u = r + k. Is u at most as big as 2?
True
Let a(l) = -238*l**2 + 90*l - 89. Let g be a(1). Which is bigger: -10 or g?
-10
Suppose -3*q + 4*q - 5*c = -23, q - 2*c = -8. Suppose 0 = -4*n - 5*j + 24, n - 7 = -j - q. Let b be 63/294*(-2 + n - 1). Which is greater: -0.1 or b?
-0.1
Let q = 306 + -306. Let v be q + (-31 - 3) + (10 - 10). Is -3 > v?
True
Suppose -28*s + 50*s = 193688. Suppose -42*k + 1958 = s. Is -2 greater than k?
True
Let c(h) be the second derivative of 1/2*h**3 + 0 + 9*h - h**2 - 1/12*h**4. Let t be c(1). Does 0 = t?
True
Let b = -23990 + 18332. Is 2 bigger than b?
True
Let x = -245 - -250. Suppose -2*g + 1 + 1 = 0. Suppose g = 2*f + x. Is -4 not equal to f?
True
Let m be 5*((-24)/30)/(1 - -1). Let z be m + (12/4 - -16). Let b be 15 - ((-2 - -3) + -2). Which is smaller: b or z?
b
Let r = 0.079 + -51.079. Let a = r - -97. Let z = a + -46.9. Which is bigger: z or -0.2?
-0.2
Let v(j) = 6*j**2 - 2*j. Let c be v(1). Suppose 6*m - 5*m = c. Let b be (-38)/5 + 0 + m. Is -3 less than b?
False
Let j be 8/60*(13 - 3)*33/44. Which is smaller: -24/211 or j?
-24/211
Suppose 16 - 34 = -9*n. Suppose 8 = n*b + m, 2*b + 5*m = 2 + 6. Suppose -b*p - 2 = 2. Is p greater than or equal to -4/25?
False
Let p be (-759 - -772) + 502/(-38). Is -178 at most p?
True
Let l = 9.81 - 10. Let s = 10 + -6. Let w be 2/s*(24/18 + -1). Which is smaller: l or w?
l
Let d = -265088 + 14770968446/55721. Is 0 equal to d?
False
Let v be 144/(-32)*(-10)/(-195). Suppose 5*y = 10 + 15. Suppose y*w - 9 = -4. Are w and v unequal?
True
Let z(h) = -h - 3*h + 6 + 11 - 2. Let q be z(4). Suppose -187*l = -197*l + 90. Do q and l have different values?
True
Let v = -8 - -8.1. Suppose 0 = -3*q - q - 5*m + 2, 0 = -3*q + 5*m - 16. Let y be q - -11 - 54/18. Is v > y?
False
Let d(q) = -23*q. Let x be d(-16). Which is smaller: 367 or x?
367
Suppose -4*x - x + 180 = 0. Let m be (-30)/x*6/(-20). Let q = 31 - 33. Are q and m nonequal?
True
Let f = 0.0153 + 5.5347. Let x = 0.45 + f. Is x bigger than -54?
True
Let h be -32 + (3 - (0 -