 = -605 - -604. Which is bigger: m or q?
m
Let a = 0.01 - 2.01. Which is bigger: a or 4?
4
Suppose 3*l - 26 = 4*k, -9 = 5*l + 4*k + 1. Let x = 4 - l. Which is smaller: 1 or x?
1
Suppose 0*u - 2 = -2*u. Which is greater: 3/11 or u?
u
Suppose -12*s = -11*s. Which is smaller: 1/4 or s?
s
Let y = -24423658186/9 - -228214661145275/84096. Let k = y + 1525/128. Let b = 1/73 - k. Which is smaller: b or 0.3?
b
Suppose 3*x + 0*x = -2*w - 18, 0 = -5*w + 15. Which is bigger: -5 or x?
-5
Let v be (-9)/(-15) - 2/(-5). Let c be (-999)/(-7) - 6/(-21). Let r = 718/5 - c. Which is bigger: r or v?
v
Let s = -154 - -2157/14. Let q = 51/28 - s. Which is bigger: q or 2?
2
Suppose -2*z - 5 = -6*z + t, 8 = 3*z - 5*t. Let u be (-6)/15*(z - 36). Let k = -10 + u. Do k and 3 have the same value?
False
Let p be (14/(-10))/((-11)/55). Which is greater: 32/5 or p?
p
Let t be -1 + 3 + (-3)/1. Let v = t - -1. Is 0 less than or equal to v?
True
Suppose 3*k + 19 = -5*s, -2*s - 16 = -5*k + 2*k. Is -8 greater than s?
False
Let s = -2.89 + -0.11. Is s less than 5?
True
Let v = -0.007 + -2.993. Is v at most 3/4?
True
Suppose -4*l + 5*v = -3, -4*v = 4*l - 9*l + 15. Let i = l - 5. Which is smaller: 0.4 or i?
0.4
Let w be -8 + (-3)/3*-1. Let j(h) = h + 7. Let t be j(w). Which is bigger: t or 1?
1
Suppose -d = 5*u + 163, 3*u + 5*d + 18 + 93 = 0. Is u less than -32?
False
Let l(t) = t**3 + 2*t**2 - 2*t + 1. Let i be l(-4). Is i less than or equal to -25?
False
Suppose -2 - 1 = -5*y - 4*v, 3 = 3*y + 3*v. Is y bigger than 3/23?
False
Let x be (-1)/(-2) - 14/(-28). Let s be 14/10 + (-2)/5. Let g be 9/12 - (s + 0). Which is smaller: g or x?
g
Let n = 11 - 11. Is n > 3/31?
False
Let z = 0 - -2. Let c = 1 + 1. Suppose c*m - 3*m = -3. Which is bigger: m or z?
m
Let n = 0 - 0. Let l = -2 + n. Let w(u) = u - 1. Let h be w(l). Is h not equal to -3?
False
Let i be (-4)/(-8)*(28/(-5) + 6). Suppose r = -r - 2. Which is bigger: r or i?
i
Let b = -1.2 + 0.2. Suppose 0 = -4*o - 4 - 0. Let d be o/(-2)*(-4)/(-6). Which is bigger: d or b?
d
Suppose 0*y - 1 = y. Suppose 4*l + 2*z - 30 = 0, 2*l + 5*z - 46 = -11. Suppose -s + 17 = -l*g - 7, -2*g = -4*s + 6. Is s smaller than y?
False
Let m = 23709/38 - 624. Is -1 smaller than m?
True
Let j be (-18)/(-48) - (-60)/352. Suppose f = p + 3 - 2, 0 = -3*p + f + 3. Which is smaller: j or p?
j
Suppose 6 = -3*c + c. Let v be c/9*-3*2. Suppose -h + 1 = v*r + 7, 11 = r - 3*h. Which is bigger: r or 1?
1
Let u = -3 - -2.7. Let d = u - -0.2. Let b = -0.22 + 0.02. Which is smaller: d or b?
b
Let z be 104/(-28)*35/(-20). Which is greater: z or 1?
z
Let s(d) = d**2 - d - 1. Let f be s(2). Is -1/8 smaller than f?
True
Let t(a) = -47*a**3 - 3*a**2 + 5*a - 1. Let w be t(1). Is w smaller than -46?
False
Let z = -0.29 + 2.19. Let w = z + 0.1. Is w smaller than 7?
True
Let j = 8.25 + -0.25. Which is smaller: j or 2/5?
2/5
Suppose -2*h + 15 = 3*h - 3*l, -2*l - 10 = -5*h. Is h greater than or equal to -3.3?
True
Let b be 0/(4/(-2 - 2)). Do b and -0.2 have the same value?
False
Let u = 39 - 19. Let o = u + 86. Let q be (-8)/(-44) + o/22. Which is smaller: 4 or q?
4
Let n = -2.1 - -4.5. Let l = n - 4.4. Which is smaller: l or -1?
l
Suppose 4*g = -6*g. Is g <= -4/25?
False
Let c = 1/8 - 3/8. Are -1 and c nonequal?
True
Suppose 0 = -q - 2*y + 14, -y - 15 = -5*q - 0*y. Is q bigger than 17/5?
True
Let d = 3 + -2. Let h = -14 - d. Is -15 >= h?
True
Suppose 2 = -0*j + j. Let i be ((-2)/(-12))/((-1)/j). Let l = 161 + -161. Is l greater than i?
True
Let b be 6/(-4)*8/(-3). Suppose -b = -8*q + 4*q. Let v be (-3)/1 - -2 - -1. Is q > v?
True
Let i(o) = 2*o - 9. Let d be i(8). Let n = d + -3. Let f(r) = 2*r**2 - 2*r - 1. Let m be f(2). Which is smaller: m or n?
m
Let m(w) = w**3 - 6*w**2 + w - 3. Let g be m(6). Suppose 2*p = -5*f - 1 + 3, 5*f + g = 3*p. Let h = 3 - 0. Which is greater: p or h?
h
Let q = -6 - -23. Is 17 less than q?
False
Suppose 5*m + 25 = o, 4 = m - 0*o - 2*o. Let s be 32/m - 2/3. Is s > -3?
False
Let k = -0.5 + 0.9. Let m = 115/3 + -39. Is m at most as big as k?
True
Let b(y) = -y**3 - 3*y**2 + 4*y - 1. Let g be b(-4). Is -3/7 > g?
True
Let c(b) = -b**2 - 2*b - 1. Let g be c(-1). Let f be -28 - (0 - (0 + g)). Let q be 7/f + 1/4. Which is smaller: q or -3/4?
-3/4
Let j(l) be the third derivative of l**4/8 + 2*l**3/3 + 2*l**2. Let h be j(-3). Let s(k) = -k**3 + 2*k**2 - 3*k + 1. Let x be s(2). Is h at least x?
True
Let s be 1/4 + 60/16. Let a = 11 + -7. Suppose 6 = -5*i + a*o, s*i + 5*o = 2*o - 11. Which is smaller: -1 or i?
i
Suppose 0 = -3*p + 4*p. Which is smaller: -2/349 or p?
-2/349
Let t = -1172/253 - -48/23. Let w = 26/11 + t. Suppose -a - h - 1 = 0, 0*h + 1 = 3*a - h. Which is smaller: a or w?
w
Let v = 3/91 + 261/364. Which is smaller: 4 or v?
v
Let c = 9 + -7. Suppose 5*t + 3*q = -c*q + 50, t = -3*q. Suppose 5*g = -0*g + t. Is 2 bigger than g?
False
Suppose 0 = t - 2*y + 7, -2*t - 3*t = y - 9. Is t < 7/11?
False
Let w be 0/((-1)/(1/2)). Let f be (-5)/(-36) - (-16)/(-64). Which is greater: w or f?
w
Suppose -2*f = -0*f - 10. Suppose p + 6 = 3*u, -f*p + 4*u + 2 = 10. Let d = -2/81 + 89/324. Is p bigger than d?
False
Suppose -4*w + 4*y = -12 - 12, 5*y - 10 = -5*w. Let j = w + -3. Let b be 40/(-88) + j + 0. Which is smaller: 0 or b?
0
Let v = -2 + 5. Let r be 10*((-6)/(-4))/v. Suppose -9*h + 4*h = -r. Are -1 and h unequal?
True
Let h = -3 + 8. Suppose -h = -3*f + 70. Let r be (-15)/f - 2/(-10). Which is greater: -1 or r?
r
Suppose 3*j + 14 = 4*z, -j - 5*z = 2 - 10. Which is bigger: j or -6/11?
-6/11
Let h = -0.004 - 7.996. Which is greater: h or -3/4?
-3/4
Let b(h) = 4*h + 5. Let g be b(0). Suppose 0*v = 5*v + 2*t - 26, -2*v + 22 = -5*t. Is v less than or equal to g?
False
Let i be -1 + 5*1/7. Are -1 and i equal?
False
Let s = 34951/38 + -920. Which is greater: 1 or s?
1
Suppose 23 = -3*b - 22. Which is smaller: b or -13?
b
Let k be 1*3*(-20)/15. Let l = -6 - k. Which is smaller: l or 0?
l
Let y be (2/(-6))/(23/((-1)/1)). Is y less than or equal to -1?
False
Let a be 6/18*(-5 - -2). Which is greater: a or -56?
a
Let t be -3 + (1 - (-112 - 0)). Let f = 554/5 - t. Which is smaller: 2 or f?
f
Let h(i) = 2*i**3 + 7*i**2 + 3*i - 9. Let g be h(-4). Which is smaller: -36 or g?
g
Suppose -d + 64 = -2*k, -d - 3*k + 0*k + 89 = 0. Let o = 53 - d. Which is smaller: -20 or o?
o
Let p = -3.82 - -4. Let j = p - -1.82. Which is smaller: -6 or j?
-6
Let r be (1/(-4))/(4/(-24)). Which is smaller: 2 or r?
r
Let p = 17728/7 + -2527. Let h = p + -1021/182. Let f = h - -15/52. Does 0.1 = f?
False
Let d(h) = h + 2. Let k be d(0). Suppose k*l + l = 0. Is l equal to 0?
True
Let r = -29.04 - -0.04. Let l = 18 + r. Let w = l + 7. Which is bigger: w or 0?
0
Let u(q) = -q**3 - 12*q**2 - q - 8. Let j be u(-12). Suppose 2*v + 8 = j*v. Let w be (4 - (-1)/1)/v. Is -1/2 less than w?
True
Let w = -0.3 - -0.29. Let f = w + -0.29. Is -0.2 at least f?
True
Suppose 0 = -5*b + 12 + 3. Suppose -x - 3*s + 4*s = -5, -b*x = -s - 7. Which is greater: 2 or x?
2
Let u = -124 + 89. Which is bigger: u or 0?
0
Let o be (-207)/(-72) + 3*-1. Is o >= 0?
False
Suppose -4*q = -2*q - 6. Let g = 5 - q. Let r be (g/(-10))/((-2)/15). Which is greater: 1 or r?
r
Let k be (1/4)/(84/(-864)). Which is greater: -4 or k?
k
Let u(z) = z**2 - 7*z - 9. Let g be u(8). Let q be 4/6*27/6. Let p = q + g. Do p and 2 have the same value?
True
Suppose 3*g - 50 = -47. Which is bigger: 120 or g?
120
Suppose -4*o + 4 = -12. Let x = 10/3 - o. Let w = 4 + -3. Which is bigger: w or x?
w
Let b be 94/(-12) - 1/(-2). Let r = b + 7. Let c be (0 - 0)/(6 + -5). Which is smaller: r or c?
r
Suppose -2*j - 11 = -3*h - 37, 5*h + 75 = -3*j. Let x = h + 26. Is x less than or equal to 15?
True
Let d be 0/2 + (-8)/32. Which is smaller: 1 or d?
d
Let d be ((-116)/(-60) - 2)*3. Which is bigger: -1 or d?
d
Let u be 4/(-6) - (-28)/24. Suppose -3*s + 7*s = 4. Let g be s/(-1) - -2*1. Is g <= u?
False
Suppose 0 = 3*n - 3*l + 5 + 70, 3*n + 3*l = -99. Which is smaller: -26 or n?
n
Let p = 3 + -4. Let g = p + 3. Which is bigger: 1 or g?
g
Suppose 0*z + 4 = 2*z. Let l be 2 + (1 - 7)/z. Let c = 3 + -4. Is l greater than c?
False
Let n = 9 - 5. Let o be 0 + (4 - (1 - -1)). Suppose 6*h = o*h + n. Which is bigger: 1/6 or h?
h
Suppose 5 = -5*r - 5*u, -2*u - 1 = -3*r - 19. Which 