m) = -2*m. Let z be b(5). Let v = -6 - z. Suppose -2*i + 10 = 3*a, -v*a - 9 - 16 = -5*i. Is 1/5 <= a?
False
Let d be (-8)/14 + (6 - (-822)/(-105)). Which is greater: -1 or d?
-1
Suppose 3*s = -l + 2, -4*l - 3*s + s + 18 = 0. Let d = 5 - l. Suppose -f + 24 = -4*x, 30 = 4*f + f - 2*x. Which is greater: d or f?
f
Let r be 1/((5/(-2))/(-5)). Suppose -r*p = -0*p + 2. Is 2/9 less than or equal to p?
False
Let i = 5 + -4. Let k be (0/(-2))/(2 - i). Is -1 < k?
True
Let d = 860/7 + -67961/553. Do d and 1 have the same value?
False
Let t be (20/8 + -3 - 0) + 0. Which is greater: t or -6?
t
Let z = 8 + -8.12. Which is smaller: 1/4 or z?
z
Let y be 6/(-4)*4/(-6). Suppose -69*l = -79*l. Is y at least l?
True
Let u = 1153/16 - 72. Is u less than -1?
False
Suppose 4*u - 6*u = -k - 12, 3*u + 5*k - 31 = 0. Let l(a) = a - 3. Let t be l(u). Is 3 > t?
False
Let d(f) = 3*f - 22. Let l be d(8). Suppose -4*u + t + 4 = -3*t, 17 = 5*u + t. Suppose b = -u*b + 4. Which is greater: b or l?
l
Let p = 3 + -2. Let n = 7.82 - 8. Let j = -0.08 - n. Which is bigger: j or p?
p
Let u = 1 + -2. Let p be 1/(-1 + (-13)/(-2)). Which is smaller: u or p?
u
Suppose -5*h + 65 = 5*d, 3*d + 3*h = -h + 42. Which is greater: d or 11?
11
Let m(b) = -b**3 + 4*b**2 - 6*b. Let v(w) = w**3 - w**2 + w - 1. Let u(l) = m(l) + 2*v(l). Let h be u(-3). Are h and 0 unequal?
True
Suppose 10*b - 1 = 9. Suppose 2*v = i - 6*i - 257, 5*v + i + 700 = 0. Let r = 1835/13 + v. Which is greater: r or b?
b
Let q = -4881/116 - -372/29. Let w = -1061/36 - q. Suppose -3*g + 1 = -14, -5*g + 23 = -2*j. Which is smaller: w or j?
w
Let u be -1 + (1 - 3)/1. Let z = -79 + 78. Is z > u?
True
Let u(o) = o**3 - o + 1. Let q be u(-2). Suppose 0 = -0*s - 2*s - 12. Do q and s have the same value?
False
Let o(i) = 2*i + 17. Let q be o(-8). Which is smaller: 1/20 or q?
1/20
Let l = -1/271 - -3527/1084. Is l <= 4?
True
Let t = 12 - 7. Let v be 1/(-1) + 5 + 0. Is v smaller than t?
True
Let p be (-8 - 0/(-1))*(-10)/(-2). Is p equal to -40?
True
Let r be ((-7)/((-7)/2))/(-4). Which is bigger: r or -8?
r
Let b be -3*(-1 + 3)/(-10). Is b greater than 2?
False
Let z = -6 - -8. Suppose -z*y + 4 = 2*y. Suppose -4*x - 3*n = y - 3, 0 = x + 2*n - 3. Which is greater: -2/21 or x?
-2/21
Let o = 0 + 0. Let b be (-2)/(-7) + (-4 - -4). Which is smaller: b or o?
o
Let k = 15 + -9. Are k and 19/3 non-equal?
True
Let l = -11 + 23. Which is bigger: 2 or l?
l
Let w be (-3)/((-9)/6)*1. Suppose 0*p = -p + 2*n - 7, 5*p + 5 = 4*n. Is w smaller than p?
True
Let r = 24 - 28. Which is smaller: -3 or r?
r
Let i = -6.62 + -0.28. Let q = i - -7. Which is smaller: q or 2?
q
Let f = 3 - 4. Let p(r) = -r**3 - 6*r**2 + 6*r - 6. Let g be p(-7). Suppose -2*k + 6*k = 5*s + 5, 4*k + s = -g. Which is greater: f or k?
k
Let x = 7 - 4. Which is smaller: 15/7 or x?
15/7
Suppose 15 + 10 = 5*t. Suppose 0 = -2*z - 3*z - t. Is -3 != z?
True
Let u = 0.2 - -0.8. Let g = -10 - -17. Suppose 7 + g = 2*m. Is m > u?
True
Suppose q = -5 + 7. Is q at most as big as 8/9?
False
Let l = -18/13 + 224/143. Which is smaller: 1 or l?
l
Let p = 0 + 1. Let s = 0.13 + 4.87. Let f = -4.9 + s. Are p and f nonequal?
True
Suppose -15 = 5*z, -z = -4*l + 7*l - 48. Is 16 >= l?
False
Let r = 11.4 - -1.6. Which is bigger: r or 1/3?
r
Let t(a) = 2*a - 4. Let x be t(0). Do x and 0 have the same value?
False
Let l = 11 - 9. Suppose -4*j - j - 25 = 0. Let q be (-3)/(-9)*(-9)/j. Which is smaller: l or q?
q
Suppose -2 + 3 = -j. Suppose -k + 0*k - 15 = -5*a, -k = 4*a - 12. Is j less than k?
True
Suppose w - 56 = -w. Let h be (-2)/7 + (-6)/w. Let b = 0.18 + -2.18. Which is smaller: h or b?
b
Suppose 4 = -2*p + 2. Let u be (1 - p) + -3 - -1. Which is smaller: u or -1?
-1
Let k be -9*((-310)/12)/5. Is k greater than or equal to 48?
False
Let m be 3 - (3 + -2 + -1). Suppose f - 8 = -f. Which is greater: m or f?
f
Let l = -2 - -2. Let u = l - -0.1. Let f = u + 0.9. Which is smaller: -1/2 or f?
-1/2
Suppose 0 = -5*y - 3*l + 295, -4*l = -6*l. Is y less than or equal to 59?
True
Let a = 4 - 3.7. Which is smaller: a or 0.04?
0.04
Let b = -4 - -3. Let y = b - -3. Suppose y*i - 2*l = 2*l - 14, -4*l + 12 = 0. Which is bigger: i or -3?
i
Let m(f) = -6*f - 1. Let b be m(-2). Let s(l) = 4*l**2 + 8*l - 21. Let q be s(2). Is b > q?
False
Suppose 3*w + 5*b = 8, w + 3*w + 36 = 5*b. Is w smaller than 6?
True
Let r(s) = -5*s + 6. Let p be r(14). Does p = -64?
True
Let h = -4 + 4. Let k = 12 - 30. Let f be (-8)/18 + 4/k. Which is smaller: h or f?
f
Suppose -3*b - 6 = -c, 2*c - b - 6 = 2*b. Let z be (-26)/(-7) + (-4)/(-14). Let n be (4/10)/(z/(-5)). Are c and n unequal?
True
Let l = -15 - -10. Let s = -8 - l. Suppose 3*r = 2*r - 3. Is s less than or equal to r?
True
Suppose 8 = -r - 2*y, -4*r + 2*y - 7*y = 32. Which is smaller: -1/3 or r?
r
Let t = -17 - -8. Let n be (2 - 1)*3/t. Which is bigger: 1/4 or n?
1/4
Let i = 3187 - 2191. Suppose 5*m - p = -i, 5*m - 4*p + 711 + 288 = 0. Let r = -1396/7 - m. Which is bigger: 0 or r?
0
Suppose 0 = -77*f + 81*f + 44. Is f <= -8?
True
Let n = -150 + 603/4. Is 1 at most n?
False
Let t be (-2)/(-8) - 59/268. Is 0 smaller than t?
True
Suppose 2*s = -4*p - 5 - 1, -2*s = 3*p + 5. Which is bigger: -2/29 or p?
-2/29
Suppose 4*j + 10 = 5*j. Suppose -7*y = -j*y + 3. Which is smaller: y or -4/9?
-4/9
Let x = -20.1 + 20. Is x at most -0.1?
True
Let u = -3/56 + 2/21. Let f = -29/120 + u. Suppose 3 = 2*b + 2*r - 5*r, -3 = 4*b + 3*r. Which is smaller: f or b?
f
Let v(y) = y**3 + 13*y**2 - 12*y + 11. Let i be v(-14). Which is bigger: i or -87/5?
i
Let h = 1.4 - 0.4. Which is greater: h or 2/9?
h
Let n = -102 + 78. Which is smaller: -23 or n?
n
Let i be 6/12*0*(-2)/(-4). Which is smaller: i or -3/17?
-3/17
Let d = 1 + -2. Let w be (d - -2)/2*6. Let a be w/6*(-1 + 9). Is 4 bigger than a?
False
Let x be (0 - -2)/2 + -7. Let p(w) = w**2 - 20*w + 29. Let y be p(18). Let t = y - x. Is -1 <= t?
True
Let r = -4/3 + 1. Suppose 0 = -3*j - 0*j + 3. Let y = 1 - j. Which is smaller: r or y?
r
Let r = 1196 + -223650/187. Which is bigger: 0 or r?
r
Suppose 0 = 2*z, 4 - 1 = -x + 2*z. Suppose 3*v + 6 + 3 = 0. Are v and x nonequal?
False
Let u = 24 - 23. Are 3/8 and u nonequal?
True
Suppose -3*o - 4*s = -2*o - 3, 0 = 5*s - 5. Let m = -2186188/274329 + 80/8313. Let v = m + 70/9. Which is bigger: o or v?
v
Let v(q) = -q. Let f be v(10). Let w be f*1*(-3)/6. Suppose a - 12 = 3*p, 3*p + w*a + 3 + 9 = 0. Which is bigger: -3 or p?
-3
Let u = 22 + -23. Which is smaller: u or 2.5?
u
Let a = 0.13 - 1.13. Let w = 3.1 - 1.7. Let c = w + -1. Which is smaller: c or a?
a
Let t = 3 + -3.2. Let l = t - 0.8. Let y(i) = -2*i - 2. Let u be y(-2). Which is bigger: u or l?
u
Let u(l) = l + 1. Let r be u(-2). Which is smaller: 1/21 or r?
r
Let d = 1 + -1. Let u be (-8)/6*(-12)/8. Suppose d - u = -y. Are y and 0 unequal?
True
Let g = 57 + -52. Which is smaller: 3 or g?
3
Suppose 43 = 4*c + 2*t + 3*t, 3*c - 15 = 2*t. Is c greater than 4?
True
Let q = 5.5 + -3.6. Let l = 2 - q. Let r = -9 + 28/3. Is r greater than l?
True
Let b = -0.01 + -0.03. Which is greater: b or 2?
2
Let f be (-5)/(-1)*(-5)/25. Which is bigger: f or 3/29?
3/29
Let u(r) = r**3 + 8*r**2 + 7*r. Let s be u(-7). Suppose 4*i - 4*l - 24 = s, i + 2*l + 1 = -8. Suppose -2*x - 5*q = x + 2, 0 = 3*x - 2*q - 5. Is i < x?
False
Let v(b) = 2*b - 1. Suppose 3*y + 4 = 7. Let r be v(y). Let l be 2/5*2/(-4). Is r at least as big as l?
True
Let q(o) = o - 16. Let j be q(13). Let h be -1 - (-1)/(-2 - j). Suppose h*s = -s. Which is greater: -1 or s?
s
Let j(o) = -o**2 - 2*o - 3. Let f be j(-3). Let h(t) be the first derivative of -t**3/3 - t**2/2 + t - 1. Let g be h(2). Is g < f?
False
Let g = -32 + 21. Let c = -10.91 - g. Let k = c - 0.29. Which is smaller: 2 or k?
k
Let v(f) = f**3 + 6*f**2 - 7*f + 2. Let x be v(-7). Suppose -4 = -l - l. Suppose l*p + 8 = -5*z, z = -x*z - 2*p - 8. Is -1/3 > z?
False
Let z be 2/(-4) + 30/4. Let x = 7 - z. Suppose -n - n = x. Is n greater than or equal to 4/3?
False
Let o be 6*97/70 + 1. Let a = o + -61/7. Which is bigger: a or 0?
a
Suppose 3*k + 0 - 3 = 0. Let q be 16/4 + 0 - -14. Let j be (-22)/60 - (-3)/q. Is j greater than k?
False
Let v = -156 - -154. Suppose 6*s = s. Is s < v?
False
Let l = -9 + 11. Suppose 4*f + l = 6. Which is bigger: -1/3 or f?
f
Let j(d)