- 13 = -83. Let d = -10 + a. Is d a prime number?
False
Suppose 11*t - 12796 = 7*t. Is t composite?
True
Let j = 6 - -13. Is j composite?
False
Let v = 9 - 5. Is (v/(-4))/((-2)/254) a prime number?
True
Suppose 5*z + 15 = 5*p - 5, 5*z = -p + 4. Suppose z = 2*y - 1 - 3. Let x(i) = 13*i - 3. Is x(y) prime?
True
Suppose 5*a - 431 = 4*z, 2*a + 5*z = 65 + 81. Is a a composite number?
False
Let d(h) = 4*h - 3. Let i be d(2). Suppose 0*q + 417 = i*f + q, 4*f - 324 = 4*q. Is f a composite number?
False
Let j be (0 + -6)*10/(-4). Let i = 3 + 8. Let b = j - i. Is b composite?
True
Let n = -24 - -329. Suppose -n = -5*k - 4*a, -5*k + 340 = 3*a + 40. Is k a prime number?
False
Suppose 15 = r + 2. Suppose -7 - r = -5*z. Is (-219)/(-2) - (-6)/z prime?
False
Suppose 5*g = -4*k + 622, 3*g - 638 = -4*k + 6*g. Is k a prime number?
False
Suppose 0 = -14*n + 6*n + 48968. Is n a prime number?
True
Suppose 484 = 6*v - 818. Is v prime?
False
Let z be (-1)/(-6) + (-6803)/(-6). Suppose 5*d - 331 = z. Is d a composite number?
False
Suppose 2*b - 42 = 3*b. Suppose s - 183 = -2*s. Let w = s + b. Is w composite?
False
Let k(b) = -8*b**3 + 4*b**2 - 2*b - 5. Is k(-3) a composite number?
True
Suppose -5 = 2*y - 7*y. Let q be (0 - y)*-1 - 2. Is ((-5)/(-4))/(q/(-28)) a composite number?
True
Suppose 2*v - 17 = -5*i, v - 6 = -2*v - i. Let r be v/(-5) - (-178)/(-10). Is (-6)/(-27) + (-7970)/r a composite number?
False
Let h(u) = -u**3 - 2*u**2 - u + 1. Let m be h(-2). Suppose -m*w + 553 = n, -6*w + w - 3*n + 927 = 0. Is w composite?
True
Suppose 983 = 4*j - 197. Is j prime?
False
Let g = 648 + -169. Is g a composite number?
False
Let r(h) be the third derivative of h**5/60 - h**4/12 + h**3/3 + 2*h**2. Let f be r(2). Suppose -f*l = -9 - 245. Is l a prime number?
True
Let g be (-22)/(-5) - 26/65. Suppose -2*h = -g*o + 2*o + 114, 4*o - 2*h = 228. Is o a composite number?
True
Suppose -11 + 3 = -4*v. Let b be v - (-192 - (3 - 2)). Suppose 4*h + h = b. Is h prime?
False
Let w = -5 + 9. Is 4*19/w*1 prime?
True
Suppose 2*h = 33 - 5. Is h a prime number?
False
Is 6/(-6)*(-914 + 3 - 0) prime?
True
Let x(q) be the second derivative of 27*q**3/2 - q**2/2 + q. Is x(2) a composite number?
True
Let q = 713 - -666. Is q composite?
True
Suppose -5*m + 2220 = 5*x, -2*m = -m + 2*x - 442. Suppose 0 = 2*p + 3*p - 3*q - 1115, 2*p - m = -2*q. Is p composite?
False
Suppose -11*g + 6*g + 10 = 0. Let l(i) = i + 147. Let s(q) = -2*q - 146. Let u(n) = g*s(n) + 3*l(n). Is u(0) a prime number?
True
Suppose -2*w + 2 = -2. Let f(q) = 25*q**2 - q + 1. Let z be f(w). Is 722/22 + 18/z composite?
True
Let o = -592 - -1107. Is o prime?
False
Let q(n) = n**2 + 6*n + 1. Let s be q(-6). Is (63 - 2) + (-2)/s composite?
False
Suppose -4*y = y. Suppose y = 3*a + a - 76. Is a prime?
True
Let n = -1 - -3. Suppose -32 = -3*c - n. Is c a composite number?
True
Suppose 5*x + 0 = 10. Suppose -6 = -x*p + 16. Suppose p = -2*r + 37. Is r a prime number?
True
Let j be (-4)/6*(-75)/10. Suppose -j*n = 4*q - n - 96, q + 4*n = 21. Is q prime?
False
Let v(q) = -q + 3. Let n be v(0). Suppose s - n*p - 2*p = 10, s - p = 2. Is (-2 + 3)*s + 22 a prime number?
False
Is (-69)/12*-6*(-136)/(-12) prime?
False
Suppose -r = z, 4*r + 0*z + 2*z = 6. Suppose 2*l = -2*f - 3*l + 54, -r*f + 104 = -4*l. Suppose -3*o + 2*o - 5*x + f = 0, -2*o + 2*x = -4. Is o composite?
False
Suppose -o - 1 + 20 = 5*d, -2*d + 5*o = -13. Suppose 25 = 4*p - d*j - 3, -5 = 5*p + 3*j. Is ((-20)/p)/(0 - 1) composite?
True
Let t be 1 + 14 + 0/2. Let n = t - -19. Suppose -f + 113 - n = 0. Is f a prime number?
True
Let i(p) = -p**2 + 10*p - 10. Let z be i(9). Let q = z - -56. Is q prime?
False
Let b = 376 + -106. Is b/3 - 1/1 composite?
False
Let n(q) = -111*q + 18. Let y be n(12). Let u = 1855 + y. Is u a composite number?
False
Is (-1690)/(-5) - -1 - 2 composite?
False
Suppose -4*n = -2*a - 0*n + 26, -2*a - n = -6. Let k = a - 1. Suppose 4*x = -h - 11, 2*h = -h + k*x + 47. Is h a prime number?
False
Suppose -4*q - 44 + 680 = 0. Is q prime?
False
Suppose -6*b = 5*h - b - 380, -2*h = 3*b - 156. Suppose 0 = z - h - 43. Is z a prime number?
False
Let m be (10/(-4) + 2)*20. Let v be (-5)/m + 10/4. Suppose -r + v*r = 2*o + 6, -4*r - 3*o = -33. Is r composite?
True
Let f = 1157 + -762. Suppose 3*s - o - f = 0, 2*s - 2*o - 245 - 21 = 0. Is s composite?
False
Let x = -22 + 59. Is x a prime number?
True
Let j(l) = l**3 - l**2 + l + 93. Is j(0) prime?
False
Is ((-446)/(-6))/(2/6) composite?
False
Let a(v) = v - 3. Suppose 3*q - 14 = -2*l, -3*q = -2*l - 2*q + 6. Let d be a(l). Let y = d + 12. Is y prime?
True
Suppose 0*g + 3*g - 27 = 0. Is g/2*(-296)/(-12) composite?
True
Suppose 3*u + z - 60 = 0, 5*u + 3*z - 85 = u. Is u prime?
True
Let t(h) = 2*h**2 + 3*h - 7. Let c(v) = v**2 + 2*v - 4. Let p(l) = -10*c(l) + 6*t(l). Let i be p(2). Suppose 2*y = -i*y + 316. Is y prime?
True
Let c(b) = 4*b - 11. Let n(t) = 8*t - 21. Let k(r) = 7*c(r) - 4*n(r). Is k(-6) composite?
False
Let h(v) = -2*v**3 + 3*v**2 + 5*v + 7. Is h(-5) a prime number?
True
Suppose 0 = -2*q - 3*c - 5, -6*c - 22 = -5*q - 2*c. Suppose -s + 1455 = q*s. Let d = s - 322. Is d prime?
True
Let o(w) = -2*w - 3. Let q(b) = -b - 3. Let u be q(-9). Suppose 0 = j + u. Is o(j) a prime number?
False
Let j = 3629 + -924. Is j a prime number?
False
Suppose 3*s + 2*c = 1657, 2761 = 6*s - s + 4*c. Is s a prime number?
False
Let p = -1655 + 2332. Let f = p + -375. Is f a prime number?
False
Suppose -72 = -2*d - 2*g, 4*d - g - 120 = g. Is 141/2 - 48/d a prime number?
False
Let k be ((-1 + 1)/2)/(-1). Suppose k*g + 78 = 3*g. Is g prime?
False
Is 391*(1 + 0)*1 a composite number?
True
Let k(z) = -z**3 - z**2 + z + 973. Let p be 0/(-2*(-2)/(-4)). Is k(p) a composite number?
True
Let y = -5 - -23. Let n be (-4)/y - (-536)/(-18). Is (-113)/(-6) - 5/n a composite number?
False
Suppose 5*h - 1 = 4. Let n be (53/h)/((-2)/(-2)). Let j = n - 18. Is j prime?
False
Suppose -320 = -d - 115. Is d a prime number?
False
Let u(k) be the third derivative of k**4/24 - 5*k**3/6 + k**2. Let d be (-5 + -2)*(0 - 1). Is u(d) prime?
True
Suppose 0 = 5*i - 1 + 11, -5*i + 306 = 4*d. Is d a prime number?
True
Let i(u) = u**2 - 9*u + 12. Let m be i(8). Suppose 0 = m*k + k + 40. Is 8/k - (-33 - -1) composite?
False
Let o(s) = -s**2 + 4*s + 5. Suppose 0 = i - 2*i + 4. Let t be o(i). Is t/((3 + -4)/(-2)) a prime number?
False
Let f(j) = -5*j**3 + 4*j**2 - 5*j + 4. Let n be f(3). Let i = n - -242. Suppose i = 3*a + 21. Is a composite?
False
Let j = -4 - -9. Suppose -2*a + 22 + 20 = -5*k, 3*k + 67 = j*a. Is a prime?
True
Let f(t) = t**3 + t**2 + 33. Is f(0) composite?
True
Let v(j) = -j**2 - 1. Let n be v(-1). Is (24/20)/(n/(-15)) composite?
True
Suppose 4*s - 4*i - 4484 = 0, 14*i - 2218 = -2*s + 10*i. Is s a prime number?
True
Let d(p) = p - 3. Let u be d(5). Suppose u*r - 75 = -0*b + 3*b, 0 = 5*b + 15. Is r a prime number?
False
Let f(k) = -k + 4. Let z be f(0). Suppose -7 = z*l - 19. Suppose l*x = x + 42. Is x a prime number?
False
Let a(h) = -h**3 - 9*h**2 - 11*h - 2. Let j be a(-8). Let x = j + -13. Is x prime?
False
Let d = -15 - -7. Is 2/(d/(-4))*223 a prime number?
True
Suppose -d - 10 = d. Let v(n) = -n**2 + 1. Let x(h) = -5*h**2 - 3*h. Let j(b) = 4*v(b) - x(b). Is j(d) composite?
True
Let s(h) = 2818*h**2 + 3*h - 2. Is s(1) prime?
True
Let b(q) = -q**3 + 5*q**2 + 7*q - 3. Let k be -2 + 3 + 7 + -2. Let l be b(k). Suppose 2*f = -2*f - 4, 0 = g - l*f - 18. Is g prime?
False
Suppose 8*k - 1490 = 3*k - 5*n, -2*n = -10. Is k prime?
True
Let j be 12/10*(-4740)/18. Let u = -63 - j. Is u a composite number?
True
Suppose 2206 = 3*n + 421. Suppose -2*k + 3*a + n = 6*a, 4*a = 3*k - 867. Is k composite?
False
Suppose 2*y - m - 64 = -y, -4*m = 3*y - 44. Suppose -2*v + 108 = 4*f + y, 4*v = -3*f + 151. Is v prime?
False
Let m(h) = h + 6. Let x be m(-8). Let a = 4 + x. Suppose a*w = -w + 273. Is w a prime number?
False
Let m = 986 + -439. Is m a composite number?
False
Let i(f) = 42*f + 2. Let r be i(2). Suppose -147 = -b + r. Is b a prime number?
True
Suppose 3*y + t = -t + 283, -t + 189 = 2*y. Is y a prime number?
False
Let k be (-2)/(-2*3/15). Suppose -6*q + 2*q - f + 197 = 0, -4*q = -k*f - 191. Is q a prime number?
False
Is -2*1004/(-16)*2 composite?
False
Suppose -x + 2 = 6, 