True
Let o = -23.307 - 0.593. Let h = o + 24.3. Are h and 0 nonequal?
True
Let y = -99159.809 - -99081. Let a = y - 0.191. Let q = a - -79.2. Which is bigger: q or 13?
13
Let v(c) be the first derivative of 10*c**2 + 217*c + 108. Let o be v(-8). Which is bigger: 60 or o?
60
Suppose -76*l + 69*l = v + 20531, 5*l + 14649 = -3*v. Is l equal to -2936?
False
Suppose j + 2*y - 185 - 847 = 0, 0 = 2*j - 5*y - 2055. Suppose 70*b - j + 190 = 0. Which is smaller: -0.2 or b?
-0.2
Let c(t) = 5*t**2 - 5*t - 9. Let v(k) = -k + 1. Let o be v(3). Let r be c(o). Which is smaller: 20 or r?
20
Let x = 17401388/5607 + 1744/1869. Is x >= 3104?
True
Let h = 14.548 + -5.548. Is h greater than or equal to 3/605?
True
Let h = 6979 + -6977. Do h and 718 have different values?
True
Let v(p) = -2*p**2 - 6*p. Let c be v(-5). Let a be 3296/328 + -10 - 23307/1230. Is c < a?
True
Let d(a) = 12*a**2 + 18*a - 20. Let u be d(1). Let p be (-5)/u*132/48. Is -1 greater than p?
True
Suppose -2*y + 150 = -17*y. Let h be 180/385 - y/(-55). Are h and -2/1105 equal?
False
Let x(m) = 3*m. Let l be x(-1). Let n be ((-930)/8)/(l/12). Let y be -1 - (n/(-55))/3. Which is bigger: y or 3?
3
Let q(s) = -6*s**2 + 10*s + 62. Let f be q(-4). Suppose 2*u = -4 - 26. Let r be (-7)/((-175)/u) - f/(-10). Which is greater: r or -5?
-5
Let d = -56.57 + 113.57. Are d and -4.8 non-equal?
True
Suppose 4*v = -y + 276, 13*v - 1121 = -4*y + 14*v. Let i = y - 152. Are 127 and i unequal?
True
Let z = 0.3714 - 0.2349. Which is bigger: z or -2/3?
z
Let p(o) = o**2 - 9*o + 24. Let s be p(5). Let d be (0 - 0)*-4*s/(-64). Which is smaller: 2/219 or d?
d
Suppose 0 = z - 3*z + 38. Let x = 171 - 178. Let m(w) = -9*w**2 - 64*w + 10. Let q be m(x). Which is greater: z or q?
z
Suppose -2*b + 5 - 1 = 0, -2*b + 1 = -m. Suppose -5*h - 20 = k, 3*k + m*h = h - 47. Is -7 less than or equal to k?
False
Let o = -361/2 + 14789/82. Let h = o + 95/369. Let z = -2 + 1. Which is smaller: h or z?
z
Let q = 0.797 + 146.403. Let i = -163 + q. Let w = 16 + i. Are -0.06 and w equal?
False
Let g be 906/(-20)*20*(-380)/720. Which is smaller: 479 or g?
g
Let i = 55 - 56.6. Let r = i - 84.4. Let z = -89 - r. Which is smaller: 11 or z?
z
Let v be (1 - 1)/(2/2). Let d = 156.261 - 68.261. Which is greater: v or d?
d
Let u be 18 - 30 - (-5 + -7). Is 3/2807 > u?
True
Let i(a) = 6*a**2 - 41*a - 8. Let x be i(7). Is x greater than -24/1915?
False
Let t = -80 + 82. Let w be (18/(-10))/(-3) - (-24)/10. Suppose c + 4*z - 4 = w, 2*z + 4 = 0. Is c > t?
True
Let s = 2078 - 2077. Which is bigger: -3/5362 or s?
s
Suppose -u = 3*l + 77, l + 22 = -0*l - 4*u. Let d = l - -29. Let q be 4/15*d*110/4. Is q greater than 23?
False
Let a(z) = z**3 - 32*z**2 + 79*z + 27. Let w be a(33). Is 3724 at most as big as w?
False
Let c = -18736 + 18737. Which is bigger: 11/1068 or c?
c
Let q = 0.1 - 0.2. Let f = 0.082 - 106.082. Let h = f - -89. Is q > h?
True
Suppose 62*t - 3120 = 75*t. Let n be (228/8)/(36/t). Which is smaller: n or -192?
-192
Let b = 13879 - 13795. Are -85 and b non-equal?
True
Suppose -c = 0, 0*x + c + 1430 = -5*x. Let q = 287 + x. Are -2/93 and q nonequal?
True
Let p = -12500 - -12537502/1003. Is 0 bigger than p?
False
Let k = -7620 + 2339342/307. Which is bigger: k or -14?
k
Suppose 0 = 2*o - 5*w - 15, -2*w = 3*o - 5*w. Let s be 480/63*((-70)/12)/o. Which is smaller: s or 10?
s
Let r(a) be the second derivative of 3*a**3 + 79*a**2 - 220*a. Let t be r(-9). Is t bigger than -56/13?
True
Suppose 0 = -4*w + 9*w + 5. Let l be (80/(-420))/((-28)/(-18)). Is l equal to w?
False
Let j = 395.28 + 8.72. Let g = j + -403.9. Which is smaller: g or -2.54?
-2.54
Suppose 5*a - 9*a = -20. Let h = a - 2. Let y be h/(-9)*3 + -4. Is y at least as big as -4?
False
Let d = 15221.84586 - 15222. Which is smaller: -1 or d?
-1
Let g(l) = -l**3 - 5*l**2 + l + 8. Let p be g(-7). Suppose 0 = 12*y + 3 - p. Suppose 5*q - y*q - 24 = 0. Which is greater: q or -2?
-2
Let w = 1/317 + -1275/2219. Is -10 >= w?
False
Let p = -137836/3815 + -7/545. Let t(z) = -15293*z + 61136. Let r be t(4). Is p bigger than r?
False
Suppose -7*s + 6*s = -2*o + 9041, 5*o - 22622 = -4*s. Let z be (-4556)/o + (-4)/7. Are -3 and z nonequal?
True
Let v be (-1)/2 - 124/(-8). Let o = -665 - -663.335. Let q = o + -0.335. Is q less than v?
True
Let i(r) = 19*r + 22. Let l be i(-6). Let n = -122 - l. Let f be 3 + (9/(-5))/(9/n). Which is bigger: f or 8?
f
Let h be (-638 - 1)*(38/(-26) - 35/(-21)). Is -132 at most h?
True
Let z(i) = -6*i**3 + 6*i**2 + 7*i - 50. Let l be z(3). Is -681/5 at most as big as l?
False
Let p(q) = -2*q + 10. Let r be p(3). Suppose 66 = 2*n - 2*z, -8*n + r*z + 166 = -3*n. Let y be 774/(-15) - (n/10 + -4). Do y and 0 have the same value?
False
Let i = -512 - -512.0749. Let j = -47.9251 - i. Which is greater: j or -0.05?
-0.05
Let u(r) = r**3 + 33*r**2 - 7*r - 2139. Let x be u(-31). Which is smaller: 144/385 or x?
x
Let r(q) = -q - 1. Let z be r(8). Let o(v) = 6*v**2 + 38*v - 19. Let w be o(-7). Which is smaller: z or w?
z
Let w = -1879721/6 + 314011. Is w equal to 723?
False
Let k = 311 - 339. Let n be -2*(-2 - -5 - (-80)/k). Is 3/2 at least as big as n?
True
Let j = -89 + 88. Let d = -71 + 30. Let z = d + 43.7. Which is greater: j or z?
z
Suppose -258*h - 2*v + 1410 = -260*h, 5*v = -4*h - 2829. Is -706 > h?
False
Let s be (6/(-20))/((-49)/9898). Which is smaller: 0.1 or s?
0.1
Let a(s) = 86*s + 860. Let j be a(-10). Which is smaller: j or 1/1098?
j
Let k be (-1 - -254) + -2 - (-1)/1. Suppose -k = o + 5*o. Let a = o - -209/5. Which is smaller: a or 18?
a
Let g(u) = -794*u + 4962. Let n be g(9). Is n not equal to -4?
True
Let y be -100 + 104 - ((4 - 2) + 0). Suppose 14*a + 60 = y*a. Suppose -p + 3 - 5 = 0. Which is smaller: p or a?
a
Let i = 129.4 - 37.4. Let z = i + -304. Is z less than 1?
True
Let l be (5 - (-7 - -7))*(-11 + 7)/(-4). Let i be 5 - (1 - (0 - -1)). Are l and i equal?
True
Let p = -1.3 + 1.4. Let r = 12919 - 12975. Which is smaller: p or r?
r
Suppose -d + 2 = -8. Suppose d = -2*u + 8. Let f be (u - (-2)/6)*42/812. Is f > 1?
False
Let d = 9746 + -9747. Do d and -104/187 have the same value?
False
Let p be (20/8)/(2/(-12)). Let n be 2*1 + (-33)/p. Let a = 4551 - 4547. Do n and a have the same value?
False
Let u = -31 + 34. Suppose -12*o = -u*o + 54. Let c(d) = -d**3 - 5*d**2 + 4*d. Let y be c(o). Is y at least 1?
True
Let n = -24 - -47. Suppose -47*c = -50*c + 66. Which is smaller: n or c?
c
Let j = 13048/303 + -40/101. Let q(w) = 2*w**2 + 4*w - 6. Let l be q(-6). Which is greater: j or l?
j
Suppose 13 = -13*i - 21*i - 21. Is i greater than -4/1509?
False
Let v = 0.372 - 35.872. Let h = v - -114.5. Which is bigger: 1 or h?
h
Let q = 1 + 4. Let m(z) = 2*z + 1. Let l be m(5). Let s be (1 - 17/l)*-7. Are s and q equal?
False
Let f be (-3)/(-2)*(-368)/(-69). Let c = -52 + f. Let i(h) = -h**2 - h + 12. Let v be i(-8). Is c less than v?
False
Let g be (-114)/(-1) + (-11 - -9). Suppose -42*q = -35*q - g. Let s be 2 + 11 + (-6)/(-3). Is s less than q?
True
Let q = 4 - 8. Let r be (-18)/(-30) - q/10. Let f be 50/72 - 10/15. Do f and r have the same value?
False
Let d = -968/327 + 2497862/2289. Which is smaller: 1088 or d?
1088
Suppose 4*u + 11 = 3*u. Suppose 3*b = -6*b + 873. Let w = 83 - b. Which is bigger: w or u?
u
Let o = -28.09 + 28.9. Are -0.17 and o equal?
False
Let d = 189126733/2224 + -85039. Which is smaller: d or -1?
-1
Let s = -180.1 + 179.19. Is s bigger than -170?
True
Suppose 2*y + 146 = -v, -2*y + 5*v + 212 = -5*y. Let i = 76 + y. Is -8/7 bigger than i?
False
Let c be ((-2)/(-4))/((-65)/130). Let h = 655 - 32753/50. Which is bigger: c or h?
h
Let d = -2/2427 + 68030/89799. Is 1 at least d?
True
Let d = 1827 - 1803. Which is smaller: d or 16?
16
Let o(g) = g**3 + 14*g**2 + 14*g + 1. Let l be o(-13). Let n be l/(-9)*(0 - -6). Let a(y) = -y**3 - 17*y**2 - y - 10. Let t be a(-17). Is t at most as big as n?
True
Let u = -223 + 318. Let y be -2*1/u*(10 + -7). Which is greater: -1 or y?
y
Let p = 1 + 0. Let j = -318905/121914 - -613/234. Does p = j?
False
Let n = -1367.9 + 1368. Which is greater: 1085 or n?
1085
Suppose -4*m + 4*w - 7*w = 66, -m = 5*w + 25. Let t be (m/7)/(320/280). Suppose 0 - 4 = 4*s. Which is bigger: t or s?
s
Let y = -31591/3 + 10659. Let o = y + -7358/57. Is