(j) = 3*j + 5. Let l be t(5). Let f be (-4)/l*-3*2. Is f <= 1?
False
Let n = 4673/3345 - -2/669. Which is bigger: -4 or n?
n
Suppose 5*x + 202 = 3*h, 0*x - 3*x = h - 72. Suppose -o + h = -4*g - 4*o, 4*g + 45 = 5*o. Let z be (-4)/6*g/10. Is z greater than or equal to 1/11?
True
Suppose 7*w - 4*w = 0. Let h = 3 - w. Is h at least as big as 2?
True
Let b = 7 - 3. Let r be (-2)/(-3) - (-4)/(-6). Suppose -b*a + a = r. Are 3/5 and a unequal?
True
Suppose -4*q + 28 = -5*r, q + 9 = -3*r - 1. Which is smaller: -33/7 or r?
-33/7
Let l be (-5)/12 + 4/(-24). Which is smaller: 0 or l?
l
Let p = 25 - 25. Are 2/27 and p equal?
False
Let d = 1 + -11. Do -11 and d have different values?
True
Let s = 3 + 4. Let m = -6 + s. Is 1 smaller than m?
False
Let x = -4 + 10. Suppose -x = -4*n + 18. Are n and 6 nonequal?
False
Let a be (165/(-84) - -2)/((-3)/4). Suppose t + 19 = 4*q - 4*t, -q - 14 = 5*t. Which is greater: q or a?
q
Let s(x) = -x**2 + x + 2. Let r be s(2). Let v = 4 + -6. Let h be v + (0 + 0)/(-3). Is h < r?
True
Let b be 3/(-6)*(5 - 3). Are 2 and b equal?
False
Let w = -9 - -22. Let f = w + -11. Do 0 and f have the same value?
False
Let p be 28/12 - (-2)/3. Suppose 0 = -p*l + 9 + 18. Suppose 6 + l = 3*d. Which is smaller: 4 or d?
4
Suppose 0 = -4*u - 1 + 5. Let a = 35 - 20. Suppose -5*y + 11 + a = 4*q, -4*q = 4*y - 24. Is u bigger than y?
False
Suppose z - 3 = 6. Suppose 4*g - 37 = -z*x + 4*x, -2*x - 3*g = -19. Which is bigger: x or 3?
x
Let l = -0.11 + 0.03. Let f = 9 + -8. Let j be 0 + f - 1/2. Is j <= l?
False
Let q = 6 + -2. Which is bigger: q or 3?
q
Let c = 10 + 4. Let u be 0 + -1 - (-8)/c. Is u > 0?
False
Let o(q) = q**3 - 2*q**2 + 2. Let p be o(2). Let g = -2 + 3. Which is smaller: g or p?
g
Let j(w) = 2*w + 10. Let z(t) = -t - 5. Let b(m) = 4*j(m) + 7*z(m). Let s be b(6). Is s at least 12?
False
Let y be (1/(-3))/((-10)/132). Does y = 0?
False
Let i = -2.4 - -5. Let z = -2.6 + i. Are 4 and z equal?
False
Let l be (8 - (-2)/1)/1. Suppose -4*c - c = -l. Are 2 and c equal?
True
Let n = -216 + 2810/13. Is n equal to 1?
False
Let f = -73/5 - -74/5. Which is greater: -12 or f?
f
Let t(p) = p. Let g be t(-2). Let u be (-3 - g)*(-2 - -2). Are u and -2/7 unequal?
True
Let r = 5 + -1. Suppose 0 = -4*o + 4. Which is greater: o or r?
r
Let s = -46 - -1885/41. Which is smaller: 0 or s?
s
Let y = -76 + 76. Which is smaller: y or 1/21?
y
Suppose 0 = 2*y + 2*y - 8. Suppose h = -y*h. Which is greater: h or -4/3?
h
Let c be (4 - 3) + 0 + -1. Suppose -3*o + 6*o = 0. Is o not equal to c?
False
Let y = 100 + -51. Which is greater: 50 or y?
50
Let b be (2 - 3) + 2/2. Suppose 0*m + 5*m = b. Which is smaller: m or 2/5?
m
Suppose -3*j + 24 = j. Let m be (j/8)/(1/12). Let y be (-1)/m*(-1 + -2). Is 0.5 equal to y?
False
Let f = 6 + -5. Let w(a) = -13*a - 5. Let i be w(11). Let z = i - -1632/11. Do f and z have the same value?
False
Let d = 10 + -10. Let m = -1.9 + 2. Is m >= d?
True
Let d be (6/9 + -2)*3. Suppose -z + 11 = 3*c, -z + 0*c = 5*c - 21. Is z at most as big as d?
True
Suppose 0 = 4*n + n + 255. Is 1/3 <= n?
False
Suppose -2*c - 3*c - 15 = 0. Let v(a) = a**3 - 4*a**2 - 6*a + 4. Let j be v(5). Let x be ((-2)/c)/(j + 3). Are -2/9 and x unequal?
True
Let l = -0.66 + 0.6. Let m = 0.06 + l. Let p = 12 + -11.96. Is m less than p?
True
Let n be 2/(4/(-3)) - -1. Let v = -3.7 + 0.7. Which is smaller: v or n?
v
Suppose 0 = -3*r + r. Let k(m) = m**3 - 4*m - 7 + 4*m + m. Let u be k(r). Is -8 at most as big as u?
True
Let l(x) = x - 2. Let k be l(-10). Let y be -2*3/k*3. Is y not equal to 2?
True
Suppose 5*o = o - p + 10, 5*p + 1 = -3*o. Let x = o + -4. Which is smaller: 0 or x?
x
Let t(h) = -h**3 + 7*h**2 + 14*h - 45. Let d be t(7). Is d < 52?
False
Let y be 0/(9/3)*(-6)/(-6). Which is smaller: 5 or y?
y
Let z(i) = i**2 + 7*i + 3. Let y be z(-7). Is -3 greater than y?
False
Let f be (-2)/10*(-2 + 0). Let m = -149 - -150. Is f >= m?
False
Suppose -3*y = -r + 90, -4*r = -y - r - 30. Is -29 bigger than y?
True
Let m be (-22)/10 - (2 - 4). Which is smaller: m or -0.4?
-0.4
Let n(y) = y**2 - 8*y - 2. Let z be n(8). Let w = -4 - z. Is -5 smaller than w?
True
Let w = 0 - 0. Let c = 14 + 10. Let g be ((-18)/c)/((-45)/8). Which is smaller: w or g?
w
Let k = -0.7 - -0.7. Which is bigger: 0.8 or k?
0.8
Suppose -2*h + 2 = 0, 8 = -0*k - k + 5*h. Suppose t + 4 = -2. Let s be 2/k*t/16. Is s at most 1?
True
Let t = 196 - 198. Is -20/11 > t?
True
Let z(a) = a**2 - 8*a + 2. Let k be z(8). Suppose -c + 3 = k*c. Is 3/5 equal to c?
False
Let h be (-112)/(-34)*16*-4. Let b = -211 - h. Which is greater: -1 or b?
b
Let p = 0.5 - 0.5. Let f = 0.1 - p. Let k = 0 - f. Which is greater: k or -1/6?
k
Suppose -3*h = 2*u - 10, 4*u + 2*h = u + 15. Is u greater than or equal to 3?
True
Let r(f) = f**2 + 5*f. Let i(h) = -2*h**2 + 2*h - 2. Let l be i(2). Let c be r(l). Which is smaller: 7 or c?
c
Suppose h - 12 = 3. Let z be -5*-8*3/h. Let l = z + -5. Is l less than or equal to 4?
True
Suppose -2*b - 21 = b. Suppose 2*y = y + 5*o - 33, -4*y - 57 = -5*o. Is y <= b?
True
Let d = -2.5 + 2.8. Let c(y) = y**2 + 5*y. Let f be c(-5). Are d and f non-equal?
True
Let a = 539 + -42577/79. Let m = -114/869 - a. Are m and -1 unequal?
True
Let q = -7.7 - -8. Let c = -0.7 - q. Let l = 0.29 + -0.09. Which is bigger: l or c?
l
Suppose 7 + 17 = -12*y. Which is smaller: 11 or y?
y
Let b = -4601/23 - -200. Let t(j) = -j + 4. Let d be t(5). Is b < d?
False
Let c(j) = j + 5. Let g be c(-6). Suppose 0 = k + 3 - 8. Suppose -5*r + 5*m = -0*m - k, -4*r - 11 = m. Which is bigger: r or g?
g
Let q(a) = 2*a - 2. Let o be q(5). Let l be (-3 + (-132)/o)/6. Which is bigger: l or -3?
-3
Let t = 0.43 - 0.72. Which is smaller: 1 or t?
t
Suppose 13 = 2*l + 1. Let z be l/(-4) - -2 - 1. Which is greater: -1 or z?
z
Suppose y + 4*y - 4*o = 62, 4*y - 3*o = 49. Let d = y + -13. Is -3 greater than or equal to d?
True
Suppose -w + 4*w = 0. Let m be -7*((-4)/14 - w). Which is bigger: m or 6/5?
m
Let n be 3 + 2/2 + -1. Let b be 30/(-182) - (-4)/26. Let h = 179/273 - b. Is h not equal to n?
True
Let p = -22 + 54. Let t be ((-4)/p)/((-1)/(-2)). Which is smaller: t or 1?
t
Suppose -3*r - 3*l = 24, -3*r + 2*l - 34 = 7*l. Let o be r/18 - (0 - 0). Which is greater: o or 0.1?
0.1
Suppose g = 3*w + 2, g + 3 = -w + 5. Is -10/9 greater than w?
False
Suppose 4*f + j = -2*j + 209, j = 2*f - 97. Let m = 2861/18 - 994/9. Let s = m - f. Is -1 > s?
True
Suppose 17*u - 21*u = -48. Is 13 not equal to u?
True
Let l(c) = -c + 222. Let f be l(0). Let n be f/336 + 6/(-21). Which is bigger: -1 or n?
n
Suppose 13*v - 8*v - 5 = 0. Which is smaller: v or -6/19?
-6/19
Let q be -3 + (0 - -2)/1. Let s be 1*q + (3 - 1). Let g = -2797/10 + 280. Which is smaller: s or g?
g
Let i = -3 + -9. Let k be 4/8*i/2. Is -3 at most as big as k?
True
Let t be 5*(0 + 4/(-10)). Let k be (-14)/91 - 100/26. Which is greater: t or k?
t
Let o = -4 + 4. Which is smaller: o or -1/15?
-1/15
Let k = 190 - 187.4. Is 1/4 >= k?
False
Suppose -2*m + 21 = 5*j, 5*j - 19 = 4*m + 14. Is m bigger than -8/13?
False
Let i(v) = 2*v**2 - 2*v - 2. Let g be i(-3). Suppose -2 = 5*u - g. Let z = u + -2. Which is smaller: 1 or z?
1
Let h = -4 + 5. Suppose -2*g + 7 = -h. Suppose -3*p - 2*i = 3*i + g, 0 = p + 5*i + 8. Are 2 and p non-equal?
False
Suppose 2*g = -27 - 13. Let v = 12 + g. Let w(p) = -p**2 - 9*p - 9. Let m be w(v). Are m and -1 equal?
True
Let g = 1.8 - 2. Suppose 10 = -j - 4*j. Is g > j?
True
Let m = -143/4 - -36. Is m at most as big as -2?
False
Suppose 3 = 3*s, -a + 5*a + 5*s = 9. Let j be 1/3*0 + 2. Suppose g = j*g. Is g at most a?
True
Let o = 96/7 - 2215/161. Is 0 smaller than o?
False
Let g(k) = -k - 2. Let h be g(4). Let q = 8 - 15. Is q > h?
False
Let m = -23/48 - 3/16. Is m at least as big as 2?
False
Let j = -3 - -8. Suppose j*z - 1 = 4*z. Is z greater than 1/4?
True
Let c(d) be the third derivative of -d**6/120 + d**5/12 - d**3 - 5*d**2. Let p be c(5). Which is bigger: p or -5?
-5
Let n(o) = -4*o**2 + 3*o - 4. Let r(j) = 5*j**2 - 3*j + 5. Let v(u) = 4*n(u) + 3*r(u). Let y be v(2). Which is bigger: y or -3/13?
y
Let y = -5 - -8. Suppose -32 = -y*b - b. Let p = -6 + b. Which is bigger: p or 1?
p
Let u be (2 - 1 - 5)*-16. Let i = u + -322/5. Which is bigger: i or 0?
0
Suppose -4*t - 5 = t. Let l be