 80 = 0. Suppose -2*d = -q*d + 34. Is d <= 11?
False
Let n = -7647 - -7647. Is n < 113?
True
Let v be 84/105*(-5)/(-2). Suppose -w = -v*k - 6, -16 = 5*w - 4*k - 28. Which is smaller: w or 3/14?
w
Let r(w) = -50*w + 121. Let f be r(6). Is f greater than or equal to -173?
False
Let v(r) = -r**3 + 7*r**2 + 17*r - 30. Suppose -8*i - 64 + 136 = 0. Let k be v(i). Is -36 greater than k?
True
Let l(i) = -i**3 + 16*i**2 - 22*i + 364. Let b be l(16). Is -23 equal to b?
False
Suppose -1 = 4*j - 3*c + 13, j - 4*c - 3 = 0. Let o be (6/j)/(15/375). Which is greater: o or -31?
o
Let s = 7.746 + -55.846. Does 3/4 = s?
False
Let b(x) = 25*x + 3. Let a be b(7). Let s be (-10)/(-65) + a/26. Suppose -z = 6, 5*z + 22 = 28*j - 29*j. Is j less than or equal to s?
False
Let s = 127 + -146. Let f = 20 + s. Suppose 2*t - 124 = -2*t. Which is smaller: t or f?
f
Let b(u) = 23*u - 140. Let p be b(6). Suppose 0 = -4*t + 5*f + 18, 5*t + f - 12 = 2*f. Suppose 0 = n - t*n + 1. Is n at least p?
True
Let q = 2149 - 2097. Is q at least as big as 23?
True
Let r = 229 - 225. Let u be ((r/(-14))/2)/((-70)/(-30)). Is u <= 1?
True
Suppose 7*h = -2037 - 1358. Let v = h - -11157/23. Do v and -1/2 have different values?
True
Suppose 3*q = 3*s, -q - 28 = -4*s - 4*q. Suppose 5*i + 18 = -y, 7*i + 24 = s*y + 3*i. Let l be 23/(-2) + 3/(-3*y). Is l less than -16?
False
Suppose 10*c - 15*c = -i + 18448, 5*i = -4*c - 14770. Is c at most as big as -3693?
False
Suppose -10*b + 5 + 5 = 0. Let j(o) = -65*o**3 - 2*o**2 + 2*o - 2. Let c be j(b). Which is smaller: c or 1/3?
c
Let m be (3618/(-24) - 6)/((-27)/288). Is 1672 greater than or equal to m?
True
Let z = 34468 - 27200. Is 7267 less than or equal to z?
True
Suppose 186 + 9 = 126*s - 57. Is 250/87 greater than s?
True
Let n = 474.2 - 400.2. Which is bigger: n or -5?
n
Let z be -17 - (-39)/14*6. Which is greater: 4/1707 or z?
4/1707
Let b be (-1)/((-2)/(-12)) - 33600/1150. Which is greater: b or -36?
b
Let j(w) = 2*w**2 - 14*w + 59. Let y be j(9). Let v = -277 + y. Is -184 at most v?
True
Let p = -7 + 1. Let r(s) = -13*s + 2*s**3 + 40*s - 32*s + 12*s**2 - 2. Let o be r(p). Which is greater: o or 26?
o
Let y(g) = -34*g**2 - 3*g - 6. Let m be y(8). Let s = 306632/139 + m. Is 1 at most as big as s?
False
Let o = 4 + -5. Suppose 3*n - 4*u + 101 = -0*u, -u - 130 = 5*n. Let x be ((-16)/108)/(9/n). Is o > x?
False
Let t(y) = -3*y**3 + y + 2. Suppose 5*o - m - 9 = 0, 2*m - 4*m + 4 = o. Let f be t(o). Which is greater: f or -10?
-10
Suppose 34 + 17 = -5*o + 3*i, -o + 1 = 5*i. Let n(y) = -y**3 - 3*y**2 + 11*y + 30. Let k be n(o). Are 417 and k unequal?
False
Suppose 805*c - 801*c + 616 = 4*d, 5*c = -40. Which is bigger: 133 or d?
d
Let j = -34 - -57. Suppose s - 6*s = -4*h - 65, h + s + j = 0. Suppose v - 9*x = -10*x - 18, -2*v + 5*x - 57 = 0. Is v <= h?
True
Suppose k = -2*i + 82, -k + 15*i = 10*i - 89. Let b be (1 - (-327)/18)/(14/k). Which is smaller: b or 117?
b
Let a = 26266 + -26244. Is a less than 1/46?
False
Let b = 888 + -984. Suppose 0 = l - 3*x + 112, l + 2*x - 7*x + 122 = 0. Which is bigger: b or l?
b
Let p be 16/(-3) + 12/36. Let h be p/(-25)*45*-1*4. Let j = -2.9 - -3. Is h bigger than j?
False
Suppose -5*v + 5*t = -25, -2*t = -2*v - 4*t - 2. Suppose -v*h = -19 + 21. Is -61 at least h?
False
Suppose 12*n - 15*n + 12 = 0, 0 = -3*q + 5*n + 4. Do q and -0.7 have the same value?
False
Let v(x) = -x**3 + 7*x**2 - 6*x + 3. Let y be v(6). Suppose y*a + 6 - 27 = 0. Let g(b) = -39*b + 592. Let i be g(15). Are i and a unequal?
False
Let l = -1012/1767 + 1990629/4123. Let m(f) = -120*f**2 - 2. Let k be m(-2). Let x = l + k. Is 1 at most x?
False
Let c = 398 - 398.1. Let u = -217.6 - -187. Is c >= u?
True
Let h be 1131/(-195)*45/(-204). Are h and 1 nonequal?
True
Let s be ((-418)/(-190))/(6/670). Which is smaller: 245 or s?
245
Suppose v + 18 = 2*v + 3*b, -18 = -v - 5*b. Let y(j) = j**2 + 9*j - 78. Let k be y(v). Which is greater: 407 or k?
k
Let g(r) = r + 8. Let i be g(-6). Let h be 0 + 3 + 0 + i. Let l be (3835/(-50))/(-13) - 66/165. Which is bigger: h or l?
l
Let f be ((-30)/(-35))/((-6)/(-28)). Suppose 0 = 2*n + 5*x + 120, 0*n - f*n = 4*x + 228. Which is greater: 1 or n?
1
Let i be (-8)/32 + (-409)/(-4). Let q = i + -92. Let r(x) = -x - 33. Let f be r(q). Are -43 and f unequal?
False
Let l = -4848 + 7371. Are l and -1/3 non-equal?
True
Let b be -5*((-96)/(-20) + -5) - (-9310)/(-9309). Is b equal to 1?
False
Let j = 0.053 - 60.053. Let m = 2217.9 + -2158. Let v = m + j. Is v not equal to -70?
True
Let q = 766.77 - 766. Is 1/25 > q?
False
Let f = -220 + 77. Let g = f - -146. Which is smaller: 26 or g?
g
Let h = 48882313/200 + -244410. Let a = h - 36/25. Which is smaller: -0.4 or a?
-0.4
Suppose 3*o - p + 34 = 0, -4*o = p + 4*p + 39. Is -270/23 equal to o?
False
Suppose -5*q = -4*z + 29, q + 2 = -6*z + 3*z. Let i = 7155303/479 + -14938. Is i less than z?
True
Let k = -1 - 2. Let m be k/15 + (-28)/(-190). Suppose 2*q + 3*q - 4*o - 5 = 0, 0 = -3*q - 5*o + 3. Is m greater than q?
False
Let d(x) = 200*x + 16. Let q be d(3). Suppose -2*b = 4*m + 370, 4*m = 5*b + 253 + q. Is b at least as big as -175?
False
Suppose 36*s + 9402 = -8634. Let k = s - -487. Which is bigger: k or 6?
6
Let p = 239 - 276. Is p > -229/6?
True
Suppose 3*w + 1 = 2*w. Let h be (0 - 1)/(578/1156). Which is bigger: w or h?
w
Let w = 14.8 + 414.2. Let b = w - 430. Let c = -4/75 - -14/75. Do c and b have the same value?
False
Suppose x + 1521*c = 1522*c + 7, -20 = 4*x + 4*c. Is -0.2083 greater than or equal to x?
False
Suppose 2*n = 0, -4*q = -0*q - 5*n + 48. Let b(r) = -22*r - 2424. Let m be b(-110). Is m smaller than q?
False
Let h = -8.1094 + 0.1254. Let u = h + 8. Let n = 0.014 + u. Which is bigger: n or 2/3?
2/3
Let l(m) = 6*m**3 - 30*m**2 - m + 4. Let s be l(5). Let o be 68204/19920 - 1*3. Let t = o - 3/415. Which is smaller: t or s?
s
Let t = -278 + 282. Let k(v) = -v**3 + 5*v**2 + 13*v + 6. Let j be k(t). Is 75 greater than or equal to j?
True
Let h(t) = 2*t**2 - 4*t**2 + t**2 + 14*t + 2*t**2 + 11 + t**2. Let u be h(-6). Is -6/71 >= u?
True
Let g(a) = a**2 + 5*a + 5. Let d be g(-4). Let j be (3 - (-11)/(-33))*(-2)/(-12)*-1. Which is greater: j or d?
d
Suppose 0 = -8*s + 50*s - 690 - 24. Let y be (-2)/(-1)*(-5)/(-2). Does s = y?
False
Let r = 2415.2 - 2414.9. Is r equal to -476?
False
Suppose -58*y = 147 - 89. Is 2/3573 smaller than y?
False
Let d(b) = -12*b - 11. Let l be d(-2). Suppose j = -h - h + l, -5 = 5*j. Let w = -13/6 + 103/42. Which is smaller: w or h?
w
Let u = 0.066 + 3.934. Let j = u + -3.9. Are j and 2/139 nonequal?
True
Let x = 480 + 264. Let k = -789 + x. Which is smaller: -480/11 or k?
k
Suppose 10*a - 31 = 19. Suppose a*r - 4*r = -3*l + 29, -5*r - 3*l = -109. Is 18 at most r?
True
Suppose 6*c - 137 = c - 4*f, c - 25 = -2*f. Let a = 56 + c. Is a < 84?
False
Let n be (15/180)/((43/17501)/(6/2)). Is n at most -15?
False
Let l be 0 - (-1)/2*-2. Let g be 17/((-2 - -1)/1). Let d = 15 + g. Which is smaller: d or l?
d
Let s = 6047 - 6046. Is s greater than or equal to -1.8375?
True
Suppose 12 = -18*w + 14*w, -3*w = -2*v - 289. Are -6 and v unequal?
True
Let d = 7808/3 + 3523. Are d and 6126 nonequal?
True
Let a = 564233/206 - 2739. Suppose c = -5*p - 11, 4598 - 4620 = p + 2*c. Which is greater: p or a?
p
Suppose 130*q + 27 = 139*q. Suppose 2*h + q*v = -136, -h - v = h + 136. Which is smaller: -2/7 or h?
h
Suppose -h - 179 = 491*w - 493*w, 3*h + 537 = -4*w. Is -1254/7 > h?
False
Let k = 1324.9334 + -1323.4. Let b = k + -0.0334. Which is bigger: b or 1/49?
b
Let n = -1481 - -1904. Is 426 less than or equal to n?
False
Let f = -35/9 + 3413/873. Is -1 bigger than f?
False
Let j be (9/414)/(2/12). Let v be (-55)/35 - (-12)/(-28). Let b be (-3)/v + 53/(-106). Which is bigger: b or j?
b
Let g = 6392182/535 + -11948. Let j be (-1)/(5885/(-5693)) - 1. Let i = j - g. Is i less than or equal to 1?
True
Let f be (-4586)/3 + 30 + (-118)/4. Which is bigger: f or -1527?
-1527
Let z = 33584 - 32964. Are z and 607 non-equal?
True
Let i = -458/57 - -159/19. Which is smaller: 345 or i?
i
Let g = 28 + -30.4. Suppose 26 = -959*w + 459*w + 474*w. Which is greater: w or g?
w
Let q(t) = 22*t**3 - 3*t**2 - 3*t + 15. Let f be q(2). Let i = f + -173. Let a = 111/1612 - -1/124. Is i != a?
True
S