((-717)/(-1314)). Is y not equal to -1?
True
Suppose 3*o + 24 - 6 = 0. Let b = o - 12. Suppose -62 = 7*w + 64. Is b < w?
False
Let a be (-12)/(204/(-12937)) + 0/(-2). Which is bigger: 8376/11 or a?
8376/11
Let g = 224 - 258. Let j = -26 + 26. Which is bigger: g or j?
j
Let l = -496/249 - -5526430/2774607. Which is smaller: l or 0?
l
Let l = 203.56 - 203. Let y = -1.32 - l. Which is greater: 1/2 or y?
1/2
Let w = 559 + -1528. Let j = w + 879. Are -94 and j nonequal?
True
Let o be (-114)/36*39/(-247). Which is smaller: 416/5 or o?
o
Let y = 0.443 + 0.857. Are 3/25 and y equal?
False
Suppose 0 = n - 2*n. Suppose -263*t = -264*t + 3. Let z be ((-5)/15 + t)/(6/3). Are n and z equal?
False
Suppose -4*o - o - 5*a - 30 = 0, 10 = -o - 2*a. Let c be ((-1)/(o/(-60)))/(-1). Let t be -7*c/(-35)*-1. Is -4 bigger than t?
True
Let n be 3 + (3/(-27)*-2 - (-2698)/(-639)). Which is bigger: n or 2/7445?
2/7445
Let t = 54/101 - -1205/202. Let l = 17.1 - 17. Which is bigger: t or l?
t
Let i = -20048/255 - -393/5. Let r(f) be the second derivative of f**4/12 + 13*f**3/6 - 11*f. Let c be r(-13). Which is smaller: i or c?
i
Suppose 124*f = 105*f + 110105. Is f <= 5794?
False
Suppose 3*c - 4*q - 29 = 0, 3*q = -8 - 16. Which is smaller: 1/1963 or c?
c
Suppose 6*w - 13*w = -28. Suppose 0 = 2*j - w*v + 140, -314 = 5*j - 0*v - v. Which is smaller: j or 1/3?
j
Suppose -3*g - 5*o = -733, -o - 757 = -3*g - 0*o. Let h(v) = -16*v + 57. Let p be h(-12). Is p < g?
True
Let y be 72/(-28) + (-9)/21. Let h = 0 - y. Suppose 6*f + 7 = -3*b + f, h*b - f - 5 = 0. Are b and 1 non-equal?
False
Let v be (14/(-436191))/((4 - 306/27) + 7). Which is smaller: v or 1?
v
Let h = 6865 + -6334. Which is greater: h or 525?
h
Suppose 0 = -11*t + 10*t + 6*j + 24, 3*t = -3*j - 12. Let p be ((-9)/(-30))/(6/(-14)). Is t at most p?
False
Let n(m) = -163*m + 8969. Let c be n(55). Suppose -5*r = -5*w + 15, 5*w + 29 = -3*r + 4. Is w > c?
False
Let v(j) = 5*j + 1. Let b be v(1). Let l(x) = x**2 + 11*x + 16. Let k be l(-13). Suppose b*m - k = 9*m. Which is smaller: -51/4 or m?
m
Let v = -0.278 + 73.278. Let o = v + -114. Which is smaller: -1 or o?
o
Let o be 2/5 + 944/40. Let z = -24988 + 25018. Does o = z?
False
Let t = -272 + 4359/16. Let x = t - -189/16. Let c = 213 - 200. Which is smaller: c or x?
x
Suppose 2*w + 5*b - 80 = 4*b, 0 = -4*b + 8. Suppose 0 = -5*o + w - 14. Let f be o/((-750)/(-9))*2. Are -1 and f non-equal?
True
Let z = -412027/76 + 24915/38. Which is smaller: -4766 or z?
-4766
Let g be (-2 - -1) + 16/6. Let r(n) = 4*n + 11. Let a be r(9). Let o = a - 46. Is g at most as big as o?
False
Let f(z) = 4*z**3 + 15*z**2 + 8*z - 30. Let a be f(-10). Which is greater: -2608 or a?
-2608
Suppose 16 + 4 = 5*t. Let c be -10 + (7 - (1 - -3)). Let n be c/((-7)/2) + 6. Which is bigger: n or t?
n
Suppose -19 = 3*r - 52. Let t = r + 23. Let n be 3/((-99)/t) + (0 - -1). Is -1 equal to n?
False
Suppose 0 = 7*h - 302 + 57. Suppose -3*d - 87 = -3*f, 3*d = 2*f + 3*f - 153. Which is smaller: h or f?
f
Let a be (9/6)/(21/(-12) - -2). Let n = -11.5 - -13.5. Is a at most n?
False
Let m be 2/(-4) - (-138)/(-4). Let f = -46835 + 46803. Is f >= m?
True
Let c = 58 - 63. Let z be -2 + 1 + (-5)/c - 17. Let k(n) = -n**2 - 18*n - 17. Let i be k(z). Which is smaller: 2 or i?
i
Let m = -7138 + 7135.3. Let p = 2.2 - 2. Which is bigger: p or m?
p
Let y = -110 + 118. Let w be 3/(-71)*((y - 0) + -6). Which is greater: w or 1?
1
Let m be 9431/(-3) - ((-517)/141 + -3 + 7). Is m at least -3145?
True
Let v = -9168 - -9271. Does 5 = v?
False
Suppose 567*r - 4 + 2 = -2. Is 39/847 at most as big as r?
False
Let g = -1642.14 - -1642. Which is smaller: g or 33?
g
Let p = 1.1766 + -3.1766. Is 127/11 greater than p?
True
Suppose -9*j + 21 - 3 = 0. Suppose -j*i + 10*i = 16. Let x be (-2)/(-4)*46 - 0. Do x and i have the same value?
False
Let x(b) = b + 2. Let i be x(-2). Suppose -28*d - 6763 = -6791. Which is bigger: i or d?
d
Let j = 147 - 119. Let r be 10/(-2) + 80/j. Suppose 0 = -2*x + 4, -3*x + 0 + 5 = d. Which is bigger: d or r?
d
Suppose -k = 4, -4*a - 2*k - 10 - 6 = 0. Is a less than -55/34?
True
Let f = 91 - 96. Let b be (5 - f)*6/4. Let x be 6/9 + 179/b. Is x smaller than 14?
True
Let m = 27988 + -27988. Which is greater: m or 1/51636?
1/51636
Suppose 3*s - 1520 = 1600. Are 1039 and s non-equal?
True
Suppose -13*x - 5*x + 450 = 0. Let w be (40/x + -1)*(-1)/3. Which is greater: w or -45?
w
Let u be ((-11)/209)/((-6)/4). Suppose 5*c + 6 = 1. Let m be (2 + -4 + 1)/c. Is m greater than u?
True
Let y(k) = -4*k**2 - 29*k - 15. Let q(a) = -5*a**2 - 24*a - 15. Let l(x) = -2*q(x) + 3*y(x). Let p be l(-13). Which is greater: 155 or p?
155
Let c(t) = -192*t**2 + 3*t + 4. Let i be c(5). Let j = 33345/7 + i. Let y = 5720/329 + j. Which is smaller: y or -1?
-1
Let i be ((-14)/(-3))/((-14)/(-21)). Let b be (-2 - (-8)/5)/(10/(-100)). Suppose -3*l + 4*v + b = -0, 3*l = -3*v + 39. Are i and l unequal?
True
Let n = -12014 + 12089. Is 38 at most as big as n?
True
Suppose 0 = 3*c + 16 + 17. Let d be (c - -12)/(1 + -2). Let p be 5 + d + 2/3*-3. Which is bigger: 3/2 or p?
p
Let j(u) = -3*u**2 - 122*u + 509. Let h be j(4). Are h and -36 equal?
False
Let f be 52/(-6)*(-19)/(-70). Let y be ((-2)/5)/(11/(-22))*3. Let p = y + f. Is 1 at least p?
True
Let z(q) = q - 8. Let i be z(8). Let x = 1664848/79 + -21074. Is i at most as big as x?
True
Let b = -1915/476 + 53/34. Which is smaller: b or -1?
b
Let c = 849 - 840. Suppose 4*o - 5*o = -c*o. Is o equal to 4/139?
False
Let s(d) = 6*d**2 - 10*d - 1 - 4*d**2 - 4*d**2. Let g be 36 + -53 - 12/(-1). Let o be s(g). Is o smaller than 15?
True
Let p = -2329 + 2330. Which is smaller: 28/83 or p?
28/83
Suppose 90 - 774 = -38*b. Let s be 5/45 + 16/b. Which is smaller: -3/484 or s?
-3/484
Suppose 3*w - 496 = 4*v + 167, 507 = -3*v - w. Let h = 199 + v. Is h < 31?
False
Let d(q) = 204 - 68 - q**3 - 62 - 56 + 47*q - 21*q**2. Let i be d(-23). Are i and -2/7 non-equal?
True
Suppose 41 = -3*o + 14. Let i = o + 18. Let f be 608/1197 - 2/i. Which is bigger: 18 or f?
18
Let h(z) = 4231*z**2 - 28*z + 27. Let y be h(1). Is y smaller than 4230?
False
Let w = 48265/9 - 5363. Is -53 <= w?
True
Let a be (6 - 913/33)*21. Which is smaller: -457 or a?
-457
Suppose 36*c - 31*c + 5*k - 815 = 0, 15 = 5*k. Which is greater: c or -5?
c
Let o be 3/(-3)*-1*(-3 + 4). Let a be (-4 - o - 4)*-1. Suppose 2*s = a + 17. Is s not equal to 13?
False
Let d = 3329/6 + -503. Let c = -2267/42 + d. Is -2 smaller than c?
False
Suppose 5*r - r = 3*g - 12, 0 = -5*r. Let l be 119/28 + (-1)/g + 17. Let f be 2 + (16 - -1 - -2). Is f at least as big as l?
True
Let w(u) be the first derivative of -u**3/3 - 7*u**2/2 - 14*u - 22. Let f be w(-4). Let a be (3/f)/(30/(-80)). Is a not equal to 34/11?
True
Let p = -219 - -137. Let r = -81 - p. Which is smaller: 18 or r?
r
Let b be 21 - 2 - (-1848057)/(-96924). Are b and 0.4 nonequal?
True
Let b be (0 - -2) + (-12)/(-6)*-1. Suppose 0 = -3*o - b*o - 9. Let x be 1 + (0 - o) + 14. Is x less than or equal to 19?
True
Let i = -1.37 - -1.27. Let u be (-6)/4 + 875/570. Is u at least i?
True
Let k(b) = 2*b**2 + 63*b + 236. Let n be k(-27). Suppose -243 = -5*o + 27. Suppose 0 = 2*p - 5*p - o. Do p and n have the same value?
False
Suppose 0 = 14*a - 201 - 275. Let k(h) = -10*h - 15. Let c be k(7). Let z = 120 + c. Do z and a have different values?
True
Let d(c) = -c**3 + 3*c**2 + 20*c - 5. Let h be d(6). Suppose h*w + 2 = 5*w. Which is smaller: w or -7/34?
w
Suppose -2*z + 7 = -1, 3*a - z = -4. Which is smaller: a or 1/3159?
a
Let g = -3683009/134106 - -2557/93. Is 0 greater than g?
False
Let o be -1 + 1 + 0 + 5. Suppose -27 = -o*m + 93. Let j = -0.43 + 1.43. Is m > j?
True
Let k(t) = 114*t**3 - 3*t**2 - t + 2. Let m be k(1). Let g be 7/((-21)/(-6)) - m/40. Is 8 at most as big as g?
False
Let x(g) = -22*g - 67. Let c be x(-3). Let f = -19 - -37. Let b be 4/(-345)*(-27)/f. Is b smaller than c?
False
Let s be 2*(2 + 2/4). Suppose 4 = s*b + 3*r, 0 = b - 6*b + r + 12. Let k be 2 + (3/6)/(b/(-4)). Are 24/11 and k equal?
False
Let c(z) = -2*z**3 - 37*z**2 + 25*z + 121. Let y be c(-19). Is y greater than or equal to -131?
True
Let v = 296 + -440. Let d = -146 - v. Which is bigger: -30 or d?
d
Let r(n) = -3*n**2 - 51*n + 75. Let b be r(-20). 