9 = 3*q - 30. Suppose -2 = -2*w + 2*x, 3*w + 3*x + d = 2*w. Let g be -5 + 5 + 8/(-6). Is w less than or equal to g?
False
Let d be -1 + 3 + (-1692)/844. Let g = d - 1474/633. Do g and -2 have the same value?
False
Let t be ((-2)/(-1) - -3)*1. Suppose 0 - t = -5*h. Let w be (1 - h)/(8/4). Does -2/5 = w?
False
Let a = -156453/4 - -9074759/232. Let k = a - 17/8. Is k smaller than 1?
True
Let x = 57.8 - 58. Which is greater: -3.1 or x?
x
Let v = 0.8 - -0.2. Let d = 0.56 - -0.04. Let p = -0.4 + d. Which is bigger: p or v?
v
Suppose -2*c + 5*o - 22 = 1, 0 = -3*c - 4*o + 23. Suppose -3*v - 5*b = -v, -v + c = 2*b. Which is bigger: v or 7?
7
Let w(z) = 2*z - 10. Let d(p) = -p**3 - 15*p**2 - 15*p - 8. Let m be d(-14). Let r be w(m). Are r and 2 equal?
True
Let x = 1.03 + -0.83. Is x at most as big as 0.2?
True
Suppose 21 = -5*l - 0*l + 4*k, 0 = 5*l + 4*k - 11. Which is bigger: -2/13 or l?
-2/13
Let g(r) be the second derivative of -2*r**2 - 2*r + 7/6*r**3 - 1/12*r**4 + 0. Let h be g(6). Is h != 2?
False
Let l be (-2 + -4)*(-2)/(-3). Is -4 at most l?
True
Suppose 5*f + 8 = 3*f. Is -1/4 >= f?
True
Let u = 25 + -17. Suppose 0 = -6*f + 4*f + u. Suppose s = 2*t - 7*t + 21, 4*s + f*t = 20. Is 2/19 < s?
True
Let c = 3 + 5. Suppose -4 = c*f - 4*f. Are f and 2/7 non-equal?
True
Let j be 2/3 + 11/(-12). Suppose -6*y = -11*y + 15. Suppose -4*u - 2*t - 3 = 1, 0 = 2*u + y*t + 6. Is u smaller than j?
False
Let h(t) = t**2 + 17*t - 12. Let x be h(-18). Is 4 bigger than x?
False
Suppose 5*b - 25 = -0*m + 5*m, 4*m = -3*b + 8. Let c be (m + 4)*5/15. Which is smaller: 0.6 or c?
0.6
Let k = -0.108 + -0.012. Which is smaller: 2 or k?
k
Let z = -19 + 19. Which is smaller: z or -2/5?
-2/5
Let b(i) = -i**2 - 2*i + 1. Let m be b(-2). Is 5/6 > m?
False
Suppose -6*i - 506 = 94. Is i greater than -100?
False
Let g = -5 - -8. Suppose -k + 120 = -g*k. Let m be (-2)/5 + (-174)/k. Is 4 not equal to m?
True
Suppose -c + 3 = w, 0 = -2*c + 5 - 3. Which is smaller: w or -3/2?
-3/2
Let m(j) = 3*j**2 + 1. Let w be m(1). Let p = w - 1. Suppose 3*f + p*u = 3, -4*f + u + 2 = -7. Is f at most as big as 1?
False
Let p = 20 - 32. Suppose 12 = -4*n, -3*n = -3*w - 0*n - 6. Let h be 2/3 - w/p. Is 1 > h?
True
Let p = -8 + 9. Let n = 7 - p. Let d = 6 - n. Is -2/3 less than or equal to d?
True
Let r be (4/3)/(2/3). Suppose -y = -u - r - 1, 2*y - 4*u - 8 = 0. Let f = 5 - 5. Which is bigger: f or y?
y
Let q(b) = -b**3 + 4*b**2 + b - 1. Let r be q(4). Suppose -t + 2 = r. Which is smaller: t or 0.5?
t
Suppose 2*l - n + 36 = -12, 0 = -2*l + 2*n - 44. Let f = -3/1078 - -83015/3234. Let m = l + f. Is m at least as big as -2?
True
Let l = 2 + -3. Let i = -1222/17 + 72. Which is greater: l or i?
i
Let k be (28/8 - 4)/(-1). Which is greater: k or -24?
k
Let t(j) = j**2 + 4*j + 1. Let a be t(-3). Let f = -1011 - -4089/4. Let d = -143/12 + f. Are a and d nonequal?
True
Suppose 4*o + 5*q - 30 = 0, -5*o + 55 + 3 = -4*q. Let a be 0 - ((-6)/o - -1). Which is greater: a or 1?
1
Let s = -0.2 - 0. Let y = 15 - 15.2. Is y < s?
False
Let f = -864/7 + 670/7. Let o(b) = 29*b**3 - b**2. Let t be o(1). Let x = f + t. Which is smaller: 0 or x?
0
Suppose -2*g + 2*s + 8 = 0, 4*g - 2*s + 0 - 6 = 0. Let f be -1 + (-1 - -2) + g. Which is bigger: -11/6 or f?
f
Let p = -0.03 - -0.07. Let j = 0.34 + -0.3. Let m = p - j. Is m not equal to -5?
True
Let o be 38/72 - (-4)/18. Suppose -2*f + 5*k = -19, -18 = 3*f - 6*f + 4*k. Suppose -3*y + f*d + 12 = 0, 5*y - 2*y - 4*d = 18. Is y less than o?
False
Let u be -2*134/(-544) + 8/(-68). Let d be (2/4)/(1/2). Let g = 1 - d. Which is greater: g or u?
u
Let l be (-4)/(-6)*(1 - 7). Let p be (-35367)/231 + l/(-14). Let a = 153 + p. Is a >= 1?
False
Let d be ((-16)/24)/((-1)/12). Which is bigger: d or 3?
d
Let r be -3 - (-8)/76*1557. Let a = 161 - r. Is 1 less than a?
False
Let c(v) = v**3 + 3*v**2 + 3*v + 7. Let g be c(-3). Which is greater: g or 9?
9
Let z be (-1)/(-5) + 63/35. Let u(l) = 5*l - 1. Let r be u(z). Which is bigger: 8 or r?
r
Suppose -k - k = 0. Suppose k = -3*s + 6*s. Is 5 at most s?
False
Let k = 1/13 - -23/39. Which is greater: k or 0.16?
k
Suppose 3*y + 12 - 9 = 0. Which is greater: y or 1/30?
1/30
Let o(u) = 2*u**2 - 5. Let g be o(3). Is 11 > g?
False
Let o = -4 - -3. Let g = 43 - 40. Let k be (o + -2)/g + 2. Is k greater than 2/13?
True
Suppose 5*a + 15 = 5*h, -2*h + 0*h + 12 = -4*a. Suppose b - 3 = 4*u, 6*b + 3*u - 15 = b. Let m = h - b. Which is bigger: -4 or m?
m
Let f = 7 - 4.16. Let s = f - -0.16. Is -2/7 smaller than s?
True
Let p be (-225)/(-5) + 2/(-2). Which is smaller: p or 0?
0
Let k be (3 - 0)*-1 - -4. Suppose 0 = -2*h - 0*c - 5*c + 13, 0 = 5*h + c + 25. Is k equal to h?
False
Let t = 24 - 309/13. Which is smaller: t or 0?
0
Let r(o) = 20*o**2 + 8*o + 19. Let g be r(-2). Is g not equal to 84?
True
Let q(k) = 2*k**2 - 9*k - 12. Let j be q(5). Which is bigger: j or -1?
-1
Let k(r) = r - 14. Let c be k(13). Which is smaller: 3/7 or c?
c
Let w be -5*(-2)/(-14) - -1. Does w = -1?
False
Let q(a) = a + 1. Let s be q(2). Let k(c) = c**2 + 5*c - 3. Let b be k(-6). Suppose -b*t - s = -0*t. Is 0.2 greater than t?
True
Let s(v) = 2*v**2 + 0*v**2 + v**3 + 4*v**2 + 4*v - 3*v**2 + 2. Let q be s(-2). Is q equal to -4/5?
False
Let d = -59 - -59.06. Which is bigger: -5 or d?
d
Let q be (-11)/44 + (-87)/(-316). Do -1 and q have the same value?
False
Let z be ((-5)/4)/(2/(-8)). Suppose -8 + 16 = 2*u. Suppose u*b = 5*a - 20, 2*a - b = 3*a - 4. Which is greater: a or z?
z
Suppose 0 = -5*z + 2 - 32. Which is greater: z or -7?
z
Let x = 21 - 25. Let g be 42/9 + x + -1. Are g and -1 equal?
False
Let c(g) = g**3 + 7*g**2 + 6*g + 6. Let h be c(-6). Let u = h - 7. Let o be 26/9 - (0 + 3). Is o not equal to u?
True
Let a(z) = 4*z**3 + z - 1. Let t = -1 + 2. Let h be a(t). Which is bigger: h or 5?
5
Let x be ((-3)/6)/(1/1). Is x at most 5?
True
Let u(k) = -k**3 - 5*k**2 + 2*k - 4. Let r be u(-5). Which is smaller: r or -13?
r
Let b = 8 + -9. Let u = -28 - -16. Let i be 4/(-6) + 10/u. Which is smaller: b or i?
i
Let g(b) = b**2 + b - 4. Let d be g(-3). Let t(r) = r**2 - 4*r + 3. Let v be t(d). Let s be (7/(-56))/(v/6). Which is bigger: 1 or s?
1
Suppose -v - 19 - 25 = 5*j, -4*j - 33 = 3*v. Let f be j/6*(-4)/(-9). Suppose -7*o = -2*o - 2*q - 5, -o - 3*q = 16. Is o less than f?
True
Let k = 0 - 0.2. Let c = 0 + k. Let d = c + 0.2. Which is greater: -2/5 or d?
d
Let c be -3 + (-5 - 4/4). Are c and -9 equal?
True
Suppose 2*d - 2*s - s + 11 = 0, 25 = 5*d + 3*s. Let y(m) = m**3 - 10*m**2 + 9*m + 2. Let f be y(9). Suppose -f = 4*n + d. Is n < 1/4?
True
Let x = -140 - -694/5. Which is greater: x or 0?
0
Suppose 4*x + 5 + 7 = 0. Suppose 0 = d + 3*w + 6 + 5, 40 = 5*d - 4*w. Let o = d + x. Is -3/8 smaller than o?
True
Let f be 10/(-9)*24/16. Is -2 >= f?
False
Let t = 32 - 33.44. Let p = t + 1.5. Do 0.1 and p have different values?
True
Suppose 0 = -o + t - 3*t - 1, -o - 5*t = 4. Suppose -6*x = -x - 5. Is x greater than o?
False
Let g(h) = -h - 5. Let l be ((-1)/3)/((-2)/(-42)). Let r be g(l). Which is bigger: r or 0?
r
Suppose 3*d = 0, 2*b + 4 = 4*b - 5*d. Suppose -g - 5*y + b*y + 7 = 0, 0 = -2*g + 4*y - 6. Let i be (g + 2)/(1 - 8). Is 1 != i?
True
Let r be 3/(-24)*2*-12. Let v be 1/(-3) - (-1)/r. Let k = 29/92 - -10/23. Which is bigger: k or v?
k
Let t = -3905/7 + 557. Which is greater: t or 0?
0
Let x = 54 - 215/4. Let w(s) = s - 5*s**2 + 0 + 2 - s**3 + 2. Let d be w(-5). Which is bigger: x or d?
x
Let k(o) = -o - 10. Let p be -5 - (-3 + 5 + 1). Let l be k(p). Is l not equal to -1/2?
True
Let j(k) = -k**3 - 4*k**2 - k - 2. Let n be j(-4). Let r be (3 + -5 + n)*-1. Do 0 and r have the same value?
True
Suppose -4*c + 2*c + 5*m + 15 = 0, -2*c + 17 = -3*m. Let t be ((-18)/45)/(16/c). Which is greater: -1 or t?
t
Let y = -3 - 5. Let z be 2/y - 11/4. Is z bigger than -4?
True
Let s = 6 - 1. Suppose 0 = -f - z, -s*f - 12 = -3*f - z. Are f and -3 equal?
False
Let d(z) = z**3 + 5*z**2 + 3*z + 1. Let b be d(-4). Is 2 < b?
True
Let a = 67 - 56. Is a less than 11?
False
Let i = 518 - 526. Let g(p) = p**3 + 3*p**2 - 2*p + 5. Let o be g(-5). Let d be o/4 + 1/(-4). Are i and d nonequal?
True
Let s = -133 - -933/7. Which is greater: s or 1?
1
Let w = -3.5 + 5. Let u = w - -0.5. Which is bigger: u or -1/2?
u
Let g = 16.