78/8 - 2/8 a prime number?
True
Suppose 0 = -0*u + 3*u + 9. Is 22 + (u - -1) + 1 a prime number?
False
Suppose -6*q + 2*q - i + 13 = 0, -2*i = -3*q + 18. Suppose z + 5 = -n, z + 1 + q = -5*n. Is (n - -4)*39/12 prime?
True
Suppose -5*v = 5*z - 0*v + 200, z + 35 = -2*v. Is (-4)/3*z/10 a prime number?
False
Let q(n) = n**2 - 8*n. Let x be q(8). Suppose y + 5*t = 553, x*t = t. Is y a prime number?
False
Let k = 9 + -5. Suppose -5*d - 4*p + p = -79, -k*d = -2*p - 50. Is d prime?
False
Suppose 0*l - 9 = 3*l. Let y(x) = -x**2 - x. Let m be y(l). Is m/(-9)*762/4 composite?
False
Let p(m) = -m**3 - 10*m**2 + 5*m + 10. Let w(g) = 3*g**3 + 21*g**2 - 11*g - 21. Let a(x) = -5*p(x) - 2*w(x). Is a(6) composite?
True
Let s = -247 + 425. Is s a prime number?
False
Let q(z) = 6*z**2 + 2*z - 3. Let a(f) = 7*f**2 + 3*f - 3. Let y(m) = -5*a(m) + 6*q(m). Is y(6) prime?
False
Let z(l) = -8*l**3 + l**2 + 2*l - 2. Let f be z(2). Let c be (f/(-2))/(-3 - -4). Let q = -4 + c. Is q composite?
True
Let g(o) = 3*o**2 - 2*o + 1. Let w be 1*1*9/3. Is g(w) a composite number?
True
Let x(j) be the first derivative of -j**4/4 + j**2/2 + 56*j - 2. Let u be x(0). Let w = 135 - u. Is w a prime number?
True
Suppose -3*z = 5*w - 4789, 0 = -5*w + 3*w + 2*z + 1922. Is w prime?
False
Let b(d) = 2*d**2 - 4*d + 2. Let n be b(3). Let c = 14 - n. Suppose k - 5 = -4*o + 2, -c = 3*o. Is k a composite number?
True
Let v(i) be the third derivative of 211*i**5/60 + i**4/24 - i**3/6 - 4*i**2. Is v(1) a prime number?
True
Let q(y) = 341*y**2 - 1. Let t be q(-1). Suppose 5*a = -o + 355, -5*a = -0*a - 2*o - t. Suppose -252 - a = -2*f. Is f a composite number?
True
Let y be 1/3 + (-42)/(-9). Let o be 1/((15/6)/y). Is (2 - 1)*(o + 12) composite?
True
Let c(a) be the second derivative of 7*a**5/20 - a**4/6 + 5*a**3/6 - 3*a**2/2 - 3*a. Let l be c(3). Suppose 0 = -q - 56 + l. Is q prime?
True
Is (-7 - -4 - 1783)/(-2) a prime number?
False
Suppose -114 = -9*u + 7*u. Is u prime?
False
Let g(d) = 6*d**2 + 9*d + 8. Let c(o) = o**2 + 1. Let y(t) = 2*t + 10. Let p be y(-7). Let u(n) = p*c(n) + g(n). Is u(-6) composite?
True
Let v = 366 - 98. Let j = v + -65. Is j a composite number?
True
Let m(i) = 42*i + 4. Suppose -t + 3*t = 8. Let q be m(t). Let d = q - 119. Is d prime?
True
Let l(h) = 40*h**2 - 2*h - 1. Is l(2) prime?
False
Let z(p) be the second derivative of p**5/20 - p**4/3 - p**3/2 + p**2/2 + p. Suppose 6*h = 2*h + 24. Is z(h) composite?
True
Let b be 18/(-4) + (-9)/(-6). Let v be b - 226*(-2)/(-4). Let m = -63 - v. Is m prime?
True
Suppose -2*u + 5*o = -1706, 2*o - 4 + 0 = 0. Suppose -3*r - c + 4*c + 657 = 0, -4*r = 5*c - u. Is r prime?
False
Let s be 1/(1 - 1/2). Is (-2 - -54) + -1 + s prime?
True
Let u(a) = 5*a**2 - 28*a - 14. Is u(25) a composite number?
False
Let q(w) = 15*w**2 - 8*w - 13. Is q(-10) prime?
True
Let p = 45 - -11. Suppose -3*c = -2*c + 3*g - p, c + 4*g - 57 = 0. Is (c/(-3))/(2/(-6)) prime?
True
Let k(y) = 7*y + 2. Let t be k(1). Is 3/t + 878/3 composite?
False
Let c(y) = -y**2 + y + y - 3*y + 2. Let b be c(0). Suppose -38 = b*h - 4*h. Is h composite?
False
Let d(r) = r**2 + 7*r + 3. Let y be d(-7). Is y*-38*(-4)/8 a composite number?
True
Suppose -4*j = -0*j - 3*b - 17003, 2*b = 6. Is j a composite number?
False
Let l = -8 - -153. Is l composite?
True
Suppose 7*l = 4*l. Suppose 6*x - 3*x - 93 = l. Is x prime?
True
Let b be (-4)/(-10) + 76/10. Suppose 5*c - 13 = -4*o + 5, -b = -4*o. Suppose t + 8*k = 3*k + 12, 2*k = -c*t + 8. Is t a prime number?
True
Suppose -9 = v + 4*x, 3*x + 18 = 5*v + 2*x. Let q = 13 - v. Is q composite?
True
Let k = -1306 + 2213. Is k a composite number?
False
Let m be (-6)/(-9) - (-4)/3. Let h(j) = j**3 - j**2 + j + 59. Let d be h(0). Suppose -m*u + d = 7. Is u a composite number?
True
Suppose 3*g - 925 - 980 = 0. Is g composite?
True
Let a = -9 + 13. Suppose a*t - t - 2049 = 0. Is t composite?
False
Let o(v) = 2*v + 3. Suppose -3*q + 3 = -2*q. Let f be o(q). Let d(r) = r**3 - 8*r**2 - 4*r - 10. Is d(f) composite?
True
Suppose 2*v + 3 + 2 = -5*j, 2*j = -4*v - 2. Suppose -25 = -v*t + 5*t, -5*y = 5*t - 5. Let a(x) = 2*x**2 - 6*x - 3. Is a(y) a composite number?
True
Let y(l) = l**3 + l**2 + 31. Let w(x) = x**2. Let n be w(3). Let v = -9 + n. Is y(v) composite?
False
Let f(q) = -q**3 + 10*q**2 + 5*q - 10. Is f(8) a composite number?
True
Suppose 2*f + 5*x - 13 = 0, 16 = 5*f - 3*x - x. Suppose q + 3*d = 0, -3*q - f*d = 2*q. Suppose 2*u - 153 = n, -4*u - 6*n + 5*n + 321 = q. Is u prime?
True
Suppose -5*a + 4*b + 8 = -a, -5*a - 4*b + 10 = 0. Suppose -a*y - 2*w + w + 271 = 0, 0 = -4*w + 12. Is y a prime number?
False
Suppose 25 = 4*d + 3*i, -d = 4*d - 5*i - 5. Let w = d + -4. Suppose 4*q - 3*u = u + 132, w = -q + 5*u + 33. Is q composite?
True
Let j(t) = -t + 5. Let z be j(-4). Is 97/(3/(z/3)) prime?
True
Suppose -3*g = 3*a + 31 + 365, 3*g - 4*a = -410. Is (-1)/(2/g*1) composite?
False
Suppose 2*i + 1759 - 422 = o, 0 = -2*o - 2*i + 2692. Is o composite?
True
Suppose -2*p - 250 = 5*n, -4*n = 4*p + 227 - 39. Is ((-10)/20)/(2/n) a composite number?
False
Suppose 9*n - 3*a - 842 = 4*n, -2*n = 3*a - 320. Is n composite?
True
Suppose r + 3 = 5*t, -2 + 5 = 4*r - 5*t. Let n = -3 + r. Is (-3 - n) + (-4)/(-1) a composite number?
False
Let j = -2 + 6. Suppose -j*i = -1256 - 1356. Let r = i + -462. Is r a composite number?
False
Let b(w) = 207*w**3 + w**2 - w - 1. Is b(2) prime?
True
Let i = 14 - 18. Is 33/22 + (-302)/i a prime number?
False
Suppose 12*c + 464 = 16*c. Let k = 95 + c. Is k composite?
False
Suppose -3*m + 12 = -4*k, -2*m + 5 = 5*k + 20. Let g be k + 3 + 2 - -2. Is (-6)/(-8) - (-353)/g prime?
True
Let h(w) = -w**2 + 9*w - 12. Let n be h(8). Let d(i) = -i**3 - 5. Is d(n) a composite number?
False
Suppose 28 = -2*r + 6*r. Is r a composite number?
False
Is 3/2 + 3 + (-16518)/(-12) a prime number?
True
Let c = 10 - 0. Let u be 3/1*c/(-6). Let s = 26 - u. Is s composite?
False
Suppose 0 = -10*y + 13*y - 105. Suppose -3*n + 196 = -y. Is n composite?
True
Suppose 7*i - 5439 = 2380. Is i prime?
True
Is (-1 - (-4 - -4)) + 96 prime?
False
Suppose s + 5*x = -6, 3*s - 5*s - x + 6 = 0. Suppose -416 = -3*m - 2*d, 0*d - 142 = -m - 4*d. Suppose -s*y + m = 38. Is y a prime number?
False
Let w be (-6)/(-21) + (-2)/7. Suppose w = 4*v + v - 20. Suppose v*p - 5*u - 61 = 5, 44 = 2*p + 3*u. Is p a composite number?
False
Let i = 231 + -142. Is i a composite number?
False
Let m = -32 + 53. Suppose 2*z - m = -4*o + 5*z, 0 = 5*o + 4*z - 3. Suppose o*r - 8 - 58 = 0. Is r composite?
True
Let x be 2/6 - 518/(-3). Suppose -4*r = z - 511, -3*r - z = -x - 211. Is r prime?
True
Let f(a) = -2*a**3 - 3*a**2 + 2*a - 5. Is f(-6) a prime number?
True
Suppose -4*b = -0*b. Is b + (-552)/(-3) + 3 composite?
True
Let v(y) = y**2 - 3*y - 4. Let o be v(4). Let n = -52 + 56. Suppose o = 2*c - n. Is c a composite number?
False
Is 6/9*(-22668)/(-8) - 0 prime?
True
Suppose -2*m = -2*h - h + 19, -4*h = 3*m - 14. Suppose 7 = h*p - 8. Let y = 88 + p. Is y a composite number?
True
Let u(m) = 2*m**2 - m + 1. Let p be u(-4). Let k = p - 19. Suppose 0 = -o + 21 + k. Is o a prime number?
False
Suppose -4*m + 8*i - 4*i = -212, -2*i = -4*m + 212. Is m prime?
True
Suppose 5*p - 536 - 519 = 0. Is p a prime number?
True
Is 1/((-3)/894*-2) a prime number?
True
Let q = -4242 + 6785. Is q composite?
False
Let c = 2283 + 170. Is c prime?
False
Suppose -20*q + 2*q + 11358 = 0. Is q a composite number?
False
Let u = 10 - 5. Let j(n) be the third derivative of -n**5/60 + 3*n**4/8 - n**3 - n**2. Is j(u) composite?
True
Let i(y) = y + 10. Let u be i(-7). Let v be 2/10 + (-278)/(-10). Suppose u*q - v = -q. Is q prime?
True
Suppose 4*i = i. Suppose -4*h + 4*c + 300 = i, 0 = 5*h - c - 2*c - 379. Is h a prime number?
False
Let o(i) = 19*i + 21. Is o(14) a composite number?
True
Suppose 7 + 1 = 4*a. Is (37/(-2))/(a/(-4)) a composite number?
False
Suppose -u + 8361 = 8*u. Is u a prime number?
True
Suppose 0 = -4*n - 0*b - 5*b + 763, 555 = 3*n - 2*b. Is n prime?
False
Suppose 6*l - 9 = 3*l. Suppose -l*i + 343 = 2*u, -3*u = -i - u + 117. Is i prime?
False
Suppose 3*q - 111 = 2*w + 58, 10 = -2*w. Is q composite?
False
Suppose 5 = 5*s + 20. Is (-105)/s - (2 + -1) a prime number?
False
Is ((-4)/(-6))/((-48)/(-9144)) a composite number?
Fal