Suppose -3*z + 15 - 6 = 0. Let a = z - 4. Let b be a/2*-3*1. Do b and 2 have different values?
True
Let i be ((-4)/220*11)/(2/(-10)). Are 16/17 and i nonequal?
True
Let i be 6/(-26)*(-12)/9. Let k(d) be the first derivative of -d**3/3 - 7*d**2/2 - 6*d - 5. Let a be k(-6). Is a > i?
False
Let b = -1.19 - -54.19. Let m = b - 53. Which is smaller: m or -17?
-17
Let w be -73 - (-5 + 1 + 5). Let i = 72 + w. Which is smaller: i or -0.09?
i
Suppose -14*p + 911 = -13. Let f = 47 - -18. Which is smaller: p or f?
f
Let w = 1135 - 1119. Is w less than or equal to 15?
False
Suppose 0 - 6 = -3*u. Suppose -h + u = -o, 4*h = -4*o + 7 + 1. Let y be 12/8 - 0 - h. Which is smaller: 0.3 or y?
y
Let t(v) = 3*v**2 - 2*v + 1. Let u be t(1). Let x be u - (-9 + 2 + 1). Let n be 2/(-21) + (-7040)/(-1155). Does n = x?
False
Suppose z - 10 - 9 = 4*w, -5*z = w + 10. Let p be (z/6)/(8/(-128)). Let u = 0.09 - -0.91. Is u at least p?
False
Suppose f - 40 = -4*n + 8*n, 56 = -4*n + 5*f. Let a be (8/12)/((-6)/n). Suppose -2*p - a - 1 = 0. Is p less than or equal to -1?
True
Let x = 12 + -102. Are x and -91 non-equal?
True
Let i be 6/4*16/12. Suppose -19 = -4*d + f, -f - 13 = -4*d - i*f. Suppose 0 = -6*p + d*p + 16. Is 8 less than or equal to p?
True
Let s be ((-60)/(-105))/(4/(-14)) + 15. Is s less than 10?
False
Let u = 21/65 - -589/390. Let b = 1/6 - u. Let t(a) = -a**2 + 3*a + 2. Let o be t(4). Do o and b have different values?
True
Suppose 12*g = -14*g + 52. Which is smaller: g or -284?
-284
Let a = -342 - -454. Which is smaller: a or -1?
-1
Let b = 31 - 40. Let c = b - -8. Let d = 18 - 14. Is c <= d?
True
Let s = -0.36 - -0.27. Let f = s + -0.09. Which is smaller: 0.1 or f?
f
Let o = -6.84 - -55.94. Let h = o + -49. Which is smaller: -4 or h?
-4
Let i = -202474/59 - -3432. Is -1 greater than or equal to i?
False
Let l = -47/5 + 10. Let u = -8.2 - -4.2. Is u greater than or equal to l?
False
Suppose -2*t - 1 = -t. Let m(c) = -c**2 + 5*c - 1. Let w be m(4). Suppose -w*z = z + 8. Which is smaller: z or t?
z
Let y = 10 - 6. Suppose u + 2*b = 6, -y*u + 9 = 4*b - b. Suppose -2*d + t - 11 = 0, 0 = 4*d - 3*t - u*t + 27. Which is smaller: -2 or d?
d
Let m = 25921/60 + -432. Which is bigger: m or 0?
m
Let t = 26.34 + -0.34. Let c = 26 - t. Do c and -0.16 have different values?
True
Let b = 7 + -15. Let l = 8.92 + -0.82. Let q = b + l. Which is greater: q or 0.2?
0.2
Let l be (-9)/(-3) + (1 - 1). Let h be (5 - 4) + 9/l. Suppose -3*o - 4 = 4*v, -h = -3*o - 5*v - 12. Which is bigger: 2 or o?
o
Let i(w) be the first derivative of w**2 - 27*w - 16. Let q be i(15). Suppose -2*g - 3 + 9 = 0. Is q smaller than g?
False
Let a = 4.46 + -5.8. Let d = a + 1.4. Let q = -10.94 - d. Which is smaller: 2 or q?
q
Let b = 0.142 - 0.002. Let n = 0.34 - b. Let x be 2/(-3) - 2/6. Are n and x equal?
False
Let k be 44/(-33) + (-4)/(-3). Is 2/481 equal to k?
False
Let q be (-1 - 0) + 2/(8/3). Is 2.73 >= q?
True
Let p(b) = b**2 - 2. Let h be p(-2). Let c(g) = g**2 - 1. Let i be c(h). Let q be (-14)/(-8) + (-15)/(-60). Is q equal to i?
False
Suppose 4*f + b + b = 50, 2*f - 5*b = 7. Let c = 13 - 9. Suppose 2*a + f = -d, -c*a = -5*d - 7*a - 20. Are d and 0 nonequal?
True
Let h = -476 + 479.8. Is h < 4?
True
Let g be 48/32 - (-1)/2. Suppose 4*b = -12, -y + 3*b = 3*y - 21. Suppose -y*s = g + 4. Is -7/8 at least s?
True
Let y be ((-44)/495)/((-28)/(-70)). Let m = -2 + 1. Is m > y?
False
Suppose -41 = -7*p - 34. Is p at most 1/277?
False
Suppose 6*j - 162 = 4*j. Suppose 6*a - 2*s = 3*a - 102, 5*s + j = -3*a. Does a = -34?
False
Let f(t) = t**3 + 6*t**2 - 8*t - 5. Let k be f(-7). Suppose -2*z = k*z. Suppose -4*u + 16 = z, -s + 6*s + 11 = 4*u. Which is smaller: 0.3 or s?
0.3
Let g(y) = y**3 - 9*y**2 - 24*y + 15. Let m be g(11). Which is bigger: m or -52/9?
-52/9
Suppose 2*j + 24 = 8*j. Suppose -287 = -j*k + 109. Let b = k - 695/7. Which is smaller: -4/5 or b?
-4/5
Let g be (-285)/12 - (-16)/(16/(-4)). Let h = g - -27. Is h bigger than -2/7?
False
Suppose 10*w - 5*w - 984 = -2*g, -3*w + 12 = 0. Which is smaller: 480 or g?
480
Let j be (2/3)/((-11)/132). Let h be (-12)/j + (-22)/16. Which is smaller: -1 or h?
-1
Let f(u) = 14*u + 335. Let j be f(-33). Is -380/3 < j?
False
Let x be -4 + 2 + 842/7. Let a = -221 + 339. Let z = a - x. Which is smaller: z or 1?
z
Let d be (-5)/((3 - 2)*-1). Suppose 0 = -4*j + 20 - 4. Let q be ((-8)/20)/(j/d). Do q and 2/7 have the same value?
False
Let z = -172/27 + 13325/2079. Which is greater: z or -1?
z
Suppose 0 = -10*z + 33*z - 1012. Let a be 44 - (-1 + 0 + 2). Which is greater: z or a?
z
Suppose 6*o - 2*o = -3*f - 11, 4*o = -8. Which is smaller: f or 1/222?
f
Suppose 0*f = -3*f - 3. Let d be (-195)/(-385) + 1/(-7). Which is greater: d or f?
d
Suppose 0 = -u + 6 + 2. Let s be (6/(-10))/(1/15*1). Let j be 6/s + 1 + 42/9. Is u >= j?
True
Let k(v) = v - 7. Let t be k(9). Suppose 29 = 5*a - t*d, -4*d + 4 = a - 15. Let i(x) = -x**3 + 6*x**2 + 6*x + 17. Let h be i(a). Are h and 9 equal?
False
Let l = -20 + 12. Suppose f - 25 = -4*f. Suppose -f*b - 26 = -z, 45 = -5*b - z + 11. Which is bigger: l or b?
b
Let p(t) be the first derivative of t**4/4 - t**2/2 - 4*t + 1. Let v be p(2). Suppose 0*f + 9 = -f - v*g, 0 = 4*f - 4*g - 24. Is f > -1/4?
True
Suppose 2 = -w, -4 = -4*r + 3*r + 5*w. Is r <= -10?
False
Suppose 4*x - x = 0. Suppose 3*s - 27 + x = 0. Suppose s = -5*g - 21. Are g and -6 non-equal?
False
Let k = -0.1095 - 0.0005. Is 0.08 <= k?
False
Suppose 0 = 2*f - 3*l + 5, -5*l + 7 = 284*f - 288*f. Which is smaller: f or -11?
-11
Let q = 4.4 - 35.4. Let o = q - -30.9. Let u = -0.9 + 1. Is o at most as big as u?
True
Let r(y) be the third derivative of -y**5/60 - y**4/6 + y**3 + 2*y**2. Let w be r(-5). Let b = 253/9 + -28. Which is smaller: b or w?
b
Suppose -3*m = 4*j - 13, 3*j + 3*m - 10 = 2. Let v = 51 + -65. Let z be v/(-4) + (-3 - 0/2). Which is smaller: z or j?
z
Let d(z) = -z + 26. Let r be d(0). Let i = 26 - r. Is i less than 5?
True
Let t(s) = -8*s + 231. Let p be t(46). Does p = -140?
False
Let q(g) be the second derivative of g**4/12 - g**3/3 - g**2/2 - 15*g. Let c be q(-1). Which is bigger: -4 or c?
c
Let s = -609 + 536. Which is greater: -2 or s?
-2
Let p = 25 + -3. Suppose 21*x - p*x - 4 = 0. Let o be x/22 + (-116)/(-396). Do 1 and o have different values?
True
Let x = 11.5 + -1.5. Let v = -14 - x. Let m = -25.4 - v. Which is smaller: 1 or m?
m
Let i(r) = 4*r - 6. Let h be i(-3). Let x(d) = d**2 + 20*d + 36. Let a be x(h). Is a at most as big as 2/21?
True
Let o be 6/(-12) - (-90)/164. Let c be (-3 + 4 - 3)/2*-1. Which is smaller: c or o?
o
Suppose -4*o + 5*q + 32 + 0 = 0, -3*o + 24 = -5*q. Suppose -56 = 12*k - o*k. Is -13 <= k?
False
Suppose -3*s + 168 = -10*s. Let p = -37 - -59. Let k = p + s. Are k and 0.1 non-equal?
True
Let k(l) = -l**2 + 5*l - 1. Let f be k(5). Let b(z) be the third derivative of z**4/24 + z**3/6 + 150*z**2. Let a be b(f). Which is smaller: -2/23 or a?
-2/23
Let m = -4 - -3. Let n(p) = 2*p**2 - p - 14. Let k(c) = c**2 - 5. Let g(v) = -8*k(v) + 3*n(v). Let f be g(m). Which is greater: f or 1.3?
1.3
Suppose 28 = 4*z - 4*o, -5*z + 4*o + 19 + 13 = 0. Suppose -3*t + 104 = -4*g, -z*g + 38 + 26 = 3*t. Let r be (-204)/567 + 8/t. Which is greater: -1 or r?
r
Suppose 7*r - 8*r = -25. Suppose 4*c + b = 95, 50 = 4*c - c + 5*b. Is c less than or equal to r?
True
Let p be (-2)/7 - (-360)/(-14). Let d = 5869 + -5894. Which is greater: p or d?
d
Let r = 0 - -2. Let k = -19 + 19. Is r < k?
False
Let b(n) = -n**2 + 5*n + 8. Let g be b(6). Let l be 3 + -2 + (-6 - -5). Suppose 0 = -l*o + g*o - 4. Are o and -1 nonequal?
True
Let m be 24/(11 + 1)*2/664. Is -1 equal to m?
False
Let n(l) be the first derivative of l**4/2 + l**3/3 - l + 10. Let v be n(1). Let r be ((-1)/(-3))/((-1)/(-9)). Which is greater: r or v?
r
Suppose -25 - 11 = 9*j. Which is smaller: 0 or j?
j
Let k be (12/(2 + -8))/(4/(-394)). Let a = 339/2 - k. Which is smaller: -28 or a?
-28
Let n = 179.1 + -179. Let u be ((-4)/(-520))/(1/(-4)). Is u equal to n?
False
Let t = 475 + -474. Which is smaller: -2/299 or t?
-2/299
Let i = -571 - -604. Is 321/10 greater than i?
False
Let t be 530/(-105) - ((-150)/(-6))/(-5). Are t and -2 unequal?
True
Let k = 6 + -7. Let y = -29 - -49. Let g be y/(-22)*(-24)/60. Which is big