 = -1686 - -5535. Is x < 2/7?
False
Let z be (16/12 - 2)*6/(-4). Let a be (z + (-189)/14)*56/(-5). Which is smaller: 142 or a?
a
Let m = -0.60302 - -0.06302. Is 0 equal to m?
False
Let z = 36 + -36. Let j be ((-49)/(-1029))/(2/(-15) + z). Which is bigger: j or 1?
1
Let g be 0*1*(0 + 1). Let f = 185 + -181. Let z be (-3)/36*((-24)/(-9))/f. Which is bigger: z or g?
g
Let h = -1576/5 - -11022/35. Is 3/535 <= h?
False
Let u(b) = 8*b**3 - 8*b**2 + 6*b + 5. Let s be u(4). Suppose -s = 5*g - 12*g. Which is smaller: 119/2 or g?
g
Let c = -3257 - -2983. Is c greater than -1367/5?
False
Let g(l) = 20*l**3 - 2*l**2 + 3*l - 1. Let s be g(1). Let q = s + -17. Suppose f + 48 = -v - q*v, -3*f - 76 = -5*v. Which is greater: f or -33?
f
Let f be 6/4*(-4)/(-3). Suppose -3*u - 9 = -4*m, 16*u + 2*m - 32 = 12*u. Suppose -u*i = k - 22, -f*k + 3*i = 2*i. Which is smaller: k or 3?
k
Let n(s) = 230*s - 5070. Let o be n(22). Suppose -6*j + 5*j + 30 = 0. Is o less than j?
True
Suppose -5*u = -u - 16. Let a = 10275 + -112991/11. Is u less than or equal to a?
False
Suppose 958*s - 956*s - 16 = 4*k, 0 = -2*k - 2*s + 10. Which is greater: k or 7145?
7145
Let x = -192 + 333. Let p = 142.2 - x. Are -0.05 and p unequal?
True
Let l be 0/((-1)/(-4)*(-456)/(-38)). Is -36 at most as big as l?
True
Let d be (130/(-273))/(0 + 813/(-9) - 0). Which is bigger: 1 or d?
1
Let n be -1 - 1/((-4)/52). Suppose 6 + n = 3*o. Let a be (-4)/(-24)*o/4. Which is smaller: a or -0.34?
-0.34
Let p be 0 + (-10 - -7) + 28*-30. Let v = p + 1607/2. Which is smaller: v or -39?
v
Let n be (-236)/(-30) + (-90)/(-675) - 8. Which is smaller: -114/29 or n?
-114/29
Let y(r) = -8*r**3 - 2*r + 1. Let w be y(1). Let l be (4 - 0 - -1)/(-3). Let v = 4/3 + l. Which is bigger: w or v?
v
Let u = 224046 - 224052. Let k = -106 + 73. Is k less than or equal to u?
True
Let b be 282/((-208)/(-56) + -4). Is b smaller than -990?
False
Let p be (22/1)/((-7)/21). Let m = p - -136. Suppose -3*r - 5*s = m, 5*r + 3*s + 55 = -51. Are r and -21 non-equal?
True
Let s = -23 + 23. Let y = -205 - 4. Let k = y - -1459/7. Which is bigger: s or k?
s
Let b be (-15)/((-135)/12)*780/(-9). Is b smaller than -117?
False
Suppose -174 = 68*m + 30. Let j = 130 - 143.1. Let l = -2.1 - j. Is l < m?
False
Let j = 29.35 + -37. Let u = j - -5.18. Let h = u + 0.57. Which is smaller: 0.1 or h?
h
Let f = -457 - -504.4. Let c = -47.3 + f. Which is smaller: c or -2/827?
-2/827
Let a(q) be the second derivative of 5*q**4/6 + 11*q**3/3 - 83*q**2/2 + 75*q. Let k be a(8). Is 733 > k?
False
Let m(g) = 3*g**2 - 131 + 156 - 3*g**2 - 3*g**2 + 77*g. Let v be m(26). Do 1/22 and v have the same value?
False
Suppose 42 = -5*q + 26*q. Suppose -2*u = -4*u - 4, -4*m = -q*u + 8. Which is smaller: m or -0.11?
m
Let a be -2 - 5/((-1130)/456). Let k = 372952/932405 - -2/186481. Which is bigger: a or k?
k
Let l(q) = 81*q + 244. Let b be l(-3). Let v = -896/23 - -39. Is b greater than or equal to v?
True
Let z = -6864 + 6907. Is 50 at most z?
False
Let x = 9566 - 9576. Do -440/43 and x have the same value?
False
Suppose 1352 = m - 5*a, -1789 = -5*m - 2*a + 4998. Which is bigger: 1356 or m?
m
Let n(l) = l**3 - 7*l**2 + 7*l - 5. Let d be n(6). Let w(o) = -24*o + 1. Let p be w(d). Let s = -2752 - -2727. Is p at least s?
True
Let i be -2018*(3 + -10)*(-17 - (-660)/40). Is -7063 smaller than i?
False
Let v(x) = x**3 + 15*x**2 - 41. Let a be v(-15). Do -3.7 and a have the same value?
False
Let o = -986117/10680 + -1/3560. Is o > 0?
False
Suppose 32*n = 7*n - 23*n + 40560. Which is smaller: n or 2536/3?
n
Suppose 5*c + 2 + 3 = 0, 0 = -3*n - 4*c + 38. Let l = 9 - n. Let j be ((-10)/25)/(16/180). Which is smaller: j or l?
l
Suppose 5*q - 4397 = 4*x - 160, 0 = 8*q - 2*x - 6788. Which is smaller: q or 866?
q
Let a(y) = 2*y**2 + 27*y. Let d be a(-18). Let r = d + -161. Are r and 6/41 equal?
False
Let o(d) = -d**3 + 5*d**2 + 2*d - 10. Let l be o(5). Suppose 0 = 5*r + 5*j - 45, 3*r + 7 = -2*j + 34. Let f be (r/30)/((-516)/(-16)). Is l equal to f?
False
Let b(x) = -13*x + 72. Let c be b(21). Is c equal to -200?
False
Let u = 8613/62336 - 19/128. Is 1 greater than u?
True
Let q be 2/2 - -2 - (-19 + 31). Suppose 6*u - 16 + 82 = 0. Let y(o) = o**2 + 11*o - 4. Let m be y(u). Which is smaller: q or m?
q
Suppose -5*s + 3*t = 19, 4*s - 1 = 3*s - t. Let o be s/2 - (-104)/(-13). Let i be ((50/(-3))/10)/((-1)/(-6)). Which is smaller: o or i?
i
Let w = -100.978 + -0.022. Let g = w - -99. Which is bigger: -3/2 or g?
-3/2
Let b = 16275/86 - 1148247/602. Let n = b + 1721. Let r = 4628 - 4624. Is n greater than r?
False
Let x be 1 + 2961/(-11) + 28/154. Does x = -2960/11?
False
Let q be ((-51)/(-69))/(10/660). Which is smaller: 48 or q?
48
Let x = -20 + -408. Let j = x + 431. Is 0.046 < j?
True
Let i = -42/11 + 422/99. Let a = -12.3 - -8. Let j = 4 + a. Which is smaller: j or i?
j
Let w = -12 + 12.84. Let m = 1.5 - w. Let l = m - 0.4. Is 0 greater than or equal to l?
False
Let d = -2 - -4. Suppose 2 = 3*k + d*s - 3, 0 = 3*k + 3*s. Suppose 0 = 6*i - 11*i + k. Which is greater: 4/59 or i?
i
Let x = -196.58 - -195. Let y = -0.42 + x. Which is smaller: 11/5 or y?
y
Suppose -30*a + 23*a = 2835. Let q be 351/a + (-2)/15. Is -3/46 bigger than q?
True
Let r = 5793 - 5793. Which is bigger: r or -4/987?
r
Suppose 203*j - 37011 = 46*j + 81524. Which is bigger: 757 or j?
757
Let z = -31681/2 + 15315. Which is smaller: -526 or z?
-526
Let d be ((-144)/126)/((-52)/273). Which is smaller: -39/8 or d?
-39/8
Let d = -7.2 - 24.8. Let f = -751 - -716. Let r = d - f. Which is greater: r or 3/2?
r
Suppose -210 = -13*o + 10*o. Let z(x) = 7*x**2 - 27*x + 88. Let p be z(3). Is o != p?
False
Let o = -206233624/2033 - -101443. Which is smaller: -1 or o?
-1
Let d(g) be the first derivative of g**4/12 - g**3/6 - g**2 - 2*g - 7. Let a(v) be the first derivative of d(v). Let f be a(0). Which is smaller: f or -0.9?
f
Let t = 512401/17 + -30131. Does -1/4 = t?
False
Suppose -103*x - 102 = 172*x + 5948. Let j be (-4)/(-2) + 0/1. Suppose 2*w + 4*r = -23 - 9, -60 = j*w - 3*r. Is x >= w?
True
Suppose 4*r = -n + 270, 3*n + 0*r - r = 862. Let y = n + -288. Is -22/23 less than or equal to y?
False
Let m = 8681.921 - 8686. Let s = -4 - m. Which is bigger: -1 or s?
s
Let d = -571/967954 + -19/1262. Is -1 greater than or equal to d?
False
Let j = -7.01 + 7. Let w = -30.99 + j. Let t = w - -35. Is 0.3 at most as big as t?
True
Let o = 18842 - 45472. Is -26630 at least o?
True
Suppose -19*z = -11*z - 40. Let d be -1*3/5 - 197/z. Is d at most -39?
True
Let v be (1/2)/(((-44)/120)/(-11)). Let p = -25 - v. Let b = p - -43. Is 4 at most as big as b?
False
Let m = 10190 - 6769. Are 3421 and m unequal?
False
Let z = 0.014 - -154.986. Let y = 99 - z. Let o = -57.7 - y. Are -1 and o nonequal?
True
Suppose -5*r = 5*z - 10, 0 = -7*z + 6*z - 2. Suppose -q + 6*q + 27 = r*k, k = 3*q - 2. Is -6 at least k?
False
Let x = 516923249815/223 + -2318036037. Let o = x + -5442. Which is smaller: 1 or o?
o
Suppose -3*y + 588 = 6*y + 543. Which is smaller: y or 9.8?
y
Suppose 57 = 11*j - 86. Let p be 4 + (1326/(-24))/j. Which is greater: p or -0.1?
-0.1
Suppose -13*m = -7*m - 18. Suppose 195 = m*s - 2*r + 46, s - 58 = -r. Which is smaller: s or 368/7?
368/7
Let q = -2793.6 + 3392. Let r = -601 + q. Are -3/7 and r unequal?
True
Let f = -10353 + 766141/74. Which is smaller: 0 or f?
0
Let s be (-1549*1/68)/(4/(-176)). Let p = 1001 - s. Is p not equal to -1?
True
Suppose 0 = 3*w + 5*m - 1081, w = 3*w - 3*m - 708. Is w >= 345?
True
Suppose -2*l + 11 = 5*p, -1 = -245*l + 244*l + 2*p. Is l > 13/7?
True
Let j = -19410 - -19293. Which is greater: j or -3?
-3
Suppose -290*z - 598 - 272 = 0. Suppose -2*y = -4*y, -5*p + 4*y = 20. Let i be (p - z) + (-5)/(-2). Is i greater than 3?
False
Let g = 57911 + -63296728/1093. Which is greater: 0 or g?
0
Suppose 30*v - 3927 = 37*v. Let o be (0 - -1)*34/v. Let p be (-3)/6 + 1/2. Which is smaller: o or p?
o
Suppose 3*o + 0*o = i + 13, 0 = 2*i - 2*o + 10. Let x be (2 + 32/(-10))/((-912)/(-160)). Which is bigger: x or i?
x
Let v = -12514 + 11340. Which is greater: v or -1183?
v
Let q(c) = 2*c**2 - 13*c - 4. Let u be q(13). Suppose -4*r + 9*r - u = 0. Suppose -r - 3 = 4*l. Is -10 greater than l?
False
Suppose -3 = v - n, 8*n - 6*n - 11 = -3*v. D