*y - i + 20 = 0. Let x be ((-30)/(-24) + (-333)/(-60))*y. Is -35 bigger than x?
False
Suppose 4*y - 4*g = 6*y + 16, y + 16 = -4*g. Let o be (-29)/5 + 1/(-5). Let i be -5 - -1 - 23/o. Does y = i?
False
Suppose 9 = -2*u + 5*u. Suppose 4 = u*a - 11. Suppose -a*w - 44 = 16. Are w and -13 equal?
False
Let k = -1422 + 975. Is -444 at most as big as k?
False
Suppose 299 = 88*s + 9417 + 24498. Which is greater: s or -360?
-360
Let s = -1012/2535 + -2/2535. Suppose 0 = 6*o - 4*o + 12. Let z be 5/o*(-6)/(-8). Which is greater: z or s?
s
Let c(y) = y**3 - 24*y**2 + 24*y + 329. Let q be c(14). Are -3 and q non-equal?
True
Suppose -7 = -w - 4. Let q be (30/(-150))/((-2)/(-10)). Let c be 6 + q - 1 - w. Which is greater: -0.5 or c?
c
Let j = 20/947 + 667/13258. Which is greater: j or 2?
2
Let c be (3 - (-50)/(-14))*(-49)/14. Suppose 0 = -0*h + 5*h - 15. Suppose h = -c*u + 31. Does u = 14?
True
Let a = 62/5 + -12. Let b = -75 - -78. Suppose b*c - 102 = -15. Is c less than or equal to a?
False
Suppose c = -2*c + 18. Let y be (-8)/(-14)*(-2 - (-33)/c). Let k be 4/y - 99/15. Which is smaller: -4 or k?
k
Suppose -5*w - 3 + 13 = 0. Suppose -w*l + 2 - 12 = 0. Let c be (80/(-14))/l - 2. Are -2 and c equal?
False
Let c(i) = 5*i - 131. Let o be c(27). Let p be ((-48)/10 + o)/((-8)/(-20)). Let z be 3/(-14)*(-132)/(-9). Which is bigger: z or p?
p
Suppose -9*h = 79 + 29. Suppose 0 = f - 46 + 69. Are h and f equal?
False
Let b be 16/(-12)*342/456. Which is smaller: b or -2/9361?
b
Let s(d) = -850 + 5*d**2 + 3*d**2 + 844. Let o be s(-2). Suppose 2*t - 24 = -o. Is t < -8/21?
True
Let j = -290089 + 290090. Let p = -13107016/9345 - -9818/7. Which is greater: j or p?
j
Let f = -115 + 119. Suppose 17*x - f*x + 416 = 0. Is -31 >= x?
True
Let m be (-7 + 44752/80)/(16/10). Which is greater: 344 or m?
m
Suppose 0 = w + 13*w - 28. Suppose -w*z + 3*n = 12, 4*z + 2*n = 2*z + 8. Let o be (3/(-9)*z)/(-1). Which is greater: o or 1/89?
1/89
Let d = -2940 + 64683/22. Let b = -11.98 - -12. Let y = -1.02 + b. Which is smaller: d or y?
y
Let p = -17/7 - -19/7. Let g = -11 + 13. Suppose 3*v + g*v + 2*s = 11, -2*s = -4*v - 2. Are v and p nonequal?
True
Let f be 105276/930 - 18/(-10). Which is smaller: 135 or f?
f
Let q = -573 + 577. Suppose -t = y + 20 + 36, 2*t - 206 = q*y. Which is greater: y or -54?
y
Let v(a) = a**2 + 17*a + 3. Let z be v(-17). Suppose f = 5*w - 4, f + 0*f - 4 = -z*w. Is 2/475 < w?
True
Let b = 109 - 157. Let a be 2/5 - b/(-45). Which is smaller: 15 or a?
a
Let r(m) = 3*m - 3. Let a(j) = j - 1. Let g(l) = -17*a(l) + 6*r(l). Let o be g(3). Suppose -6*i = 2*i - o*i. Which is smaller: i or 1/3?
i
Let s = 6 - 3. Suppose -5*w + m = -21, 642*w + 3*m - 32 = 638*w. Suppose -s + 13 = -w*u. Which is bigger: u or -27?
u
Let v(s) = 549*s + 6999. Let d be v(-21). Which is greater: d or -0.1?
-0.1
Let s(l) = 88*l + 73. Let f be s(-9). Let g = -711 - f. Which is smaller: g or 37?
g
Let c = -15875 + 25536. Which is bigger: 9662 or c?
9662
Let w be (-93)/(-31)*((-20)/3)/(-1). Let m(s) = 22*s + 1 - 7 - s**2 - 33. Let y be m(w). Is 16/7 equal to y?
False
Let z be 534/10 + 4/(-10). Let v = -109397 - -109404. Which is greater: z or v?
z
Suppose -859 = -7*n + 436. Suppose -2*i = -7*i + 2*x + 260, -n = -4*i - 3*x. Is 49 at least i?
False
Suppose -5*f = -16*f - 44. Let r be f*5/30 - (2 - 2). Which is smaller: 0 or r?
r
Let d(l) = 6*l + 106. Let o be 4/(-14) - 744/42. Let s be d(o). Do s and -3 have different values?
True
Let v(i) = -4*i**2 + 4*i + 10*i - 5 + 16*i + 3*i**2. Let p be v(30). Are p and -13 unequal?
True
Let z(a) be the third derivative of -a**4/6 + 13*a**3/6 + 11*a**2. Let y be z(8). Let s = y + 23. Is s smaller than 30/7?
True
Let f(k) be the first derivative of -k**4/4 + 14*k**3/3 - 12*k**2 + k - 607. Let v = 2 + 10. Let i be f(v). Which is smaller: i or 4/47?
4/47
Suppose -2*y = 8, -5*i + 9*i = 2*y + 12. Let v = 143/238 - 9/17. Which is greater: i or v?
i
Let q = -35 + 484. Let b = q - 516. Is 3 < b?
False
Let x = 520.58 + -520.3. Which is greater: -5/6 or x?
x
Let v be 12/(-16) + (-1386)/8. Is -170 < v?
False
Let i = 14783 - 162487/11. Which is greater: -0.11 or i?
i
Suppose 4*b - 5*b - 2*r = 36, 165 = -5*b - 5*r. Let d be (-266)/(-38) - (-238)/b. Is d != -1?
True
Let a(r) = -2*r**2 + 39*r - 1527. Let h be a(52). Do -4906 and h have different values?
True
Suppose -2*s - 2*z - 10660 - 14298 = 0, 4*z = -s - 12470. Is s smaller than -1?
True
Let g = 4 - 3.99. Let x = 0.31 - g. Let w = -1.199 - -1.219. Is x smaller than w?
False
Let m = -911 - -152. Let l be ((-8)/30)/(m/(-1557)). Let n = -2/1265 - l. Which is bigger: n or -4?
n
Let n = -180 - -17. Let b = -163 - n. Is b < -1/563?
False
Let w = 153/35 + -32/7. Suppose 0 = 2*l + 6*b - 3*b - 25, -2*b = 3*l - 25. Let k(s) = -s + 2. Let z be k(l). Is w less than z?
False
Let b be (-8 + -959)/(-8 + (14 - 7)). Is b greater than 965?
True
Let z = 9.4513 + 0.5487. Is -22 smaller than z?
True
Let x = 11180 - 11181. Let c be -3 + 0 + (-12561)/135. Let f = c + 96. Does x = f?
False
Suppose -4824 = -378*l - 426*l. Is l at least as big as 539/75?
False
Let a(r) = -r**3 - r**2 + r + 4. Let m be a(0). Suppose 2*j + 30 = m*l - 3*l, 4*l = 0. Is -0.2 at most as big as j?
False
Let h be (-1*(-796)/(-7))/((-378)/147). Is h at least 43?
True
Let d(x) = 370*x - 4424. Let k be d(12). Let j = -3 + 2. Let o be 15 + (0 - j) + -2. Which is bigger: o or k?
k
Suppose -306 = 9*t + 8*t. Let c be (2/5)/(t/(-6930)). Is 155 greater than or equal to c?
True
Let m = -7253 + 94279/13. Suppose 4*g + 8 = -a, 0 = -0*a + 4*a + 4*g + 8. Is a >= m?
True
Let w = 27 + -22. Suppose n - w*n = 0. Let f = -25/4 + 53/8. Which is smaller: f or n?
n
Let g be (3800/57)/((-2)/3). Which is bigger: g or -87?
-87
Let u = 63 - 50. Suppose 3*v = 5*h + u, -h - 26 = -5*v + 3*h. Suppose -v*x - 158 = -14. Is -45/2 at most as big as x?
False
Let w(s) = 920*s + 8416. Let d be w(-9). Which is bigger: d or -1?
d
Let q be (-1 - 0/1)/(-1). Let d(o) = o**2 + 4*o - 2. Let m be d(q). Let v be (15/25)/(m/(-15)). Is -3 > v?
False
Suppose 8*c = 5*c + 5*q - 4, 4*q - 14 = -3*c. Suppose 0 = 12*w - c*w + 130. Is w less than or equal to -27/2?
False
Let c be (2647/(-8) + 1)*-2. Suppose 5*u + 5*b - 1217 = 2048, 0 = -2*u + b + 1315. Let r = c - u. Which is smaller: r or 3?
3
Let c = -1151 - -1206. Which is smaller: c or 49?
49
Suppose -2*f - d = 383, 199 = 5*f + 4*d + 1161. Let q be 230/4*(1 + 182/f). Is 3 <= q?
False
Suppose 3*c - 11*a = 4*c - 170, a + 2 = 0. Which is bigger: 967/5 or c?
967/5
Suppose -496*h + 13446 = -478*h. Let f = 745 - h. Which is smaller: -3/4 or f?
f
Let s be 1/8 - 17353/70216. Do -2 and s have different values?
True
Let k = -7491 + 7492. Which is smaller: k or -50/261?
-50/261
Let x = 4162 - 4179. Is x > -70?
True
Suppose -23*q + 1311 - 253 = 0. Suppose q*t - 45*t - 5 = 0. Is 19/4 <= t?
True
Let r = 944 - 943.8. Is 25/11 at least r?
True
Let f be (-3)/6 - (20 - (-495)/(-30)). Does f = -440/81?
False
Let u be 359618/71918 + 10/(-2). Is -1 <= u?
True
Let i = 62.8 - 59.77. Let w = -0.7 - -3.7. Let m = w - i. Which is bigger: -0.1 or m?
m
Let a(p) = 4*p**2 - 44*p - 466. Let j be a(-8). Is 146 > j?
True
Let z = -570 - -526. Let p be -5 - z/4 - (5 - 1). Which is smaller: 11/5 or p?
p
Let g be 0 + ((-6)/8)/((-3)/20) + 35. Is g greater than or equal to 5?
True
Let a(b) = b**3 - 13*b**2 + 19*b - 398. Let x be a(13). Which is greater: -152 or x?
x
Let j = -18346 + 16532. Which is bigger: -1815 or j?
j
Let q(d) = -16*d - 18*d + 1 - 8*d**2 + d**3 + 63*d - 17*d. Let a be q(6). Which is smaller: -7/32 or a?
-7/32
Let j = 148 - 114. Suppose -j*w = -36*w. Which is smaller: -4/117 or w?
-4/117
Let z(a) = -17*a - 540. Let h be z(-4). Is h <= -479?
False
Let h = 86 - -88. Suppose 82 = -o - h. Let z be (-244)/o - (2 - (2 + -1)). Do z and 0 have different values?
True
Suppose -72*z - 123*z = -170997 - 141783. Is z bigger than 1604?
False
Let q be 31270/(-283050) - (-2)/(-9)*2/(-4). Which is smaller: q or -1?
-1
Let r be (1092/(-99))/7*6/(-2). Let p = -10 + 16. Are r and p equal?
False
Suppose -5*h + 161 + 129 = 0. Let c = 50 - h. Let n(s) = -s - 8. Let x be n(c). Which is smaller: x or 1/2?
x
Let z = 6487 - 6466. Are 15 and z nonequal?
True
Let u(l) = -188*l - 2077. Let h be u(-10). Is h != -3159/16?
True
