*j = 3*m + 21. Is m > -2?
False
Let z be (4/10)/(1/(-10)). Let h(o) = o**3 + 10*o**2 - 11*o + 1. Let k be h(-11). Let d be 1 - (-4 + k)*-1. Is d != z?
True
Let w be 6/(-15) - 154/(-410). Let f = w - -251/205. Let q = 21 - 21. Is f greater than q?
True
Suppose -2*w + 3*w - 6 = 0. Do w and 6 have the same value?
True
Let o be (-1)/2 + 9/(-6). Is o less than or equal to -4/7?
True
Suppose 7 = 5*o - 3. Do o and 4 have the same value?
False
Let n = 499/4675 - -3/275. Let l(a) = -2*a**3 - a**2. Let r be l(-1). Which is bigger: r or n?
r
Suppose 2*q + 3*d - 5 = 5, 4*d - 20 = -4*q. Suppose 3 - 23 = -4*p. Is q > p?
False
Let j be (-4)/(-6) + 16/12. Let z be (-6)/(-12)*(-4 + j). Suppose -5*u - 12 + 2 = 0. Does u = z?
False
Let h(m) = 6*m - 2. Let o be h(1). Which is smaller: 15/4 or o?
15/4
Let k(z) = z**3 + 7*z**2 + 4*z - 8. Let n be k(-6). Let r be ((-2)/n)/((-2)/4). Suppose -r = -4*v + 3*v. Which is greater: v or 2?
2
Let z = -34 + 26. Which is bigger: -1 or z?
-1
Let i = 3.3 + -3.2. Let x be 4/(-6)*(-3)/(-131). Let w = 123/524 - x. Which is smaller: w or i?
i
Let h = -4.2 + 2.2. Is -1.6 not equal to h?
True
Let q be (-219)/(-42) + (-8)/(-28). Is q < 5?
False
Let d = -25.1 + 25. Does 2/11 = d?
False
Let g be (-1 + 1)*(-9)/18. Which is greater: g or -3?
g
Suppose 5*y = -3*b + 1, 4*y + 3*b - 6*b = 17. Suppose -4*m - 10 = -y. Which is smaller: m or 3?
m
Let q be 6/(-5)*4/(-156). Which is smaller: q or 1?
q
Let r be -6 + 3 + -1 + 1. Which is smaller: 1/4 or r?
r
Let z(m) = -11*m - 1. Let o be z(-2). Let k be (-75)/o + 3/1. Is k equal to 0?
False
Let l(j) = 5*j**2 + 6*j + 6. Let u be l(-2). Which is smaller: 13 or u?
13
Let z(j) = j**3 + 9*j**2 + 1. Let l be z(-9). Is l >= 1/8?
True
Let c = -3 + 4. Let z be (1/(-3))/(2/(-4)). Do z and c have the same value?
False
Let d = -416/5 - -83. Is d equal to -0.32?
False
Suppose 16 = -3*s - 11. Let b = s + 6. Let k be b/(-3*1 - 0). Which is smaller: k or 1/7?
1/7
Let o = 6 - 6. Suppose -5*s + 8 + 2 = o. Suppose 9 = t + 2*t. Which is bigger: t or s?
t
Let w = 25 - 24.9. Which is greater: w or 10/7?
10/7
Let v(d) = -d**3 - 4*d**2 - d + 2. Let g be v(-3). Is -2 < g?
False
Let x(l) = -5*l**3 + 21*l**2 + 19*l + 19. Let w(y) = 2*y**3 - 10*y**2 - 9*y - 9. Let m(c) = 7*w(c) + 3*x(c). Let b be m(-6). Which is smaller: b or -7?
-7
Let n be 3/4*(-5 - -1). Let j = -9 + 8. Which is smaller: n or j?
n
Let v = 38 - 40. Is 1 at most v?
False
Suppose -2*l = l - 6. Suppose l = v + v. Is v at most as big as -1?
False
Let x = -3 + 18. Let r be (-2)/(-5) + 54/x. Let a be ((-3)/(-2))/(3/6). Which is bigger: r or a?
r
Let j be (40/(-225))/(4/(-10)). Which is smaller: j or -0.3?
-0.3
Let b = 19/3393 - 4771708/3393. Let x = b - -1438. Let o = x + -32. Is o less than -1?
False
Let x(n) be the second derivative of n**4/6 + 5*n**3/6 - n**2/2 - n. Let a be x(-4). Which is greater: 19/2 or a?
a
Let v(g) = 6*g**2 + g + 1. Let p be v(-2). Suppose -5 = 3*k - p. Let j be -3 + (-9)/(-14)*k. Which is smaller: 0 or j?
0
Let l = 49 - 66. Is -17 less than or equal to l?
True
Let i be (20*2/4)/2. Are i and 2 nonequal?
True
Suppose -4*i + 6 = 2*i. Let j = -501 + 11521/23. Which is greater: i or j?
i
Let p = 205 - 1843/9. Suppose -m + 3 = 2*m. Which is smaller: p or m?
p
Let h = 70 - 68.79. Let j = 0.01 - h. Which is greater: j or 0.1?
0.1
Let y = 14 - 22. Which is greater: -9 or y?
y
Let l be 2 - (-2)/(-9)*3. Is 0 greater than l?
False
Suppose r + 0 = 2*n - 8, -2*r = n + 6. Suppose 20 = -4*i - 5*p + p, 0 = -3*i + 3*p - 3. Which is greater: r or i?
i
Let l = -0.1 - 0.6. Let z = -0.05 - 0.03. Let c = 0.02 - z. Which is smaller: c or l?
l
Let o = 89 - 89.1. Is o less than 13?
True
Let y = 34.7 + -35. Which is smaller: -6/11 or y?
-6/11
Suppose -4*z - 2*b + 128 = 0, -5*b = z - 18 + 4. Let y = z - 135/4. Which is greater: y or 1/2?
1/2
Let c = 100/3 + -33. Which is smaller: -1 or c?
-1
Let w = -0.435 - -0.235. Let l = 5/9 - 11/36. Does w = l?
False
Let p = 86 - 81. Which is smaller: p or 7?
p
Let q(l) = 81*l**2 - l + 2. Let c be q(1). Which is smaller: c or -2/5?
-2/5
Let l = -4/17 + -43/34. Which is smaller: -3 or l?
-3
Let g = 40 + -90. Which is smaller: g or -1/2?
g
Let v be (7 - 4) + -2*1. Let f = -2 + v. Is -5/3 at least as big as f?
False
Let j = 4 - 0. Suppose -j*y - y = 0. Is y bigger than -2/5?
True
Let g be 0 + 2 + (-3)/(-1). Let f(r) = 2*r. Let l be f(2). Is l less than g?
True
Let u be 0 - 5*1/(-18). Let j = u - -2/9. Which is smaller: 1 or j?
j
Suppose 4*d + 3*a = -4, -2*d - 5*a + 7 - 23 = 0. Suppose -q + d*q = 0. Suppose q = -l + 3*l + 4. Which is bigger: -1 or l?
-1
Suppose 45 = 4*m - 7*m. Which is greater: -16 or m?
m
Let i be (-2 - -7) + 233/(-49). Which is smaller: 0 or i?
0
Let q be (12/(-243))/(2/6). Is 0.1 at most as big as q?
False
Let j = -2 + 2. Suppose 3*s = -4*t, j = -3*t - 0*s + 2*s. Let z(n) = -n**2 - n - 2. Let q be z(0). Which is smaller: t or q?
q
Suppose -g + 24 = 3*g. Suppose -2*q + 4*j + 20 = 0, -40 = 4*q - 8*q + j. Suppose x = g*x + q. Is 0 <= x?
False
Let i(n) = -n**3 + 6*n**2 - 4*n - 2. Let s be i(5). Suppose s*y - 24 = -y. Is 7 <= y?
False
Suppose -4*x = x. Let t be ((-19)/228)/(1/2). Which is smaller: x or t?
t
Let z(l) = 6*l + 2. Let g be z(1). Let w be (8/32)/((-2)/g). Which is greater: w or 3/13?
3/13
Let a(b) = -b**3 - 6*b**2 - b + 4. Let n be a(-6). Which is greater: n or 3?
n
Suppose 26*o = 22*o. Suppose 2*k - 4 = -f + 5, -2*f + 2 = -4*k. Let h be (38/(-16) + k)*2. Is h > o?
False
Let r be (2/(-5))/((-1)/10). Suppose 0 = 2*s - r - 2. Let f(h) = h**2 - h - 9. Let v be f(4). Is s <= v?
True
Let j be ((-6)/(-5))/((-2)/20). Is -21/2 bigger than j?
True
Let a be 5/24807*6/(-4). Let c = -1321885/3820278 + a. Let h = -2/33 - c. Which is smaller: h or 0?
0
Let i(k) = -k**3 + 5*k**2 - 2*k - 2. Let s be i(4). Let c(n) = -n**2 + 5*n + 8. Let h be c(s). Is h <= 2?
True
Suppose 5 = 2*x + 3*l + 10, -2*l = x. Let c = -4 - -6. Which is bigger: x or c?
c
Let f = 2215806/29 + -108585560647/1421145. Let d = 2/4455 - f. Let c = d + -237/605. Is -1 >= c?
False
Suppose -5*g = 3*d - 28, 3*d = -g + 2*d + 6. Which is smaller: g or 6?
g
Let m be (-12)/74*(-2)/4. Let v = m - 52/185. Let u be 0/(-2 + 6 - 6). Which is bigger: v or u?
u
Let l = 0.2 - 0. Let f = -0.4 - l. Which is greater: f or -0.1?
-0.1
Let u = 1 - 3. Is 0 less than or equal to u?
False
Let d(m) = -m**3 + 10*m**2 + m - 4. Let y be d(10). Which is smaller: y or 1?
1
Let c = 13 - 19. Let o be (-1 + -3)/((-6)/c). Let z be (o - -3)/(2/2). Is z less than -3?
False
Let j be (-1 + -1)/(-2) - 3. Suppose -l = -3*l - 4. Is j less than or equal to l?
True
Let g = 2 + -4. Let i = 1.46 - -0.04. Let c = i - -0.5. Is g at least as big as c?
False
Suppose 59 = -2*m - 3*g + 6*g, -g = 3*m + 61. Is m greater than -22?
False
Suppose -4*n + 2*i - 311 = i, 2*n = -4*i - 178. Is n greater than or equal to -80?
True
Let l be 1 - (-1)/(1/1). Suppose -3*q = -l*h - 21, 5*q - 3*h + 7*h = 57. Suppose 5*z + q = -1. Which is smaller: 1 or z?
z
Suppose 0 = 5*d - 69 - 56. Suppose -4*w + 9 = d. Is 0 > w?
True
Let d(y) = y + 19. Let v be d(-14). Suppose 0*k = -3*k + 2*f - v, -4*f = 20. Are k and -4 unequal?
True
Suppose 2 = -5*t + 3*i, -3*t + 5*i = 6*i + 4. Is t > -3/50?
False
Let j be 4/10 - 283/(-35). Let v = 314/5 + -71. Let t = v + j. Which is bigger: -1 or t?
t
Suppose -z = 3*z + 24. Is -19/3 > z?
False
Suppose -5*q - 3*a = -20, 4*q + 5*a + 7 = 23. Let x = q + -2. Is 1 at most x?
True
Let t(w) = -1 - w - w**2 - 3*w + w. Let g be t(-2). Let o be 2/1 + (-22)/12. Which is greater: g or o?
g
Let b = -57 + 56. Which is greater: 4/65 or b?
4/65
Let v = 17 - 18. Are -9/4 and v nonequal?
True
Let o = -2 + 6. Suppose -o*r - n = -0*n + 2, 5*n = -10. Which is smaller: -9 or r?
-9
Let s = 245 - 1231/5. Let o = 0 + -2. Is s at least as big as o?
True
Let u be (-4)/10 - 4/40. Let z = -17/2 + 8. Is z >= u?
True
Let h = 145 + -143. Let m = 33 + -23. Which is smaller: m or h?
h
Let r be (-3*(-2)/(-14))/(154/49). Which is smaller: r or 1?
r
Let i = -3 + 19. Suppose -k = k + i. Let r = -6 - k. Do 2 and r have different values?
False
Let z be ((-640)/(-12))/8*(-12)/(-70). Is z at least 2?
False
Let t = -185 + 921/5. Suppose -3*z + 11 + 7 = n, 0 = 2*n + 2*z - 20. Let a = n - 8. Which is greater: t or a?
t
Let c = 15 + -12.8