et a(c) = -c**3 + 5*c**2 - 4*c + 1. Let q be a(4). Is t greater than or equal to q?
False
Let k(r) = -r**3 + 7*r**2 - 8*r + 6. Let g be k(6). Let d be 2 - (0 - g/3). Is d equal to 0?
True
Suppose 0 = -4*n - n - 15. Let k = 9 + -14. Which is smaller: k or n?
k
Let a = 13 - -3. Is a at most 16?
True
Suppose 6 + 10 = 2*i. Let p = i - 6. Suppose -4*a = 3*y + p - 6, 5*a - 5 = -4*y. Is 0 <= y?
True
Let u be 1/(-4 - (4 - 0)). Suppose 7*n - 3*n = 0. Let a = n - 0. Which is smaller: a or u?
u
Let o(t) = -2*t + 28. Let l be o(12). Are 2 and l nonequal?
True
Let m be ((-4)/(-8))/(4/(-32)). Is -5 greater than m?
False
Suppose 2 + 2 = 4*s. Let r be 2*1/s + 7. Let v = r + -3. Is v greater than 6?
False
Let d(t) = t**2 - 6*t - 3*t**2 + 3*t**2 + 1. Let j be d(6). Suppose 2 = -3*w - j. Which is bigger: 2/11 or w?
2/11
Suppose -o - 10 = 3*o - 2*y, -10 = -3*o - 2*y. Let b = 4 + -8. Let h = b + 2. Which is greater: h or o?
o
Let g be (-3)/9 - (-100)/(-6). Let k = 43/3 + g. Which is smaller: -3 or k?
-3
Let r be 3/6 - 6/(-4). Let u(h) = -h**2 + h - 2. Let c be u(r). Is -5 < c?
True
Let t = -11/1154 - -119/103283. Let m = t - 1041/3938. Which is greater: -1 or m?
m
Let i(n) = 86*n**3 + 3*n**2 + 5*n + 3. Let r(f) = f**2 + f. Let y(q) = i(q) - 2*r(q). Let t be y(-2). Let o = t + 17177/25. Which is smaller: 0 or o?
0
Let d = -1/32 - -17/32. Suppose 6*p + 6 = 3*p. Let w = -2 - p. Which is greater: d or w?
d
Let x(s) = s**2 + 3*s. Let h be x(-3). Suppose h = 2*f + 2*f - 8. Let m be (-175)/(-28)*(-4)/(-10). Is m smaller than f?
False
Let d be (-4 + 4)*(-2)/4. Let x = -0.05 + 0.05. Let h = x + -0.3. Is d >= h?
True
Let r = -10 + 8. Let x be (1 + 2)*(7 + r). Suppose x = 4*d + d. Which is smaller: d or 0?
0
Let p = -5 + 7. Let d be (26/3)/(1/3). Suppose 3*b - 18 = -3*y, 5*y - d - 2 = -3*b. Is b at least p?
False
Suppose 3*l = 2*q - 36, -3*l = 2*l + 4*q + 38. Let y be ((-3)/l)/((-3)/(-4)). Let z = -0.1 + -1.9. Which is smaller: z or y?
z
Let r be 1*(-4 + 0 + 5). Is r at most 4/17?
False
Let h = -5 + 7. Let o = 212/3 - 70. Which is greater: h or o?
h
Let g = 6546/11 + -596. Which is smaller: -2 or g?
-2
Suppose 4*j - 5 = -o, -5*j + 3 - 1 = -3*o. Suppose -j + 11 = -2*x. Are -4 and x equal?
False
Suppose 0 = 4*x - 45 + 105. Let j = 0 + -12. Let a be j/x*(-1)/2. Is a equal to -0.2?
False
Let z(l) = -l**3 - 5*l**2 + 4*l - 8. Let q be z(-6). Let x(c) = c**3 - 3*c**2 - 6*c + 4. Let g be x(q). Suppose 2*k + y - 1 + 10 = 0, -8 = k + 4*y. Is g != k?
False
Suppose 0 = -t + 5*t + 8, -3*y + t = 4. Let q(l) = 2*l + 6. Let h be q(-5). Which is smaller: h or y?
h
Suppose -w - 23 = 3*t + 4*w, 3*w = t - 11. Let f be ((-1)/(-2))/(t/44). Let v be 8/12*6/f. Which is smaller: v or 0?
v
Let r be (2/10)/((-28)/(-20) - 2). Which is smaller: 3 or r?
r
Let i be 3/(-15) + (63/(-155))/(-3). Which is bigger: i or 1?
1
Suppose 4*k + 13 = 4*f + k, 5*f + 7 = -4*k. Is 1/14 less than or equal to f?
True
Let h = 2/269 - -524/1883. Suppose 5*f = c + 4, -c + 4*c - 7 = -4*f. Is c <= h?
False
Let y = -3 - 37. Is -40 greater than or equal to y?
True
Let c be (-1)/((-2)/(-1) + -3). Suppose -2*s + 3*b = -1 + 5, 4*s = -5*b - 8. Let r be s + 2 + 3/(-5). Is c <= r?
False
Let q(v) = v**2 - 4*v - 2. Let h be q(4). Let o be 4*(42/20 + h). Let j be (0 + 0)/(-8 + 9). Is o > j?
True
Let h(c) = -c**3 - 8*c**2 - c + 3. Let v be h(-8). Is v not equal to 11?
False
Let t = 1.4 - 1.2. Let l = t + -0.4. Which is greater: l or 0.4?
0.4
Let i(y) = y + 18. Let f be i(-18). Which is smaller: f or -1.9?
-1.9
Let g = -3 + 3.3. Let t = g + -0.3. Let r = 0.3 + -0.3. Are r and t unequal?
False
Let c(k) = -k**2 + 2*k + 1. Let s be c(3). Let l be 8/5*(-5)/s. Let f be 2/l - 2/8. Is -0.1 >= f?
False
Let q be ((-40)/12)/(2/12). Let w be 125/q - 2/(-8). Suppose -5*o - 13 = 12. Which is smaller: o or w?
w
Let v be ((-10)/220)/((-1)/(-3)). Is -1 less than v?
True
Suppose 5*n = -0*n - 5. Let b be (-3)/((9/2)/(-3)). Suppose -1 = q + b. Which is smaller: n or q?
q
Suppose -5*c - 2 - 3 = 0. Let l(g) = g**2 - 3*g. Let y be l(3). Let o = c - y. Is o smaller than 2/9?
True
Suppose 3 = 3*d - 0. Which is greater: -3/13 or d?
d
Let h(a) = a - 3. Let z be h(7). Let c = -4 + z. Is 2/25 smaller than c?
False
Let d = 3 - 1. Let y be ((-55)/22)/((-15)/36). Which is smaller: d or y?
d
Let l = -4 - -4. Let s be (l - (-22)/(-6)) + 3. Which is bigger: -2/19 or s?
-2/19
Let p = -190 - -1333/7. Which is smaller: p or -0.3?
-0.3
Let q be 3/4*1/(-3)*2. Which is bigger: -14/5 or q?
q
Let h = -4704 + 964322/205. Is h < 0?
False
Suppose -15 = 2*m - 39. Let q = -7 + m. Let t(f) = -f - 3. Let g be t(-8). Is q < g?
False
Let j be (14/(-21))/(2/(-87)). Let s = j - 45. Which is bigger: s or -15?
-15
Let d be 6/(-15) - (-18)/(-30). Which is smaller: -10/7 or d?
-10/7
Let k(f) = -5*f - 5. Let c be k(-4). Which is greater: 14 or c?
c
Let i be 214/(-18) - (-1)/3. Let o = -1738894/136395 + -20/3031. Let q = i - o. Is 2 <= q?
False
Let v = 14 - 5. Let u = 11 - v. Which is bigger: u or 0.5?
u
Let r = 2 - 2. Suppose -2*v - 25 = -5*h - 3*v, -h - 6 = -2*v. Let j = h - 6. Are r and j nonequal?
True
Let y(i) = 3*i + 29. Let q be y(12). Is 66 equal to q?
False
Let g = -24885/41 - -607. Let m(b) = b**2 + 20*b. Let w be m(-20). Which is greater: w or g?
g
Let m = -4 + 1. Let i = m + 5. Is i <= 3/4?
False
Let v(k) = k**2 - 3*k - 3. Let p be v(4). Let m be (-3)/(-4) + 7/(-4). Let c be (-1)/p*-1*m. Is c at most as big as 2/19?
True
Let z(m) = -11 - m + 6 + 2*m. Let x be z(3). Which is smaller: -3 or x?
-3
Let o = -8/3471 - 4081856/17355. Let f = -236 - o. Let j be 4/(-14) + (-84)/49. Is f >= j?
True
Suppose -2*o - 984 = 10*o. Which is smaller: -81 or o?
o
Let g = 2845/39 + -73. Is 0.1 at least as big as g?
True
Suppose 0 = -p + 3*p. Let f be (p - 2) + (-7)/(-5). Which is smaller: f or 0?
f
Let i = -297 - -296. Let f = -24/107 - -20926/749. Let v = f - 28. Which is smaller: v or i?
i
Let i = 54 + -487/9. Let t be 1/(4 + 5 + -8). Which is bigger: i or t?
t
Let y = 1.98 - -0.02. Which is smaller: 0.3 or y?
0.3
Let j be -1 - (4/(-2) - -120). Let q be (-8561)/(-72) + 4/18. Let m = j + q. Is m < 1?
True
Let t = -2 - 4. Is t equal to -5?
False
Let o be ((-14)/35)/(12/(-110)). Let a = -46/15 + o. Does a = -1?
False
Let w = 25 - 29. Which is greater: w or -3?
-3
Let p = 0.11 + -0.17. Let n = p + -0.04. Let t = 0.35 - 0.3. Which is greater: t or n?
t
Let z be (-4)/(-6) - 70/15. Let i be 8*(z/2)/(-2). Let l = 11 - i. Is 4 greater than or equal to l?
True
Suppose 0 = -11*b + 113 - 355. Which is smaller: b or 0.3?
b
Let y be (9/(-6) - 1)/(-2). Suppose -4*l - 1 = -5*l. Which is bigger: y or l?
y
Let v = -14 - -14.62. Let t = v + -0.6. Let a = 1.02 - t. Is 0 at most a?
True
Suppose f + 2*f - 18 = 0. Are 6 and f nonequal?
False
Let u = -691 + 33857/49. Is 0 greater than u?
True
Let c = -3117368544448/29894161 + 6/2717651. Let f = -104054 - c. Let k = f + -226. Do k and -1 have different values?
True
Let u be 126/105*(-2 + -1 + -2). Is -7 <= u?
True
Suppose q - 6*q + 27 = -3*i, -5*q - 2*i + 7 = 0. Is q bigger than 2?
True
Let j(h) = 42 + h + 7*h**2 + h**3 + 2*h - 32. Let k be j(-7). Which is greater: -10 or k?
-10
Suppose 2*k = 3*v - 6, -5*k = -0*k + 3*v - 27. Suppose -4*r = 5 + 7. Is r at least k?
False
Let p be 1 + 1 - (-8 + 3). Let d = p - 5. Suppose 4 = 2*l - 0, -4 = -2*z + 2*l. Is z at least as big as d?
True
Suppose 5 = i + 4. Let p(g) = g**2 + g - g. Let h be p(-1). Do h and i have the same value?
True
Let a = 83123/36920 + -277/355. Let x = a + -24/13. Which is bigger: x or 0?
0
Let r be 13/(-5) - (90/(-25) - -4). Which is smaller: r or -5/3?
r
Let h(p) = -4*p**3 - p**2 + 4. Let k be h(2). Is -33 equal to k?
False
Suppose -3*u + 7 = -2*l, -4*u + u + 11 = 2*l. Let q be 2/4 + 27/6. Suppose 0*v - d - 2 = -2*v, 5*v - 20 = -q*d. Is v > u?
False
Suppose 135 = -5*h + k, 9*k - 4*k + 108 = -4*h. Which is bigger: -25 or h?
-25
Suppose d = -m + 2, 6*d - 13 = -2*m + d. Let z(s) = -s + 6. Let k be z(6). Let i = k + m. Which is greater: -2 or i?
i
Suppose 0 = o + o - 8. Suppose -2 + 6 = -o*w. Let x be (0 + -2)/(1 - 7). Which is smaller: w or x?
w
Let z = -0.1 + 0. Let y be 4/(-10) + 12/5. Suppose y*k - 3*k - 1 = 0. Which is smaller: z or k?
k
Let d be ((-1)/(-4))/(5/10). Let n be -3 + (-12)/(-4) + 1. Are n and d no