)). Which is smaller: 1 or u?
u
Let d be 1064/(-13294) - (-1)/((-184)/(-16)). Is d at most -1?
False
Let n(k) = -k**3 + k**2 + 69*k - 19. Let m be n(-8). Do 17 and m have different values?
True
Let l be (-54)/126 + 10046/(-14). Let b = l + 7868/11. Is b != -1?
True
Let b = 3188/3021 + -58/57. Let f(q) = -q**2 + 10*q. Suppose -2*c + y + 18 = 0, -3*y - 34 = -5*c + c. Let l be f(c). Is l smaller than b?
True
Let t = 28 - 27.78. Let g = 67 - 64.78. Let v = g - t. Is 0.09 >= v?
False
Let l(r) = -r - 5. Let q be 0 - 16/4 - -4. Suppose 2*a - 36 = 4*v, a + q*a + 2*v = 2. Let t be l(a). Is -15 at least as big as t?
True
Let z = 0.403 - 0.503. Is 0.59 at most z?
False
Suppose 4*c + 214 = 3*l, 5*c - 14 = 4*l - 281. Which is smaller: -331/6 or c?
-331/6
Let f = 205 + -206. Which is smaller: 32/11 or f?
f
Let g = -2/1341 + -108617/2682. Suppose 312 = 7*v + v. Let u = g + v. Is u bigger than 2/9?
False
Let z be (-8 - (-252)/30)*82/(-4). Is z != -9?
True
Let f = 3562/9 + -396. Let d = 0.1 - 0.1. Let s = d + -0.1. Which is smaller: f or s?
f
Let v(w) = w**3 - 3*w**2 + 2*w + 1. Let l be v(3). Suppose 0 = -5*m + 2*m + 9. Suppose -2*i = -m*i + 6. Do l and i have different values?
True
Let s be 1*(0 + 1) - 1. Let v = -111166/245 + 2269/5. Is v < s?
False
Let k(s) = -s**2 - 4*s + 4. Suppose 5*i = 3*i - 8. Let j be k(i). Is j greater than -2?
True
Let k = 0.0335 - -0.3165. Which is greater: k or -7?
k
Let m = 7.7 + -7.751. Let f = -5.051 - m. Which is smaller: -0.1 or f?
f
Let b(y) = y**2 - 7*y + 6. Let m be b(7). Suppose 2*a + m = a - 2*h, h = 3*a - 3. Let t be (5 - a)*208/130. Which is smaller: t or 7?
7
Let z = 8407/410006 + -13/778. Is 2 < z?
False
Let u(c) = 184*c - 1088. Let h be u(6). Suppose 14 = -2*y + 4. Let g(j) = -4*j - 4. Let n be g(y). Is n smaller than h?
False
Let m = -1911 + 1926. Is 6 less than m?
True
Let n be (-940)/(-3360) + 15/(-40). Let f = -2 - -3. Which is smaller: f or n?
n
Let o = -228/5 + 44. Suppose 80*k - 29 = -109. Do o and k have different values?
True
Suppose -8*v = -17 - 7. Is v greater than or equal to 57?
False
Let a = 2.19651 + 0.00349. Let b = 2 + -2.1. Which is smaller: a or b?
b
Let o = -740/3 - -247. Is o <= 0?
False
Let a = -306/25 + 42684/3475. Which is greater: -1 or a?
a
Let u(h) = h**2 - 5*h**2 + 3*h**2. Let g be u(-1). Let k be 10*1/3*g. Which is greater: -4 or k?
k
Let w(x) = -x**2 + 17. Let l be w(-4). Let k(y) = -6*y**2 + 3*y - 1. Let d be k(l). Let r(o) = o - 5. Let j be r(6). Which is smaller: j or d?
d
Let u be (-8 - -3) + -38*(-1)/6. Let y = 2/143 - 296/715. Is y smaller than u?
True
Let y be (80/(-16) - -1)*43/20. Suppose -l - 7 - 2 = 0. Which is greater: y or l?
y
Let u(g) = -8*g + 11. Let b be u(8). Let v = 52 + b. Which is smaller: 1/96 or v?
v
Suppose -2*z - 1 = 2*m + 3, -3*m - 30 = -5*z. Suppose -z*f + 16 = -5. Is 7 < f?
False
Let q(i) = -4*i**3 - 7*i**2 + 6*i - 5. Let c = -13 - -7. Let o be q(c). Let h = o - 21125/37. Are -1 and h equal?
False
Let r = -431/68 - -3/34. Which is smaller: r or 12?
r
Let t(n) = 9*n + 469. Let o be t(-52). Let j = -103 + 1960/19. Which is smaller: o or j?
j
Let y = -19 + 43. Let b(a) = -a**2 + 26*a - 47. Let u be b(y). Does u = 6?
False
Suppose 0 = 4*j - s - 12 - 1, -3*j - 19 = 5*s. Suppose -160 = -5*c + 5*n, -58 = -j*c + 3*n - 4*n. Suppose -r = -4*r + c. Which is smaller: 1 or r?
1
Let f be 7/42 - 3/((-54)/(-13359)). Let m be -3 - (f/32)/7. Which is smaller: m or -1?
-1
Let y be (-19)/2 + 1/(-2). Let k(z) = z**3 + 9*z**2 - 12*z - 4. Let j be k(y). Is j < 16?
False
Let q(v) = -388*v - 1093. Let l be q(-5). Are l and 848 nonequal?
True
Let r = -64 - -331. Let n be (-1)/2*6*r/9. Is n greater than -89?
False
Suppose 5*d - 5 = 25. Suppose 4 - d = -i. Suppose n - 6 = -i*n. Is 4/5 != n?
True
Let a = -119 - -123. Suppose a*f + h = -4*h + 9, -2*h - 6 = 4*f. Which is smaller: 10 or f?
f
Suppose 14 - 3 = p. Suppose -2*d = 13 - p. Let v = -6/13 + 199/403. Do v and d have the same value?
False
Let l = -190579/209 - -27594/19. Let g = l + -540. Which is smaller: -1 or g?
-1
Let x = 21 + -10. Suppose s - x = 2. Is s greater than or equal to 13?
True
Let b = 341.9 + -342. Is b at most -66?
False
Suppose -447 = 10*l + 463. Which is bigger: -90 or l?
-90
Let u be 5*(-9)/(-75)*-15. Which is bigger: -15 or u?
u
Suppose 11*a - 8*a = 0. Let w = 65/4 - 297/20. Which is smaller: a or w?
a
Let m = -718.9 + 679. Let r = m + 40. Which is greater: r or 4?
4
Let k be (-53)/265 + (1 - (-76)/(-170)). Do k and 0.3 have the same value?
False
Let t be 15 - -52 - (2 + -1 + -1). Which is bigger: t or 65?
t
Let h be (0 - 1)*(-2)/(-10). Let w = 13/66 + -1/33. Which is smaller: h or w?
h
Let v = -100 + 170. Is 70 less than or equal to v?
True
Let c(l) = l**2 - 83. Let b be c(-11). Which is smaller: 10 or b?
10
Let o = -427 + 433. Is 50/9 < o?
True
Suppose 3 + 19 = -h. Let g = 24 + h. Which is bigger: 9 or g?
9
Suppose -o = -2, -4*i + 3 = -3*i - o. Suppose 2*v - i = 7*v. Is v < -3/13?
True
Let l be (1027/39 + -13)*(-3)/(-4). Which is smaller: l or 21?
l
Suppose 4 = -2*n + 6. Let i be -4 - (2 + -1 - n). Let b = -8 - i. Is b >= -5?
True
Let o be (-762)/418 - 0/4. Let r be (90/152)/(13/52). Let i = r + o. Does 1 = i?
False
Let r be 9/1 - (-2688)/(-288). Let w(p) = p**2 - p + 1. Let j be w(0). Which is greater: j or r?
j
Suppose -33 = -2*t - t + 5*u, -5*t + 4*u + 42 = 0. Let a(r) = r**3 - 6*r**2 + r - 5. Let s be a(t). Let b be (16/70)/(6/15). Is s > b?
True
Suppose 5*s - 22 = 28. Suppose 2*a = 5*a - 5*f - 20, 0 = 2*a + 2*f - 8. Let n be (3/(-2))/(a/s). Which is smaller: n or -1?
n
Let h(x) = -x**3 + 13*x**2 - 35*x + 7. Let t be h(9). Is t < 14?
False
Let u = 29 + -14. Let r = 16 + u. Suppose -2*c - 1 = -f, -5*f - r = 2*c - 0*c. Is c equal to -6?
False
Let k be ((-48)/18)/((-2)/3). Suppose 8*w = k*w + 92. Which is greater: 22 or w?
w
Let x = 1306 - 487. Which is bigger: x or 817?
x
Let k be 5/(45/4) - 1. Let c = 161.95 - -0.05. Let p = c - 163. Which is bigger: p or k?
k
Let k(s) = -s**3 - 12*s**2 + 11*s - 27. Let t be k(-13). Which is smaller: 12.9 or t?
t
Let s(j) = j + 4. Let k be s(-4). Let l = 0 - k. Let g = 12/77 - -14/11. Which is smaller: g or l?
l
Let o = 151/3 + -751/15. Is -1 >= o?
False
Let b be (3/6)/(-1*(-1)/64). Is 0 less than or equal to b?
True
Suppose 4*h = 6*h - 10. Suppose 2*j - 28 = -h*g, 4*j = -g - 3*g + 20. Is 5 at least as big as g?
False
Let j be (-7 + 15 - -4)*4/6. Let q be 90/392 - 2/j. Is -1 greater than q?
False
Suppose 0 = -2*i - 5*d - 0*d + 27, 5*i - 5*d = -20. Are 1/193 and i unequal?
True
Let t be 7/6*(-20)/(-35). Is 0.037 greater than t?
False
Let o = -2168.1 + 2168. Which is greater: o or 1057?
1057
Let i be 16/(-56)*(54/(-4))/(-3). Is 0 bigger than i?
True
Suppose 0*g + 24 = 3*g. Suppose -r + 13 = g. Suppose -y = -3*w + 12, r*w - 33 = -3*y + 1. Are y and 0 unequal?
True
Let p(f) = -3*f - 21. Let u be p(7). Let n be ((-3)/2)/(-1 - u/33). Let j be (-120)/16 + 2/4. Is n greater than j?
True
Let i = -24 + 30. Which is greater: 2 or i?
i
Suppose 578*z = 575*z. Which is smaller: z or 6/23?
z
Suppose 4*c - 753 = -2*a + a, 2*a - 1500 = -2*c. Which is smaller: 750 or a?
a
Let q = 5 - 2. Suppose -x + q*x - 24 = -3*s, -8 = -2*s. Let m = 6 - x. Which is greater: -1/17 or m?
m
Suppose -4*m + 866 = 2*j, 2*j - 5*m - 878 = -6*m. Is j at most 442?
True
Suppose -2*z = -4*z + 436. Let p = -877/4 + z. Let q = -9 - -10. Which is greater: q or p?
q
Suppose 0 = -2*k - 1 + 13. Suppose -5*n - 2*j - 1 = -4*n, 3*j = n + k. Is n less than or equal to -3?
True
Suppose 0 = 5*u - 45 + 5. Let p be ((-22)/8)/(2/u). Let t(z) = -32*z - 172. Let h be t(-5). Which is smaller: p or h?
h
Let w be 174385/(-450) + 2/4. Let d = w - -387. Which is smaller: 0 or d?
d
Let v be (-4 + 1/1)*(-17 - -18). Let a(d) = d**2 + 3*d - 6. Let l be a(v). Which is smaller: -4 or l?
l
Suppose 17*x + 133 = 116. Let q = -28/3 + 131/15. Which is smaller: q or x?
x
Let y(s) = -5*s + 34. Let f be y(9). Is -14 at least f?
False
Suppose 0 = -u - 5*o + 503, 497 = u - 33*o + 35*o. Is u > 493?
False
Suppose 4*d - 5 = 3*d, 2*t = d - 9. Let y be 4/(-6)*3/t. Let x be (-26)/16 + -2 + -3 - -7. Which is greater: y or x?
y
Suppose 6 + 10 = 4*a. Suppose -2*q = 2*g - 14, 3*g + a*q = -5 + 30. Suppose 0 = -2*j, j - 4 + g = -c. Is -0.09 less than or equal to 