Is (-14 + 72)/((-4)/(-14)) prime?
False
Suppose -4*n - 4*b + 856 = 0, 0*b + 1067 = 5*n + 4*b. Is n a composite number?
False
Suppose 3*s = 4*p - p - 48, p - 22 = -2*s. Suppose -2*l - 12 = -p. Suppose 4*n + 8 = 0, -5*u + l*n + 68 = -108. Is u prime?
False
Let a = 269 + -112. Is a a prime number?
True
Let u(k) = -k - 1. Let p be u(-5). Suppose p*q - 7 - 133 = 0. Is q a composite number?
True
Let c be 2/(-3)*(-15 + 0). Suppose -4*a + 36 = 3*u - 26, -5*a + 93 = -4*u. Let s = a - c. Is s a composite number?
False
Let o(n) = 6*n**2 + 4*n - 7. Is o(8) a prime number?
True
Suppose 0 = h + 9 - 10. Let b(j) = 271*j. Is b(h) a composite number?
False
Let i(q) = 2*q**2 - 5*q + 1. Let j(v) = -v**2 - 6*v + 9. Let u be j(-7). Suppose -2 - u = -f. Is i(f) composite?
False
Is (1/3)/((-14)/(-1092)) prime?
False
Let a = 20 - 17. Let z(x) = 24*x + 7. Is z(a) composite?
False
Suppose -2*o = -o + 4*n + 334, -o = -n + 324. Is o/(-3)*(-3)/(-2) composite?
False
Let c be ((-2)/(-3))/(3/(-18)). Suppose 4*z = -3*f + 48, -z - 2*z + 65 = -5*f. Let g = z + c. Is g a prime number?
True
Suppose -6182 = -2*h + 4*u, 3*u = 2*u - 3. Is h a prime number?
False
Suppose 3*j = -3*a + 330, -94 = 4*j + 5*a - 531. Is j a composite number?
False
Let l = 0 + 3. Suppose 3*g = -l*z - 3, 2*g + 14 = -2*z - 3*z. Suppose k + g*k = 2*p + 82, 4*k + 3*p - 107 = 0. Is k composite?
False
Let q = 135 + 453. Let v = q - 169. Is v prime?
True
Suppose 0*a + 2*a + 4*i = 122, 3*i + 115 = 2*a. Suppose -2*h + a = 2*s + 3*h, -51 = -3*s + 5*h. Is s a composite number?
True
Suppose 2*t = -7*t + 19395. Is t composite?
True
Let v(o) = -102*o + 17. Is v(-2) a prime number?
False
Suppose 4*c = -h + 1947, -3*c - 971 = -h + 969. Is h composite?
True
Suppose 6*c - 4*c = 4*z + 426, -c + 5*z + 216 = 0. Is c prime?
True
Is 325 + 1 + (3 - 8) a prime number?
False
Is (48/20)/6 + (-2583)/(-5) a prime number?
False
Let y(m) = 7*m**2 - 4*m - 1. Is y(-4) composite?
False
Let l = 10 - -69. Is l composite?
False
Suppose 3*l + 5 = 2*l. Let r(h) be the third derivative of h**5/30 + h**4/4 + h**3/3 - h**2. Is r(l) composite?
True
Is 8 + -10 + 2 + -4 + 441 prime?
False
Is 6/(-4) - 5277/(-6) a composite number?
True
Let h(i) be the third derivative of 0 - 5/6*i**3 + 3*i**2 - 1/60*i**5 + 1/120*i**6 + 0*i + 1/4*i**4. Is h(6) a composite number?
False
Suppose -z - 20 = m + 4*z, 5*z + 50 = -4*m. Let h be 2/10 - (-152)/m. Is -4*h/(-12)*-11 a prime number?
False
Suppose -3*m = 2*m - 500. Suppose 2*f + t - 55 = -4*t, -5*f - 5*t = -m. Is f prime?
False
Let z(p) = 5*p - 8. Is z(9) composite?
False
Suppose -24 = -0*l + l. Let t = l - -45. Let m = -15 + t. Is m a prime number?
False
Suppose -2*a - 2*a + 940 = 0. Is a prime?
False
Suppose 0 = 3*n - 6*n + 2667. Is n a composite number?
True
Let u = -1 - 5. Let h be (-2)/6 + (-14)/u. Suppose -5*o + 183 = 2*m, 7*m = h*m - 5. Is o a prime number?
True
Let h = 1287 - 770. Let m = h - 248. Is m composite?
False
Suppose 0 = 2*r - 4*w - 12, 2*w - 3 = -3*r + 3*w. Suppose r*d = -4*d + 268. Is d composite?
False
Suppose 3 = -5*j + 23. Suppose -3*z + j = -5. Suppose -2*t = 3*t - 3*d - 47, 0 = -z*t + 4*d + 37. Is t a prime number?
True
Let p be 10 + -2 + 1 + -2. Suppose -3*l = -p*l + 1228. Is l a prime number?
True
Suppose 0 = 5*k + 5*o - 2060, 2*k + 10*o - 5*o = 833. Is k composite?
False
Let t(d) = d**3 - d**2 - 8. Let m be t(0). Let u = 23 + m. Is u a composite number?
True
Let y be 2 + 0 + (-2 - 17). Let k = -12 - y. Suppose -k*c + 337 = d, 0*c = -4*c + 3*d + 262. Is c prime?
True
Let n = 6 + -4. Suppose -j + n*j = 12. Is j/18*(-222)/(-4) a prime number?
True
Is 11990/15*2/8*6 prime?
False
Let u(h) = -h**3 + 2*h**2 + 7*h - 1. Let g be u(6). Let r = -271 + 631. Let b = r + g. Is b composite?
False
Let a be (1269/(-18))/(2/4). Let g = a - -262. Is g prime?
False
Let h = -48 - -85. Is h prime?
True
Let g(h) be the first derivative of -4 + 1/2*h**4 - 5*h - 2*h**3 + h**2. Is g(6) composite?
False
Is 8/(-44) + (-49552)/(-44) composite?
True
Let t(m) = -21*m - 3. Is t(-6) a composite number?
True
Let p(g) = -50*g + 2. Suppose 6*r = 2*r - 24. Is p(r) a composite number?
True
Let p(a) = -a**3 - 12*a**2 + 3. Let m be p(-12). Suppose 0 = m*j - 4*j + 53. Is j a prime number?
True
Suppose -y + 5981 = 2*q, 3*y - 17893 = -0*q + 4*q. Is y composite?
True
Suppose 2 = j + 2*h - 1, -h = -j + 6. Suppose 56 = j*b - b. Is b composite?
True
Suppose 2*o + 2 = -2*h - 0*h, 0 = -h + 5. Let v(u) = -26*u + 5. Is v(o) prime?
False
Let g(p) = 10*p**2 + 4 + p - 3*p - 3*p. Is g(3) a prime number?
True
Let z = 6329 + -2872. Is z a composite number?
False
Let d(m) = 4*m - 18. Let u be d(4). Let l(o) = o. Let y be l(5). Is 83 + (-5)/(y/u) a prime number?
False
Suppose -3*d + 15 = 2*d. Suppose -d*n + 654 = 21. Is n prime?
True
Suppose -2*a + 13 = 5*w, 0*a = -5*w + a + 1. Let s(k) = 3*k + 1. Let d be s(w). Let z(v) = 11*v + 3. Is z(d) prime?
True
Suppose 0*d + 18 = -3*d. Let x(k) = -6*k**3 - 5*k**2 - k**3 + 6*k**3 - 5 + 4*k. Is x(d) a prime number?
True
Suppose 29 = -h - 46. Let z = -47 - h. Let n = z + -7. Is n composite?
True
Let c = 11 + -10. Suppose c = -y, 0 = k + 4*y - y - 30. Let n = k + 82. Is n a composite number?
True
Is (6 - 11) + 1632/2 composite?
False
Let b(w) = -w + 4. Let a be b(9). Let z = 8 + a. Is (-14)/(-4)*(z - -7) prime?
False
Let k = -16292 + 24645. Is k a composite number?
False
Let t(g) be the first derivative of -5*g**4/4 + 2*g**3/3 + g**2 + g - 3. Is t(-1) prime?
False
Let k(c) = -c + 2. Let t be k(-2). Suppose 5*f + t*q - 497 = 0, q + 1 = 4. Is f a prime number?
True
Suppose -4 = 4*d + 2*p, 3*d + 5*p - 9 = 2. Let m be d + (1 - 0/(-2)). Is m - ((-35)/1 - 2) a prime number?
False
Let v be ((-15)/20)/(1/(-44)). Let s = v - 18. Is s a prime number?
False
Let q(i) = i**3 + 6*i**2 + 3*i - 7. Let f be q(-5). Suppose -5*b - 7*j + f*j = -72, -2*j = 2*b - 28. Let r = 35 - b. Is r a prime number?
True
Suppose -7*a + 6867 = -3934. Is a composite?
False
Suppose -528 = -4*h - b, -4*b + 314 = 2*h + 36. Is h a prime number?
True
Suppose -8*w - 5992 = -23008. Is w prime?
False
Let m be (54/12)/(1*3/2). Let u(o) = 3*o + 0*o + 2 + 0*o + 20*o**2. Is u(m) a composite number?
False
Let t = 295 - 148. Suppose 0 = -2*u + t + 35. Is u a prime number?
False
Let q(o) = 8*o - 21. Is q(10) a composite number?
False
Let n(z) = -12*z - 3. Let l be n(-2). Let j be (-2)/(-8) - l/(-12). Suppose -j*c + 11 = -219. Is c composite?
True
Suppose 3*f = 13 + 8. Let j be 1*(2 + -1*f). Let t(s) = s**2 - s + 5. Is t(j) a composite number?
True
Suppose -2389 - 516 = -7*b. Is b composite?
True
Suppose 6 = 3*f, 2 = -z + 3*f + 17. Is 4/(-14) + 468/z a composite number?
True
Let r be ((-103)/4)/(2/8). Let h = 172 + r. Is h a composite number?
True
Let d be (1/(-3))/((-2)/36). Suppose -222 = -d*p + 3*p. Is p a composite number?
True
Let b = 382 - -204. Is b a composite number?
True
Let g be 3 + -6*(-2)/(-4). Let y = -6 + 11. Suppose -y*o - 2*l + 485 = g, -5*o + 485 = -0*o + l. Is o a prime number?
True
Let w be (0 - -12) + (0 - 3). Suppose 26 = m - w. Is m prime?
False
Let y(q) = 43*q + 2. Let m(u) = u**3 - u**2 - 4*u - 1. Let i be m(3). Is y(i) prime?
False
Suppose 2*u = 3*h, u + 1 = -3*h + 10. Suppose -c - 24 = d + 3*c, h*d + 12 = 4*c. Is (4/d)/(1/(-105)) a prime number?
False
Suppose -q = 0, -40 - 781 = -p + 5*q. Is p a composite number?
False
Let l(z) = z**2 + 6*z + 4. Is l(19) a prime number?
True
Is 4*1 + (-13 - -74) a prime number?
False
Let o(g) = 4*g**3 - 5*g**2 - 4*g - 6. Let d(h) = h**3 - 1. Let v(s) = 3*d(s) - o(s). Let l = -2 - -7. Is v(l) composite?
False
Suppose -23 = 4*r + 5*g + 57, 4*r - 5*g + 80 = 0. Is (-17776)/r - 3/(-15) composite?
True
Let f(u) = u**2 - 9*u - 8. Let j be f(9). Let n = j + 11. Suppose n*r - 56 - 61 = 0. Is r a prime number?
False
Suppose 5*d = 522 + 448. Is d a prime number?
False
Suppose -t - 2*b + 6*b + 1079 = 0, 5*b = -2*t + 2184. Is t a prime number?
True
Let s = 14 + 669. Is s prime?
True
Suppose -37 = -3*n - 2*v, 0 = -5*n + 4*v + 45 + 2. Let o = n - 8. Is (-5)/(-4)*(23 - o) a composite number?
True
Let v = 11 + -9. Suppose v*n - 3 = n. Is 3 - (-161 + n/3) prime?
True
Let u(v) = -2*v - 7. Is u(-13) a prime number?
True
Let o(j) = j**3 + 6*j**2 + 3*j + 4. Let b = 0 - 6. Let m be o(b). Is (86/(-3))/(m/21) prime?
True