 m + p. Are a and -1/2 nonequal?
True
Let d(k) = -2*k - 6. Let j be d(-4). Let s(w) = w**2 - 4*w - 6. Let p be s(5). Let o be (p - 0)/(2/j). Which is bigger: -2/5 or o?
-2/5
Let h be 12/4 - 7 - -39. Which is smaller: 34 or h?
34
Suppose 0 = -5*z - 2*d - 9, 5*z - 6*d = -2*d + 3. Let p = -3.5 + 5. Which is smaller: p or z?
z
Let h(g) = g**2 - g. Let v be h(2). Suppose -a + 9 = v*x, 2*x - 3 = a - 4. Suppose -20 = 3*b + x*b. Is -4 >= b?
True
Let h = 9 - 17. Let m = h + 9. Let u = -366/5 - -73. Which is smaller: m or u?
u
Let m = -1.6 + 2. Let t = m - 0.4. Let k = 1.2 - 0.2. Which is smaller: k or t?
t
Let z be 0/(-6 + 2 - -2). Suppose -n = -z*n. Suppose n*v - v = 0. Is v at most as big as 2/15?
True
Let o be ((-54)/(-8))/(21/(-56)). Let r(i) = i + 25. Let d be r(o). Let z be 19/3 - 2/6. Is d smaller than z?
False
Let s be ((-2)/(-2))/(20/4). Which is bigger: s or 0?
s
Let m be 46/((15/(-39))/1). Let a(i) = -4*i**2 + 4*i. Let u be a(6). Let b = m - u. Do b and -1 have different values?
True
Suppose -3*t = -0*t. Suppose 0*x - 1905 = 5*x. Let i = -6479/17 - x. Is i bigger than t?
False
Suppose 3 + 5 = -2*a. Let v(q) = -q**3 + 7*q**2 - 5*q - 2. Let f be v(6). Let z = f + a. Do -1/5 and z have different values?
True
Let l = 21 + -19. Is l equal to 4?
False
Let h(p) = -p**3 - 6*p**2 + 7*p - 1. Let d be h(-7). Let c = d - 3. Is -4 smaller than c?
False
Let r = -0.004 - -0.964. Let h = -0.06 + r. Let d = 1 - h. Which is greater: 0.4 or d?
0.4
Let l = 176/5 - 35. Is l <= 0.1?
False
Suppose -d + 10 = -3*d, -80 = -5*u - 2*d. Which is smaller: u or 19?
u
Suppose 5*d - 5*t = 85, 5*d = -2*t + 64 + 42. Let g be (-5)/d + (-1)/(-36). Which is smaller: -1/5 or g?
g
Let r = 2.2 + -1.82. Let l = r + -0.55. Let t = l - 0.03. Are 2/5 and t non-equal?
True
Let y = -9 + 6. Let d be 27/(-7) - y - -1. Is d <= 1?
True
Let l(w) = -w**3 + 6*w**2 + w - 3. Let p be l(6). Suppose k - 4*k - p*t = 9, 4*k = t + 8. Is 2/7 != k?
True
Suppose -2*s = -3*s - 3, -3*x = 3*s - 6. Let n(i) = -3*i + 74. Let f be n(24). Are x and f nonequal?
True
Suppose -p = -3*l - 0*l + 4, -3*p + 5*l = 0. Suppose -4*u - u = 0, 0 = -3*y + p*u. Let q be 4*(2 + (-39)/21). Which is smaller: y or q?
y
Let a(r) = r - 11. Let h be a(13). Let l = 0 - -1. Which is smaller: l or h?
l
Let m = 18/65 + -1/5. Which is smaller: m or 1?
m
Let v be -15*(3*(-2)/36)/1. Which is greater: v or 3?
3
Let o be -5 + (1 - 1 - 1). Let v be (10/o)/((-13)/39). Which is greater: v or 6?
6
Let j(r) = r**3 + 3. Let c be j(0). Let l = c - 2. Do 1 and l have different values?
False
Let s be 6 - 1 - (2 + 0). Let w = s + -2. Which is bigger: 2/3 or w?
w
Let m be 5/(-10)*-4*1. Suppose -y + 5 = -5*l, -4*l - 5*y = 4 - 0. Let d = -1 - l. Is d > m?
False
Let v = -36 - -34. Is v <= 2?
True
Let y(j) = -j**3 - 6*j**2 - 2*j - 4. Suppose 3*i + 10 = 1. Let f be y(i). Let d be (-4)/14 + f/(-14). Which is smaller: d or 3?
d
Let f = -27/2 + 1859/138. Which is smaller: f or -1?
-1
Let m be (-4)/((-4)/3) - -1. Suppose 5*r + m + 5 = -4*s, -2 = -3*s + 5*r. Is 1/4 less than or equal to s?
False
Suppose 3*v - 4 = -4*n, n - 16 = -5*v - n. Suppose -p + 4*g + 13 = 0, -2*p + 20 = -v*g - g. Is p smaller than 5?
False
Let i be 11/3*(-7 - (-5 + 1)). Is -10 greater than i?
True
Let y be (-2)/(4 + -2 + -4). Suppose -25 = -2*k - 3*k. Suppose -i = -q + 2 - k, 2*q = -i - 3. Is i != y?
False
Let q = -83/45 - -12/5. Let u = -1/18 + q. Are 7 and u non-equal?
True
Let r be (0 + 2)/((-6)/33). Let p = -81 + 91. Let a = p + r. Is a <= 1/4?
True
Let o = 149/54 - -20/27. Is 3 smaller than o?
True
Let f(c) = -4*c + 1. Let l be f(1). Let i be (l/12)/((-2)/8). Which is smaller: i or -2/31?
-2/31
Let f(v) = v**3 - v**2 + v - 2. Let y be f(2). Let j be (y + 1)*(-2)/115. Which is bigger: 1 or j?
1
Let a = 4 + 0. Suppose 0 - 16 = a*n. Which is smaller: n or -5?
-5
Let w = -20 + 11. Is w > -6?
False
Let g = 0.1 + -0.3. Let d(x) = -x. Suppose -4*u - 20 = 0, -2*m - 2*u - 10 = -0*u. Let f be d(m). Which is bigger: g or f?
f
Let w = -1 + 0.88. Let n = 10.12 + w. Let j = n - 7. Is 1/3 less than or equal to j?
True
Suppose 18*v + 235 + 161 = 0. Is v != -108/5?
True
Suppose a = -3*o + 3, -o - 5*a - 3 = -4*o. Let w = o - -2. Is 4 at most w?
False
Let p = -4/33 + -40/33. Let l(n) = 2*n**3 + 3*n**2 - 3*n - 3. Let c be l(-3). Let u be c/12 - 2/8. Which is greater: u or p?
p
Suppose 4*t = -v - 15, -5*t + 1 - 22 = 2*v. Is -8/3 bigger than v?
True
Let n(s) = -s**3 - 7*s**2 - 6*s + 2. Let r be n(-6). Suppose 2*f = 3*f - 7. Let t be 2/f - (-156)/42. Is t smaller than r?
False
Let o(i) = -i - 7. Let u be o(-7). Let h(d) = -d**3 - d**2 - d + 1. Let p be h(u). Let c = 0 + p. Which is smaller: 2/13 or c?
2/13
Let g = -3 + 5. Suppose -5 = v - g. Let d(i) = -i + 3. Let l be d(v). Which is smaller: 1 or l?
1
Suppose 0*m - 1 = -m. Let w(k) be the third derivative of -k**4/24 - k**3/6 - k**2. Let b be w(m). Which is greater: b or -3?
b
Let j be (-4)/10 - (-46)/90. Which is smaller: -1 or j?
-1
Let a(r) = 4*r + 1. Let c be a(1). Suppose -4*l - 2*j + 4*j + 4 = 0, c*l = -3*j - 17. Which is smaller: 0.6 or l?
l
Let k = -2.1 + 1.1. Does k = -6/7?
False
Suppose 2*r + 2*r = 0. Is r at most 7/5?
True
Let h = -19 - -18.9. Is h <= -6/11?
False
Suppose -d + 5*p + 20 = 0, 5*d - 2*p - 8 = 2*d. Which is bigger: 3/14 or d?
3/14
Suppose 0 = -0*u - 6*u. Which is smaller: 1/3 or u?
u
Let m(n) = -n**2 + 5*n + 5. Let u be m(5). Suppose -u = 4*y + y. Is y > -1/6?
False
Let h(u) = u**3 - 11*u**2 - 12*u - 1. Let b be h(12). Let k be (-558)/4*4/(-20). Let g = 141/5 - k. Is g < b?
False
Let c be -4 + 2 + 210/27. Let k = c + -1153/198. Is 1 less than k?
False
Suppose 0 = -5*y + 3*y. Suppose 0 = -5*j + j. Suppose 2*n + 5*p + 14 + 4 = j, 4*p + 17 = n. Are y and n non-equal?
True
Let p be 10/(-3) + (9 - 6). Which is greater: 1 or p?
1
Let n be ((-12)/18)/(2/9). Suppose 2*l + 1 = -3. Is l equal to n?
False
Suppose 3*h = 5*h - 36. Is 18 less than h?
False
Let b(r) = -r**2 - 7*r - 4. Let j be b(-6). Let v(y) = 4*y - 3. Let n be v(j). Suppose -7 = a + 5*z, 0 = -a + 6*a + n*z + 15. Which is smaller: -2/7 or a?
a
Let g be 2/(-13) + (-5244)/52. Is -102 > g?
False
Suppose -2*a - 10 = -0. Let v(p) = -p**2 - 4*p + 7. Let z be v(a). Let g = -2 + z. Is -2 > g?
False
Let m = -22 + 12. Let q be (-4)/(-14) + (-900)/63. Let t be q/(-4) + (-5)/m. Which is bigger: 3 or t?
t
Let f(a) = -a**3 - 6*a**2 + 6*a - 8. Let t be f(-7). Let n = -16 - -17. Let i = 2 + n. Is i at most as big as t?
False
Let g = -7/78 + -1/13. Let l = g - -3/10. Which is smaller: 1 or l?
l
Let b = -908317/201 - -4519. Is b >= 0?
True
Let a = -15987/5 + 3294. Let w = 97 - a. Is 1 at most as big as w?
False
Let k = -0.2 - -0.4. Let v = k + -0.4. Let z = -0.3 - v. Which is smaller: z or -0.3?
-0.3
Let l be (-1 + (-5 - -2))/(-1). Suppose o = 4*c - 4*o + 10, -l*o + 8 = 0. Is c at most 2/13?
True
Suppose -3*f + f + 63 = 5*b, 123 = 5*f + b. Suppose -2*a + 4*a + f = 0. Let q be ((-4)/56)/(2/a). Is q smaller than 0?
False
Let b = 15 + -19. Is -4 at most as big as b?
True
Let p = 4 + -2. Suppose 4*u - 3*u = 0. Which is bigger: p or u?
p
Let s = -6 - -5. Let d(h) = -h**2 + 1. Let r be d(2). Let c = 5 + r. Do c and s have different values?
True
Let n = -116 + 115. Is 36 bigger than n?
True
Let r = 488/3 - 161. Suppose -2*o + 4*q + 24 = 0, 2*q = -o + 1 - 9. Does r = o?
False
Let j(w) = w + 12. Let c be j(-6). Let o = -7 + c. Is -1 at most o?
True
Suppose -21 = -3*h - 24. Suppose -2*m - 5*z + 16 = 0, -m - 4*z + 5 + 6 = 0. Let r be (-4)/14 + m/7. Do h and r have different values?
True
Let m = -140 + 72. Are m and -67 non-equal?
True
Suppose -4*m = -16 - 4. Let a be (3/(-3))/(m/2). Which is bigger: a or 2?
2
Suppose 3*i - 20 = -2*i. Suppose 0 = -3*w + 4*v - 9 + 1, i*v - 16 = w. Suppose 0 = -w*y + 2*y. Which is greater: y or -1/2?
y
Let a be 9/(-12) + 102/8. Let x be 2/8 - (-93)/a. Which is smaller: 6 or x?
6
Let b = 57.6 + -57. Which is greater: b or 0?
b
Suppose -2*d - 5*j = 17, 5*d + 8 = 2*j - 3*j. Which is greater: d or 2/47?
2/47
Let d = 5 + -5.4. Let o = 1.3 + -0.3. Is o smaller than d?
False
Let d be 0 + (0 - (-189)/(-1)). Let r = 1703/9 + d. Which is smaller: -1 or r?
-1
Let q(c) = -c**3 - 5*c**2 + 2*c + 6. Let h be q(-5). Let b be 2/h - 2/12. Which is bigger: 3 or b?
3
Let s be 16/56 + 176/119.