?
a
Let u(y) = y + 3. Let f be u(-3). Suppose -4 = -f*z - 2*z. Is z > 2?
False
Let b = 15 - 10. Suppose k + b*j = 9, -2*j = 3*k + 2*k - 22. Suppose -k*q - 23 = 13. Is q <= -8?
True
Let g(s) = -s + 19. Let z be g(15). Is z at least as big as 13/3?
False
Suppose 4*w = -3*p + w - 18, 2*p - 4*w + 42 = 0. Let i = 5 + p. Let f be (-2)/4*i/15. Is 0 less than or equal to f?
True
Let m = -93/8 - 21/8. Let k = m + 14. Which is smaller: k or 1?
k
Let p = -1646.4 - -1520. Let d = -117 - p. Let v = 9 - d. Are v and 0.1 equal?
False
Let k be (10/(-4) - 9/(-3))*1. Is -1 bigger than k?
False
Let p = -0.08 + 0.02. Let d = p - 0.04. Which is greater: d or 0.2?
0.2
Let h be (-3)/(6/22) + -1. Let n be ((-2)/(-10))/(h/15). Which is smaller: 0 or n?
n
Let o = -3 - -4. Let b = -2 + o. Are 0.5 and b non-equal?
True
Let t(i) = -45*i**2 + 2*i. Let a be t(-3). Let s = -344647/1155 + -6188/55. Let b = a - s. Is 1 equal to b?
False
Let o be (-2)/4 + (-26)/28. Is o at most 0?
True
Let w = -53 - -63. Which is greater: w or -2/3?
w
Let z = -77 + 45. Is z less than or equal to -31?
True
Let q = -2/3 + 0. Do 0.8 and q have the same value?
False
Let b = -22.5 + -1.5. Let h = 22.7 + b. Let f = h - -0.3. Which is smaller: f or 0.1?
f
Let q(r) = r**3 + 7*r**2 - 9*r - 13. Let a be q(-8). Is 5/6 bigger than a?
True
Let s be (5 - 2) + -2 - -2. Let l(n) = -3*n**3 - 2*n**2 - n. Let z(u) = -u + 5. Let x be z(6). Let g be l(x). Are g and s nonequal?
True
Let o = -34/3 - -11. Is -15 > o?
False
Let i = -48 + 48. Let u = 1 - 9. Is i less than u?
False
Let y be (-2 - 0)/(2 - 10). Which is smaller: y or -3/7?
-3/7
Let x be (-4 + 399/99)*3. Is x greater than -2/7?
True
Suppose -3*h - 3*t = -8*h + 18, 4*t = -3*h + 34. Which is bigger: 7 or h?
7
Let b be -2 + (-1 - -1) + 1. Let z be (0 - 4)/4 + 3. Suppose 8 = -4*h + 4*v, 0 = -z*h - 2*h - v - 8. Which is smaller: b or h?
h
Let z = -9 - -14. Let x = z - 3. Which is bigger: 4 or x?
4
Let i be ((-1)/(-1))/1*-1. Let t = 0.1 + -0.06. Let c = 0.04 - t. Which is smaller: c or i?
i
Let m = -473 + 8026/17. Which is bigger: m or 0?
0
Suppose -5*g = 5*a + 35, -6 = 5*g - 2*a + 1. Let y = -3 - g. Is y greater than or equal to 0?
True
Let j be (-19)/36 - (-8)/(-36). Is j at most -1/3?
True
Let i(d) = -d**2 + 20*d - 43. Let m be i(18). Which is smaller: -3 or m?
m
Let n = -2 + 2. Suppose -2*u - 21 + 5 = 4*g, n = -5*g - 20. Do 2/21 and u have different values?
True
Suppose 5*v = 3*x + 30, 0 = -5*v - x + 3*x + 30. Let i = 6 - v. Let k = 67/42 + -10/7. Which is smaller: k or i?
i
Suppose 0 = 2*t + 4*x - 8*x, -2*t - x = 0. Suppose u = -2*q, 0 = 4*u - t*u + 2*q - 12. Which is greater: u or 9/2?
9/2
Let g = 2 + -2. Suppose 4*r - 2*x = -30, 5*r + g*x - 5*x = -45. Let d(b) = b**3 + 7*b**2 + 6*b + 3. Let h be d(r). Which is greater: -0.2 or h?
h
Let b be (5*1)/(-2 - -1). Suppose -j + 4*v + 5 = -2*j, 4*j + 5*v + 9 = 0. Let i be 1 - (j + -2 + 3). Which is bigger: i or b?
i
Let y = 22 - -37. Which is smaller: y or 58?
58
Suppose -4*i + 56 = -2*i. Is i at most as big as 27?
False
Let k = -6 - 5. Let n(i) = -i**2 - 12*i - 8. Let c be n(k). Do c and 4 have different values?
True
Suppose -5*c - 22 = -122. Let s be 3/c - (-4)/(-20). Is -1 equal to s?
False
Let r = 230 - 100. Let x be (-10)/(-4)*8/r. Let q be 2 + (-7)/3 + 1/3. Which is smaller: q or x?
q
Let n = 29 + -27. Let c(g) = -g**2 - 6*g - 6. Let v be c(-4). Is v equal to n?
True
Let f = -6391/30 + 213. Which is smaller: f or -1?
-1
Let y(o) = 4*o**3 + 9*o - 3 - 5*o**3 + 0 - 6*o**2 + 13*o**2. Let n be y(8). Suppose 0 = n*x - 10, -4*x - 16 = 5*c + 6. Is c at least as big as -6?
True
Let t(l) = 7*l + 12. Let w be t(-2). Let h(k) = -k**3 - 7*k**2 - 7*k - 9. Let p be h(-6). Which is bigger: w or p?
w
Let g = 2/20943 + -1878161/2848248. Let v = 1/136 - g. Let r be 4/(4/(-1))*-1*1. Which is greater: v or r?
r
Let o be 4 + (0 - 21/4). Is 2/7 smaller than o?
False
Let o be 0*(-2 + (-5)/(-2)). Let m = o - 1. Is m >= 0?
False
Let p = 0 - -2. Let r(k) = p*k - 5*k + 8*k - 3*k - k**2 + 2. Let b be r(3). Which is smaller: b or 1/13?
b
Let v = -45 - -179/4. Let u = 0.2 + -1.2. Is v equal to u?
False
Let z(r) = 4*r**2 + r + 1. Let t be z(-1). Suppose -w = -3*w - s, -t*s = 3*w - 5. Suppose 5 = 7*k - 2*k. Which is smaller: w or k?
w
Suppose -w = -4*g + 18, 2*w - g + 1 = -0*g. Let j = -1 + w. Let k = j - -1. Which is greater: k or 1?
k
Let t be ((-6)/12)/((-3)/(-2) + -1). Which is smaller: 5/16 or t?
t
Let a be ((-1)/6)/(2/3). Suppose 7 = 3*t - 0*c - 5*c, -4*c = -t. Suppose -t*l = -n - 19, -3*n - 3*l = -12 - 6. Which is greater: a or n?
n
Let b be ((-4)/(-1 - 1))/4. Let l = -13 - -13.09. Let g = l + 0.11. Which is smaller: b or g?
g
Let q be 0/5 + 4/(-5). Which is smaller: -4 or q?
-4
Let h(s) = 4*s**2 - 2*s + 4. Let u(b) = -13*b**2 + 6*b - 11. Let f(q) = 8*h(q) + 3*u(q). Let g be f(1). Do g and -6 have the same value?
True
Let c = -106 + 105. Which is bigger: -2/73 or c?
-2/73
Let m be ((-21)/(-14))/((-6)/16). Let d be (m/8)/((-1)/4). Suppose -8 = 4*j - d*j. Is j greater than -4?
False
Let j(n) be the second derivative of -n**3/6 - 5*n**2/2 + 4*n. Let p be j(-6). Do p and 5/6 have the same value?
False
Let p = 2/9 + -1/45. Let v = 49 + -33. Suppose 4*o + 4*j = -16, 3*o - 4*j - v = -0*o. Is o at least p?
False
Let o = 13 - 13.1. Let g = 4.97 + -5. Let b = g + 2.03. Do o and b have different values?
True
Let n(p) = -5*p - 2 + 5*p + 7*p + p**2 - 8. Let w be n(-8). Which is smaller: w or -1/2?
w
Suppose -3*s + 6*s - 6 = 0. Let n be (-6)/(-3)*2/1. Let j be (3/(-6))/((-1)/n). Is j smaller than s?
False
Let l be 3/2*(-30)/9. Suppose -14*k = -11*k + 12. Is k at most as big as l?
False
Let q = 52 - 52.5. Is 2/5 less than or equal to q?
False
Suppose a - 11 = -5*y + 2, 0 = 2*a - 6. Suppose 0*p - 34 = -y*m - 4*p, m = 4*p - 1. Is m <= 12?
True
Let d be 3/9*6/(-7). Let c(f) = f**2 - 2*f - 4. Let g be c(3). Let q be (-1 - -1) + 1 + g. Are q and d non-equal?
True
Let s be (-3)/(-5) - 366/(-15). Let y = s + -17. Let v be 12/y - 2/4. Which is bigger: v or -2/9?
v
Let t = -64.885 - 0.115. Which is bigger: -1 or t?
-1
Let z be 202/(-594) - (-12)/36. Is z > 1?
False
Let v = -0.84 + -0.06. Let r = v - 0.1. Which is bigger: r or 5?
5
Suppose 0*m - 2 = -m. Let s be 3/5 - m/5. Is s greater than -1/3?
True
Let y = 34.6 - 35. Which is smaller: y or -0.05?
y
Let b = -15 - -16. Suppose b = 5*j - 4. Are 0 and j equal?
False
Let v be -2 + 0 + 98/(-42). Which is bigger: v or -3?
-3
Suppose 28 - 6 = -h - 5*i, 5*h - 5 = -2*i. Let b be (-72)/(-16) - 1/(-2). Suppose 2*g + 13 = b*f, 0 = 3*f + g + 3*g - 13. Is f > h?
False
Let w = -0.6 + -1.3. Let u = 3.2 + w. Let p = u - 0.3. Which is greater: 0 or p?
p
Let o be ((-2)/8)/((-5)/(-12)). Is 0 > o?
True
Suppose -4*t + d + 8 = 0, -5*t + 16 = -d + 6. Which is greater: 5/3 or t?
t
Let k = -33 + 34.3. Let z = 14.3 - 14. Let j = z - k. Which is greater: j or 0?
0
Suppose -6*r - 4 = -4*r. Let m = 4 + r. Suppose 1 = -m*z + 7. Is 2 at least as big as z?
False
Let c = -388 - -388. Suppose 34 = 4*z + 14. Suppose -4*w + 24 = -0*w + z*f, -5*f = -w - 19. Which is smaller: w or c?
c
Let r = 14 + -25. Is -11 >= r?
True
Let d be (3 - 6) + (-40384)/(-10). Let b = -4073 + d. Let g = 566/15 + b. Is 1 not equal to g?
True
Suppose 7*a + k = 6*a + 4, -a - 2*k + 8 = 0. Which is smaller: a or -3/11?
-3/11
Let w(j) = j**3 + 5*j**2 + 5. Let d be w(-5). Suppose -4*h + 0*b - 7 = b, -d*h - 14 = -4*b. Is h bigger than -3?
True
Let n(a) = -a**3 + 2*a**2 + 2*a - 2. Let s be n(2). Suppose -5*l + 30 = 5*k, -4 = -2*k + l + 2. Suppose k*f - 7*f - 3 = 0. Is f not equal to s?
True
Suppose 4*h = 2*r + 4, 0*r - 5*h + 16 = 3*r. Suppose -5*v + 2*x = -r*v + 10, 2*v + 12 = 4*x. Is -3 smaller than v?
True
Let h = -0.12 + 0.22. Is h < 5?
True
Let j = 667/26 + -51/2. Is 1 <= j?
False
Let i = 1.1 + 0.9. Which is greater: -4/7 or i?
i
Let s(o) = 2*o - 22. Let d be s(11). Do d and -1/20 have different values?
True
Let h(q) = q**3 + 5*q**2 - 1 + 6*q + 7 + q**2. Let p be h(-5). Let g be (p/2)/((-2)/4). Which is greater: g or 1?
1
Let p = 14 - 19. Let f = p + 1. Is -7/2 greater than or equal to f?
True
Let s = 10/13 + -31/91. Are 1 and s nonequal?
True
Let f = -153 + 2600/17. Which is smaller: f or -1?
-1
Suppose -j = 2*y, -j = -6*y + y. Suppose 0 = -s - y*s. Suppose 0 = 2*z 