*z = -d + 5. Are z and -2/9 unequal?
True
Let u be (1 - -29)*(-4)/(-78). Let q = -18/13 + u. Which is smaller: q or -1?
-1
Let s = 36/7 + 33/14. Let w = s - 7. Is 0 greater than or equal to w?
False
Let j = 0.003 - 0.303. Is j greater than or equal to -1/4?
False
Let c(k) = -k**2 - 2*k + 31. Let o be c(5). Do o and 2 have the same value?
False
Suppose -2*i + y + 16 = 3*i, -3*y = -3*i + 12. Suppose 0 = i*g - 2*g. Is -1/4 smaller than g?
True
Let q = 52.8 - 53. Is q > -25?
True
Let w be 3/2*2/(-3). Let g = w + 0. Is -4/7 equal to g?
False
Let n = 0.05 - 1.05. Let p = 539677/263 - 2052. Let v = p + 519/1841. Is v at most n?
False
Let s be (1 - (-12)/(-9))*-9. Suppose l = -0*d - d - 4, -s*d - l = 6. Which is bigger: d or -3/7?
-3/7
Let c be (-1 - (40 + -3)) + 2. Let v be (1/(-3))/(4/(-429)). Let t = v + c. Which is greater: 1 or t?
1
Let j be (-4)/(-14) + 33/7. Suppose -4*x = -4*l + 40, -50 = -2*l - j*x + x. Which is greater: l or 14?
l
Let k(x) = x**3 + 4*x**2 - 3*x + 10. Let y be k(-5). Suppose 3*i + 6 = -r + 2*i, -5*i = 3*r + 18. Let t be 4/r + 1/3. Is t < y?
True
Let a = -21 - -33. Is 12 at most as big as a?
True
Let l be (-1)/2*(-298)/(-4). Let n = l - -37. Which is smaller: n or -0.1?
n
Let l(p) = -2*p + 37. Let t be l(18). Does -2/47 = t?
False
Suppose 3*f - 3 - 3 = 0. Suppose -f*j - 1 = -3*j. Let p(y) = y - 3. Let b be p(5). Which is smaller: b or j?
j
Suppose -3*f + 47 + 2 = 2*w, -3*f - 4*w + 59 = 0. Let n = f + -16. Is -1 < n?
False
Let f be (-1)/(1/(-2)) - 2. Let j be -2 - -5 - 202/66. Which is smaller: j or f?
j
Let j(s) = -s - 6. Let c be j(-9). Let z = c - -1. Is z smaller than 3?
False
Let p = 3 + -2. Let v = p + -0.9. Let i = 2 - 3. Which is smaller: i or v?
i
Let q = 32 + -30. Which is greater: q or 0.6?
q
Let o = 1.7 + -6.7. Is 2/7 greater than or equal to o?
True
Suppose 67 = -8*c - 77. Which is smaller: c or -19?
-19
Let h = -0.56 - 0.04. Let d = 1.6 + h. Which is smaller: 0 or d?
0
Let a = -0.12 - -0.22. Let b = 1 - -1. Let n be 2/b - (-8)/(-4). Are a and n nonequal?
True
Let a be 74/26 - 16/(-104). Suppose -x + 2*x - a = 0. Are 1 and x equal?
False
Let x(p) = p**3 + 3*p**2 - 1. Let k be x(-3). Is k equal to -4/3?
False
Let s = -4 - -3.7. Let t = 0.7 - s. Which is greater: 0.2 or t?
t
Let p(s) = 1. Let y(j) = -j - 9. Let n(a) = 4*p(a) + y(a). Let f be n(-3). Let t be -3 + 2 + (-4)/f. Is -2/9 at most as big as t?
True
Let n(z) = z**2 - 8*z + 2. Let y be n(7). Which is bigger: y or -6?
y
Let f = -21 + 83/4. Is 0.3 < f?
False
Let y be 4 + (-72)/28 - 1. Do 0 and y have the same value?
False
Suppose -q = 3*p + 6, -10 + 4 = -5*q - 3*p. Suppose n = -g - 1, q*g + 2 = -4*n + 1. Suppose m = n*m. Which is greater: -1 or m?
m
Let k = 1/333 - -215/2331. Let f = k + -52/105. Is 2/7 at least f?
True
Let p = 19/51 + -2/51. Let j = -0.9 - -2.7. Let r = j + -2. Is r at most as big as p?
True
Let f(c) = -5*c + 5*c**2 + 5 + 2*c**3 + 0*c**3 - c**3. Suppose 0 = -4*m + 12, 6 = -0*j - 2*j - 2*m. Let s be f(j). Which is smaller: s or 0.2?
s
Suppose -4*l + 2 + 2 = 0. Let j be l/3 - (-16)/24. Is 2/3 < j?
True
Let y be (4/(-39))/2 + 0. Is 1 less than or equal to y?
False
Let p(x) = -5*x - 26. Let z be p(-6). Which is bigger: 3 or z?
z
Let x be (-905)/(-25) + 2/((-20)/2). Which is smaller: 38 or x?
x
Suppose 6*x + 7*x = 182. Is x less than 5?
False
Suppose 4*k + 8 - 24 = 0. Suppose -k = -t - 5. Let b be 8/(-42)*(-15)/(-10). Which is smaller: b or t?
t
Let v be 4/(-6) - (-1 - 0). Let a = 103433/69 - 1499. Let i = a - 148/345. Are v and i non-equal?
True
Let a = -8/5 + 93/55. Do a and 0 have the same value?
False
Let w = 16 + -7. Let y be 7/3 - 3/w. Let c be 0 + ((-3)/(-3) - y). Which is bigger: -1/2 or c?
-1/2
Let m(b) be the third derivative of b**4/24 + b**3/2 - b**2. Let c be m(-4). Let f be (6/4)/((-9)/4). Which is bigger: c or f?
f
Suppose 4*q - 5 = -y + 3, -4*y + 5*q - 10 = 0. Do y and 1/53 have the same value?
False
Let f be (-5)/25 - 6/(-40). Is f at most 1?
True
Suppose 2*o = 3*l - 23, -5*l = -o - 3 - 26. Suppose -2*y + l = -1. Suppose 0 = -y*f + 2*f. Which is smaller: f or 1/2?
f
Let r be 1/(-3) + 4/3. Let x(u) = -u**3 - 5*u**2 - 5*u - 7. Let a be x(-7). Let c be 8/a - 4/14. Which is greater: c or r?
r
Let a be -2 + 4 + (-2 - -3). Let w be 2 + 1/(-1) + 2. Suppose 0 = w*s + a - 0. Are s and 1/5 non-equal?
True
Suppose 0*l + l - 3 = 0. Let c be (2/(-3))/(l/(-9)). Suppose -p = -3*m + 13, 3*p + 3*m - 1 = c*m. Which is greater: p or -3?
p
Let j(y) = -y + 5. Let n(v) = -2*v + 2. Let g be n(-2). Let o be j(g). Is o < -3?
False
Let q be 1 - (-98)/(-19) - -4. Is -1 <= q?
True
Let z = 1550 + -4718/3. Let p = z + 206/9. Is -1 less than p?
True
Suppose 4*a = 5 - 1. Let x = 11781/5 - 2349. Let c = x + -458/65. Which is smaller: c or a?
c
Suppose -83 = -4*q + 81. Is 43 greater than q?
True
Let i be 6*(3 + (-21)/6). Let h be (4*i/30)/(-1). Is 9 > h?
True
Suppose 5*f + 5 = -15. Suppose 2*s = -4*s - 36. Which is greater: s or f?
f
Suppose 5*f + 151 = 3*o - 181, 2*o = 8. Let j be (-1)/(-4) + 20/f. Which is bigger: -1 or j?
j
Let u be 1229/156 + 1/(-4). Let m = u - 5/39. Let o = m + -7. Are 0 and o unequal?
True
Let c(m) = -m. Let b(p) = -4*p + 4. Let h(u) = -b(u) + 5*c(u). Let o be h(-5). Which is smaller: -1/5 or o?
-1/5
Let s = 10.2 + -7. Let t = s + -3. Which is smaller: t or 0?
0
Suppose 1 = 5*v - 4, 0 = 4*x - 3*v - 25. Is x > 6?
True
Let c(m) = -m**2 + 13*m + 24. Let t be c(13). Are t and 24 non-equal?
False
Let p = 1.9 + -2. Which is greater: p or -1?
p
Let t(f) = f**3 - 7*f**2 - 8*f - 1. Let b be (-1)/(-3) + (-69)/(-9). Let z be t(b). Which is greater: 2/15 or z?
2/15
Suppose -4*l - 120 = l. Which is greater: -47/2 or l?
-47/2
Let v = 32 - 180. Let z be (-8)/(-4) + v/73. Is z smaller than -1?
False
Let v(t) = t**3 - 7*t**2 - 9*t + 7. Suppose -39 = -2*o + 35. Suppose o = 3*f + 13. Let s be v(f). Is s less than or equal to 1/4?
True
Let p(t) = t + 1. Let m(r) = -r**2 + 6*r - 20. Let i(y) = m(y) + 6*p(y). Let q be i(11). Are -3 and q unequal?
False
Suppose -28*d - 40 = -23*d. Which is greater: -7 or d?
-7
Let n be (-55)/11*4/(-110). Are -0.5 and n equal?
False
Suppose 3*x + 4 = 5*x. Which is bigger: x or -0.4?
x
Let r = 29 - 31. Which is greater: r or 4?
4
Let w(f) = -5*f + 1. Let n be w(-1). Suppose 3*y - 9 = 5*i, -y - y + n = -5*i. Which is smaller: i or -0.2?
-0.2
Suppose 7 = a - 5. Suppose 3*c = -c - a. Let n(k) = 2*k**2 + 7*k. Let m be n(-3). Is m less than or equal to c?
True
Suppose -4*k - k + 5 = 0, -2*d - k + 85 = 0. Which is greater: d or 43?
43
Let d = 10 - -1. Let a = d + -6. Is 5 not equal to a?
False
Let f = -25 + 24. Is f not equal to -0.2?
True
Suppose -4*h + 0 + 12 = 0. Suppose 8*x - h = 5*x. Is 2/5 at least x?
False
Suppose 0 = 5*s + 10 - 5. Let g = 24/265 + 1/106. Do s and g have different values?
True
Let w = -14/17 + 271/391. Which is greater: w or 4?
4
Let k = -82 + 40. Do k and 0.1 have the same value?
False
Let b = 1.14 + -0.14. Does b = -2/15?
False
Let h be (-1 - 1) + (-15)/(-55) + 2. Suppose -l + 1 = 2. Is l greater than h?
False
Suppose -2*u - 5 = 3*u. Let m = 213 - 3623/17. Which is bigger: u or m?
m
Suppose -2*u = -u + 1, -z + 5*u + 13 = 0. Suppose -z*a = -3*a. Suppose a = 2*x + 2*x. Which is greater: -1/10 or x?
x
Suppose -3*o + 7 + 8 = 0. Suppose -o*v + 1 = 6. Which is smaller: -1/8 or v?
v
Let y(l) = -l**2 - 4*l - 2. Let s be y(-3). Which is bigger: s or -2/73?
s
Let c = -0.09 + 0.09. Let d = c + 3. Which is smaller: d or 1?
1
Let t = 1/21 - 65/42. Suppose -2*j + 1 = -j. Which is bigger: j or t?
j
Suppose -8*p - 162 - 350 = 0. Are -65 and p unequal?
True
Let u(k) = -3*k**2 - 3*k - 4. Let o(z) = -13*z**2 - 12*z - 17. Let b(l) = -2*o(l) + 9*u(l). Let i be b(-2). Is -2/5 less than i?
True
Let g be -1 - (5 - (-5 + 4)). Is g smaller than -8?
False
Suppose 8 - 4 = 4*c. Is 2/3 at least c?
False
Let l = -10 + 9.98. Let y = l + -1.98. Is 3 >= y?
True
Suppose 3*r - 2*r = 0. Suppose j + 1 + 5 = r. Is -5 less than j?
False
Suppose 0*w + 1 = w. Let n be ((-1)/10)/1*w. Which is smaller: 1 or n?
n
Let k = -0.1 + 0. Which is smaller: k or 3/8?
k
Suppose 2 + 0 = 2*f - 3*y, 0 = 3*f - 3*y - 3. Let s = -0.5 - -0.4. Is f not equal to s?
True
Suppose -2*w + 6 - 10 = 0. Is w < -2?
False
Let p be (-2 + 51/18)*-2. Which is smaller: -1 or p?
p
Let 