*w + 411. Let t be (-6)/(-15) - w/530. Let r = t - 73/265. Which is bigger: r or 0?
0
Let j = -0.26 - -0.06. Do -2 and j have the same value?
False
Suppose -8*p - 3*p = -352. Is p not equal to 32?
False
Let g = -4.3 - -4.7. Which is greater: 0.04 or g?
g
Let v be 5/(-20) - 11/4. Let k be 0 + 8/(-6)*-3. Suppose -12 = k*n + 2*f + f, -3*n = -5*f + 9. Is n less than or equal to v?
True
Let u be -1*1/((-4)/(-24)). Let b be ((-2)/u)/((-4)/12). Which is bigger: -2/13 or b?
-2/13
Let p(j) = j**2 + 5*j + 4. Let d be p(-5). Let l be 14 - (d + 0 + -3). Let s be l/(-70) + 6/21. Which is bigger: -1 or s?
s
Let m(v) = -13*v**2 + v + 2. Let s be m(3). Let z = s + 879/8. Let d = -101/40 - z. Is d less than 2/9?
True
Let p be 21/(-19) + (0 - -1). Is p less than or equal to -1?
False
Let x = -4 - -4.02. Let i = -0.08 - x. Let p = i + 0.1. Are -3 and p non-equal?
True
Suppose 2*n + h + 9 = 0, -2*h + 3 = -2*n + 3*h. Let z be (n/(-3))/(-4)*6. Suppose -s = 5*v + 1, -s = -v + 5*v. Which is greater: v or z?
v
Let q = 1 + -0.9. Let r = 4.02 + -4. Let m = 0.02 - r. Which is greater: q or m?
q
Let u = 643 - 1919/3. Suppose 0*m = m. Which is greater: m or u?
u
Let w = -359 + 1067/3. Let i = 31/12 + w. Let f(d) = -d**3 - 4*d**2 - 2*d + 2. Let y be f(-2). Which is smaller: y or i?
y
Let n be (9/2)/((-18)/48). Let h(u) = u + 6. Let k be h(n). Are -0.2 and k nonequal?
True
Let q(o) = o**2 + 3*o + 25. Let k be q(-5). Is 35 at least as big as k?
True
Let k = -1 - -3. Let m be 3/6 + (-5)/k. Let a = 1 + m. Is a != -1?
False
Let q = 29 - 201/7. Which is smaller: q or -1?
-1
Let m = 264 - 5542/21. Which is smaller: m or -1?
-1
Let p = -1 + 1. Suppose -4*c = -4 - p. Let l = 2.5 + 0.5. Is c at least as big as l?
False
Suppose -q - 4*q + 10 = 0. Let h be ((q - 4) + 1)/1. Let y = -203/3 + 67. Which is smaller: h or y?
h
Let g = -1293/7 - -185. Let d be (-6)/9 + (-4)/(-6). Does g = d?
False
Let f = 1.98 - -0.02. Let m = 3 - f. Let d = 1 - 1.1. Which is smaller: m or d?
d
Let w be (-4)/6*693/4. Let i = 2 - -111. Let t = w + i. Is t smaller than -2?
True
Let z = 2/23 - -15/92. Let u = 0 + -2. Let d be ((1 - -1) + u)/(-2). Is z < d?
False
Suppose -3 = -3*y + 3. Suppose -5 = 3*i - y. Let m = 1 + i. Which is smaller: -1 or m?
-1
Let u = -13 + -1. Let r = u - -14.2. Which is bigger: r or 3/2?
3/2
Let q be (0 + -2)*15/10. Let x(b) = -b. Let r be x(q). Suppose 0 = -r*y + 4 + 5. Do 3 and y have the same value?
True
Let t(a) = -3*a + 8. Let s be t(6). Let p(h) = -h - 13. Let q be p(s). Which is smaller: q or 0?
q
Suppose -8*c + 65 = 25. Let k be -2*(-1)/(-1)*-1. Is k less than c?
True
Let f(p) = -p**2 + p + 4. Let k(z) = z**3 - 4*z**2 - 7*z + 4. Let o be k(5). Let s be 3/9 + 2/o. Let y be f(s). Which is greater: 5/2 or y?
y
Let p = -100 + 898/9. Let s = 4 + -1. Which is bigger: s or p?
s
Let v = -13/12 + 3/4. Let c = -18 - -26. Is c greater than or equal to v?
True
Let j(o) = -o**3 - 3*o**2 - 3*o - 3. Let u be j(-2). Let y(h) = -h**3 - 5*h**2 + 6*h + 1. Let b be y(-6). Let p be ((-2)/(-5))/(b/(-5)). Is p equal to u?
False
Let b be (-27)/((-2)/(-24)*-2*-6). Which is greater: b or -26?
-26
Suppose 3*d - 6 = 9. Let b = -3.1 - -3. Which is smaller: d or b?
b
Let q = 4 + -2. Let k be (-6)/(q - (-2)/(-4)). Is k at most as big as -0.4?
True
Suppose -x + 11 = 2*m - 0*x, 2*x - 2 = 0. Let z = -3 - -9. Is z not equal to m?
True
Let l = 26 - 21. Let g = 3604/11 - 328. Let m = 50/77 + g. Is l greater than or equal to m?
True
Let x = 14 - 3. Let h = -10.9 + x. Which is bigger: 1 or h?
1
Suppose f + 14 = w, 5*f - 2*f = 12. Let i be 1/2 - 15/w. Let b be -2 - (-1 + 0 + 0). Which is smaller: b or i?
b
Let y(k) = -k**3 - 4*k**2 + 7*k - 2. Let q be y(-6). Let p = -57/2 + q. Is 1.9 smaller than p?
False
Let f(d) = d - 4. Let i be f(2). Let z = i + 2. Which is greater: -2 or z?
z
Suppose -d + 7*z - 2 = 4*z, -z = -3*d + 2. Let g be (-3)/5 - (-3)/6. Which is smaller: g or d?
g
Let o(g) = g**2 - 9*g + 10. Let t be o(8). Suppose 2*w = -4*n + 4, -3*w = -t*n + 9 + 9. Suppose -m - 32 = -3*j - 6*m, 16 = 4*m. Is j less than or equal to n?
False
Let c = -21 + 13. Let a be c/4 - 12/(-7). Which is bigger: a or 1/4?
1/4
Let a = -6329/3 - -2140. Let x = a + -30. Is x smaller than 1?
True
Let j(y) = 3*y**2 - 3*y - 3. Let c be j(-2). Which is greater: c or 16?
16
Suppose -6 = 3*m + 3. Suppose -5 = 2*c - 1. Is m <= c?
True
Let f be 1 + -5 - (6 + -4). Suppose 0 = 4*p + 23 - 3. Which is greater: p or f?
p
Let y = 0.06 + 1.94. Is -2 less than or equal to y?
True
Let t = 0 + 2. Let h = t - 4. Let j = -1627/9 + 181. Are j and h unequal?
True
Let b be 2/(-8) - 1228/80. Which is smaller: b or -15?
b
Let f(c) = c**2 - 3*c + 2. Let b be f(1). Suppose -o - o - 4 = 0. Let m be (-2)/24*o/1. Which is smaller: m or b?
b
Let o = 357/8 + -753/40. Let h = 26 - o. Are h and -1 unequal?
True
Suppose 10*b = 5*b + 5. Which is bigger: 2 or b?
2
Let c = -0.89 - -0.69. Which is greater: -2/19 or c?
-2/19
Let f = -40 + 13. Let q = f + 29.2. Let z = -2 + q. Is z greater than -1?
True
Let c = -1.3 - -7.3. Let l = 6 - 6. Which is smaller: l or c?
l
Let j(c) = -c**2 + 4. Let i be j(2). Is 0 bigger than i?
False
Let j = 5 + -3. Let x = -9/37 + 221/148. Which is greater: j or x?
j
Let n be ((-4)/(-4) + 3)*(-23)/3. Is -32 less than n?
True
Let i be 538/(-9) - 6/27. Let s = i - -118. Let n = s - 233/4. Which is bigger: n or 1/2?
1/2
Let g = -9/134 + 1305/1474. Which is bigger: g or 0?
g
Suppose l = -3*h - 2, 0 = 5*h - 0*l + 2*l + 3. Which is greater: 0 or h?
0
Suppose -2*o - 90 = 3*p - 0*o, 0 = 4*o. Which is bigger: p or -31?
p
Let p = -2/13129 - 12735124/39387. Let d = 3247/12 + p. Let l = d + 53. Which is bigger: 1 or l?
1
Suppose 4*h = -b + 13, -b - 2*h - 1 = -2*b. Let n be (-48)/15 + 1/b. Does n = -3?
True
Suppose -3*m + 24 = 3*p, m - 5*m = -4*p. Let n(t) = -2*t + 1. Let i be n(-1). Which is greater: m or i?
m
Suppose 2 - 7 = -5*o. Is o not equal to 6?
True
Let v(w) = w - 3. Let f be v(-5). Let m(y) = -y - 9. Let n be m(f). Which is smaller: n or 0?
n
Suppose -2 + 10 = 2*x. Suppose 5*v - 4*w + x = v, v - 4*w + 4 = 0. Which is bigger: 4/5 or v?
4/5
Let a be (-385)/121 + (-12)/(-3) + -1. Does 4 = a?
False
Let x = -6.96 + -0.04. Let p = 18 - 19. Is x greater than or equal to p?
False
Let p = 29 + -57/2. Is 8 bigger than p?
True
Let s be (-58)/(-8) + 3/(-12). Let z = -4 + s. Which is smaller: 2 or z?
2
Suppose 2*a + 4*l = -l + 10, 0 = 4*l + 8. Suppose -x + b + 0*b + 10 = 0, 0 = -4*x - 2*b + a. Suppose -x*r = -3*r. Which is smaller: r or -2/3?
-2/3
Let z be (-49)/210 + (-2)/3. Which is bigger: z or -2?
z
Suppose 0 = 2*g + 3*g. Which is bigger: -5/4 or g?
g
Let l = 75 - 72. Let x = -1.99 + 2. Is l less than or equal to x?
False
Let q = 0.22 + -0.92. Is q at least as big as -0.1?
False
Let j(m) = 3*m**2 + m + 3. Let z be j(4). Let x be 6/4 + z/(-10). Are -3 and x equal?
False
Let h(r) = -r**2 - 5*r - 4. Let g be h(-4). Let l be (2/(-4) - g)*4. Let d be l - (54/(-15) + 1). Is d > 0?
True
Let u = -290/99 - -28/9. Which is smaller: -6 or u?
-6
Suppose 0 = -5*u + 5, 0*j + 18 = 4*j - 2*u. Is -4 < j?
True
Let p be -1 - ((-15)/(-7))/(-3). Let z = 101/63 + -17/9. Is z <= p?
True
Suppose 0 = 3*b + 2*s - 24, 16 = b + 3*s + 1. Let d = b - 4. Is d at least as big as 1?
True
Let w be (1 + (0 - 1))/2. Suppose -2*j - 2*j + 20 = w. Is j != 5?
False
Let b(s) = -s**3 + 6*s**2 + 7*s + 7. Suppose 5*k - 8 = 27. Let t be b(k). Which is bigger: 6 or t?
t
Let d = -77 + 77. Is -1/47 at most as big as d?
True
Let p be (-1)/3 + (-2)/(-1). Suppose 2*j = 5*g + 14, -4*j - 2*g = -4*g - 12. Is j at most p?
False
Let d be 15/9*(-30)/(-175). Which is smaller: d or 4/5?
d
Let a = 0.27 + -0.17. Is 5 < a?
False
Let q = -62 - -64. Which is smaller: q or -5?
-5
Let f(z) = -z**3 - 23*z**2 - 22*z + 4. Let n be f(-22). Is 6 greater than n?
True
Let t be (4 - (-21)/(-5))/((-4)/(-5)). Which is greater: 0 or t?
0
Suppose -2*t - 3*g - 4 = -g, g + 3 = 0. Are -2/31 and t equal?
False
Let x be ((-34)/(-255))/((-108)/(-10)). Which is greater: 0 or x?
x
Suppose x + 2 = -x. Which is bigger: x or -5/4?
x
Let g(d) = -d**3 - 6*d**2 - d + 1. Let x be g(-6). Let j = x - 6. Are 1 and j equal?
True
Let v = -2 - -2. Which is greater: v or -1?
v
Let t = -41 - -41. Which is bigger: t or -2/13?
t
Let c = -273/11 + 25. Let z =