- s*n = -265. Is n prime?
True
Suppose -17 = -4*r - 5. Is r/((-15)/35)*-541 composite?
True
Suppose 2*t - t = 3*j - 455, -5*t - j - 2355 = 0. Let v = 919 + t. Is v prime?
True
Let z = 68587 + 81382. Is z a prime number?
True
Suppose 1089 - 230 = a. Suppose 5*g - a = -n, 3*n = 2*n + 4*g + 868. Let q = n - 233. Is q composite?
False
Let w be 38*(0 + (-30)/(-3)). Suppose 0*a = 3*a - g - w, 5*g = a - 122. Is a composite?
False
Let u(h) = h + 3. Let a(k) = k**3 + 6*k**2 + 5*k - 3. Let f be a(-5). Let w be u(f). Suppose w = 2*c - 6*c - 3*o + 176, o + 98 = 2*c. Is c a composite number?
False
Let w be 5/(50/16)*(-10)/(-4). Is (1 + -1)/(w - 3) - -967 a prime number?
True
Let t = 27 - 24. Suppose 241 = r - 0*s + 2*s, -3*s - 687 = -t*r. Is r prime?
True
Let p be 13/(2 + (-45)/23). Let q = -132 + p. Is q prime?
True
Let g(y) = -1030*y - 59. Is g(-7) a composite number?
False
Let c = -29 + 33. Suppose c*l + 1954 = 2*z - 0*z, 5*z - 3*l - 4913 = 0. Is z composite?
True
Is (-1337)/(2 + 5)*-41 composite?
True
Suppose 8059 = 2*t - 5*k, -5*t + 2*k + 20170 = -3*k. Is t prime?
False
Let t = 4 + -16. Let h = -9 - t. Suppose n + 934 = h*n. Is n prime?
True
Let x = -6 + 7. Is (8425/(-10))/((x - -1)/(-4)) a composite number?
True
Suppose 5*y + 28 = 8, 0 = -2*t - 4*y + 22530. Is t a composite number?
False
Suppose 0*o = -4*o + 28. Is (-8 + o)/(1 - 228/226) prime?
True
Let q(x) = -497*x**3 - x**2 - 2*x**2 + 2*x**2 - 1 - 2*x. Suppose 74 = -3*j + 71. Is q(j) prime?
False
Let s be 6 + (-3 - 4) + 3. Is 1 + 75 + 2/s*1 a prime number?
False
Is -6 - (-8)/(40/31675) a composite number?
False
Let z be (14/(-3))/(56/84). Is (z - (-1 - 2)) + 149 a composite number?
True
Let b be 96/(-18)*6/(-4) - 2. Suppose b*k - 1661 = k + 2*r, 5*k - 1658 = r. Is k prime?
True
Suppose 5*o + 15 = 0, 0 = 4*j - 5*o - 106 - 13641. Is j composite?
False
Let a = 228 + 155. Suppose 0 = 5*q + 2*g - a - 1112, -3*g - 598 = -2*q. Is q a prime number?
False
Suppose 5*c + 0*c - 390 = 0. Let s = c - 4. Is s prime?
False
Suppose 17 = 2*p + 1. Let b = 28 - p. Suppose -4*k - b = 0, -a + 5*a - 233 = k. Is a prime?
False
Suppose 0 = -12*b + 9*b + 243. Suppose 3*g - 4*y + 7 - 73 = 0, -4*g + 3*y + b = 0. Suppose -3*z + g = -l - 182, -4*z = 4*l - 240. Is z a prime number?
False
Suppose m + 3 = 0, 4*v - v = 4*m + 3159. Is v composite?
False
Let c = 29 - 27. Suppose 2*s + 3*k - 235 = 0, 3*s = -c*k + 177 + 168. Is s a composite number?
False
Suppose -15*o + 13*o + 10870 = 0. Is o composite?
True
Let i = -549 + 1223. Suppose 3*q - 12 = -q. Suppose 0 = 5*a - 3*n - i, 7 = -q*n - 2. Is a a prime number?
False
Suppose -50*t + 52*t = 4492. Is t prime?
False
Suppose -2*f + 79*k - 75*k + 20374 = 0, -40760 = -4*f + 5*k. Is f a prime number?
False
Suppose -4*r + 86 = -82. Let x = 147 + -145. Suppose 3*o = y - 16 + 2, -3*y + r = -x*o. Is y prime?
False
Let h(a) be the second derivative of a**4/6 - a**3 + 3*a**2/2 - 8*a. Suppose -3*b + 7 = -f - 3, 5*b - 26 = -3*f. Is h(b) composite?
False
Suppose -21*j = -19*j. Suppose j = -0*u - u + 587. Is u composite?
False
Suppose 5*w + 5*b = 19865, -15871 = -6*w + 2*w + 3*b. Suppose 14*x - 9*x - w = 0. Is x a prime number?
False
Suppose -5*i + 2*w = -2*w, -5*i - 3*w - 35 = 0. Let f be -7*(-1)/(-14)*i. Let q(m) = 273*m - 5. Is q(f) composite?
False
Suppose -14 = -2*l - 4*q, -3*q + 18 = -2*l + 6*l. Suppose -l*v = -v - 94. Suppose -1 - 15 = -4*s + 3*n, 5*s + 3*n = v. Is s a prime number?
True
Let u = -4368 + 7661. Is u a prime number?
False
Let q be (-5 + -1)*215/(-10). Suppose -3*r = -0*r - 18. Suppose -q = -r*s + 3*s. Is s composite?
False
Suppose t - 4*u = -0*t + 6, 5*t + 33 = -u. Let n = t + 10. Suppose -427 = -w - 2*w + n*s, 3*w - 425 = 2*s. Is w composite?
True
Let s be (-6)/(-4) - (-14)/28. Let l be 4 + (-1 - s - -1). Suppose -3*v = -3*b + 2*b + 226, 2*b + l*v = 476. Is b a prime number?
False
Let m = 1732 - -3314. Suppose 5*t - m = 4*j + 1763, 5448 = 4*t - 4*j. Is t a prime number?
True
Let h = -13 + 19. Let a be 1*(-2)/h*-357. Let f = a + -73. Is f a composite number?
True
Suppose 2*g - g - 7079 = 0. Is g prime?
True
Let j = 2 - -3. Suppose -9 + 29 = j*y. Suppose -7*h + 2*h + y*s + 1101 = 0, -2*h = -2*s - 440. Is h a prime number?
False
Suppose 3*p = -10 - 14. Is ((-1542)/p)/(6/16) a composite number?
True
Is (-16921 + -1)/(8 + -10) a composite number?
False
Suppose 0 = 60*c - 58*c + 2*m - 27804, -2*c - 3*m + 27809 = 0. Is c a composite number?
True
Let m be 13386/4*(-4)/(-6). Suppose -h + 2227 = 5*a + 2*h, m = 5*a + 4*h. Is a prime?
True
Suppose 2*p - 13 = -3. Suppose 0 = -p*g + 2844 + 331. Is -1*(-1 - -1 - g) composite?
True
Let v(i) = 629*i**2 - i. Let l(w) = -2*w + 9. Let f be l(4). Let m be v(f). Suppose -9*n + 11*n - m = 0. Is n a prime number?
False
Let c(b) = 122*b - 2. Suppose -4*j = -3*t + 16 + 7, 4*t - 5*j = 31. Let x be c(t). Is 1/(3 - x/366) composite?
True
Let s(d) = d**3 + 2*d**2 - 5*d - 6. Let o be s(-5). Let q = 147 + o. Is q prime?
False
Let z(i) be the first derivative of -21*i**2/2 + i - 11. Is z(-10) prime?
True
Suppose -2*s - 93*t + 3128 = -96*t, -s = -2*t - 1563. Is s a composite number?
False
Let t(a) = a**2 + 4*a + 1. Let b be t(-3). Let m(u) = -65*u**2 + 3*u + 0 + 108*u**2 + 3. Is m(b) a composite number?
True
Suppose -6*x = -311 - 1447. Is x a prime number?
True
Let f = 1383 - -15136. Is f a composite number?
False
Suppose -10*j + 156 + 10814 = 0. Let b = -403 + j. Is b composite?
True
Suppose s + 0*s - 2*h = 12, 2*h = -2*s. Suppose s*a + 1875 = l - a, 7564 = 4*l - 4*a. Is l a prime number?
False
Let b = -33 + 40. Let g(z) = 102*z + 11. Let x be g(b). Suppose 7*k - x = 2*k. Is k a prime number?
False
Let x(k) = -k**2 - 6*k + 4. Let o be x(-6). Suppose -2*z - 3044 = -o*s - 522, -1 = -z. Is s prime?
True
Let g = 78 + -42. Let a be -6*16/g*-3. Suppose 0 = -a*b + 3*b + 110. Is b composite?
True
Let z = 21 + -9. Let q = z + -7. Suppose -q*y + 2*d + 387 = 0, 2*y - 232 = -y + d. Is y prime?
False
Suppose -d + 4 - 1 = 0. Suppose d*h + 10 = 5*h. Suppose 0 = h*r - 447 - 188. Is r prime?
True
Let u = 404 - -2043. Is u a composite number?
False
Let g(w) = -2*w**2 - 15*w + 5. Let v be g(-8). Is v/(-5) + 21910/25 prime?
True
Let q be (-2 - 0)*-1 + -4. Let l be (-1 - 2)/(1/q). Suppose -l*n = -3*n - 381. Is n a composite number?
False
Suppose 0 = -2*x - 2*u + 32888, x - 7676 - 8786 = 5*u. Is x a composite number?
False
Suppose -5*k + 6 = -3*f - f, -4*f - 4*k - 24 = 0. Let q(p) = p**2 - 3*p + 4. Let t be q(4). Is (-39)/(-2) + f/t a composite number?
False
Let w(o) = -4 + 13*o**2 - 5*o**3 - 7*o + 4*o + 0*o**3 + 4*o**3. Suppose 0*x = x - 9. Is w(x) prime?
True
Let c(d) be the first derivative of -6*d**4 - d**3 - 5 - d - 3/2*d**2. Is c(-2) prime?
False
Suppose 0 = 7*c - 12898 - 19400. Let m = c - 2641. Is m composite?
False
Let i(m) = -12*m - 29. Is i(-4) composite?
False
Let v = 30 - 50. Let h = v + 22. Suppose -a + h*a - 274 = 0. Is a prime?
False
Let g be 14/3*240/32. Let d = 3 - g. Let n = 323 - d. Is n prime?
False
Suppose -v - 4021 = 2191. Let a = -3801 - v. Is a composite?
False
Suppose -25*d + 61896 = -d. Is d composite?
False
Suppose d - 187 = -4*f, d + 193 = 4*f - 4. Suppose 4*g + f = 3*g. Is (-8)/6*g + -2 a prime number?
False
Suppose -5*j - 4*k = -16, 4*j - 2*k - 9 = 9. Let w be 122/4 + j/(-8). Is 10/4*744/w a prime number?
False
Let z(r) = 2*r**3 + 2*r - 1. Let d be z(1). Let o = d - -52. Suppose 0 = -4*f + 5*f - o. Is f prime?
False
Suppose 25790 = 97*l - 87*l. Is l prime?
True
Suppose i + 2*h + 1690 = 15211, -2*i = h - 27045. Is i prime?
True
Suppose 133*u + 5358 = 139*u. Is u prime?
False
Let f(b) = b - 6. Let r be f(6). Let d be -1 + (r/2 - -3). Suppose 0 = -d*u + u + 143. Is u composite?
True
Let j(s) = 9*s**2 + 7*s - 9. Suppose 20*f - 136 = 3*f. Is j(f) a composite number?
True
Let y(x) be the first derivative of -2*x**4 + x**3 - 2*x**2 - 4*x - 6. Let g be y(-3). Let l = g - 108. Is l a prime number?
False
Let m = 2071 - -82. Is m composite?
False
Suppose 21*o - 16*o = -20920. Is o/(-16) + (-10)/4 composite?
True
Suppose f + 15225 - 62835 = -4*s, -4*f = -s + 11911. Is s composite?
False
Suppose 13*o = 265624 - 27971. Is o prime?
False
Let m(g) = -g**2 - 12*g + 2. Let j be m(-12). Suppose -1316 = -5*a + 4*i, -721 = -2*a + j*i - 193. Suppose -4*c + f = c - 656