 u**2 + 22*u**2 + 4*u**2 - 550*u**3 + 25*u + 551*u**3. Let a be h(-26). Is a less than or equal to z?
False
Let z(c) = 2*c**2 + 17*c - 9. Suppose 3 = -2*m + 3*j, 0 = m + 2*j - j + 14. Let u be z(m). Which is smaller: 2/23 or u?
u
Let p = 528.5 + -461. Let b = -31.5 + p. Which is bigger: 2/7 or b?
b
Let d = 49951 + -116535687/2333. Is d at least as big as 1?
False
Suppose -j - 4 = j. Let a = -4478/3913 - -6/3913. Which is smaller: j or a?
j
Let w = -1915776/25 + 76631. Suppose -5 - 12 = b + 4*p, -5*p = -5*b + 15. Are w and b unequal?
True
Let o be (5/10)/(86/4). Let u(d) = 7*d**2 + 2*d + 1. Let i be u(2). Let p be (-2 - (-20)/11) + 6/i. Which is greater: p or o?
o
Let x = 26/19 + -39664/29013. Let z(f) = -2*f**2 - 768*f - 5279. Let i be z(-7). Which is greater: i or x?
x
Let d = 159453 + -159436. Suppose 3*o = -2*z + 45, 4*o + 110 = -2*z + 5*z. Is d != z?
True
Let j = 6815 - 6814.91. Is 2/3 bigger than j?
True
Let i = -18580/9 + 17465/9. Which is smaller: -0.1 or i?
i
Let i = 7084232/21 + -337229. Is 114 less than or equal to i?
True
Let s = -392 + 196. Suppose -35*a = 4*x - 39*a + 760, -17*a - 670 = 3*x. Which is greater: x or s?
x
Let l = -2091/4790 + 35/958. Are 29656 and l equal?
False
Let z = 155 - 128. Suppose -c + 2*x - 37 = 0, -2*c + 3*x = 51 + z. Is -45 not equal to c?
False
Suppose c = x + 322, 664*x + 973 = 3*c + 662*x. Which is bigger: c or 331?
331
Let h be (-42 + 15 - -25)*9/127. Which is bigger: 0.2 or h?
0.2
Let u = 59 - -54. Let k = -10 + u. Suppose -4*v = -95 - 317. Is k greater than v?
False
Let q(s) = -3*s. Let r be q(-4). Let m = 39 - 22. Suppose -28 = -m*g + 16*g + 4*c, -4*g - 3*c = -36. Is g > r?
False
Suppose -5*q + j = -1, -4*j + 13 = -2*q - q. Let x be -3*-10*(-12)/(-12690). Do q and x have the same value?
False
Let z = 54.7 + 17.3. Let k = z - 72.01. Let m = 0.11 + k. Which is bigger: m or 5?
5
Let a(v) = -5*v + v**3 - 11 + 1831*v**2 + 5*v - 3*v**3 - 1820*v**2 + 8*v. Let c be a(6). Are c and 1/1163 nonequal?
True
Suppose 9*z - z = 0. Suppose 18*l + 124 + 92 = z. Which is smaller: -146/11 or l?
-146/11
Let z be (-1)/10 + (-756)/(-1960). Which is greater: 30.57 or z?
30.57
Let d = 5.688 + 2.312. Which is smaller: 112 or d?
d
Let w be (-1)/3 + (7/3 - 1). Let j be (-3)/(-774)*(-15)/(-10). Which is bigger: j or w?
w
Let i(v) = v**3 - 7*v**2 + 13*v + 3. Let t(x) = x**3 - 8*x**2 + 13*x + 4. Let z(j) = -4*i(j) + 5*t(j). Let d be z(11). Let o be d/4*6/(-8). Is o >= -5?
False
Let d = -407973/29 + 14061. Is d < -6?
True
Suppose -3*j = 4*s + 1360, 3*j - 391 = 4*s + 1017. Which is smaller: s or -325?
s
Let d be (3 - (-9)/(-3))/(9/3). Let i = -3/2149 - -38793/79513. Is i at least d?
True
Let x = -15666 - -15824. Is x <= 155?
False
Let p be (-54)/(-4) + (-3)/2. Suppose -p = -5*j + 8. Let y = 541/70 + -41/14. Do j and y have the same value?
False
Let o(j) = j**2 + 9*j + 11. Let a be o(-9). Let w(c) be the first derivative of c**3/3 - 7*c**2/2 - 2335. Let u be w(a). Is u at least 1?
True
Let x = -29/26723 - 295769961/187061. Which is smaller: -1580 or x?
x
Let k be 3 + 39*(-2)/24. Are k and -1862 equal?
False
Suppose 0*s = -2*j + 3*s - 334, 0 = 4*j - 5*s + 666. Let n = -168 - j. Are -90/19 and n equal?
False
Let x = -22153.952 - -22254. Let d = x + -100. Is d at least as big as 1/2?
False
Let f be (1/(-2) + -1)/(2/(-4)). Suppose 6*o - 15 = -f. Suppose y - 13 = o*y. Which is smaller: y or -14?
-14
Suppose 11*t = 6*t + 45. Suppose -4*g - 85 = -5*f, 0 = -0*f - 2*f - 4*g + 6. Which is smaller: f or t?
t
Let s = 2.5 + -1.3. Let l = 10.8 + s. Let n = 0.5751 - 0.3751. Which is smaller: l or n?
n
Let j = 5221 - 5321. Which is greater: -3 or j?
-3
Let j = 6.2 + -8. Let r = 2 + j. Let w = -0.01 + r. Is -1 greater than or equal to w?
False
Suppose -91*c + 678 = -85*c. Let a = -114 + c. Is a greater than 4/27?
False
Suppose 168*c + v = 172*c + 1973, 4*c + 1958 = -2*v. Are -493 and c nonequal?
True
Let z = -90174/14657 - 36613586653/1700212. Let q = -21541 - z. Is 1 < q?
False
Let q = -3477 - -4144. Does q = 1?
False
Let y = -21875 - -21873. Is y less than -959?
False
Let i = -6592 + 6533. Which is smaller: -47 or i?
i
Let l = 10.58365 + -10.61. Let c = l + -43.04365. Let s = 43 + c. Which is smaller: s or -3?
-3
Let i(p) = 2*p - 4. Let d be 14*(-3)/6*-1. Let z be i(d). Suppose 0 = 2*n - 7*n - z. Does -12/13 = n?
False
Let r be 20/70 - (136/7)/(-2). Let u be (2 - 3) + r + -5. Suppose 0 = -3*d - 2*d + 20, -5*d = -u*k - 168. Which is greater: k or -38?
k
Let t = 37.1 - 37.2. Let o = -129 + 24. Are t and o non-equal?
True
Let x = 381.5 + -208. Let t = x - 174.573. Let z = 0.073 + t. Which is bigger: z or 46?
46
Let r = -0.3506 + 5.3506. Which is smaller: -17.64 or r?
-17.64
Suppose -3*t + 5*x - 4015 = 6278, 0 = -5*x + 30. Which is smaller: -0.1 or t?
t
Let f = -8419/6363 + 74/63. Which is smaller: f or 1?
f
Let f = 13/509 + 979/1527. Which is smaller: 65.6 or f?
f
Let w be (-1773)/((-90)/4*48/144). Is 235 >= w?
False
Let p(j) = -j**2 + 11*j + 13. Let h be p(13). Let r = -12 - h. Let v = -411217/155 - -2653. Which is bigger: r or v?
r
Suppose 5*w + 9877 = 2*p, 12*p + 4*w = 9*p + 14781. Is p less than or equal to 4932?
True
Let g be -18 + 46 - ((-12)/3)/2. Suppose g = -8*u - 2*u. Is u greater than or equal to -34/13?
False
Suppose 2*f - 4*f = 2*c - 4804, -5*f = -c + 2390. Suppose -c = 11*d + d. Which is smaller: -199 or d?
d
Let y(g) = -g**3 - 5*g**2 + 24*g + 108. Let w be y(-6). Which is bigger: w or -2/15583?
w
Let s = 210 - 359. Let c = -113 - s. Let h be -39 - -37 - c/(-11). Is 2 greater than or equal to h?
True
Let n = -4475 - -4456. Which is greater: n or -7?
-7
Let z be (2 - (-1 - (-3 - 0)))*1/(-5). Which is greater: -72/223 or z?
z
Let o = -73.6459 + 73.63. Is o <= -0.2?
False
Let p = 0.12 - 0.2. Let a = p - -4.08. Let w = 8554 + -8553.9. Which is smaller: w or a?
w
Let s = 0.359 + 159.641. Let t = s + -160.9. Suppose 5*j + 3 = 8. Is j > t?
True
Let b(s) = 11*s - 10. Suppose 6*l + 6*l - 108 = 0. Let t be b(l). Let p = -83 + t. Which is smaller: 9/2 or p?
9/2
Let i = -1 - -1. Suppose -5*x - 4*y + y + 149 = i, 4*x = -3*y + 118. Let h(t) = 5101*t - 5071. Let q be h(1). Which is smaller: x or q?
q
Let t = 124693/1812 + 11/604. Let q be -13*44/(-8) - (-1 + 6). Let l = q - t. Does -3 = l?
False
Let u be (406/4)/(194/28 + -7). Let f be u/147*6/(-10). Do 7 and f have the same value?
False
Let r = 0.031 + 48.969. Let g = r + -33. Let t = -10 + g. Which is smaller: t or -0.1?
-0.1
Let z be (324249/(-174))/(2/(-4)). Is 3728 < z?
False
Let g = 30 - 31.2. Let s = g - -1.11. Let o = -0.09 - s. Is o smaller than -4?
False
Suppose -56*f + 54*f - 210 = 0. Let q = f - -106. Is q at least 32?
False
Let b be 3/(-6)*(1 - 1). Let w = 10 - 22. Do b and w have the same value?
False
Let q(b) = 3*b - 4. Let v be q(2). Suppose -22 = -2*o + v*u, -5*o - 5*u = 2 - 7. Suppose 0 = o*w + 1 - 7. Which is smaller: w or -6?
-6
Let l = -5710 - -28552/5. Is l >= 1647/2?
False
Let r be (9/5)/(3/5). Suppose -r*w - 58 = -28. Suppose 8*s + 21 = -59. Do w and s have the same value?
True
Let k be 2392/(-25116) - (-49732)/42. Are k and 1189 non-equal?
True
Suppose -8*d = -5*d - 54. Suppose -23*m - d = -25*m. Which is smaller: 18 or m?
m
Let g = -12.4 + -229.6. Let n = g + 241. Is n > -129?
True
Suppose 10*h - h + 10980 = 0. Let f = 3794/3 + h. Which is greater: -1 or f?
f
Suppose -21*t - 14*t = 0. Suppose 0 = -4*k + 4*y + 37 + 35, t = -5*y. Which is smaller: 0 or k?
0
Suppose -4*x = 0, -5 = 5*g - 575*x + 573*x. Is -6/3337 equal to g?
False
Let m(h) = -49*h. Let k be m(-3). Let o = k - 116. Suppose y = 3, -b - 8*y = -3*y - o. Are b and 14 nonequal?
True
Suppose 4*n - 3*j + 1446 = -3784, -5*n - 6547 = j. Which is smaller: n or -1317?
-1317
Suppose -4*m + 3*u = 8, -u - 18 = -3*m - 19. Let j be (-24)/60*10/(-1212). Is m != j?
True
Let q be ((-114)/(-18) - 9)/(4/(-822)). Which is bigger: 2742/5 or q?
2742/5
Let b = 50 + -24. Let x = -31 + 39. Let y be (36/x)/(3/18). Which is greater: b or y?
y
Suppose 2 = -3*h + 11, 5*p - 99 = 2*h. Let d be (3/60)/(3 + p/(-6)). Is -1 < d?
True
Suppose o - 5*c + 65 = 0, -185*c = -3*o - 180*c - 275. Do -41 and o have different values?
True
Let x(y) be the second derivative of 11*y**3/2 - 299*y**2/2 + 43*y + 2. Let a be x(7). Which is smaller: a or 1/4?
a
Su