 Let l be (-20)/j*-222 + (-8)/(-10). Is l != 60?
False
Let i be 465/495 + ((-97)/33 - -3). Which is bigger: -15.28 or i?
i
Let b be (9 - 8)*(0 - 1) + 4. Let n(w) = -5317*w**2 + 5 + w**b - 3*w + 5317*w**2. Let k be n(2). Is k at least 9?
False
Let j = -10853/70 + 1395/14. Which is smaller: j or -0.3?
j
Let o = -0.12991 - -45.17791. Let n = -45 + o. Let f = 0.048 - n. Which is smaller: -21/2 or f?
-21/2
Suppose -2*w - 9*v + 2155 = -4*v, 0 = 5*w - 2*v - 5344. Is w less than 1071?
True
Suppose 0 = f - 5*w + 25, f + 4*f = -2*w + 10. Let n(m) = 2*m**2 - 15*m - 3. Let y be n(8). Let j be 28 + y + -2 + f. Which is smaller: 34 or j?
j
Let p be (5 - 420/96)/(5/40). Let q(b) = 26 + 17 + 9*b - 9. Let j be q(p). Is j equal to 80?
False
Let h be (-4*147/56)/(6/56). Let j be (273/h - -2)*52. Is j bigger than -40?
False
Let l(o) = o**2 + 2. Let j be l(0). Let m be j/3 + (-320)/435. Let i be (-57 - -56)/(2/24) - -13. Do i and m have the same value?
False
Let p = -181810/87527 - 6/1199. Is -3 at most p?
True
Let v = 9878 - 9878. Which is smaller: v or -2/5467?
-2/5467
Let s = -435/148 + 118/37. Do -20 and s have the same value?
False
Suppose 0 = -0*t + 2*t + 5*p - 1, -35 = -4*t + p. Suppose -10*f + 8*f = -t. Suppose 4*h - 17 - 15 = -f*n, -2*n = -3*h + 39. Is 13 equal to h?
False
Let s be 4/14*(-4)/(-92). Suppose 0 = 1851*o - 1854*o - 2*w + 2, -5*o - 5*w + 5 = 0. Which is greater: s or o?
s
Suppose 163*m + 41*m + 994451 - 248423 = 0. Is -3657 bigger than m?
False
Let p = -476 - -2881/6. Suppose 0 = -2*b - 4*o + 6*o, -4*b - 4*o = 24. Let x be (9/b)/(1 + -2). Is x >= p?
False
Let f = -28582 + 25580. Which is smaller: -2999 or f?
f
Let u = 5989 - 5994. Which is greater: 110 or u?
110
Let d = -3848 - -3848. Which is smaller: 2/1125 or d?
d
Let t = 89/390 + 1/26. Let x(d) = d**2 - 9*d. Let i be x(7). Let r = i - -13. Which is greater: t or r?
t
Suppose -3 + 3 = -39*v. Is 4/1645 less than or equal to v?
False
Let d = -108 + 163. Let m = -54.9 + d. Is m <= -149?
False
Let i = -33 + 134. Let m = i + -28. Is 1 not equal to m?
True
Let l be (-6159)/(-45) + ((-484)/(-165))/22. Which is smaller: l or 138?
l
Let s be ((-73)/(-15) - 5) + (0 - (-2583)/135). Is 886/47 < s?
True
Let h = 1240.9 + -1237. Is h greater than 5?
False
Suppose 4*o + 4 = a + 13, 5*a - o = -7. Let v = -519 - -432. Let i = v + 100. Are i and a unequal?
True
Suppose -583 + 451 = 12*g. Is -21 equal to g?
False
Suppose 4*w + 68*f - 1949 = 65*f, -w + 2*f = -479. Is 485 greater than or equal to w?
True
Let s = 304 - 305. Let g = -105 + 1685/16. Which is smaller: g or s?
s
Let g = -0.012 + 30.012. Let k = g + -24. Let u = -79/200 - -1/50. Does k = u?
False
Suppose 5*b = -d + 410, 30*d - 254 = -3*b + 31*d. Which is smaller: b or 0.2?
0.2
Let w = -19029 - -19031. Which is greater: w or -3/3955?
w
Let t = 10 + -5. Let u = 30385 - 30385.022. Which is greater: u or t?
t
Let s be 50/(-10) - 17/37. Let n = s - 7591/148. Which is smaller: -57 or n?
-57
Let r = -252208/27 - -9341. Let y = 2 - 2. Is r at least as big as y?
False
Let j be ((-10)/(-4))/(100/240) + (-538 - 0). Is -531 at least as big as j?
True
Let p be ((-10)/4 + 3)/((-2)/332). Let g = -81 - p. Let a be (g/(6 + -4))/1. Are -1/49 and a non-equal?
True
Suppose 0 = 2*t - 1028 + 1042. Let m(b) = -b**2 - 6*b + 29. Let o be m(t). Let l(j) = 4*j**3 - j**2 - j - 2. Let x be l(2). Which is bigger: x or o?
x
Let b be 76872/(-224) - 6/(-8). Let x = b - -343. Suppose 4*l = -2*v, 4*l - 4*v + 1 = 25. Is l greater than or equal to x?
True
Let t be ((-33)/6)/(106/32). Let j = 1/159 - t. Is j equal to 2?
False
Suppose 4*i + 3*t + 4*t = -57, t + 3 = 0. Which is bigger: -7 or i?
-7
Let c be 11 - (-470)/(-50) - 10896/(-15). Is c at most 728?
True
Let q be 1384/1785 + ((-12)/14)/((-195)/(-130)). Which is bigger: 1 or q?
1
Let c = 32 - 30. Suppose -c*r - 4 = -0*r. Suppose 0 = 6*f - 0*f + 12. Does f = r?
True
Suppose 9*f + 13 = 8*f - 4*g, -5 = f + 2*g. Suppose 0 = k + 4, f*h - 5*k = 5*h + 52. Is h > -84/5?
True
Suppose 308 = 4*w + b, -248 = -3*w - 6*b + b. Let v = 114 - w. Let d be 6/(-14) - 2152/(-56). Is d smaller than v?
False
Let o = -37 + 88.5. Let g = -53 + o. Let k = g - -1.52. Is k > 0?
True
Let v = 3.6911 + 45.3089. Let z = -0.04 - -17.04. Let d = v + z. Is -0.2 not equal to d?
True
Let x = -28020 - -13717. Which is greater: x or -14302?
-14302
Let h = -37206 + 119766116/3219. Let u = -315496/54723 + h. Which is smaller: u or -7?
-7
Let t(d) = d. Let r be t(1). Let s be ((-19104)/(-588))/4 - 8. Is s <= r?
True
Suppose -127 = 7*k - 141. Suppose 346 = -k*p - 4*z, -3*p + 4*p + 4*z + 177 = 0. Do p and -170 have the same value?
False
Suppose 632*k - 572 = 489*k. Which is smaller: k or -416?
-416
Let x = 12766 + -12770. Is -74 != x?
True
Let t = -210 - -211. Let z = -17183566/55 - -312418. Let r = -102/11 - z. Which is smaller: r or t?
t
Let j = -24637 - -8227. Is 1 equal to j?
False
Suppose -7*p - 167 = p - 191. Which is greater: p or 95/28?
95/28
Let n be 4/5 + 8690/200. Are 45 and n non-equal?
True
Let o = -1441/1610 - -99/46. Let d = -807/280 + o. Is -3 equal to d?
False
Suppose -40*r - 903 = 4*f - 43*r, 3*r = -9. Is -3900/17 at most as big as f?
True
Let i(v) be the first derivative of 2*v**3/3 + 4*v**2 - v + 50. Let q be i(0). Are -3/25 and q unequal?
True
Let n be (-2)/1 - ((-1536)/(-20))/3. Let w = 11025 - 11054. Which is greater: w or n?
n
Let n = -994182254/11647869 + -121/82609. Let f = -256/3 - n. Suppose -13 - 2 = -3*a, 4*j + 4*a = 24. Is j < f?
False
Let d = 179924 + -179940. Let y be 6*((-2)/(-4) - 0). Are d and y non-equal?
True
Let n be 16/28 + (-12)/21. Suppose 4*v + 3*q - 7 + 0 = n, 5*q = -4*v + 1. Let z be 3/(-7)*40/(-6). Which is greater: z or v?
v
Suppose 2*b + 4*d + 720 = -2704, 5*d + 5 = 0. Let w be 12/b*-3*5. Which is greater: 1 or w?
1
Let t(l) = -l**2 - 1. Let h be t(-1). Let a(o) = -o**3 + 5*o**2 - 6*o + 3. Let b be a(3). Let j be (h - (-25)/(-20)) + b. Which is greater: j or 0?
0
Suppose 4*k = -p + 21, 11216*p + 3*k + 9 = 11213*p. Is p at most -699?
False
Let o = -6.76453 - -0.16453. Are -4 and o equal?
False
Let g = 215 + -535. Let s be 0 - -8 - (-2680)/g. Which is smaller: s or 1?
s
Suppose 5*b = 4*i + 5 - 14, 4*i - 1 = -3*b. Let v be (i/(-4))/(5/(160/(-276))). Let u = 3 + -2. Which is smaller: v or u?
v
Let s = -1.748 + -124.352. Let m = -1779 + 1652. Let v = m - s. Which is greater: 5 or v?
5
Suppose 4*p = -5*s + s + 464, 3*s + 112 = p. Let m be 3/(-8) + p/40. Which is bigger: m or -6?
m
Let j = -459889 + 149464148/325. Let q be (-18)/(-52) - 2/(-4). Let r = j - q. Which is bigger: 1 or r?
1
Let u be (2 + 62/(-30))*-7. Let f be (-230)/(-26) + (-62)/(-403). Suppose 4*z + 3*g = 12, 14*z + 4 = f*z + g. Which is greater: u or z?
u
Suppose 5*f - 40 - 90 = 0. Let o be f/3 - (-2)/(-3). Suppose 3*j - 11*j - o = 0. Which is greater: j or -5/4?
j
Let t = 0.002 - 20.002. Let v = -8 - t. Let z be 980/(-1029) + 3/(18/4). Is z >= v?
False
Let n = -4963 + 4962. Do 2/13091 and n have different values?
True
Suppose 0 = 7*r + 166 + 135. Let v(g) be the third derivative of -g**4/4 + 5*g**3/6 - 2*g**2 + 3. Let y be v(8). Is y bigger than r?
False
Let o = 4348 + -4251. Is o bigger than 99?
False
Let z be 40/280 + (-151)/1015. Is 1 less than or equal to z?
False
Let c = 91 + -86.55. Let y = 2.3 - c. Let g = y + 0.15. Which is greater: -4 or g?
g
Let j = 0 + -3. Let y = 4 + j. Suppose -5*p = 4*a + 23 + 4, -4*p + 44 = -5*a. Is y at least a?
True
Let p be 4 - 29/7 - (-45)/21. Let x be p/11 - (-11700)/143. Is 82 <= x?
True
Let v = 10461 - 10525. Let b = -3143/8 - -2629/8. Let q = b - v. Which is bigger: q or 25?
25
Let w be 74/(-196) + 2/4. Let a = 79/245 - w. Suppose 0 = -3*o + 3*x - 888 + 873, -2*o + 20 = 3*x. Which is bigger: o or a?
o
Let o = 1646 + -1646.6. Let x be 51/9 - 2/3. Is o < x?
True
Let f = 180 - 85. Let i = 78 - f. Which is greater: -25 or i?
i
Let x = -69343 + 485536/7. Let i(p) = p**3 + 4*p**2 - 6*p - 6. Let r be i(-4). Is x at least as big as r?
True
Let l(b) = 63*b - 3578. Let j be l(-74). Is -8241 equal to j?
False
Suppose 2*a + 52 = -11*a. Let f be a/2*(-268)/8. Let c = -66 + f. Is c smaller than 15?
True
Suppose -f = 2*o - 4 - 3, 4 = 4*o. Let z = f - 10. Let i(k) = -k**2 - 5*k - 3. Let x be i(z). Is x less than -9/4?
True
Let w(i) = -2*i + 9