w) = -3*w. Let p be a(2). Which is smaller: q or p?
q
Let l be (-36)/(-7)*9/(-18) + -3. Which is smaller: -7 or l?
-7
Suppose -2*d = -4*m - 8, -20 = -5*d + 7*m - 3*m. Let o be (-1)/(-5) + (-56)/(-20). Is d greater than o?
True
Suppose 0 = 4*u - 16 - 16. Suppose 0 = 2*s + 2 + u. Let p be s/(-3) - (-4)/(-6). Is p at most as big as 0?
False
Suppose 6 - 4 = -2*u. Let r be (-3)/(u + -2) + 0. Is r greater than or equal to 1?
True
Let z(f) = -f - 1. Let t(s) = 5*s + 1. Let h(b) = t(b) + 4*z(b). Let r be h(3). Let v be ((-6)/(-3))/(-1*3). Which is smaller: v or r?
v
Let n = 8 - 1. Let u = n + -12. Is u bigger than -2/7?
False
Let v be (-3)/(-24) - 47/88. Do v and -1 have the same value?
False
Suppose 0*j + 9 = 3*j. Let c(k) = -k**2 + 3*k. Let t be c(j). Let u = 2/355 - 736/4615. Is u less than t?
True
Suppose 5*s - 2 = -2*p - 3, 5*p + 15 = 0. Let v be ((-98)/120)/(6/15). Let m = 11/8 + v. Which is greater: m or s?
s
Let w = 0.2 + -0.1. Let z be 4/2 - (-5)/(-5). Suppose 0 = -5*j - 16 + z. Which is greater: w or j?
w
Let k(r) = -r**3 - r**2 + r. Let v be k(0). Suppose 2*m + v*m + 6 = 0. Let o = 3 + m. Is o greater than or equal to 2/31?
False
Let f = -0.2 + 1. Let y = -0.5 + f. Which is greater: 1/3 or y?
1/3
Let y = -26 + 35. Is 10 >= y?
True
Suppose 2*p - 14 = -2. Which is greater: p or 10?
10
Let s = 2 - 0. Let y(t) = t**3 - 3*t**2 + 2*t - 2. Let z be y(3). Let b be ((-8)/(-4))/(z/3). Which is smaller: b or s?
b
Let d be -3*2/6*4. Let c be d/(-14) - 24/(-14). Let j be (-2)/(-2) - 1 - -1. Is c less than or equal to j?
False
Let f = -42 + 11. Is 0 greater than or equal to f?
True
Let k = 68/105 + -14/15. Let p = 0.02 + 0.38. Is k at most as big as p?
True
Let k be 5 + -1 - (-1 + 1). Suppose -1 - 5 = 2*n. Let g = k + n. Which is greater: 3/7 or g?
g
Let b(p) = -p + 2. Let u be b(-7). Is 9 less than or equal to u?
True
Let b = -40857/35 + 1167. Is -1 at least as big as b?
False
Let c(j) = 2*j - 14. Let n be c(6). Let w be (n/3)/((-28)/42). Is w != 10/9?
True
Let b = -14 - -20. Let k = b - 23/4. Which is smaller: 1 or k?
k
Let i(l) = -l**2 + 10*l - 10. Let f be i(9). Let p be (f - -1)/(-4 + 3). Which is smaller: p or -0.2?
-0.2
Let d be -1*3/(-426)*-2. Which is smaller: 0 or d?
d
Let x be (40/(-15))/8*3. Let w = -2 + 4. Suppose 0 = -5*a - q + w*q, -4*q = 2*a + 22. Is a at least as big as x?
True
Let m = 2 - 0. Let o = -3 - -3. Let x be 1 - o - (-7 + 3). Is m less than x?
True
Let z = 12 - 12. Let c be 18/21 - (2 + z). Which is smaller: c or -1?
c
Let d be (-2)/(-3*(-3)/(-18)). Suppose 4*q - 2*r - 3*r - 31 = 0, -2*q + 5 = r. Suppose 5*x = 10, 4*g + 3 - 11 = -q*x. Which is greater: d or g?
d
Let n(r) = -29*r**2 - 2*r - 2. Let m be n(-1). Let b be 3 + 1 + 118/m. Is 0.1 greater than b?
True
Let w be 4/(-6) + 1598/30. Let m = w - 53. Let t(z) = z - 6. Let l be t(6). Is m less than l?
True
Let j be (-9)/(-18)*-2*1. Is j bigger than 2/25?
False
Let z = -88 + 90. Does -1 = z?
False
Let z = -5/2688 + -18419/52864. Let v = 1/59 + z. Is 1 greater than or equal to v?
True
Let z be 2/3*(-9)/6. Which is greater: -1/9 or z?
-1/9
Let d be ((-6963)/8)/(81/(-180)). Let b = 1963 - d. Let v = -29 + b. Is 1 <= v?
False
Let b = 28 - 29. Which is smaller: b or -14?
-14
Let w be 3 + (-2)/((-4)/(-122)). Let d = w - -113/2. Which is smaller: d or -3?
-3
Suppose 4*t + 6*p = 3*p + 30, 4*t = -5*p + 26. Which is bigger: 0 or t?
t
Let v = -11756869/1155 + 50904/5. Let u = -2/77 + v. Are u and 2 unequal?
True
Let d = 2/109 - -204/763. Which is bigger: 1 or d?
1
Let u = 6 + -4. Let p be 3 - 0*(u + -1). Suppose b - 4 = -p. Is b not equal to 1?
False
Let p(h) = -h**3 - 8*h**2 - 6*h + 9. Let c be p(-7). Which is smaller: c or 10/7?
10/7
Let g(k) = k**2 - k + 5. Let b be g(-3). Suppose s + 4*s = 90. Which is bigger: b or s?
s
Let x = 3 - 33. Let a = x - -19. Are 0 and a non-equal?
True
Let k be (-12)/14*3/(-6). Suppose -p - 4 + 0 = -3*d, -5*d - 5*p - 20 = 0. Which is greater: d or k?
k
Let o(h) = -h + 11. Let f be o(8). Suppose f*z = -b - 5, 3*z = -z - 4*b - 12. Which is bigger: -2/25 or z?
-2/25
Let g = -255.07 + 255. Let x = 1.9 - 2. Which is smaller: g or x?
x
Let b(z) = -z**2 - 6*z - 2. Let s be b(-4). Let n(m) = m. Let u(c) = 5*c + 9. Let h(f) = s*n(f) - u(f). Let v be h(7). Which is bigger: -3 or v?
v
Let g = -617/33 - -55/3. Suppose -j + 3 = 2*j. Which is smaller: j or g?
g
Let l(w) = -w**3 + 4*w**2 - 5*w + 2. Let o be l(3). Suppose 4*r - 23 = -5*y + 8, 0 = y + 3*r - 15. Let d = o + y. Which is greater: -5/4 or d?
d
Suppose -2*v - 2*p + 6 = 0, -v = p - 2*p + 1. Let c(x) = -x**2 - 8 + 7*x + v + 0. Let y be c(6). Is -2 smaller than y?
True
Let n be 6/(-8) + (-10)/8. Suppose -2*t - t - 12 = 0. Let b be n*1*(-2)/t. Is 1 at most as big as b?
False
Suppose 4*v + 67 = 5*a, -18 = -0*v + v - a. Suppose -3*n + 44 = -5*n. Which is smaller: n or v?
v
Let a = -0.2 - -0.3. Let x be -3*((-2)/(-3) - 2). Suppose -4*r + t = -2*r + 11, 8 = x*r + 4*t. Which is bigger: a or r?
a
Suppose h = 4*h. Let w = -6 + 6. Suppose 4*p - p - 5*z + 17 = w, 0 = -p + z - 3. Which is smaller: p or h?
h
Let x = -0.05 + 2.55. Let a = x - 2.8. Which is smaller: -1 or a?
-1
Let l = 9 + -7. Are l and -5 unequal?
True
Let a = -18 - -11. Let q = -12.8 + 5.8. Let i = q - a. Which is smaller: i or 2/3?
i
Let f(b) = b**3 + 9*b**2 - 4. Let y be f(-9). Let t be -1 + (-2)/(y - -2). Which is smaller: t or 2/69?
t
Let z be -1 + 0 + 148/35. Let v = z - 14/5. Is v smaller than 1?
True
Let y be 1 + (-3 - -5 - 375). Let z = -2237/6 - y. Is 0 != z?
True
Suppose -t - t = -6. Let k = t + -6. Is k > -1?
False
Let n be 332/(-630) + (-8)/(-14). Are n and 0 nonequal?
True
Let s(r) = -r**2 + 2*r. Let p be s(-3). Let v be -3 - 9/p - -2. Which is greater: 0.5 or v?
0.5
Let b be 40/(-15) - 2/6. Let l be 4/b*(-2)/(-4). Which is smaller: -1 or l?
-1
Let c = -2 + 6. Let j = 0 + 0.1. Is c bigger than j?
True
Suppose -2*g = 3*p + 693, 8*g = 3*g - 3*p - 1737. Let v be 15/90 - (-82)/g. Which is bigger: 0 or v?
0
Suppose -5*w + 12 = 2. Suppose -2*f = -f + w. Let l = f - -5. Which is smaller: l or 0?
0
Let a(q) = 3*q**3 + q**2 + q + 1. Let z be a(-1). Which is smaller: z or 0?
z
Let x = 6 - -6. Let p be (-14)/(-4)*x/6. Suppose -4*h + 13 = -p. Are h and 5 equal?
True
Let k = 12/7 - 8/7. Let j = -2 - -3. Which is smaller: j or k?
k
Let p = -9 + 11. Suppose -4*l + 59 = -5*n, l + 19 = -p*n - 2*l. Let c = -10 - n. Which is greater: c or 1/7?
c
Let y = 0.35 - 0.13. Let k = y - -0.08. Which is bigger: k or 2?
2
Let w be (-2)/(-4 - (-10)/3). Which is bigger: w or 1?
w
Suppose 4*l = -20, l + 1 + 12 = -m. Which is bigger: m or -7?
-7
Let c = 47 + -49. Is -4 at least c?
False
Let k = -0.011 + -0.529. Let h = k + -0.06. Which is smaller: -0.2 or h?
h
Let r = 3 - 18. Let i = r - -9. Which is bigger: i or -7?
i
Let l(z) = -7*z**2 + 16*z - 11. Let q(g) = 6*g**2 - 15*g + 11. Let x(j) = -5*l(j) - 6*q(j). Let u be x(8). Let b = u - 1. Are 3 and b non-equal?
True
Let u = -40 + 39.9. Which is smaller: u or 63?
u
Let o = -0.9 + 0.4. Let s = o - -0.2. Let i = 0.3 + s. Which is bigger: -0.1 or i?
i
Let s be (1 - 9/(-6))*2. Let h(i) = i. Let q be h(s). Is 4 < q?
True
Let o = 10 + -7. Let w = -0.023 + 1.023. Let i = o - w. Which is smaller: 0.1 or i?
0.1
Suppose 5*f - 9 = 4*f. Suppose -5*o + 2*o = -f. Which is smaller: 5 or o?
o
Let h = -121.91 - 1.09. Which is smaller: h or -1?
h
Let x = 1 + -0.8. Is x greater than -3/2?
True
Let a be 24/14 + (-40)/(-140). Which is greater: 1 or a?
a
Suppose d + 19 = 5. Let k = d + 16. Let m be ((-15)/4)/(3/(-2)). Are k and m nonequal?
True
Suppose -4*d - 4*p + 152 = 0, 8 = d - 2*p - 18. Let s be 1/7 + d/(-42). Which is smaller: 0.1 or s?
s
Suppose 0 = -11*c - 6 + 17. Is 4/29 > c?
False
Let s(n) = -n**3 + 2*n**2 + 4*n - 3. Let o be s(3). Let x be 4/8*(-2 + o). Which is smaller: x or -2/3?
x
Let v = 0.63 + 0.07. Let f = 0.08 - 5.08. Let d = f + 6. Which is bigger: v or d?
d
Let p be 4/14 - 18/112. Suppose -5 = 5*q - 5*n, 4*n - 5*n + 1 = 0. Let x = 1 + q. Which is smaller: x or p?
p
Let l = 17 - 12. Let c = l - 4.8. Let i = 3 + -5. Which is smaller: c or i?
i
Let d be 2/(17/(-3)*-3). Is d not equal to 0.1?
True
Suppose 2*z + 4 = 0, 8 = 3*d - 2*z - 2*z. Suppose d = t - 2*p + 1, 5*t + 6*p - 25 = p. Which is bigger: 4 or t?
4
Suppose -5*c - 2 - 8 = 0