Suppose -54 = -5*j - 4*s, r*s = -j + 4*s + 13. Let k = 14 - 41/3. Is j <= k?
False
Suppose -81 = 2*z - 119. Suppose z*x = 2*x + 663. Is 38 > x?
False
Let y(u) = -4*u. Let f be y(1). Let o be 7/(28/(-12)) + -8. Let a(p) = -p**2 - 12*p - 11. Let b be a(o). Which is bigger: b or f?
b
Let c = -144989614/8091 + 161306/9. Let s = -84/29 + c. Do s and 1 have the same value?
False
Suppose 2 = v, 13 - 9 = 3*n + 2*v. Which is smaller: 1/4199 or n?
n
Suppose -38*c + 40*c + 2 = 0. Is -23/145 < c?
False
Let t(p) = -16 + 41 - 17*p - 2*p**2 - 26. Let v be t(-8). Is -1 <= v?
True
Suppose 5*o + 517 = 3*m, -2*o - o = 15. Suppose 2*k - 4*d = 6*k - 648, -5*d = 2*k - 321. Is k less than m?
True
Let z be (-91055)/(-35) - (30/126 + (-3)/(-9)). Which is greater: 2600 or z?
z
Let x = 0.568 - 0.251. Let n = x + -2.317. Are n and 15 unequal?
True
Let o = 74.985 + -8.985. Which is bigger: 5 or o?
o
Let g(y) = 18*y - 188. Let p be g(12). Suppose 5*w + 4*r = 27 + 99, w - 31 = 5*r. Is w less than p?
True
Let h be (4 + -13 - 1)/(-1 + -1). Suppose -2*t - 1012 = -4*g, -7*t + h*t - 759 = -3*g. Are g and 252 non-equal?
True
Suppose 5*m - 2*y + 22 = 2*y, 8 = 2*m + 4*y. Let i be (-65)/120 - -10*(-24)/2880. Is m not equal to i?
True
Suppose -4*a + 2*v = -6970, 3 = -v + 6. Let l be (-2)/(-13) - a/13. Do l and -134 have the same value?
True
Let b = 43 + -40. Suppose -l - 3*l + 24 = 4*m, -b*l + m + 14 = 0. Suppose 8 = 5*s - v, -2*s - l*v = 12 + 1. Is 22 < s?
False
Let u = -14 + 12. Let k = -21 - u. Let y be -5 + 20/(-2) + -3. Which is greater: y or k?
y
Let r = -485789/14 - -34696. Which is greater: -6 or r?
r
Let f be 22*(-10)/15*6/(-8). Suppose f*q - 253 = -12*q. Which is smaller: q or 7?
7
Suppose 0 = 2*l - 61 + 57, -2*h - 16 = -4*l. Which is smaller: -192/53 or h?
h
Suppose -t = -0*t. Let v be 375/(-648) + 25/30 - (-4)/(-32). Which is smaller: v or t?
t
Let a = -10.45 - -0.45. Let b = a - -10. Let i = 1.6 + 13.4. Is b greater than or equal to i?
False
Let b be 4/8 - (-126)/4. Let z = 37 - b. Let f(n) = n + 1. Let s be f(z). Which is smaller: -1 or s?
-1
Let h = -2564 + 2564. Which is smaller: -83.51 or h?
-83.51
Let t(p) be the second derivative of -p**4/12 + p**3 - 3*p**2 - 3*p. Let r be t(5). Let o be (-3)/((-486)/69) + 4/(-8). Is o smaller than r?
False
Suppose 2*v - 28 = 4*j, 8*v - 3*v + 35 = -5*j. Let t be 9/18 + j/6. Let z = 124 + -122. Is t <= z?
True
Let f(r) = -2*r**3 - 4*r**2 + 12*r + 21. Let k be f(-3). Let y be (-55)/(-594)*k - 8/18. Which is greater: y or 0?
0
Let g = -5039 - -5360. Suppose 11*m = -472 + 3992. Which is bigger: m or g?
g
Suppose 143*s + 138 = 144*s. Let q = 139 - s. Is 2/221 < q?
True
Let u = 3815 + -11443/3. Which is smaller: u or -2652?
-2652
Suppose -106*g - 310 = -116*g. Let t be 0 - g/(-10)*-8. Which is bigger: t or -25?
t
Let f = 556513/11 - 50663. Does -71 = f?
False
Let i = -150 - -154. Suppose -4*n = i*n - 480. Let t(r) = 8*r - 11. Let v be t(9). Which is smaller: v or n?
n
Suppose 4*o + 3 = -j, 2*j - 5*o = 5*j + 2. Let a = -180213 + 7388737/41. Is j bigger than a?
True
Let w(k) be the second derivative of 2*k**3/3 - 10*k**2 + 2*k. Let a be 64/10 - (-34)/(-85). Let q be w(a). Is 3 <= q?
True
Suppose 1009 = -4*c + d, 4*c = -d - 367 - 656. Which is greater: -247 or c?
-247
Let k = -15338 + 15243. Are -84 and k unequal?
True
Let u = -162 - -524. Suppose u = 6*n - 142. Let g = 84 - n. Which is greater: -2 or g?
g
Let f = -760 + 758. Which is bigger: 144 or f?
144
Let m(o) = o**2 - 3*o - 4. Let w be m(4). Suppose 4*y - k = -y - 402, 5*y + 5*k + 420 = w. Let p = 88 + y. Which is greater: -0.3 or p?
p
Let a = -1883/2 + 5645/6. Is -376 greater than a?
False
Let t(v) = 585*v**2 - 4*v + 2. Let f be t(1). Let x be (-11)/(f/267) - (-2 + -3). Which is smaller: 1 or x?
x
Suppose 0*p - 4*u = p + 2, -4*p + 4*u + 32 = 0. Let i be p/(-15) - 2 - -2. Let l(c) = -31*c - 187. Let k be l(-6). Do k and i have different values?
True
Let b be 2/(4/14) + 18 + -19. Suppose b = 12*i + 78. Let g be 3*(3 + (-96)/27)*i. Is g at most 9?
False
Suppose -3*i = -5*a - 59, 8*i - 3*i - 5*a = 95. Suppose -22*b + 492 = -i*b. Let c = -100 + b. Which is smaller: -2 or c?
-2
Let c = -106217/465 - 296/155. Is -231 at least as big as c?
False
Let y be 0 + ((-1)/(-2))/(-1 + 347). Let v = 2947 - 2948. Is y at most v?
False
Let p = 3126 - 3131.2. Is p less than -0.3?
True
Let i = 36 + -4. Let y = -36 + -56. Let b = y - -91.9. Which is greater: i or b?
i
Let o(z) = 30*z - 182. Let r be o(4). Is r != -13?
True
Suppose -5*y = 4*w + 1254 + 18605, 4*w + 24 = 0. Are y and -3967 nonequal?
False
Suppose 0 = -4*t - 219 + 219. Which is greater: 1584 or t?
1584
Let i = -7 + 12. Let j = 437 + -426. Suppose -3*v + 13 = i*m, 0 = -3*v - m - 3*m + j. Is 1/38 greater than v?
False
Let q be ((-750)/(-558) - 1)*13/((-208)/(-72)). Do 3 and q have the same value?
False
Let o = 2 + -1. Let z = -453652/1819 + 1197262562/391085. Let a = -2812 + z. Which is smaller: o or a?
a
Let x = -2 + 2. Let j be 504/(-848) + (6/4)/3. Which is smaller: j or x?
j
Suppose 3*o - 2*t - 67 = 0, -5*o + 116 - 41 = 4*t. Suppose 251*z - 254*z + a = -70, 0 = 5*z - 5*a - 140. Which is greater: o or z?
z
Let o = 40 - 34. Suppose 6*r + 0 = o. Let w = 1640/21 - 78. Which is bigger: r or w?
r
Let d be (-4602)/(-52) - 2/(-4). Suppose -290 + d = -3*r. Which is smaller: 66 or r?
66
Let d(j) = -50*j**3 + j**2 - 7*j - 7. Let k be d(-1). Let n be (3/(-24))/(2/(-4)). Is k smaller than n?
False
Let i be (4 - -2 - (-18 - 120)) + 0. Which is bigger: 150 or i?
150
Let d = -86.141 - 1.559. Let w = d + 85. Let l = w - -2.9. Is 2 at most as big as l?
False
Let b = 20 - 46. Suppose -39 = -3*i + 69. Let j = i + b. Is j smaller than 11?
True
Let j(q) = -2*q + 53. Let k be 4/18*1 - (-561)/27. Let n be j(k). Which is bigger: n or 59/6?
n
Let t(w) = -53*w - 164. Let x be t(-3). Let n be -3 + 0 + -2 + (0 - -1). Which is greater: x or n?
n
Let s = 112 - 165. Let l = 55 + s. Are l and 48 non-equal?
True
Let v = -14004045065/16340508 - -726/151301. Let d = v + 857. Is 1 != d?
True
Let r = 11 + -20. Let k(b) = -4*b - 2. Let l be k(r). Let i(u) = 4*u**3 - 15*u**2 + 7*u - 11. Let j be i(4). Is l bigger than j?
True
Let p = -1960/3 + 648. Let o = -125 - -125. Suppose -6*x + 3*x + 27 = -5*l, 4*l - 2*x + 22 = o. Which is bigger: l or p?
p
Let z be (-4 - -5)*-3*1. Let w be z + (-186)/(-15) + -2. Which is smaller: 1 or w?
1
Let v be -22 + 29 - (-2 + -1200 - -3). Is v greater than 1205?
True
Let g(k) = 2*k. Let h be g(6). Suppose -1003 = -122*o + 705. Which is smaller: h or o?
h
Let o(n) = -9*n**2 + 158*n + 3. Let y be o(-6). Which is smaller: -1/4 or y?
y
Let w be (80/(-32) - -3) + ((-1155)/(-6) - 1). Suppose z - 768 = -3*z. Is w < z?
False
Suppose -29*i - 35 = 6*i. Let k be (-7)/34*1 - 1/2. Which is greater: k or i?
k
Let n be ((-10)/5)/(2/(-83)). Let i = -113027 - -113112. Which is smaller: n or i?
n
Let v = -3364 + 3453. Is v at most 89?
True
Suppose m - 3 = 2. Suppose 2*d + 4 + 2 = -m*x, 5*d + 15 = -5*x. Let g be (-10)/(3 - -167) + (-138)/(-1768). Which is bigger: x or g?
g
Suppose -3*b = -3*y + 12, -y + 3*b - 2 + 6 = 0. Suppose -9 = -5*u - y. Let v = 187/100 - 7/4. Which is bigger: v or u?
u
Suppose 4*b + 1775*u - 4832 = 1772*u, -2*b + 4*u + 2394 = 0. Is 1204 less than b?
True
Let l(g) = -4*g + 69. Let p(h) = -h**3 - h**2 + 2. Let v be p(0). Let z be l(v). Which is greater: z or 63?
63
Suppose 3*f + 18 = 5*k, -2*k - 3*f + 28 = f. Suppose k*h = -0*h + 72. Let p be 42/4 - 12/(-24). Which is bigger: p or h?
h
Let f = 155 + -8527/55. Let s = 3 + 1. Suppose s*l - 3 = 2*v - 1, 4 = -2*l - 4*v. Is f at most as big as l?
True
Let j = 24362 + -24362.2. Is -2900 greater than or equal to j?
False
Suppose 3*v + 34 + 26 = 0. Let b(c) = -c**3 + 7*c**2 + 6*c - 2. Let o be (20/25)/(6/60). Let h be b(o). Is v > h?
False
Suppose 108 = 2*a + 2*a. Let i = -24 + a. Suppose -v - 24 = -4*d, -i*d + 4*v + 31 = -0. Which is smaller: d or 4?
4
Let p(w) be the third derivative of -w**6/120 + w**5/20 - w**4/6 + 71*w**3/6 - 11*w**2 + 1. Let l be p(5). Which is greater: 51 or l?
51
Let g = 23.7 + -23.2. Let y = -0.26 + g. Which is smaller: y or 1?
y
Suppose 803*y + 16*y - 2549 = -9920. Which is bigger: -22 or y?
y
Let h = 0.13 - 0.58. Let n = 1270.1 + -1270. Which is smaller: n or h?
h
Let v be (