-38). Let a be -3*3*(2 - q/(-3)). Which is greater: a or -0.01?
-0.01
Suppose 2*p - 58*p + 33600 = 8*p. Is p < 524?
False
Let h be 4/14 + (-464)/1827 - 2/14. Which is smaller: -43 or h?
-43
Let d = -19.32 + 12.904. Let v = d - -0.016. Let g = 6.6 + v. Which is smaller: g or -2/25?
-2/25
Let a = -73676 + 73690. Suppose 2*v + 129 = 5*v. Which is smaller: a or v?
a
Let k(s) = 4*s - 158. Let a be k(40). Suppose -v = -t - a*v - 9, t = 2*v - 12. Is t smaller than -29/3?
True
Let b = -206.9683 - 0.0317. Let d = 328 + b. Is d at least as big as 1?
True
Let n = 6474 - 6474.47. Which is smaller: -128 or n?
-128
Suppose -21*d - 357 = 588. Let h = -46 - d. Which is bigger: h or -2/601?
-2/601
Let x = -5666.9531 - -5667. Which is smaller: 2/17 or x?
x
Suppose -12*d + 311178 = 104*d - 23*d. Which is greater: 3345 or d?
d
Let g = -54 - -56. Let v(h) = 20*h - g - 21*h + 5 + 14. Let o be v(6). Which is greater: 13 or o?
13
Let y = -448.6 - -482. Let j = y + -33.4. Are j and -369 equal?
False
Let j be (13/(1001/(-7117)))/((-5)/35). Which is smaller: -0.13 or j?
-0.13
Let k = -4489 - -3243. Is -1245 equal to k?
False
Suppose -3*o = 3*v - 24, v + 2 + 5 = 4*o. Let k be (6 - 2 - o) + -1. Suppose -2*i - 72 + 6 = k. Is -32 less than i?
False
Let g = -0.01247 - -0.05317. Which is greater: g or -3?
g
Suppose -3*p + 340 = -4*r, -r = -p + 4*p - 365. Is 126 at most p?
False
Let k = -4603 + 4668. Is k at most 62?
False
Let r(p) = 87*p**2 + 429*p - 12. Let y be r(-5). Which is greater: y or -19/9?
y
Suppose 74 = -9*m - 2176. Let c = -29/24908 - -230300441/921596. Let q = m + c. Is q bigger than 0?
False
Suppose -2*d - 4*b = d - 21, 3*d - 5*b + 6 = 0. Suppose -d*t + 7*t = 108. Let f = t + -28. Does 1/89 = f?
False
Suppose 123*k = 127*k - 4*z + 20, 4*z - 20 = 3*k. Which is greater: 1/13106 or k?
1/13106
Suppose 303316 = -4*h - 72*h. Which is smaller: h or 2/3?
h
Let i = 1.35 + -1.443. Let z = 46.907 - i. Is z less than or equal to -1/7?
False
Let f be -7 - (-651)/91 - 18675/(-39). Suppose -1131 = 4*l - w, -372 - f = 3*l + 2*w. Is -282 > l?
True
Suppose -52*m + 77*m = 75. Which is greater: m or 30/13?
m
Let z = 18 + -53. Let j = -53 - z. Let s = -7 + j. Is s smaller than 1?
True
Let v(p) = 3*p**3 + p**2 + 11*p + 20. Let r be v(-4). Let k = 180 + r. Which is smaller: -17 or k?
k
Let w = 3040 - 3039.8. Is 31/42 equal to w?
False
Let o(y) = -227*y - 1363. Let r be o(-6). Which is smaller: r or 4/3179?
r
Let x = -0.2596 - -129.2596. Let k = 1.7 + -1.8. Which is greater: k or x?
x
Let c = 23 + -22. Suppose 4*w - c = 3*w. Let g = -2399752/331 - -7250. Is g >= w?
False
Let d = -748 - -748. Which is bigger: 33/346 or d?
33/346
Let r be 18/2 + (-50)/(1 + 4). Which is bigger: 12/329 or r?
12/329
Let m be (-17)/((-3519)/(-72))*6/28. Let f = m - -670/4669. Which is smaller: 0 or f?
0
Suppose -6*w - 1 + 25 = 0. Suppose -6*f = -f - y - w, -20 = -4*f + 5*y. Let o be ((-5)/(-4))/(2/8). Which is smaller: o or f?
f
Suppose 50*z - 54*z + 5*r + 660 = 0, z - 158 = 3*r. Is 0.3 < z?
True
Let s = 35295 - 35295. Which is smaller: s or 1/8907?
s
Suppose -8*i + 562 - 16242 = 0. Let d be ((-5)/20)/((135/i)/(-9)). Which is smaller: -33 or d?
-33
Let t = -1205 - -54223/45. Let y = -99222.4 + 99222. Is y at most t?
True
Let t = -0.15 - 0.11. Suppose b - 4 = x + 5*b, -2*b - 6 = 0. Is x at least as big as t?
True
Let q(t) = 4*t**2 + 3*t - 4*t + 7*t - 7 + t**3 + 2*t. Let s be q(-6). Which is smaller: -126 or s?
s
Suppose v = 2*v + 3*h - 5, -v - 5*h = -7. Let i be 11*(v - (2 + 1)). Let j = -15246 + 45706/3. Is j at least as big as i?
True
Let i = -6 + 8. Let u = -0.92 + -42.08. Let z = -44 - u. Is i at least z?
True
Let g = 3863283335/19747 + -195639. Which is bigger: 0 or g?
g
Let a = -101 - -27. Let c(z) = -175*z + 1852. Let d be c(11). Which is smaller: a or d?
a
Let m(a) = -17*a - 160. Let x be m(-9). Let b be (-2)/9 + 12/135. Which is smaller: b or x?
x
Let a be (-2)/2 - (31 + 1). Let f be ((-2)/(-5))/(a/5). Suppose 3*n + 54 - 18 = -4*o, -694*o = -708*o - 126. Is n >= f?
True
Suppose m + 1 = -5*o, -6*o = -3*m - 3*o - 3. Which is greater: -2/5463 or m?
-2/5463
Let y = 116.3 - -534.7. Let d = y + -650. Which is smaller: 321 or d?
d
Suppose -8*i - v + 23 = -4*i, 18 = 4*i + 2*v. Let z be i/(-14)*4*-71. Which is smaller: 140 or z?
140
Let x = 52163/994 + -149/142. Let z = x - 51. Which is smaller: -1/7 or z?
-1/7
Let k be (-1 + (-3)/(-39))/(774/(-516)). Is k smaller than -26?
False
Suppose -13*s = -14*s - 36. Let d = 36 + s. Let t be (-1)/2*2 - d. Is -2/7 less than or equal to t?
False
Let s = -566 - -326. Let b = -328 - s. Is -87 at most as big as b?
False
Let i be (-781)/44 + 0 + 0 + 3. Let t be 30/(-25)*945/81. Which is smaller: t or i?
i
Suppose -34*v - 40*v = -1151495 + 163965. Which is greater: v or 13344?
v
Suppose 19*a - 332 = -712. Suppose 2*q - 1 = 71. Suppose -5*l - q = -3*l. Is a <= l?
True
Let d = 1664.94 + -1833.157. Let p = d + 0.217. Let n = 118 + p. Which is smaller: -2 or n?
n
Let s = -8.1 - -1.1. Suppose -4*o = 5*h - 1, 4*o + 5*h = 2*h + 7. Suppose -5*p - 18 = -2*r, 7 = 4*p + o*r - 1. Which is greater: p or s?
p
Suppose 188 = 33*k + 1195 + 214. Is k greater than or equal to -572/15?
True
Let l be -8 - (-2*2 + (-47 - 1190)). Is l > 0.2?
True
Suppose 3*n = -4*v + 278, v = 2*n + 11 - 189. Suppose 0 = -x + 5, 45*j - 44*j = -x + 96. Are n and j equal?
False
Let n = -10622/861 - -252/41. Are -7 and n nonequal?
True
Suppose 2*g - 88 - 2 = -4*n, -5*n + 2*g = -108. Let r = n - 29. Is r smaller than -31/4?
False
Let v be (7/((-28)/(-8)))/2. Let d = 232 - 161. Let c = 63.6 - d. Is c <= v?
True
Let j = 43.176 - 0.176. Let y = j - 42.884. Is y smaller than -1?
False
Let y(n) = -6*n**3 - 3*n**2 + 13*n - 6. Let o be y(4). Which is greater: o or -384?
-384
Suppose 0 = 2*s + 2*g + 161 + 67, 0 = -3*s + 4*g - 377. Is -1558/13 at least as big as s?
False
Let d be (-652)/44 + 6/(-33). Let a(o) = 2*o - 25. Let r be a(14). Let l be r + -4 - 12/d. Which is greater: 1 or l?
1
Let p = -634146748/1999 - -317232. Is p greater than or equal to -1?
True
Let v(o) = 11*o - 2. Let k be v(-1). Let m = k - -12. Let h be 2*(-4)/8 + (1 - m). Which is smaller: h or 2/11?
2/11
Let k = 295 - 295. Suppose k = 5*y - 4*m - 104 + 758, m = 2*y + 264. Is y smaller than -133?
True
Suppose 14 = -4*o + 5*o. Let m(p) = -p**3 + 27*p**2 - 47*p - 25. Let t be m(25). Suppose -g = t - o. Is g at most -36?
True
Let n = -1220 - -1256. Is 7 not equal to n?
True
Let p(s) = 6*s**3 + 55*s**2 + 17*s + 15. Let h be p(-7). Is h equal to 533?
True
Let q be -4 + 346*(-54)/(-30). Let h = q + -624. Which is greater: h or -4?
-4
Let i be (-4356)/60 - (-6)/10. Suppose 4*n + 87 = -5*v + 387, -5*v = 0. Let o = n + i. Which is smaller: o or 4?
o
Let j(z) = -2*z**3 + 20*z**2 + 8*z - 5. Let p be j(9). Let s be ((-17)/(-68))/(p/(-4)). Is 0 at least s?
True
Let z = -6 - 30. Let o = -33 - z. Suppose 18 = o*n + 5*m - 2*m, 0 = 2*n + m - 10. Are n and 26/9 non-equal?
True
Suppose 0 = 227*t - 193*t - 510. Let s = 13 + -8. Suppose 4*q + 0*q - t = -3*i, s*q - 18 = -4*i. Which is greater: 5 or q?
q
Let o be ((-68 + 6)*1)/(2/6). Let a = o - -185. Which is greater: 1/167 or a?
1/167
Let y(l) = -l**3 - 17*l**2 + 32*l + 219. Let n be y(-18). Which is smaller: n or -37?
-37
Let i = -40/3 - -13. Suppose 5*x + 6*w - w = -105, -w = 2*x + 39. Let h be (-2)/3*(-27)/x + 3. Is i at most h?
True
Let b(l) = -446*l + 2264. Let h be b(21). Which is bigger: -7100 or h?
-7100
Let m = -0.056 - -0.0736. Let f = -0.3914 - m. Let j = f - -0.009. Is j less than -0.01?
True
Let v = 30 + -47. Let o be 24/(-8) - (0 + (v - 0)). Let i be (-14)/(-4)*2/o. Is -25/3 < i?
True
Let j = -0.562 + 0.323. Let y = j - -0.079. Let w = -0.36 - y. Which is smaller: -43 or w?
-43
Let g(w) = -w**2 - 14*w + 38. Let p be g(-16). Let a be ((-2)/(-14) - p/(-7))*3. Let q be (-11)/((-11)/a) - (-22)/(-6). Is q smaller than 4?
True
Let j be ((-3027)/(-6) - (-4)/(-2))/(50/100). Is 1003 greater than j?
False
Suppose -15*w = -35*w + 41*w + 30891. Which is smaller: w or -1473?
-1473
Let p = -8321/20 + 416. Are 18 and p equal?
False
Suppose 3*l - 6*l + 339 = 0. Let c be (2 - l)/(-3) + 3. Let b = c - 7. Is 33 bigger than b?
False
Let h(l) = l**3 + 9*l**2 + 8*l + 59. Let r be h(-8). Suppose -612 = 7*g - r. Are -83 and g equal?
F