= 6. Suppose 3*h - 5*g = 28, 5*h + 2*g + 3 = -2. Is h equal to y?
False
Let o(q) = 2*q**2 + q. Let c be o(-1). Suppose 0 = 3*h + c - 13. Let k be (1/(-10))/(2/h). Is -1 <= k?
True
Let o = -3.61 - 4.33. Let k = o + 8. Let q = k + 1.94. Is -2 not equal to q?
True
Let d = 2.4 - 2.32. Let g = 0.12 + d. Which is smaller: g or -2/7?
-2/7
Let v = -3 + 7. Let o(l) = 3*l**2 - l**3 - v + 3*l**2 + 4*l + 2*l**3. Let z be o(-5). Is 3 <= z?
False
Suppose 0 = -4*o + 5 + 3, 5*m + 3*o = 16. Which is greater: -10 or m?
m
Let j(f) = -f**2 + 4*f - 3. Let o be j(3). Suppose o = -6*u + u. Let y be (6/40)/(2/(-16)). Is y at most as big as u?
True
Let c = -31822/8955 - 2/995. Let a = 334/99 + c. Which is greater: a or 0?
0
Let z be 60/(-90) - (2 + 290/(-3)). Are 93 and z non-equal?
True
Let o(b) = 3*b + 12. Let t be o(6). Suppose -6*y = -y + t. Is y smaller than -5?
True
Let l be (-4)/24 - (-10)/15. Do 2/33 and l have the same value?
False
Suppose -4*b = 16, 3*q + 0*b + 3*b = -6. Which is smaller: 3/5 or q?
3/5
Suppose 0 = -r + 3*r + 5*z - 5, 0 = 3*r - 2*z - 17. Suppose -4*y + 0*y - r*h + 9 = 0, h = 3*y - 2. Let s be -1 + -1 - (0 - y). Which is bigger: s or 0?
0
Let x be ((-10)/(-15))/((-4)/(-66)). Let p = -12 + x. Is p at most -1?
True
Let w be (0 - -1) + 4/(-4). Let o be 1 + w + (0 - -3). Are 4 and o equal?
True
Suppose 4*r - 17 - 31 = 0. Let b = 86/7 - r. Let z = 1 - 1.1. Is b at most z?
False
Let b = 0.06 + 0.04. Let a(v) = -v - 3. Let j be a(-4). Let p(n) = -n**2 + 2*n - 1. Let f be p(j). Is b less than or equal to f?
False
Let c be (-1 + 1)*(-9)/(-18). Suppose -2*q - 3*q - 15 = c. Does -3/2 = q?
False
Let f be 112/63 - (-2)/9. Let y(w) = -w**3 + 6*w**2 - 4*w - 6. Suppose 0 = h - 5. Let i be y(h). Which is greater: i or f?
f
Suppose -5*g + w = 5*w + 19, 5*g = -2*w - 17. Suppose 3*f = -3*c + 3, 3*f + 5*c - 17 = 2*f. Let d be ((-12)/(-8))/(f/6). Is d < g?
False
Let f = -6.1 + 7.1. Which is greater: f or 2?
2
Suppose -3*o - 2*o - 4*a + 164 = 0, 5*o + 5*a = 160. Let b be (-16)/90 - 8/o. Which is bigger: b or 0?
0
Suppose w + 8 = -3*h, -4 = h + h. Let s be (w - -2)/(-1 - -4). Which is smaller: 2 or s?
s
Let g be -6*2/4 - 28. Which is smaller: -27 or g?
g
Let g(x) = x**2 + 6*x + 6. Let i be g(-6). Are i and 7 unequal?
True
Let m be 3 - 2/((-4)/(-6)). Which is smaller: -2/89 or m?
-2/89
Let s be 1*1/(-34)*-6. Is s equal to 1?
False
Suppose 0 = -4*a + 4*k, -a - 4*k = a - 12. Suppose -1 = f + a. Let b = 4 + f. Is 0 greater than b?
False
Let r be (-2 - 0)*2/(-2). Suppose 4 = l + r. Suppose 3*d = -l*d. Which is greater: -1 or d?
d
Let c = -16 - -23. Let l(o) be the third derivative of -o**6/120 + o**5/10 + 7*o**4/24 - 2*o**3/3 - 2*o**2. Let b be l(c). Is b bigger than -4?
False
Let n be 2*((-2)/(-6))/(-1). Let d(c) = -2 - 3 - 2 + 3 - c. Let a be d(-2). Which is bigger: a or n?
n
Let k = 19.018 - 1.158. Let j = 0.14 + k. Is 1 at most j?
True
Let d(a) = -a**3 - 3*a**2 + 4*a + 2. Let s be d(-4). Suppose -2*q + 3*q + 3*v = 14, -3*v + 12 = 0. Suppose -q*n = s*n. Are n and 1/2 unequal?
True
Let b = -7 - -13. Suppose 6 = 3*d, -5*d + 1 = -4*y + 3. Suppose 0 = 4*s + q + 2, s + b = -s - y*q. Do 2/11 and s have the same value?
False
Let y be 1/2 + (-15)/(-6). Suppose 0 = -5*i + 93 - 83. Which is greater: i or y?
y
Let u = -2.8 - -0.8. Let o = -3 - u. Is -1 >= o?
True
Let i(y) = y**3 + 7*y**2 + 7*y + 5. Let z be i(-6). Are -1 and z unequal?
False
Suppose -y + 2 = -1. Suppose 0 = 3*c + 4*r - 13, 5*r = 5*c + r - 11. Let s = -1 + c. Do s and y have the same value?
False
Let c(r) = -r**2 - 4*r. Let u be c(-3). Suppose 12 = i + i. Suppose 0 = 4*y - i + 2. Is y smaller than u?
True
Let h = 0 + 4. Suppose -n + h*n = 0. Let l be (3 - -5)*(-1)/10. Which is smaller: n or l?
l
Let w(l) = -l - 4. Let r be w(-5). Let b be (4 - 1) + (-1551)/470. Is r >= b?
True
Let b be 3/9 + (-4403)/9. Let j = 490 + b. Which is smaller: j or 0?
0
Let y be (20 + -2)*2/(-8). Let x = -60 + 60. Is y at most as big as x?
True
Let g be 44/(-12) - (-4)/(-12). Let p be (g/130)/(21/35). Are 1 and p equal?
False
Let z = 7755477/68270 - 1/13654. Let w = z + -113. Which is greater: w or 2?
2
Let i = 3 + -4. Let j = -5 - i. Is j > -4?
False
Let k = -94 + 93.4. Is k equal to 0.2?
False
Let c = -51 + 203/4. Let a be 3 + (0 - 3) + 0. Suppose a = 7*u - 2*u - 5. Which is smaller: c or u?
c
Let g = 0 - -5. Suppose 29 = -s + g*b, 0 = s + 5*b - 7*b + 17. Is s at least as big as -9?
True
Let s(i) = i**3 - 8*i**2 + 9*i - 6. Let c(v) = -6*v + 1. Let a be c(-1). Let y be s(a). Is y >= 1?
True
Let l(i) be the first derivative of 4 - i**3 - 1/4*i**4 - 3*i - i**2. Let t be l(-2). Does t = -3?
True
Let h be 4 - (0 + 0/1). Suppose h*k = a - 4, k + 2*a = 3*k + 8. Let g be 12/(-8)*1/(-3). Are k and g unequal?
True
Let q = 31 - 33.5. Let l = 0.1 - 0.6. Let i = l + q. Is i bigger than 1?
False
Suppose 0*t = -4*t. Let u be (-10)/(-4) - (2 - t). Are 2 and u equal?
False
Let b(d) = -d + 18. Let k be b(16). Let n be (2 - (-11)/(-5))*k. Let w be (-4)/(-14) + (-2)/7. Do w and n have the same value?
False
Let d = 1139/3 + -376. Which is greater: 4 or d?
4
Suppose -7 = -2*d - 11. Is d at least -2?
True
Suppose 12*w - 8*w - 8 = 0. Suppose 4*m + 4 = 5*m. Suppose 16 = 4*x + 4*q, m*x + 3*q = 3 + 11. Is w < x?
False
Suppose 3*k + 2 = 29. Which is smaller: k or 23/3?
23/3
Let d(o) be the third derivative of o**6/120 + o**5/20 - o**4/24 - o**3/2 + o**2. Suppose -3*j + 12 = -7*j. Let k be d(j). Which is smaller: k or -4/3?
-4/3
Let n = 35.93 - 35. Let c = 0.07 + n. Let f = -0.2 - -0.3. Which is smaller: c or f?
f
Let x = 81 + -118. Is -36 equal to x?
False
Let v = -84 - -83.33. Let o = v + 0.7. Which is smaller: -1 or o?
-1
Suppose -m = -4*m. Does m = 0?
True
Let x = -12 + 17. Is x smaller than 4?
False
Let b(f) = 4 + 0 + f + 0. Suppose 4*d - 12 = 4*r, 4*r - 5 + 44 = -5*d. Let s be b(r). Is s less than -3?
False
Let z = 1722623561/110520 + 389/22104. Let d = 15593 - z. Let a = d + -31/5. Does 2 = a?
False
Let v = -16 + 11. Let r = 0 - 4. Let j = r - v. Is 1/4 smaller than j?
True
Let i(x) = -2*x**2 + 17*x - 15. Let t be i(7). Do 4 and t have the same value?
False
Let v be 342/21 - (-4)/(-14). Let t be v/(-8) - (-22)/12. Is t >= 0?
False
Let m be (-5*3*3)/((-5)/5). Which is greater: m or 1/4?
m
Let k(h) = -3*h - 5. Let y be k(0). Is -4 >= y?
True
Let o be 4/(-4)*4/(-2). Suppose -2*g + 4*d = o, g + 0 = -4*d - 1. Let l = 6 + -8. Which is bigger: l or g?
g
Suppose 3*w = -y + 2*w - 4, 3*y = -2*w - 12. Let i be -2 + 0 - y/2. Do 0.3 and i have the same value?
False
Let s = -0.73 + -0.27. Is s greater than -1/5?
False
Let f(y) = 44*y**2 + 2*y + 1. Let k be f(-1). Is 43 greater than k?
False
Let m = 1079/6 - 179. Which is greater: 2 or m?
2
Let x be ((-2)/(-5))/((-1)/(-20)). Suppose 2*p = -2*b + x, -16 = -3*p - p - b. Let h be (p/(-12))/((-7)/(-3)). Which is greater: h or 0?
0
Let j = -4333 + 155999/36. Let h = 4/9 + j. Are h and -2 nonequal?
True
Let f be 2/(-7) - 458/112 - -4. Suppose -4 = -2*z + 4*t, 5*z + 9 + 5 = -2*t. Let y be (1/z)/((-1)/2). Are f and y nonequal?
True
Let q = -9.97 - 0.03. Let v = q - -9.9. Which is smaller: 6/11 or v?
v
Let a = 2.2 + 0.8. Let g = -5 - -10. Suppose -g*f - 7 = -2. Are a and f non-equal?
True
Let p = 0 + 2. Let y be p/1 + (0 - 0). Let n(z) = z**3 + 7*z**2 - 2*z - 13. Let k be n(-7). Which is smaller: y or k?
k
Let p be (-8)/(-6) + (-4)/12. Are 2/91 and p unequal?
True
Let n(c) = 4*c**3 + 2*c**2 - 2*c + 1. Let x be n(1). Suppose -3*k = -8*k + x. Is k at most as big as -2/5?
False
Suppose 0*g + 4*h - 107 = -g, 3*g + 3*h = 357. Let w = 613/5 - g. Let n be -1*((-1 - 0) + 0). Is n > w?
True
Let j = -5 - -7. Let a = j + -1. Let l = 1199.7 - 1199. Which is greater: l or a?
a
Suppose -58 = 6*g - g - 2*y, 2*y = -4*g - 32. Suppose -z = -7*z - 6. Let v be (1 + -5)*z/g. Is 0 <= v?
False
Let z(h) = 2*h - 4*h + 6 + 3*h. Let q be z(-6). Is q greater than -2/3?
True
Suppose -4*w + 40 = w. Which is smaller: 12 or w?
w
Let b(j) = j + 2. Let d be b(8). Suppose 0*a - d = 2*a. Is a at least -4?
False
Let j = 40 + -24. Let s = 16 - j. Which is smaller: s or -1?
-1
Let h(w) = w - 5. Let i be h(7). Is 4 < i?
False
Let q(u) = u - 6. Let n(o) be the second derivative of o**5/20 + 5*o**4/6 + 3*o**3/2 + 7*o**2/2 + 2*o. Let y be n(-9). Let t be q(y). Is t bi