 q(4) a prime number?
False
Let q be 14 - (-1 + (1 - -1)). Let z be 928/40 + -6 - 1/5. Suppose -q*u = -z*u + 140. Is u a composite number?
True
Let r(i) = i**3 + 26*i**2 - 26*i - 26. Is r(-19) a prime number?
False
Let z = -8607 - -18896. Is z a composite number?
False
Suppose 3*m + 3*h = -0*m + 8655, 0 = m - 3*h - 2881. Suppose 4*g - i - 2880 = 0, g - m = -3*g + 2*i. Is g a composite number?
False
Is (-18272)/(-6) + 28/42 a prime number?
False
Let h(p) = 79*p**2 + 6*p - 7. Let b(c) = -c**2 - 5*c - 3. Let q be b(-3). Let s be h(q). Let t = -433 + s. Is t a prime number?
False
Suppose 0 = -12*n + 7*n + m + 3244, -2*n - m = -1299. Is n prime?
False
Let d = -45 + 41. Is (-6)/d + (-599)/(-2) prime?
False
Let g = 2 - -1. Suppose -f + 258 = 4*q, -g*f + 38 = 3*q - 160. Let p = 138 - q. Is p prime?
False
Let v be 1*((-3)/(-4) + (-117)/(-36)). Is -3*v/12*-1255 a prime number?
False
Suppose -4*l + g + 51795 = 0, 4*l + 3*g = l + 38850. Is l a prime number?
False
Let n be 153 - (-3 + (-2 - -1)). Suppose -505 = -4*k - n. Is k a composite number?
True
Let l(g) = g**3 + 1. Let t be l(1). Let r(k) = k**3 + 8*k**2 + 6*k - 2. Let a be r(-7). Suppose 2*i = 4*o - t*i - 20, 0 = -5*i - a. Is o a composite number?
True
Let s(f) = 67*f**2 + 13*f + 83. Is s(-11) composite?
True
Let v(i) = 2*i - 11. Let s(j) = j**3 + j**2 - j + 7. Let b be s(0). Let d be v(b). Suppose 242 - 1049 = -d*h. Is h a prime number?
True
Suppose -2*a + 4*j + 10542 = 0, -5*j - 2 = -3*j. Is a a composite number?
True
Suppose 6*a = 13*a - 20083. Let i = 6138 - a. Is i composite?
True
Suppose -2*c + 2 = -c. Suppose -n = c*n + 3*r - 9, 2*n - 9 = r. Suppose -2*f + 157 = -0*f - 3*v, n*v = 3*f - 237. Is f a prime number?
True
Suppose 2*u - u = 0. Suppose u*s + 3*s = 531. Is s a prime number?
False
Suppose -5*b + 20*b = 33690. Is b a prime number?
False
Let p = 4188 + 13835. Is p a prime number?
False
Let b(o) = 2*o**3 - 24*o**2 - 18*o + 3. Is b(32) a composite number?
False
Suppose -5*m = 2*b - 6325, 11756 = 5*b + 2*m - 4046. Suppose 3*n - b = 71. Is n composite?
True
Let h(c) be the third derivative of 451*c**4/12 - c**3/6 + 5*c**2. Is h(1) prime?
False
Is 12762/7 + -1 + (-24)/(-28) prime?
True
Suppose 24*k + 3*u = 21*k + 1536, -3*k = 2*u - 1538. Is k a prime number?
False
Suppose 0 = -4*l - 2947 + 10299. Is l a prime number?
False
Let j be 1*(1 - (10 + 1)). Let f = -4 - j. Is (-3 - (-111)/f)*14 a composite number?
True
Let q(r) = 4*r + 2*r - 2 - r**2 - 5*r - 3*r**2 + r**3. Let c be q(4). Suppose -k + 77 = -c*d + 7*d, -122 = -2*k - 2*d. Is k a composite number?
True
Let a(u) = 12*u**3 - 2*u**2 - 3*u + 1. Let d be a(-4). Let r = d - 489. Let t = -903 - r. Is t a prime number?
True
Let x(w) = -2*w + 6. Let u be x(2). Suppose 2*f - 6*h - 734 = -u*h, 4*h = f - 361. Is f prime?
True
Suppose 0*h = 5*h + 55. Let l be (-2)/1 - 13 - -1. Let t = h - l. Is t a prime number?
True
Let t = 7552 - 4337. Suppose 6*h - t = 91. Is h prime?
False
Let u(s) = -3 + 0*s + 363*s**2 - 103*s**2 + 3*s - 4*s. Is u(-2) composite?
False
Is (-2)/11 - 61444530/(-990) composite?
True
Is (-1)/(-2)*(0/(-1) + 13274) prime?
True
Let a = 260 - -8477. Is a a prime number?
True
Suppose 0 = 3*y + 2*y - 12845. Is y prime?
False
Let k(d) = -693*d - 228. Is k(-3) composite?
True
Let d(y) be the third derivative of -4*y**2 + 0*y + 0 - 11/6*y**3 + 17/12*y**4. Is d(5) a composite number?
True
Suppose 2*d + 54 = -20. Let p = -30 - d. Is p prime?
True
Let s be 10*(1 + 6/(-10)). Suppose -3*v - 4*h + 5655 - 737 = 0, -4*h = -2*v + 3272. Suppose -334 = -s*f + v. Is f a composite number?
True
Let o(g) = -g - 9. Suppose -v - 3 = 9. Let r be o(v). Suppose 2*f + 1218 = 4*i, -2*i + r*f + 615 = -0*i. Is i prime?
False
Let z = 11 + -8. Suppose 2*l + 0*q + 5 = -q, z*q = 3. Is 3 + -3 + (-1623)/l prime?
True
Let l(j) be the first derivative of -j**4/4 - 13*j**3/3 - 13*j**2/2 + 3*j - 7. Is l(-12) prime?
False
Suppose 490 + 315 = 5*t - 3*u, -326 = -2*t + 2*u. Let b = t - -53. Suppose 5*w + 2*k - 770 = 337, -w + b = 3*k. Is w prime?
True
Let q = 20700 - -1159. Is q prime?
True
Suppose 3*a = 5*a + 8. Let v be (-1)/((a/(-85))/4). Let j = v + 138. Is j a prime number?
True
Is (-1)/(-4) - 5340108/(-272) a prime number?
False
Let n(t) = -t**3 - 9*t**2 - 18*t - 7. Let b be n(-10). Suppose o + 5*q = 91, 3*o + 0*o = -3*q + b. Is o composite?
True
Let v(l) = l**3 + 5*l**2 - 5*l + 2. Let a(h) = h - 16. Let t be a(10). Let r be v(t). Let q(y) = 3*y**2 - 5*y - 6. Is q(r) prime?
False
Suppose 96*u = 93*u + 19203. Is u a prime number?
False
Suppose -4*l - 5 + 1 = 0. Let u be (l + -2)*9 - 1. Let z = 111 + u. Is z composite?
False
Let d(h) = h**3 - 2*h**2 - 5*h - 3. Let r be d(4). Let m = 242 + r. Is m composite?
False
Is ((-1)/2)/(11/(-5 + -560049)) prime?
True
Suppose 0*k + 3*k = -12. Let i be 28/21*(-102)/k. Is (i/4)/((-6)/(-84)) a composite number?
True
Suppose -2*u + 4 = -0. Suppose -u*k - 15 = -5*k. Is ((-26)/(-10))/(1/k) prime?
True
Let b = 5 - 24. Let f = 7 + b. Let l = 75 - f. Is l composite?
True
Let j be (-25)/(-7) - 8/14. Suppose j*d + 4*x = 459, 4*d + x - 599 = -0*d. Is d a composite number?
False
Let i(a) = -1622*a - 1. Let t be i(-4). Suppose -5*q + 198 = -t. Is q prime?
False
Let g(u) = -401*u + 8. Suppose 3*m + 3*r + 30 = 0, -5*r - 36 = 4*m - m. Is g(m) a composite number?
True
Let d be -14 - -9 - (2 + -1). Let w(f) = -21*f - 13. Is w(d) composite?
False
Suppose 72530 - 4909 = 19*t. Is t prime?
True
Let n(i) = 4*i**3 - 1. Let t be n(1). Suppose w + t*w = 3*z + 6244, z = 0. Is w a prime number?
False
Let s(d) be the third derivative of -d**6/120 + 7*d**5/30 - 3*d**4/8 - 17*d**3/6 + 3*d**2. Is s(12) a composite number?
False
Let g = 2 - 3. Let z be g/(-2)*14 + -3. Suppose z*f = 2*f + 446. Is f a composite number?
False
Let c(n) = -9124*n**3 - 4*n**2 - 16*n - 11. Is c(-2) a prime number?
True
Let k = -1 - 1. Is (-5862)/(-9)*k*3/(-4) a prime number?
True
Let r = -38 - -38. Suppose 2*t = -n - t + 378, r = n + 4*t - 377. Is n composite?
True
Let w be 6/(-39) - 132/(-13). Suppose -4*g + 3*r = w - 57, g - 5*r = 33. Let x = g - -179. Is x composite?
True
Is -9 + (-74428)/(-4) + -5 composite?
False
Suppose -2*h = -194 - 1812. Let b = 2442 - h. Is b composite?
False
Let b be (-3237)/(4 + -1) - -3. Let r = -375 - b. Is r composite?
False
Suppose i = -a + 750, 0*i = i - a - 744. Suppose 7*h = 1906 + i. Is h composite?
False
Let i(j) be the second derivative of -6*j - 1/2*j**3 + 5/6*j**4 + 0 - 11/2*j**2 - 1/20*j**5. Is i(9) prime?
True
Let l = -85 - -56. Let p = -31 - l. Is (13 - -4)*(-22)/p a prime number?
False
Suppose -610 = 21*q - 26*q. Suppose -q = k - 711. Is k prime?
False
Let y = -2 + -1. Let h be (3 + 13/(-3))*y. Suppose -6*k + 314 = -h*k. Is k composite?
False
Let k(c) = -88*c**3 - 86*c**2 - 11*c + 27. Is k(-10) composite?
False
Let z be -453*(-1)/(-3)*18/1. Let o = z + 3805. Is o composite?
False
Is (2 - (-63)/14)*(3 + 79) a composite number?
True
Is -66 - -72 - (-9911)/1 a prime number?
False
Let c(x) = -2284*x - 199. Is c(-18) composite?
True
Let r = -36 + 33. Is ((-489)/(-6))/(r/(-6)) a composite number?
False
Let m be 240 + 4/((-4)/(-3)). Let w = 412 - m. Is w a prime number?
False
Is 14520171/(-262)*(1 - (-5)/(-3)) prime?
True
Is (4 - 3)*-4*179641/(-44) a composite number?
True
Let t(w) = -w**2 + 10*w - 6. Suppose -c + 3*q = 3*c - 32, 0 = 5*q. Let i be t(c). Is (38/6)/(i/90) a composite number?
True
Suppose 14 = 4*s - z - 5, 3*z = 4*s - 25. Suppose c = -o + 3, c + 17 = -o + s*o. Suppose 0*f - o*f + 249 = -2*x, 0 = 4*f - 3*x - 195. Is f composite?
True
Suppose 60 = -3*r - 2*t, r - 3*t = 5*r + 80. Is 2353/5 - (28/r - -1) a prime number?
False
Let s(u) = -u. Let c be s(-5). Let y be (0 + 2)/(c - 6). Is ((-219)/y)/(8/16) a prime number?
False
Suppose -21*n + 720 = -16*n. Let g = 909 - 458. Let v = g - n. Is v a prime number?
True
Suppose 4*q + 3*x = -3, q - 3*q + 4 = -4*x. Suppose q = 2*i, -2*i - 1759 = 3*l - 4*l. Is l prime?
True
Is (5 + 2156)*(1 + -3 + 3) prime?
True
Let o be (6/(-8))/1*(-40)/10. Suppose 3*p + 3687 = o*b + 4*p, -5*p + 2458 = 2*b. Is b a prime number?
True
Let c = 16161 - 10180. Is c a composite number?
False
Let n = 567102 + -392492. Is (-4)/26 - n/(-130) composite?
True
Suppose 6*b + 20 - 8 = 0. Let n be (287 - b) + (-4 - -4). Suppose -3*h = 