 3*a + 4*n = 23, 2*a - 5*n = 31 + 15. Is h greater than a?
False
Suppose 17 - 4 = y. Let b = 14 - y. Which is greater: -1 or b?
b
Suppose -7 + 17 = 5*r. Let a be -1 + (4 - r)/(-4). Suppose 24 + 18 = -14*o. Is a equal to o?
False
Let q be 39/40 - (-1 + 2). Which is smaller: q or -1?
-1
Let p(q) = -5*q - 5*q**3 + 7 - 12*q**2 - 4*q - q + 4*q**3. Let f be p(-11). Is -3 less than f?
False
Let u = -14 + 38. Let h be (-30)/((u/(-14))/(-3)). Let g = h + 54. Is g > 1?
True
Let z = -0.983 - 0.017. Which is smaller: z or 13?
z
Let w be (1/(-5))/((-18)/(-10) - 3). Which is greater: w or 0?
w
Let w(a) = a**3 + 11*a**2 + 9*a - 8. Let x be w(-10). Let k(s) = s**2 - s + 6. Let y be k(0). Let r be (-4)/y*18/(-4). Do x and r have the same value?
False
Suppose -2*a = 3*q + 1, -4*q + q = -a - 5. Suppose 2*b - 2 = -0*b. Suppose 0 = y - 2 + b. Is q at most y?
True
Let z be 5 + (2 - (2 - 2)). Let f be ((-4)/(-114))/(z/(-3)). Let q = f - -3/19. Is 1 less than or equal to q?
False
Let k be (-3 + 1)/((-2)/2). Suppose -8 = k*p - 4*p. Suppose -6 = -p*d - 2. Is d < 2/5?
False
Let q = -0.14 + -9.16. Let u = q + 8. Let n = u + 0.3. Is n greater than -1/2?
False
Let i = -0.005 - 0.095. Do i and 1.3 have the same value?
False
Let u(v) = -3*v + 43. Let n be u(7). Which is smaller: n or 20?
20
Let q be (-2)/5 - 315/25. Let g = q - -11. Which is bigger: -1/4 or g?
-1/4
Let o be ((-2)/4)/((-8)/(-12)). Is -1 at least o?
False
Let h be (-3)/(-9) + 7/(-3). Let u be 1/(-2)*2*h. Suppose 0 = g - 6 + u. Is 3 != g?
True
Let p be 1/3 + (-28)/3. Which is smaller: p or -10?
-10
Suppose -4*q + 6 = -2. Suppose -7*z - 4*y = -3*z - 48, -3*z + 31 = q*y. Let l be (-6)/(-21) - 3/z. Is -1 less than or equal to l?
True
Let g = 1.1 + -1. Let n = -2 - -7. Suppose -12 + 2 = -n*v. Which is greater: g or v?
v
Let m = 4238 - 800980/189. Which is bigger: 1 or m?
1
Let h = 15 - 11. Suppose -h*l = -0*l. Is 1/10 at most as big as l?
False
Suppose -3*d + 6 + 1 = -z, -d - 2*z = 0. Suppose -k - 2*k + q + 383 = 0, d*k = -4*q + 260. Let m = k - 642/5. Is 1 greater than m?
True
Let p be ((-6)/(-10))/(3/15). Suppose -4*s = -s - p. Let z = 149 + -1046/7. Do z and s have the same value?
False
Let m(z) = -7*z**2 - 1. Let w be m(-1). Let i(s) = -s**3 + 16*s**2 - 16*s + 7. Let g = 33 + -18. Let o be i(g). Is o greater than or equal to w?
True
Suppose 0 = -3*u - 4*c, -u = -4*u - 2*c - 6. Which is smaller: u or -8/3?
u
Let v = -2 + 2.6. Let x(p) = p**3 - 15*p**2 - 17*p + 13. Let c be x(16). Does v = c?
False
Let b(z) = z**3 - 14*z**2 - 18. Let v be b(14). Which is bigger: v or 1?
1
Let s(x) = -2*x + 6. Let k be s(6). Let i(c) = -c**3 - 4*c**2 + 5*c - 6. Let z be i(-5). Do z and k have the same value?
True
Let x be -2 - (-1 - 1907/8). Let l = x - 237. Do 0 and l have different values?
True
Let q be (-1 - 71/(-23)) + -2. Let p(h) = h**3 + 3*h**2 - 3*h + 3. Let r be p(-4). Does q = r?
False
Let j = 1 - 0. Let k(u) = u. Let x be k(3). Suppose 4*m = -3*v + 6, -4*m - 2*v + x + 1 = 0. Is j bigger than m?
True
Let l(m) = -m**2 + 4*m + 8. Let t(c) = -1. Let d(f) = l(f) + 2*t(f). Let o be d(7). Let y be 2/(-6) - (-10)/o. Do -1/6 and y have different values?
True
Let z be (-7 - 1)/(2/(-1)). Suppose -2*y - z*s - 26 = -7*y, 3*y + 3*s = -6. Suppose 5*l + y*t = -3*t - 5, -2*t + 18 = -2*l. Is l smaller than -6?
False
Suppose 57 = -4*x + 13. Is x < -10?
True
Let w be (-50)/(-126) + (-2)/7. Which is smaller: -1 or w?
-1
Suppose -6*n + 50 = -n. Let y(v) = 9*v**2 + v. Let l be y(1). Is l at most n?
True
Let k be (-72)/(-88) - 1 - 2/(-11). Let o be (-62)/(-84) + (-2)/3. Which is smaller: k or o?
k
Let j = 5 - 5. Suppose -2 = -x - 2*a, j = 3*x + 2*a + 2. Which is bigger: 0 or x?
0
Suppose 0 = -4*l + 4*a, l + 2*l = -4*a. Let d be (-9)/(-6)*4/6. Is d bigger than l?
True
Let m(r) = -r**2 - 17*r - 6. Let a be m(-13). Let b be (-4 - -1) + a/14. Is -1 at most as big as b?
True
Let n be (-4)/(-6)*3 - -2. Suppose h - n*x = 7, h - 4*h - 5*x - 13 = 0. Which is smaller: 0 or h?
h
Let n(w) = -w + 1. Let t be -7 - -4 - (-3)/1. Suppose t = 8*x - 4*x - 8. Let s be n(x). Is 1/3 greater than s?
True
Let i(u) = -u**2 - 5*u - 2. Let n be i(-2). Let d be 5/10*n/3. Are d and 0.2 equal?
False
Suppose 0 = -3*q - 64 - 2. Suppose -115 = -0*g + 5*g. Which is smaller: g or q?
g
Let a(k) be the first derivative of k**3/3 + 2*k**2 + 3*k + 1. Let w be a(-4). Let g be 1 + (-210)/51 + w. Which is bigger: g or -1?
g
Let v(p) = 2 - 2*p + 3 + 4. Let h be v(9). Is h equal to -9?
True
Let i(w) be the second derivative of -w**6/720 + 7*w**5/60 - w**4/12 - w. Let u(h) be the third derivative of i(h). Let k be u(10). Are k and 2 non-equal?
True
Let i = -0.39 - -0.4. Let h = i + 0.29. Let u = -0.3 + h. Is u greater than or equal to 1?
False
Suppose 5*x - 2 = -3*f - 15, f = -5*x - 11. Is 1 greater than or equal to f?
True
Let d be (-2)/(1 + 15/(-9)). Let c be (-1)/d - 12/18. Which is bigger: -0.1 or c?
-0.1
Let l = 12.15 - 0.15. Let d(i) = -i**3 + 5*i**2 - 6*i. Let u be d(3). Is l <= u?
False
Let z(y) = -y**3 - 5*y**2 - y - 1. Let g be 2/(-5) + (-46)/10. Let b be z(g). Suppose 0 = -b*t + 2*t. Which is smaller: t or -1/3?
-1/3
Let j be ((-10)/(-75))/(1*-1). Let i be 1*(-2)/(1 - 3). Which is smaller: j or i?
j
Let w = -1 - -46. Is w greater than or equal to 47?
False
Let w(v) = v**2 - 7. Let j be w(10). Let d be 4*(j/30 - 3). Is -2 >= d?
False
Let f be (38/57)/(4/(-6)). Which is smaller: -1/7 or f?
f
Let h be 3624/(-10) - 4/(-10). Let l = -58035 - -403707/7. Let t = l - h. Is 0 less than or equal to t?
False
Suppose 4*d + 1 = 9. Let a(q) = 4*q**2 + 2*q + 1. Let g be a(-1). Suppose -3*b - g*t + t = 0, 0 = 2*t + 6. Is b greater than or equal to d?
True
Let u(h) = h - 7. Suppose 7 + 7 = 2*x. Let p be u(x). Is -4/11 greater than or equal to p?
False
Let n(v) = -v**3 - 2*v**2 + 6*v + 3. Let w be n(-4). Suppose 0 = -2*j - z + 7, 5*z - 14 = -5*j + w. Which is smaller: j or 1?
1
Let r = 3.8 - 4. Let x be (-3)/12*-2*3. Is r smaller than x?
True
Let x be 1/(2 - 74/36). Let g be ((-10)/(-105))/((-4)/x). Which is smaller: g or -1?
-1
Suppose -6 = -5*f - 1. Suppose s + 3 - f = 0. Does s = -7/4?
False
Let a be -2 + 0 - (-22)/10. Suppose -11 = 4*y + 3*r, -y + 5*r = -0 - 3. Let i = 2 + y. Is i at least a?
False
Let o be ((-1)/4)/(-3 + 12/16). Are o and 1/2 nonequal?
True
Let y = 7 + -7. Is y bigger than -6?
True
Suppose -4*x - 8 = -q, 4*q = -0*x - x - 2. Suppose l + v + 4 = 3*v, -3*l - 3*v + 6 = q. Which is smaller: -1 or l?
-1
Suppose -4*s + 41 = 5. Does s = 12?
False
Let t be (-3891)/(-1845) + -2 - 2/15. Is 1 >= t?
True
Let x = 18 - 16.6. Let u = -1.5 + x. Let g = 0.9 - 4.9. Which is bigger: u or g?
u
Let o = -1403 + 15445/11. Which is bigger: o or 0?
o
Suppose g - 90963 = 3*b + b, 0 = 5*b - 3*g + 113709. Let u = b - -2069434/91. Let m = u + -6/13. Which is smaller: m or 0.1?
0.1
Suppose l = -2*l + 3. Let y = 2/119 + -135/952. Which is bigger: l or y?
l
Let v = 122 + -491/4. Let t be 1 - 7 - (-24)/6. Is t <= v?
True
Let j = -3 + 1. Let d(i) = i**2 + 5*i. Let c be d(-5). Suppose 4*k = 2*t - 0*t - 10, -4*k + 3*t - 15 = c. Which is smaller: j or k?
j
Let l = -0.25 - 10.75. Let k = l - -11.1. Is k bigger than -1/14?
True
Let u = 26/7 + -139/28. Suppose 13*w = -6*w + 26*w. Is u at most as big as w?
True
Let y(k) = -3*k**2 + 2*k - 4. Let q be y(3). Let w be (-2)/q*10/12. Are 1 and w unequal?
True
Let p = -296 + 503. Let t = 8374127/15 - 558068. Let r = p - t. Are r and -1 unequal?
True
Suppose 4*m - 20 = 0, -p - 8 = -3*m + 15. Let y = -9 - p. Which is smaller: y or -2/23?
y
Suppose -3*r + 1 = m - 60, 4*m - 46 = -3*r. Which is bigger: r or 24?
24
Let u be (-4 + 4)/(-1 + 3). Is 0 at most u?
True
Let b = 664/297 + -25/11. Are 1 and b non-equal?
True
Let g = -7 - -25. Are 19 and g unequal?
True
Let y = 0.982 - -0.018. Let d(u) = 5*u + 3. Let h be d(3). Let z be 4/h + (-34)/(-90). Which is bigger: y or z?
y
Let x = -56 - -34. Let y = x - -16. Let m = 8.98 + -9.98. Which is smaller: y or m?
y
Let a = 54/55 - -2368/165. Let r = -15 + a. Is r bigger than 1/3?
False
Let z = 15 - 18. Which is greater: z or -2?
-2
Let q(a) be the third derivative of a**4/8 + a**3/6 - 3*a**2. Let u be q(1). Let b = -10 + 14. Is u at least b?
True
Let q be 2 - (-1)/(1/(-7)). Is q < 0?
True
Suppose h + 2*h - 6 = 0. Let a(z) = -z**2 