*d + 5 + 5. Suppose -d*m + m = 0. Which is bigger: 2/5 or m?
2/5
Let m = -38 + 37.9. Which is bigger: -2 or m?
m
Let d be 1 + -2 + 6/10. Let y = -4/15 + d. Is y bigger than 0?
False
Suppose 0 = -r - 0*r + 34. Let y = r - 304/9. Which is bigger: 0 or y?
y
Suppose -k = -n + 4*n - 22, -2*k + 5*n = 11. Let h = 8 - k. Which is smaller: h or 0?
0
Let y(l) = l**2 - 9*l + 4. Let r(k) = k**3 + 9*k**2 - k - 1. Let g be r(-9). Let b be y(g). Is -4 < b?
False
Let q = 0.06 - 0.06. Let j(d) = -d**3 - 4*d**2 - d - 4. Let c be j(-3). Is c != q?
True
Let z = 2.4 + -2.7. Do z and -5 have the same value?
False
Suppose -k - 4*r + 8 = -0, -2*k - 14 = 2*r. Let v be ((-1)/((-40)/k))/3. Suppose f = -3*f. Is f < v?
False
Let d = 3.2 + -7.17. Let v = 4 + d. Let g = -0.07 - v. Which is greater: 0.3 or g?
0.3
Let d be 4 - -22*(-4 + 3). Let t = 19 + d. Which is smaller: t or -2/19?
-2/19
Let b(c) = c - 7. Let s = -3 + 9. Let q be b(s). Let w be 3*3/(-3)*q. Which is bigger: 2 or w?
w
Let z = 39 - 51. Which is bigger: z or -0.2?
-0.2
Suppose 4*i - 9 - 2 = 5*f, -i = 5*f + 16. Is i <= -3?
False
Let h = 12 + -8. Suppose 5*q = h*q. Let f be 4/14 + q/(-3). Which is smaller: f or -1?
-1
Let v(j) = j + 5. Let x be v(0). Suppose 5*y - 3*y = -g + 2, 5*g + 5 = x*y. Which is smaller: 0 or y?
0
Let f be 2/7 + (-316028)/(-1008). Let r = f + -2287/12. Let p = 123 - r. Which is greater: p or -0.1?
-0.1
Suppose -d + 1 = -5. Let n be (3/d)/(14/8). Is n >= 0.03?
True
Let z(v) = v - 12. Let p be z(8). Is -4 < p?
False
Let r = 0.1 - 0.1. Let l(k) = -k**2 - 4*k - 4. Let j be l(-3). Let n be (-1 - 2/(-6))*j. Is n bigger than r?
True
Suppose 10*t - 12*t + 8 = 0. Which is smaller: 5/2 or t?
5/2
Let b = -7 + 5. Let p = b + 1. Does 1 = p?
False
Suppose 1 = 3*l + 4*k - 5, 0 = -5*l - 2*k + 10. Suppose -l*f - 5*g - 29 = 0, 2*f + 4*g + 25 = 1. Let j = 0.21 + -1.21. Is f > j?
False
Let k be ((-3)/(-1))/(-1) + 10/5. Is -2/45 > k?
True
Let h be (-27)/21 + (-6)/(-21). Let w be h/45 - (-1)/(-5). Let g be (0/(-3))/(3 + -1). Are g and w unequal?
True
Let z = 7976/29 + -275. Which is greater: z or 0?
z
Let k = -2/5 - -11/15. Which is smaller: k or -1?
-1
Let u(p) = -p**2 - 4*p + 5. Let a be u(-4). Let l(y) = 3 - 4*y + a*y - 2*y. Let k be l(4). Which is greater: k or -2/7?
-2/7
Suppose 2*l = 4*l - 6, -2*s = l - 9. Which is bigger: s or 4?
4
Let f(u) = 7*u**3 + u**2 + u + 1. Let w be f(-1). Let j be (w + 3 + 1)/2. Is -1/12 at least as big as j?
True
Suppose -1 - 2 = -3*j, 4*j - 22 = 3*n. Let p be (n/16)/((-6)/(-4)). Is -2 less than p?
True
Let k = 12 - -25. Which is bigger: k or 35?
k
Suppose 3*u + 2 = b, -5*u + 0*b - 5 = -2*b. Which is greater: 2 or u?
2
Let s be (-4)/2 - (-3 + 4). Let x be (-53)/3 + s/9. Let t be 2/9 + (-68)/x. Is t greater than 3?
True
Let b = -25 - -26. Which is greater: 10/9 or b?
10/9
Let o be ((-3)/2 - -1)*(-10)/(-10). Let j be (21/7)/(6/(-4)). Which is smaller: o or j?
j
Let f be ((-3)/(-6) - 2)*-10. Let u be (-215)/(-15) + 1/(-3). Are f and u equal?
False
Let q be (1/(-1) - 2) + 2. Let d be (-26)/3*q*3. Suppose 0 = -x - 3*t - 2, 3*t = 2*x - 2*t + d. Is x greater than 0.1?
False
Let t = -17.4 - -3.4. Which is smaller: 0 or t?
t
Suppose 0*x - 2*x + 6 = 0. Let u be (-2*2)/(0 - 1). Is x > u?
False
Suppose 11 = 5*o - 4*m - 29, m + 55 = 5*o. Which is smaller: o or 11?
11
Suppose 0 = 7*n - 52 + 31. Which is smaller: -1 or n?
-1
Let q(h) = 26*h**3 - h. Let v be q(1). Which is smaller: 1 or v?
1
Let s = -5.4 - -5. Which is smaller: -0.1 or s?
s
Let f(y) = 2*y + 2. Let i be f(-2). Let w be (1/(-6))/(i/(-4)). Suppose -2 - 8 = -2*m - 2*z, 0 = -2*z + 8. Which is smaller: w or m?
w
Suppose -z - 5 + 3 = 0. Let x = -3 - z. Which is greater: x or 0?
0
Let v(p) = -13*p**2 + p - 6. Let q be v(2). Are q and -55 non-equal?
True
Let g be ((-2)/(-6))/((-320)/12). Are 0 and g equal?
False
Let t be (1/(-2)*0)/2. Which is bigger: t or 2/13?
2/13
Let i = 62 + -61.9. Do 15 and i have the same value?
False
Let n = 5.02 + -5. Let j = n - 3.02. Let y = j - -2.9. Are 0 and y unequal?
True
Let t = -12 + 12. Let f = 0.08 - -1.12. Let w = f - 0.2. Which is bigger: w or t?
w
Suppose 0 = -z - 2*c - 7, -7 = -3*z + 7*z + c. Let u = 523/4 + -133. Is u at least z?
False
Suppose 3*t + 5 = 8. Let b = 6 - -2. Suppose -p - 3*w + b = 0, 2*p - 3*w + 6 = 2*w. Is p at least t?
True
Let b = 463 - 61581/133. Let w = -395/266 + b. Is -4 less than w?
True
Let b(f) = f + 7. Let x be b(-5). Suppose -d + 2*a = -16, -x*d - 52 = -6*d + 5*a. Let g(r) = -r**3 + 9*r**2 - 7*r - 9. Let p be g(d). Is p at most 1?
True
Let b = -13 - 19. Let y be b/(-30) + (-4)/10. Let g be (-2)/(-3) - 4/6. Are g and y equal?
False
Let g = -51 - -97/2. Let a = -18 - -12. Let w = a - -4. Which is bigger: w or g?
w
Let c = 84 - 90. Suppose -p - 4 = 3. Which is greater: c or p?
c
Suppose 0 = -4*w + 5*n, 0*n + 3*n = -5*w. Suppose w = s - 2 - 3. Suppose 0 = 5*k + s - 30. Are 4 and k equal?
False
Suppose 55 = -5*x - 0*x. Are -11 and x nonequal?
False
Suppose 241 = -3*y + 5*d - 0*d, -4*y + d - 293 = 0. Let a = 27782/11 + -323869/132. Let f = y + a. Which is smaller: f or 1?
f
Let a = -110 - -101. Are a and -7 non-equal?
True
Let j(u) = u - 1. Let h(b) = b**2 + 4*b - 3. Let k(a) = -h(a) + 6*j(a). Let o be k(3). Let y be 4/6*o/10. Which is smaller: y or 2/11?
y
Let w be -1 - 1 - (-1090)/275 - 2. Suppose -4*u + 9*u = 0. Is w not equal to u?
True
Suppose 2*k + 2 = 3*k. Let x(h) = -2*h - 2. Let n be x(-2). Is n >= k?
True
Let u = -1 + 1. Let i = -5 - -10. Suppose 0 = i*w - 0*w. Is w equal to u?
True
Let g = 14 + -16. Is 1.1 less than or equal to g?
False
Let q be (1/(-2))/(7/(-14)). Which is bigger: q or 2/17?
q
Let l = 20 + -39. Is l > -18?
False
Let g be (-136)/(-28)*(14/(-5))/(-2). Are 6 and g non-equal?
True
Suppose 3*p - 11 = -5*m + 9, 0 = 5*m - 5. Let s be -2*1/((-8)/p). Does 2/7 = s?
False
Let c be -2 + 2 + (-4)/22. Let h be 3/2 - 7/14. Which is greater: h or c?
h
Let l = -1 + 1. Suppose 2*h = -l*h + 2. Suppose -4 - 3 = -7*u. Is u <= h?
True
Let d(c) = c**2 - 8*c - 9. Let p be d(9). Let w = p - -4. Suppose w*j + 0*j - 4 = 0. Which is smaller: j or 3/5?
3/5
Let s = 20.146 - 26.36. Let d = s + 0.014. Let w = d + 6. Which is bigger: 0 or w?
0
Suppose 0*x + 3*x - 2*k = 406, -5*k = 25. Let p = x - 922/7. Is p bigger than 0?
True
Let x be ((-2)/12)/((-1)/(-3)). Let s = -1 - -1. Is x <= s?
True
Let m be (-3)/(-12) + 7/4. Let v(j) = -6*j**2 - 2 - 4 - 8*j + 5*j**2. Let t be v(-7). Which is smaller: t or m?
t
Suppose 0 = -5*r + 8 + 2. Suppose 4*g + 13 = 41. Let l be (r/g)/((-27)/(-21)). Do 0 and l have the same value?
False
Suppose 0 = 4*b + 16, 3*b = -2*a + 13 - 1. Let t = a - 12. Let x = -6/5 - -4/5. Is t at least as big as x?
True
Suppose 3*z = 17 - 5. Suppose -3*v + 4*l - 6 = -2, -z = -4*l. Let p = -41/33 + 10/11. Is v greater than p?
True
Suppose -4*u + o = -5, 5*o + 10 - 1 = 4*u. Suppose 1 - 5 = -4*b. Is u > b?
False
Let v = -4 + 8. Which is smaller: v or 22/7?
22/7
Let d = 0.12 - -0.88. Is d at most 1/3?
False
Suppose 0 = o - 2*l + 3, 2*o - o = -l. Let f = 0 - o. Let r be (-6)/75*5 - 2/(-10). Is r smaller than f?
True
Let s = 6 - 4. Let o(d) = -d**3 - 7*d**2 + 8*d + 6. Let m be o(-8). Suppose 2*h + 8 = m*h. Is s greater than h?
False
Let g = -30 - 12. Let z be (-26)/g + (-1)/3. Is z at most 0?
False
Let j = -1/40 - -1/8. Does j = 0?
False
Suppose -j + 5 = -0. Suppose -y - 19 = -j*n, 0 = 5*n + 4*y - 8*y - 31. Let z be 3/5*2/n. Are z and 1 equal?
False
Suppose -n + 2*q + 5 = -0, 4*q = -2*n - 22. Let a(z) = -z**3 - 4*z**2 - 5*z - 4. Let u be a(n). Is 4/5 != u?
True
Suppose 19 = 3*u - 0*g - 2*g, -5*g = 2*u. Suppose -28 = -u*a + a. Is a at least 6?
True
Let i be 2/(-6) - 46/6. Let v(l) = -l + 7. Let q be v(i). Suppose z - 3*s = 2*s + 26, 5*z + 4*s + q = 0. Is -1/4 < z?
True
Let g = 30/17 + -103/68. Which is bigger: g or 3?
3
Let v(l) = -l**3 + 6*l**2 - 6. Let c be v(6). Let f be (c + 3)*(-1)/(-1). Suppose -10*z + 13*z = 0. Is z > f?
True
Suppose 0 = 5*r + 5*u - 16 + 6, -3*r = -4*u + 8. Suppose 3*f + 0*f - 9 = r. Which is smaller: -2 or f?
-2
Let a be (-2)/(-6) - (-72)/27. Suppose a*g = -3*g. Which is smaller: g or 1/21?
g
Let g be 4/5*15/6. Suppose -5*y = -5*r + 5, -1 = 2*r - 3. Suppose y = 3*z - 8*z + 5. Which is smaller: g or z?
z
Suppose -2*i - 3 = -4*i + w, 0 = 3*w + 15. L