e 2 = 2*d - 0*d. Which is greater: d or 3/5?
d
Let v = -1/202 - 385/3838. Is v <= 0?
True
Let g be 333/405 - (-4)/(-18). Let q(f) = f + 8. Let o be q(-6). Suppose -5*j + o*t = -0*j, t = j. Is g less than j?
False
Suppose -39 = -5*q - 2*n, -3*q + 3 = -2*q - 2*n. Suppose -2*z - q = 3*p, -p + 4*z = 12 + 9. Let l be 1/p*(7 - 5). Is 2/11 equal to l?
False
Let y be 1/(1 - 56/(-3)). Let r = -189/236 + y. Is -1 bigger than r?
False
Suppose 0 = 3*w - 3*u + 3, -3*w + 8 = -2*u + 10. Let x = 141 + -352. Let n = x - -3167/15. Is w != n?
True
Suppose 5*z + 5 = i, -i - 2 = z - 7. Suppose 0 = c - z + 1. Which is bigger: c or 3/8?
3/8
Suppose -3*l = 3 - 33. Suppose 7*r = 2*r + l. Suppose 0 = 3*b - b + r. Is b < 0?
True
Let y = 0.145 + -75.145. Which is greater: 1 or y?
1
Let q be ((-6)/5)/((-171)/(-30)). Do 0 and q have different values?
True
Suppose -y = -3*y. Is y != 2/87?
True
Let o be 8/6*6/4. Let n be 2*(-4)/2*o. Let l be 2/n - 3/(-60). Is 1 at most as big as l?
False
Let q = 23 + 51. Which is greater: q or 75?
75
Let i = -19.7 + 3.7. Let a = i - -20. Do a and -3 have different values?
True
Suppose 5*m - 31 + 6 = 0. Let a = 6 + -2. Which is smaller: a or m?
a
Let g(v) = -v**3 + 5*v**2 - 5*v + 5. Let o be g(4). Let a be (-1)/(2*o/(-2)). Which is greater: -2 or a?
a
Suppose 0 = 5*d - 5*c - 30, -d + 5*c = 3*d - 28. Are 3 and d unequal?
True
Let k(o) = o**2 - 7*o + 2. Let w be k(5). Let x be (-20)/(-15)*2/w. Let m be (3 + 0 - 2)*-1. Which is greater: m or x?
x
Let a be ((-90)/(-39))/(2/(-6)). Let c = a - -322/39. Let o(u) = -u**3 - 7*u**2 - 7*u - 5. Let y be o(-6). Which is smaller: c or y?
y
Let b = 2/1625 + 9628/99125. Which is smaller: -0.2 or b?
-0.2
Let p be (-30)/(-9) + (-2)/6. Suppose 0*z = p*z. Which is smaller: z or -5/6?
-5/6
Suppose 2*r - 15 = -3*k, 0*r - 5*r = -3*k - 6. Is 4 < r?
False
Let g be 6/21 - -6 - 6. Which is bigger: g or -14?
g
Let k(v) = -v**3 - 3*v**2 + 3*v - 4. Let r be k(-4). Let g = -219/742 + 1/106. Is r bigger than g?
True
Suppose c - 4 = h, -4*c - 7*h = -2*h - 16. Let o = 3 - c. Which is smaller: 0 or o?
o
Let w(b) = -b - 11. Let z be w(-5). Let q = z - -4. Suppose 0 = -5*n - 2*u - 15, -5*n + 12 = -9*n + 4*u. Is q greater than or equal to n?
True
Let u(j) = -j**2 - 13*j. Let p be u(-13). Is 4/33 bigger than p?
True
Let k be (12/6 + -1)/(39/(-8)). Are k and 1 unequal?
True
Let y(a) = 5*a + 2. Let j be y(-2). Let i = 13/2 + j. Let z = -19 - -17. Are z and i nonequal?
True
Let h be (-17410)/65 - (-4)/(-26). Let y = h - -1873/7. Is -0.1 at most y?
False
Let f be 2/12*40/(-12). Which is bigger: 0 or f?
0
Suppose -2*b + 0*b - 4 = -n, 4*n = 5*b + 10. Suppose -v = -2*c + 12, 32 = -0*v - 3*v + 5*c. Let x be (-69)/(-114) + 2/v. Is x greater than or equal to n?
True
Let r be 25/(-35) + (-1 - -1). Let f = 31/63 + r. Is f > 1?
False
Let i = -1 - -2. Suppose -2*s = s. Which is greater: s or i?
i
Let s(u) = u**2 + 7*u + 9. Let r be s(-7). Are r and 9 non-equal?
False
Let q = -26 - -21. Is q smaller than -4?
True
Let v be (-2)/(-3) + (-26)/(-6). Suppose -f + 20 = 4*f. Let m = f - v. Which is smaller: -2/3 or m?
m
Let l be (9/6)/((-3)/6). Let u be ((-15)/(-24) - -2) + l. Is -1 less than u?
True
Let c = 150 + -149. Let y = -3 + 21/8. Which is greater: c or y?
c
Let g = -7 + 9. Is -1 greater than g?
False
Let k(f) = f**3 + 16*f**2 + 16*f + 16. Let q be k(-15). Let n = -4 - -6. Which is smaller: n or q?
q
Suppose u - 2*g - 2 = g, 5*u + 2*g = 27. Suppose -o + 5*i + 4 = 0, 0 = 4*o + u*i - 16. Let n be 0 - (1 - o/2). Is 4/3 equal to n?
False
Let m = -68 - -341/5. Are m and 12 nonequal?
True
Let v be 6/8 - (-6)/(-12). Which is smaller: v or 2?
v
Let q = 426/5 + -1707/20. Which is bigger: 1 or q?
1
Let t be (-55)/44*2/170. Is t smaller than -1?
False
Let c = 2/475 - -273/47975. Which is smaller: 1 or c?
c
Suppose 11*a = 18 + 15. Which is smaller: 16/7 or a?
16/7
Suppose 0 = 12*w - 7*w. Which is smaller: w or -1/25?
-1/25
Let v be (1 + -2)/(1 + -2). Let g = v + -9. Let l(m) = -m - 11. Let p be l(g). Which is greater: p or 2/3?
2/3
Let a(c) = -c**2 - c - 66. Suppose -4*b + q - 1 = 0, -3*b + 0*b - q + 1 = 0. Let g be a(b). Let w be 2/(-5) - g/15. Which is smaller: w or 3?
3
Let f = 0.093 + -0.093. Which is bigger: f or 26?
26
Let n be ((-105)/56)/(2/24). Let h = n + 23. Suppose -3*u = -3*l + 3, 0 = 4*l - 0*u + 3*u + 3. Is l smaller than h?
True
Suppose -m + 8 = 5*p - 11, 2*m + 14 = 3*p. Let v be m + 1 - 2/19. Which is bigger: v or 1?
1
Suppose 0*l = -4*l + 2*a + 12, 5*l + 2*a - 24 = 0. Suppose 3 = l*m - 1. Suppose r = -1 - m. Which is bigger: -3 or r?
r
Let v(t) = -t**2 + 5*t - 3. Let s = 14 + -10. Let r be v(s). Let h be (r/6)/(6/8). Which is smaller: h or -1?
-1
Let j = -3.99 + -0.01. Let v = 1 + 4. Let g = v + j. Is g < 4?
True
Suppose 5*b + 6 = 2*b. Let i be (-2 - (-9)/6) + 30. Let r = i - 30. Which is smaller: r or b?
b
Let i = 0.3 - 1.3. Let x = i - 0. Let f = 0.17 - 0.07. Which is bigger: x or f?
f
Let x = 16.4 + -22. Which is smaller: x or 2/7?
x
Let f = -16 + 27. Let n = 12 - f. Which is smaller: n or 0.6?
0.6
Let c(l) = 4*l - 1. Let q be c(-1). Let g(k) = k - 6. Let t be g(8). Suppose -2*r = 12 - t. Is r not equal to q?
False
Let k(r) = r**3 - 7*r**2 + 6*r + 2. Let p = -6 + 12. Let b be k(p). Is 2 less than b?
False
Suppose -18*i + 24*i = 114. Do i and 20 have the same value?
False
Let g = -85 - -119. Let o be (-114)/765 + (-4)/g. Which is greater: o or 1?
1
Let s = -17 - -22. Let k be ((-2)/s)/(7/5). Is k smaller than -1?
False
Suppose 0 = -2*l - 6, -3*l - 7 = -3*n + 5*n. Let r(i) = -i**2 - 6*i. Let c(z) = z**3 + z**2 - 5*z - 3. Let b be c(-3). Let h be r(b). Which is bigger: h or n?
n
Let d = 19.559 + 0.241. Let a = -20 + d. Is a >= 3?
False
Let s be 2/4*(1 + 5). Suppose -4*h = -s*h - 6. Is h >= 5?
True
Let b = -359/4 - -2593/28. Suppose 2*s = -3*s + 20. Which is smaller: b or s?
b
Suppose 0 = -f + 6*f + 20. Let p be 2*((-2)/f - 0). Are -2/13 and p non-equal?
True
Suppose -12 = -4*o - 0*o. Let h be 28/30 + -4 + o. Do 0 and h have different values?
True
Let v be 8/32*-4*1/(-3). Let t(s) = s**3 + 2*s**2 - 1. Let d be t(-1). Which is smaller: d or v?
d
Suppose 4*s = 3*x + 69, 0*s + 31 = -x + 4*s. Let q = 17 + x. Which is greater: 0 or q?
0
Let w = -10.23 + 0.23. Let v = w - -6. Let x = v - -4.1. Which is smaller: -1/2 or x?
-1/2
Suppose 0*q = 3*q - 6. Is 2 >= q?
True
Let b = -14 + 13. Suppose 5 = -0*t + 5*t. Let w = -3 + t. Is w greater than b?
False
Let a = -67.8 + 68. Is 3/11 less than a?
False
Let z = 0.1 - 0. Let u = -3.1 + z. Let t = -2.9 - u. Is 2 less than or equal to t?
False
Let d(z) = z. Let c = -4 + 5. Let f be d(c). Let h be f/(-2) + 11/2. Is 4 less than h?
True
Let s = -1 + 1. Suppose s = i - 6 + 5. Are -2/5 and i non-equal?
True
Let y be 19*((-4)/(-13))/(-2). Let f be 958/390 + 9/(-27). Let o = f + y. Which is bigger: -1 or o?
o
Suppose 2*d - 7 - 1 = 0. Suppose 7 = -5*p + 4*w, 3*p - 4*p - d*w + 13 = 0. Let v be (0 - -1) + 1/(-1). Is p smaller than v?
False
Suppose 5*l = 2*w - 11, 2*l = 2*w - 1 - 1. Let g = -0.1 + 0.1. Let a = 0.1 - g. Which is greater: a or l?
a
Suppose 3 - 15 = -4*n. Let r(g) = g**2 + 5*g + 10. Let d be r(-3). Is d bigger than n?
True
Suppose 0 = 3*z - 2*z - 9. Suppose 0 = -2*q + v - 6, 9*q = 4*q - 2*v - 15. Let h be 6/z + 8/q. Is -1 greater than or equal to h?
True
Let d = -75 + 527/7. Which is smaller: d or 1?
d
Let f be ((-6)/(-4) - 1)*-2. Let v be 0/(2 + f) + -1. Let u be (2/(-42))/((-3)/(-9)). Which is greater: v or u?
u
Suppose -4*g + 4 = 4*r, -4*r + 9*r = -2*g + 8. Suppose 0*q = -r*q + 8. Let u = -8 + q. Which is smaller: u or 1?
u
Suppose 2*p + 7 = -3. Let i be -12*(p - -3 - -3). Let g be (-8)/i*(1 + 8). Which is bigger: g or 5?
g
Let d = 6.5 + -0.5. Let f = 6.4 - d. Is f bigger than -1?
True
Suppose 0 = -5*m - a + 3, 0 + 15 = -3*m + 5*a. Let y be (-1)/2*(-4)/(-6). Which is smaller: m or y?
y
Let z = 8 + 24. Is z greater than or equal to -1?
True
Suppose -s + 3 = -0. Are 19/5 and s nonequal?
True
Let w(m) = -m**2 + 18*m - 21. Let q be w(16). Which is smaller: q or 12?
q
Suppose 0 = 2*f + 4, -2*f - 2*f - 2 = 3*x. Suppose 2 + x = 4*j. Let h be (-1)/3*18/(-8). Is h <= j?
True
Let a(h) be the second derivative of -h**4/12 + h**3/2 + h**2/2 + 2*h. Suppose -4 = r, -g + 2*r = 7*r + 17. Let v be a(g). Is -4 > v?