 -8. Let h be z - (3 + -3 + -2). Suppose -i + 3*k = -5, -4*i + 2*k = -8 - 2. Do i and h have different values?
False
Let q be (-16)/140*10/4. Let g = -3 + 5. Let n be (-1 - (0 + -1))/g. Do q and n have different values?
True
Let i be (-2 + 0)/(10/85). Which is greater: -19 or i?
i
Suppose 5*n = -0*n + 2*x + 132, 103 = 4*n + x. Let u = -21 - -51. Let d be n/u + 8/(-12). Is -1 less than d?
True
Let w be 0 - (0 - 2)*-1. Let y(p) = 7*p**2 - 5*p + 8. Let c(b) = -11*b**2 + 7*b - 12. Let m(d) = 5*c(d) + 8*y(d). Let t be m(3). Is t bigger than w?
False
Let w be -2 - (-5)/(30/9). Let i = w + 19/30. Which is smaller: 1 or i?
i
Suppose 3*v + b - 23 = 0, -v + 17 = -0*b - 2*b. Let s(y) = -3 + 0 + v - y. Let t be s(6). Is t less than 1/13?
True
Let x(u) = -u - 1. Let s(j) = -j**2 - 2*j - 7. Let g(l) = -s(l) + 4*x(l). Let t be g(2). Is t <= 8/5?
False
Suppose 5*m = -5*j + 20, 6*m - 3*m + 8 = j. Let t be (-2*1)/(-2 + -1). Do m and t have different values?
True
Let l = -1.3 - -1.7. Let g = -0.4 + l. Which is smaller: g or 0.01?
g
Let u(f) = f**3 + 8*f**2 - 11*f + 1. Let b be u(-9). Suppose b = 4*y + 3, 7 = 3*m + y. Suppose 14 = 5*q - m. Is 1 greater than or equal to q?
False
Let p = 0.21 + 0.19. Which is bigger: -0.3 or p?
p
Let m(o) = -o - 3. Let n be m(-5). Let c = n + -3. Let p be (-1)/1 + (0 - 0). Is c at least p?
True
Let n be (-3)/12 + (-15)/(-6). Which is smaller: n or 1?
1
Suppose -46*a + 41*a = 0. Which is smaller: 1 or a?
a
Let c(x) = -3*x + 3. Let s be c(2). Let k be ((-24)/63)/(2/s). Suppose -5*i - 10 = -10*i. Which is greater: k or i?
i
Let t(k) = 3*k. Let q be t(1). Let h(r) = -r**2 + 3*r + 4. Let s be h(3). Suppose s*x + 21 + q = 0. Is x less than or equal to -6?
True
Let d = 0.3 + -0.38. Suppose -3*v - 58 = -55. Which is smaller: d or v?
v
Let x = 0.66 - 0.6. Let s = 4 + -3.94. Let z = s - x. Which is smaller: -0.04 or z?
-0.04
Let d be (1/(-4))/(3/8). Let u be 8/(-6)*36/24. Which is smaller: u or d?
u
Suppose 2*l - 42 = 4*y, 0*l - 27 = 4*y + 3*l. Suppose 2*h + 27 = -h. Do h and y have the same value?
True
Let x = 5370/29 - 754705/4089. Let i = -3/47 - x. Is -1 less than i?
True
Let y = -2 - -1. Let k = 1 + y. Let h be ((-4)/6)/(20/(-12)). Is k smaller than h?
True
Let g(s) = -s**2 + 3*s + 4. Let u be g(4). Is -26/19 < u?
True
Let o = -3944/2751 - -2/393. Let b be (4/6)/((-3)/9). Is o at least as big as b?
True
Let w be 22 + 0 + 2/1 + 0. Which is smaller: 23 or w?
23
Let d be 21*(-4)/28*-2. Which is bigger: 1 or d?
d
Let f = 14 - 6. Let j = f + -8. Is -0.4 smaller than j?
True
Let f(p) = -2*p**2 + 44*p - 4. Let c be f(22). Which is bigger: -1 or c?
-1
Let w = 20 - 56/3. Let x(q) = -3*q**2 - 3*q - 2. Let o(i) = -i**2 - i - 1. Let f(a) = o(a) - x(a). Let z be f(-1). Which is smaller: w or z?
z
Let z(g) = -2*g - 15. Let j be z(-8). Is -0.066 at least j?
False
Let r be 6*11/((-2541)/14). Suppose 0 = 2*w + w - 3. Is w at least as big as r?
True
Let g = 67.8 + -71. Is 2/3 less than g?
False
Let k = -64.3 + 67. Is 0 at most k?
True
Let h = -55 + 60.3. Let s = 0.01 + 4.99. Let f = h - s. Is f at most 1/2?
True
Let l(z) = -z**3 + 5*z**2 - z - 5. Let h be l(5). Let f be (-14)/18 + h/45. Which is smaller: 1 or f?
f
Let z(q) = -q - 1. Let f(s) = -5*s**3 - 2*s**2 - s. Let w be f(-1). Let a be z(w). Suppose -y + 28 - 32 = 0. Is y >= a?
True
Suppose -4 + 5 = -i + 2*b, 0 = -5*b - 5. Which is smaller: 1 or i?
i
Let k be 9/3 - 46/10. Which is smaller: -1 or k?
k
Suppose 2*h - 3*h = 2. Let q be h/30*(-15)/(-24). Which is greater: 0 or q?
0
Suppose 0 = -2*z - 3*j + 2, 5*z - 2*z - 10 = -j. Which is greater: 27/8 or z?
z
Let n = -155652625342972547/23850 - -13052631029939/2. Let c = n + 325938/25. Let u = c - 2/265. Which is bigger: u or -1/2?
u
Let k be 3 + 1*(-22)/2. Let d(m) = -m - 8. Let n be d(k). Do 3/4 and n have the same value?
False
Let y be (-12)/(-18) - 17/3. Let j be (-5)/(-4)*y/25. Which is greater: j or -1?
j
Let z = 7886/27 + -292. Suppose 3*x - 3*f = -12, 2*x - 5 = -4*f + 5. Which is smaller: z or x?
x
Suppose -2*v = 2*s - 3*v + 2, 1 = -s - 4*v. Let d be (-18)/(-8) - s/(-4). Is 4/7 bigger than d?
False
Suppose -25 + 0 = 5*f. Let g = f - -3. Let o be (3/9)/(g/(-6)). Is 2 < o?
False
Suppose -3*v = -v - 8. Let w(t) = -t**3 + 4*t**2 - 5*t + 4. Let k be w(v). Let s be ((-15)/(-10))/(6/k). Does s = -5?
False
Let i = -34 - -20. Let s = 9 + i. Let f be (-9)/15 - (-2)/s. Which is bigger: f or 0?
0
Let y = 0 - 0.1. Let w = 6.6 - -0.4. Which is bigger: y or w?
w
Let x(h) = h + 1. Let a(n) = 4*n + 9. Let b(y) = -a(y) + 5*x(y). Let p be b(8). Let k = 4 - p. Which is smaller: k or 2/9?
k
Let o(b) be the first derivative of -b**4/4 + 3*b**3 - b**2/2 + b - 1. Let g be o(9). Is g less than -2/5?
True
Let n = 19 - 8. Let j = n + -6. Let v = 4 - j. Is v > -1/7?
False
Let z be -5 + 5 + 1 + -1. Suppose -5*u + 5 = 2*h, 4*h - 3*u - 37 + 14 = z. Suppose -h = -3*p - 2. Which is greater: p or 1/5?
p
Let c(s) = s**2 - 2*s - 1. Suppose 0 = -3*f - 2*d - 1, -d - 16 = -3*f - 2. Let y be c(f). Does 3 = y?
False
Let w(f) = -f**3 - 8*f**2 - 7*f + 3. Let p = 2 - -2. Let r be p/(-8) + 26/(-4). Let y be w(r). Does y = 3?
True
Let y(h) = h + 4. Let k be y(0). Suppose -4*l - k = -8. Which is bigger: l or -1?
l
Let a = -0.1 + -0.7. Let r = -1 - a. Is 1/3 >= r?
True
Suppose -3*q = -6*q - 15. Let l be 6/(((-210)/(-4))/q). Which is bigger: 0 or l?
0
Suppose -v + 15 = -0*v. Suppose -v = 2*s + 29. Let w be -1*s/14 - 2. Is -1 >= w?
False
Let p = 72 - 68.1. Which is smaller: p or -0.1?
-0.1
Suppose 3*v - 3 = 6. Let x be (4 + -3)/1 - -1. Are x and v equal?
False
Let i = 0 - 2. Let u = 9 + -6. Let j = i + u. Which is greater: 1/4 or j?
j
Let a = 2 + -3. Let c = 3 + -2. Let b = a - c. Which is bigger: b or -3?
b
Let g be (-5)/(-3)*(-42)/4. Let v = 17 + g. Is -0.02 equal to v?
False
Let v be (-14)/98 + (-25)/(-77). Let o(n) = n - 2. Let g be o(2). Which is smaller: v or g?
g
Let u(j) = j**3 + 5*j**2 + 3*j + 6. Let z(h) = -h**2. Let f(g) = u(g) - 2*z(g). Let w be f(-7). Let s be (-6)/15 - 1/w. Is -1 at most s?
True
Let p = -385.05 + 403. Let s = 18 - p. Which is greater: s or 1?
1
Let k(v) = v - 1. Let x be k(1). Let m = -1 - x. Let i be m*(11/(-3) + 3). Which is bigger: 2/9 or i?
i
Suppose -2 = -4*p + 2. Which is smaller: -1/30 or p?
-1/30
Let h(u) = -2*u**2 + 17*u - 15. Let f be h(8). Do f and -6 have different values?
True
Let t = 4 + -3. Let b be (2 - t)/(-6 + 5). Let p be (-2 + 3)/(b/(-4)). Are 3 and p nonequal?
True
Let t = -17.26 - -19.2. Let n = t + 0.06. Which is bigger: n or -1/4?
n
Let t be -6 + -3 + 0 + 1. Which is greater: t or -7?
-7
Let h(w) = -20*w**2 + 1. Let z be h(5). Let o = z - -6490/13. Do o and -1 have the same value?
False
Let s be ((-94)/(-2) - (-4 - -3)) + 4. Is 52 bigger than s?
False
Suppose y - 204 = -2*y. Let s = -29 + y. Suppose -5*i - s = -0*i + 4*w, 3*i + 16 = 5*w. Which is bigger: -6 or i?
-6
Let f = -4737/11 - -431. Let d = f - -10/33. Which is greater: d or -1?
d
Let k(w) = 2*w**2 + 44*w + 19. Let z be k(-22). Is z at least as big as 16?
True
Let j = -10 + 10.8. Let x = 0.8 - j. Let h = 1 + -1. Is h greater than x?
False
Let o = 8 + -5. Is 3 < o?
False
Suppose -a + 10 = 2. Let b be 6/a*(-2492)/(-12). Let h = b + -155. Which is bigger: 0 or h?
h
Let z = -32 - -21. Are z and -11 equal?
True
Let j = -9.16 + 0.16. Let n = j + 13. Is n not equal to 0.1?
True
Let y be (-5 + 11)*2/(-4). Let k(m) = -m**3 - 3*m**2 + m + 2. Let h be k(y). Let s be (-4)/(-5)*(-10)/6. Which is bigger: s or h?
h
Suppose -12 = h + 2*h. Suppose -5*y = -2*y + 9. Is y <= h?
False
Let j be 43/(-35) + 16/20. Is 0 at most as big as j?
False
Let t = 30.3 + -30. Is t less than -5?
False
Suppose -t = q + 3*t - 14, -2*q - t = 7. Let x = 0.4 + -1.4. Is x less than q?
False
Let u(q) = -q**2 + 2*q. Let l be (-3)/2*(-4)/3. Let c = 4 - l. Let y be u(c). Is -1 greater than or equal to y?
False
Let i be (3/(-2))/(-2 + -1). Suppose 6 = 2*l - 0, 0 = -2*u + l - 9. Let b = u - -7/2. Do i and b have different values?
False
Let f(l) = -6 - 2 + 17*l - 16*l. Let q be f(10). Which is smaller: q or -0.1?
-0.1
Suppose 4*n + 0*n + 36 = 0. Which is smaller: -5 or n?
n
Let s = -6.02 - -0.02. Let b = s - -9. Let q = 0 + b. Is 2 not equal to q?
True
Let s = -37/78 - 1/39. Are 0 and s equal?
False
Suppose 0 = -3*y + 38 - 2. 