g - 6 = -4*g. Let r be -1*1/g - 25/(-6). Suppose 2*n + 86 = r*f, -3*f - n + 29 = -38. Is 24 not equal to f?
True
Let q = 6.46 - 6.36. Suppose -3*y + 3*r - 258 = 396, 3*r + 6 = 0. Which is bigger: y or q?
q
Let u be 13/((-2145)/463804) - 14/21. Are u and -2812 non-equal?
True
Let h = 1/60 + 11/15. Suppose 72 = -t - 3*t. Let d be ((-4)/(-70))/(t/15 + 1). Is h greater than or equal to d?
True
Suppose 8*l = 41*l + 60324. Let r = 1269 + l. Which is smaller: r or -558?
r
Let v be 10287/(-1836) + (-15)/2*(-4)/(-40). Which is bigger: v or -1/4?
-1/4
Suppose 0 = -53*s + 51*s - 200. Suppose 304 = -43*c - 3996. Are s and c unequal?
False
Let d be -5 + 0 - (81624/530 - 6). Let a = d - -153. Is a at most as big as 1?
True
Let s(k) = 2*k**3 + 22*k**2 - 3*k - 38. Let m be s(-11). Let r be (-6)/(-56) - 0/(1 - m). Is r bigger than 0?
True
Suppose -h + 7*v = 5*v - 70, -v + 361 = 5*h. Suppose 75*p = h*p - 495. Is p at most as big as -165?
True
Suppose -5*j + 35 = 0, 13*l - 459 = 12*l + 5*j. Which is smaller: l or 491?
491
Let f(y) = -33*y. Let h be f(1). Let g be ((3156/(-10))/3)/((-9)/(-30)). Let m = 1909/6 + g. Which is smaller: m or h?
h
Let o(p) = -133*p**3 - p**2 - 2*p. Let n be o(-1). Suppose -2*v - 3*r + n = 0, -3*r = -5*v - 6*r + 344. Which is smaller: v or 69?
69
Let y = 9.7 + -94.7. Let r = y + 86. Are r and 3 non-equal?
True
Suppose 2*a = -5*z, a = 2*a + 5. Let m be (112/91 - 2)/(z/1). Which is smaller: 1 or m?
m
Let g = 8.63 + 852.37. Let t = 861.2 - g. Which is smaller: -247 or t?
-247
Let t = -1526 - -1807. Which is bigger: t or -1?
t
Let r(h) = 10*h - 2. Let t be r(-3). Let k be 4*(1*-5 - (-282)/12). Suppose 0 = -2*z + c - 65, -5*c + 34 + k = -3*z. Is z at least as big as t?
True
Let i(k) be the third derivative of k**6/120 - k**5/6 + k**4/3 + 5*k**3/3 - 10*k**2 - 1. Let x be i(9). Is x at least as big as -3/16?
True
Let u(v) = -v**2 + 6*v. Let m be u(6). Suppose i = 3*a - m*i - 65, -5*a - 3*i + 99 = 0. Let h = -69360 + 69381. Is a smaller than h?
False
Suppose 0 = 41*h + 67 + 56. Let r be h/(-1)*(-102)/(-18). Which is smaller: r or 7?
7
Let l be 5/3 - 3/(-9). Let u be (-36)/(l + 2/(-2)). Suppose 1538 = -34*f - 108 + 422. Is f greater than or equal to u?
True
Suppose 0 = 8*x - 6*x. Let i be 0 + 1 + 1 + x. Suppose g - i = 5. Which is greater: 6 or g?
g
Let g = 189 + -297. Suppose -2*k = -c - 109, 2*k - 16 = 3*c + 307. Is c <= g?
False
Let u = -677/88176 + 1/501. Let x = -591 + 590. Is u smaller than x?
False
Let f = 11/150 + -163/1200. Is -0.133 equal to f?
False
Suppose f = 4*y + 2064, -41*y - 2076 = -37*y + 2*f. Which is smaller: -515 or y?
y
Let p = 126.94654 + 0.05346. Let j = 133 + -2. Let x = p - j. Is 20 at least x?
True
Let a(n) be the first derivative of -n**4/4 - 10*n**3/3 - 13*n**2 - 10*n - 52. Let p be a(-4). Are 2.27 and p unequal?
True
Let i = 1.97 - 2.302. Let u = 0.232 + i. Which is smaller: 33.1 or u?
u
Let l(i) = 3 + 6*i**2 - 3*i**2 - 2*i**2 + 4*i. Let d be l(-4). Let m = 3240/1309 - -30/119. Are m and d non-equal?
True
Suppose d - 28*q + 23*q = 564, 2*q = -5*d + 2955. Is d at least 595?
False
Let c = -326 + -115. Let q = -438 - c. Is 52 at most q?
False
Let u = -36.37 - 241.93. Which is smaller: -0.1 or u?
u
Suppose 43165 = 6*w + 42979. Suppose 2*v - 26 = -4. Is w at most v?
False
Suppose 3*x + 5*i + 3426 = 0, -1101*x + 1096*x = 5*i + 5730. Is x greater than -5758/5?
False
Let d be 8 + -3*(-10)/15. Let t be d/(-55) - 40/22. Let s be 42/105*1/t. Which is greater: s or 0.2?
0.2
Let w = -5518 - -5655. Which is greater: w or -6?
w
Let i(g) = -g + 2. Let n be i(-14). Suppose n*k = 13*k + 3. Let b be -9*16/(-504) + 60/(-406). Is b < k?
True
Let w(i) be the second derivative of -i**4/12 - i**2/2 - 3*i. Let y be w(-1). Let s be (6/(-4) - y)*4. Is s != 2?
False
Suppose 428*h - 463*h = -51450. Which is greater: h or 1473?
1473
Let f = -81 - -83. Let t be (36945/(-12))/(-5) - f. Let h = t - 27125/44. Are -2 and h unequal?
True
Let g = -68 - -11. Let x = -53 - g. Let h be 1 - (5 + (1 - 3)). Which is smaller: x or h?
h
Let y = -0.3 - -0.2. Let f be 304094/(-203203) - (-10)/13. Is f not equal to y?
True
Let i = -1681/106 - -3415/212. Let c be (-6)/(-9)*(-2 - 1). Let o be -4*(c + 205/102). Is i at most o?
False
Let f = -137248/7 - -19534. Let z = -1429397/4480 - -31655/128. Let h = z - f. Do h and 1 have the same value?
False
Let o be (-2 - (-96)/51) + 2418/34. Let c = o - 65. Suppose c*b + 16 = 70. Is b greater than 6?
True
Let t(a) = -7*a - 11. Let p(d) = -d - 1. Let j(u) = -6*p(u) + t(u). Let l be j(-2). Which is smaller: l or -0.01?
l
Let d(q) = -q**2 + 19*q + 19. Let b be d(20). Let s(l) = 20*l**3 - l**2 + 3*l - 4. Let r be s(-3). Let x = -11800/21 - r. Are x and b equal?
False
Suppose -2*l - 4 = k, -2*l = -0*l. Let h(r) = -9*r + 49. Let w be h(9). Let v = -37 - w. Which is smaller: k or v?
v
Suppose -b + 5*d = 92, 0 = 2*d - 0 + 10. Let u = b + 121. Is u at most as big as 28/9?
False
Let t = -1/149599 + -2242174/270923789. Is 1 < t?
False
Let k = 30/13 - 463/195. Let m be (-3)/2 - 14/4. Let c = m - -5. Which is smaller: k or c?
k
Let k be (30/20)/((-9)/(-24)). Suppose k*q + 2*b - 114 = 0, -5*q + 31 = -4*q - 2*b. Let n be ((-1)/3)/(-7 + 4256/609). Is n greater than or equal to q?
True
Suppose 8*m + 264 = 1000. Suppose -m*y = -91*y. Suppose -3*u - k + 20 = 0, 5*u + 4*k - 33 - 5 = y. Which is smaller: 36/5 or u?
u
Let w be (2/(-4))/(1/(-22)). Let m = 369 + -281. Suppose -399*b = -407*b + m. Is w at most b?
True
Let c = -155 + 193. Let d = 42 + c. Is d smaller than 2/3?
False
Suppose 2*x = 3*n - 778, -5*x + 209 - 2229 = 5*n. Is x >= 4?
False
Let m = 8.497 + -8.367. Is m > -217?
True
Suppose -z + 2 = 0, 2*z - 541 = 4*v - 11349. Suppose -5*b + 3*w - 12645 = -v, -4*w = -3*b - 5963. Let o be (-1300)/b + 4/(-6). Which is smaller: o or 0?
o
Let b = -5289 + 14524. Let f be 15/(-35)*1 + b/315. Is f at least 30?
False
Let r = 100 - 154. Let j be 72/r - (-42)/45. Which is bigger: j or -83?
j
Let u = -14664 - -31282. Which is bigger: u or 16620?
16620
Suppose 5*m = -f + 701, -14*m + 19*m - 3405 = -5*f. Is 676 at most as big as f?
True
Let m = 70 - 1751/25. Let r(v) = -v - 1. Let q(u) = -2*u + 26. Let k(t) = q(t) + 5*r(t). Let a be k(3). Is a > m?
True
Let o = 1.06 - 1.3. Let u = -85564 - -85562. Is o at least as big as u?
True
Let b be (-44)/374*1*(-1)/(-74). Let h = -6287/1887 + b. Suppose -6 = i + 2*i - 5*y, -2*y + 6 = -3*i. Which is smaller: h or i?
h
Let b(i) = i**2 + 12*i - 13. Let k = -17 - -4. Let v be b(k). Suppose 3*c - 22 = -n + 73, 3*c - 4*n - 100 = v. Are 32 and c unequal?
False
Let z = 6983 + -4881. Which is smaller: z or 2101?
2101
Let i = -7075679/248 - -28531. Which is bigger: -1 or i?
i
Let z be -8 + (-36 - -15 - -28). Do 5/5098 and z have different values?
True
Let q = 5641111/89 - 63384. Is 0 less than or equal to q?
False
Let u = 3 + -3.1. Let i = -3083427/14 - -220413. Let h = i - 168. Which is greater: h or u?
h
Let j be 4/6 - (-77)/(-3). Let o be ((-3)/(-4))/((-3)/j). Suppose 9 = 1388*d - 1385*d, -4*l + 2*d = -22. Which is bigger: l or o?
l
Let s = 1414 + -1511. Is -113 smaller than s?
True
Let m = 0.16 + -0.09. Let z = -2.16285 + -0.53715. Is m != z?
True
Let p = -2947/2230 + -35/446. Let b be (-2)/(-8)*(-2)/5. Is p equal to b?
False
Suppose -17*q = -54 + 20. Suppose 0 = -q*l - 4*n + 18, -182*l + 183*l - n + 6 = 0. Which is bigger: 1/4 or l?
1/4
Let q(b) = 2*b - 46. Let s be q(20). Let o be s/(-7)*14/3. Let h be 24*1*(-2)/o. Do h and -11 have the same value?
False
Let t(a) = 411*a + 835. Let g be t(-2). Which is smaller: 598/43 or g?
g
Let g = 1 - 0.6. Let o = 123/227 - 265/908. Which is smaller: o or g?
o
Let m = -562 + 620. Is 2300/39 <= m?
False
Suppose 3*c + 30*o - 380 = 26*o, 502 = 4*c + 6*o. Suppose 540 = r + 3*r. Which is smaller: c or r?
r
Let u = 20.147 - 6.584. Which is bigger: 1 or u?
u
Let o(k) be the second derivative of k**3/6 + 9*k**2/2 - 28*k. Let n be o(-9). Suppose n = 5*d - 25, 0*z + z = 3*d - 15. Which is smaller: z or -2?
-2
Let x be (-6)/(-3) + (-2 + 1)/(-1). Let l(b) = 13*b + 32*b - 29 - 76*b - 31*b**2 - b**x. Let t be l(-30). Is t less than or equal to -0.42?
False
Let a be 4/(-30) - 99/(-10)*2. Let w = 100 - 100.1. Is a at most w?
False
Let i(f) = -15*f + 31. Let x = 260 + -258. Let w be i(x). Which i