= -4*h. Suppose 3 = 3*r - p. Is r composite?
True
Let m(x) = 56*x**2 - x. Let q be m(1). Let i = -2 + q. Is i a prime number?
True
Suppose -3*j + 10 + 14 = 0. Let a be ((-18)/(-8))/((-3)/j). Is (-334)/a - (-12)/(-18) a composite number?
True
Suppose -6*v + 1561 = v. Is v prime?
True
Suppose 4*h + 3*u = 33, -5*u = 4 + 1. Let k be h + -5 + -2 + 1. Suppose -56 = 2*q - 6*q + 5*l, -4*q = k*l - 56. Is q a prime number?
False
Let n(v) be the first derivative of v**6/360 + v**4/12 + v**3/3 - 1. Let x(y) be the third derivative of n(y). Is x(-2) composite?
True
Suppose 0 = g - 4*g + 1638. Let a = 885 - g. Is a composite?
True
Suppose 8*k + 0*k = 0. Let w(c) = 7 - 5*c + c + 5*c. Is w(k) a prime number?
True
Let n(y) = 11*y**2 + 8*y + 3. Let d be n(-5). Is ((-24)/12)/((-4)/d) composite?
True
Let a = 151 - -154. Is a composite?
True
Let j(n) = 5*n**2 + 5*n - 2. Let g be j(3). Let l = g - -145. Is l a prime number?
False
Let q(m) = m**2 + 4*m + 8. Let r be q(-6). Let z = r + 93. Is z prime?
True
Let x = 3306 + -973. Is x prime?
True
Let v be 4/(-6) - 6070/(-15). Suppose 0 = 5*y - 2*d - 1026, 4*d = y + y - v. Suppose 0 = -2*p - 0*f + 4*f + 110, -4*p = -f - y. Is p composite?
True
Let n be (-3)/(-12) + 121/(-4). Let y = n - -87. Is y prime?
False
Suppose 2*y = 5*y - 342. Suppose 3*o - y = 63. Is o a composite number?
False
Let s = -122 - -172. Suppose -2*u + s = 3*u. Is u prime?
False
Suppose -2*i + 5*i = 12. Suppose i*n + 5*s = 3 + 9, -3*s = 0. Suppose 856 + 401 = n*f. Is f composite?
False
Let i = 1081 - 434. Is i composite?
False
Let o be (-2)/(-3) + 10016/24. Suppose 5*b - o + 3 = 0. Is b a prime number?
True
Let s = 651 + -440. Is s prime?
True
Suppose -4*q + 7 = -5. Suppose 0 = 4*t - 6*c + 3*c - 1877, 1404 = q*t - c. Is t a composite number?
False
Let n(t) = -5*t**3 - 7*t**2 - 23*t + 1. Is n(-10) composite?
True
Is (-2)/(4 + (-428)/106) composite?
False
Is 5 + -2 - (1 - 157) prime?
False
Let x = 2 + 0. Suppose -61 = x*s - 4*g - 275, -4*s + 421 = -g. Suppose 0*u = 2*u + 4*k - 30, 5*u = 5*k + s. Is u a prime number?
True
Is (-17)/(495/(-1863) - 4/(-18)) prime?
False
Let j be 20/(-8)*(-8)/10. Suppose -3*f = -j*f - 218. Suppose -f = -5*g + 27. Is g a prime number?
False
Let c(h) = -h**3 - 10*h**2 + 10*h - 14. Let v be c(-11). Let d = -3 - v. Is 7*5 - d/(-3) prime?
False
Is (1906/(-3))/(-1*6/9) composite?
False
Let d = 1222 - 791. Is d a prime number?
True
Suppose 0 = -s - 4*t + 9, -4*t = -1 - 3. Suppose -s*k + 54 + 111 = 0. Is k a composite number?
True
Let f(k) = -k - 2. Let s be f(0). Is s/2*0 + 37 prime?
True
Let x(a) = a**2 + 7*a - 6. Let w be x(-8). Suppose 5*v = -2*p + 12, 5*p + 3 = 2*v + 2*v. Is (w*83)/(2/p) prime?
True
Let u = -13 + 135. Is u composite?
True
Let l(g) = -g**2 - 1 - 2*g + 2 - g + g**3. Let h be l(3). Suppose -5*k + 3*w + w = -h, k + 3*w - 21 = 0. Is k prime?
False
Is 4*(563/(-2))/(3 + -5) prime?
True
Suppose -t + 25 = 4*i, -3*i - 13 = 2*t - 63. Is t a composite number?
True
Suppose -c = -4*c - 3, 5*c + 1620 = 5*h. Is h composite?
True
Suppose -3*l + 0*l + 962 = 2*k, 0 = -3*l. Suppose -m = -0*m - 3*n - 155, n + k = 3*m. Is m prime?
False
Is (-3 - (-2 - 2))*37 prime?
True
Let v(z) = -z**3 - 4*z**2 - 3*z + 2. Suppose g - 6 = 3*g. Let u be v(g). Suppose 0 = u*h + 4, r = -r - 3*h + 104. Is r composite?
True
Suppose -4*u = -1 - 7. Suppose w = u*w. Is (-1 - w) + 24/1 a composite number?
False
Let n(f) = -18*f + 1. Let u be n(4). Let m = -37 - u. Suppose m = 3*y - 23. Is y a composite number?
False
Let h(s) = 291*s**2 - 1. Let q be h(-1). Suppose 0*g - 5*g = -q. Is g composite?
True
Suppose 4*u - 19660 = -0*u. Is u composite?
True
Let y(a) = 3*a**2 + 13*a + 13. Is y(-7) a composite number?
True
Let x(c) = 175*c**3 - 2*c**2 + 1. Let l be x(1). Let f = l - 77. Is f prime?
True
Suppose 2*r - 4*r + 174 = 0. Is r prime?
False
Let h be 2/(-6) - (-4)/3. Let v(g) = 5*g + 2*g**3 + 0*g**3 - 7*g**2 - h - 3*g**3. Is v(-8) prime?
True
Let r be (-2)/(1/(2 + -8)). Suppose -r = 4*q - 88. Is q composite?
False
Suppose 9*n = 6*n + 1089. Suppose 2*v - n - 83 = 0. Is v composite?
False
Let a = -41 + 41. Suppose 0 = 5*k + 15, 2*k - 72 = -5*c + k. Suppose a*l = -l + c. Is l a composite number?
True
Let q be -1*2 + (-20)/(-4). Is (-3)/(-9) - (-236)/q composite?
False
Let z = 16 + -14. Suppose 278 = -0*r + z*r. Is r composite?
False
Suppose 4*a + 5*m = 481, -7*a + 596 = -2*a + m. Is a prime?
False
Let p = -1 + 3. Suppose q = -4*s + 23, -3*q = p*s - 5 - 24. Suppose -2*h + 5 = -q. Is h composite?
True
Suppose -9 = a - 5*x + 4, -2*x = -3*a. Suppose -4*i - 20 = -a*n + 54, -i - 116 = -3*n. Is n prime?
False
Suppose 5*f - 126 - 69 = 0. Let a = 64 - f. Suppose -5*p + 4*r + 109 = 0, 15 = 2*p + 2*r - a. Is p a prime number?
False
Let h(t) = t**3 - 3*t**2 - 5*t + 5. Let j be h(4). Let r = j + 0. Is r/(((-6)/(-237))/2) composite?
False
Let m(a) = 3*a**2 - 5*a + 1113. Let t(y) = y**2 - 2*y + 371. Let f(n) = 3*m(n) - 8*t(n). Is f(0) composite?
True
Let f = 87 - -101. Let a = -64 - f. Let p = 383 + a. Is p a composite number?
False
Suppose -18 = -5*v + 17. Is v a prime number?
True
Let j = -1 + 3. Suppose -d - 101 = -2*d + 4*p, -j*d = -3*p - 187. Is d a composite number?
False
Let a(v) = 22*v**2 - 9*v. Suppose -2*t + 30 = 3*t. Let j(x) = 7*x**2 - 3*x. Let h(y) = t*a(y) - 17*j(y). Is h(2) a composite number?
True
Let y = 1524 - 623. Is y a prime number?
False
Let t(q) = q**2 + 6*q + 7. Let o be t(-5). Suppose 6*l - 580 = o*l. Is l a composite number?
True
Let h(v) be the first derivative of v**2 - 2*v - 2. Let w be h(2). Suppose -w*z = -5*j + 19, 0*z = -z - 4*j + 23. Is z a composite number?
False
Suppose -3*h - 3*p - 297 = 225, -h + 5*p - 144 = 0. Let s = h - -426. Is s prime?
True
Let t(s) = s**3 + 4*s**2 + 4. Let u be t(-4). Suppose 0 = -2*b + 4*b - 2*y + 2, -u*b + y = -8. Let w = b - 0. Is w prime?
True
Suppose 7*b - 20 = -5*g + 2*b, 4*g = 4*b. Is (-1)/(1788/(-892) + g) prime?
True
Suppose -880 = 4*b - 2820. Is b prime?
False
Let h be ((-36)/8)/((-3)/8). Suppose 8 + h = 5*u. Is u/(((-12)/87)/(-2)) a prime number?
False
Suppose v - 6*v + 235 = 0. Is v prime?
True
Let i = 3382 - -1125. Is i composite?
False
Let s(o) be the second derivative of -o**5/20 + o**4/6 + o**3/6 - 3*o**2/2 - 8*o. Is s(-4) a prime number?
True
Is 4 - (-586 - 9/(-3)) a prime number?
True
Suppose -h + 3*h = 5*a + 4, 0 = 3*a + 2*h + 12. Let o be (52/6)/((-8)/(-12)). Let k = o + a. Is k a composite number?
False
Suppose h - 2*x = 3*x + 171, 3*h - 589 = -4*x. Is h prime?
True
Let c = 480 + -317. Is c a prime number?
True
Suppose -2*w - 3 = -11. Suppose -2*t = 3*q + w, 4*q - 3*t - 20 = 3. Suppose -q*u + 63 = u. Is u a composite number?
True
Let i(v) = -v**2 - 8*v - 9. Let c be i(-6). Suppose -4*r - 3*a = -482, -r + c*r + 2*a = 242. Is r a composite number?
True
Let b(g) = -g + 13. Let s(k) = k**2 + 4*k + 1. Let q be s(-5). Let y be b(q). Suppose -4*a + 373 = -y*r + 4*r, 2*r - 267 = -3*a. Is a prime?
False
Suppose 54 = 5*l - 51. Is l a prime number?
False
Suppose -4*a + 133 = -423. Is a composite?
False
Let l(a) = -4*a**3 - a**2 + 2*a. Suppose -3*s + 5 = -1. Let q be l(s). Is (-3960)/q - 6/8 a composite number?
True
Let l(d) = -d - 2. Let m(c) = -3*c - 5. Let w(r) = -5*l(r) + 2*m(r). Let h be w(2). Is 2/(-2) + (-300)/h composite?
False
Let h(o) = -2*o**2 + 3*o + 3. Let n be h(3). Let m(x) be the second derivative of -4*x**3/3 + 5*x**2/2 + 2*x. Is m(n) prime?
True
Suppose 4*u - 3*u = 14. Suppose -2*a + 16 = -0*a. Let q = a + u. Is q prime?
False
Let r = 5 - 6. Let i(n) = 83*n + 1. Let m be i(r). Let t = 137 + m. Is t a composite number?
True
Let r be (5 - 0)*8/(-10). Let u(y) = -20*y + 2. Is u(r) composite?
True
Let l = 0 + 0. Suppose -s - s + 4 = l. Is ((-19)/s)/(2/(-4)) a prime number?
True
Let z(p) = 33*p**2 - 2*p - 4. Is z(3) prime?
False
Let x(a) = -a**3 - 11*a**2 - 8*a + 12. Let i be x(-10). Let m(o) = o**3 + 9*o**2 - 2*o - 3. Is m(i) prime?
False
Suppose -3*w - 3*z + 1770 = -0*w, -4*z = w - 581. Suppose -3*t + 203 = d, -5*d + 366 = t - w. Let x = 280 - d. Is x a prime number?
True
Let q(c) = 2*c - 6. Let m be q(8). Let o be ((-258)/15)/((-1)/m). Suppose 4*x - 4*s = o, 4*x - s + 53 = 237. Is x a prime number?
True
Suppose 11*w = 12*w - 2533. Is w a composite number?
True
Suppose -5*k - 4*o + 789 = 0, 