s - 0*s - 2*w + 499521. Is s prime?
True
Suppose -4*p + 355685 = -13*m + 10*m, -5*p + m = -444598. Is p composite?
False
Suppose 199*g + 32*g - 266465661 = 0. Is g composite?
False
Let h be -2 + 1 + 0 + 35/7. Suppose -h*q - 112 = -r + 3187, -5*r + 16495 = 4*q. Is r a composite number?
False
Let s(w) = 1513*w**2 - 2*w - 2. Let o(k) = k**2 - 23*k + 41. Let d be o(21). Is s(d) a composite number?
True
Suppose -2461*c = -2460*c - 87853. Is c composite?
False
Suppose -5*a - t + 163 = 0, -t + 4*t + 87 = 3*a. Let d be 9/3*a/24. Is -1049*2*d/(-8) a prime number?
True
Suppose 0 = -2*s, -19*s = 5*k - 17*s - 29680. Suppose -3*n + n = 2*d - 2372, 5*n - k = d. Is n a prime number?
True
Suppose -121*c + 113*c = -8. Is ((-20)/(-5))/c + (3491 - 2) a composite number?
True
Let l(u) = 16*u + 194. Let n be l(-11). Is n/15*(-36485)/(-3) a composite number?
True
Suppose -10*k - 4*d + 404048 = -6*k, -4*d = -5*k + 505033. Is k composite?
False
Is ((-360222)/12)/(4/(-8)) a composite number?
False
Suppose 0 = 8*k - 8542 - 15842. Let y be (4/(-3))/((-15248)/k - -5). Let i = y - -123. Is i a prime number?
True
Suppose -15 = 8*n - 13*n. Suppose -1764 + 573 = -n*r. Is r prime?
True
Let q = -97 + 93. Let k(r) = 3 - 69*r - 9 + 18*r - 11. Is k(q) prime?
False
Let u(v) = 54*v**2 - 16*v**2 + 2 - 7. Suppose 3*n = 2*f - 12, 2*f - n = -0*n + 8. Is u(f) a prime number?
True
Suppose -2*c - 16 = 5*l, -3*c = -4*l + 1 - 0. Let j = -6 - -12. Is (1074/(-4))/(c/j) composite?
True
Let p = 93 - 106. Is (-15808)/p - (2 + -3) a composite number?
False
Let n = -27 - -37. Let l(g) = g**2 - 9*g - 3. Let k be l(n). Suppose 0 = k*d - 3*d - 204. Is d a composite number?
True
Let w(i) = -i + 19. Let k be w(12). Suppose -111619 = -30*p + k*p. Is p composite?
True
Suppose 6*x = -179265 + 833163. Is x a prime number?
False
Let a = 17 - 17. Let q be a + (-2152)/(-5) - 6/15. Is (q/8 - 1) + 2/8 a composite number?
False
Let a(q) = q**3 + 30*q**2 + 22*q - 11. Let c = 8 - 30. Is a(c) composite?
True
Let o(u) = 4662*u**2 - 171*u + 2642. Is o(17) a composite number?
False
Is (-1)/((-2)/(3188 - 0)) composite?
True
Suppose 3495114 = 49*i - 851137. Is i prime?
False
Suppose 10*n = 17*n - 21. Suppose -4*p - n*p = 1421. Let u = p + 1264. Is u composite?
False
Suppose -3*s = -0*s - 3*o + 72, 2*o = -2*s - 36. Let t be (-16)/(-56) + ((-184941)/s - 2). Suppose -20*y = -25*y + t. Is y prime?
False
Let f(m) = 105068*m + 2413. Is f(11) a prime number?
True
Let c(x) = -35*x + 94. Suppose -9*j = -134 + 377. Is c(j) a prime number?
True
Suppose 5*m = -5*g + 20, -3*m - 24 = -4*g + g. Is ((-2224)/(-24))/(4/g) a composite number?
False
Let s = -108719 + 155778. Is s a prime number?
True
Let j(n) be the second derivative of 5*n**4/3 + n**3 - 4*n**2 - 22*n. Let d be j(-7). Suppose d = c - 361. Is c composite?
False
Suppose 0 = 38*b - 45*b + 5509. Is b + 0/(8/(-4)) prime?
True
Let d(i) = -1483*i - 13. Suppose 4*s - 1481 = 3*w, 0*w - 2*w = 6. Let a be (-4)/(-30) + s/(-60). Is d(a) composite?
True
Let a be (1 - 10/6)*(-1 + -2). Suppose -3*t - a*c + 509 = -1374, 1268 = 2*t - 5*c. Is t composite?
True
Let m(j) = 14*j**2 - 2*j + 58 + j**3 - j**3 + j**3 - j. Is m(9) prime?
False
Suppose -2*q + 2181354 = 2*a, -4*a + 2074396 = 5*q - 3378993. Is q prime?
True
Let v(n) = 556*n**3 - n + 2. Suppose -2*t + 3*k + 9 + 2 = 0, 5*t - 2*k = 0. Let h(f) = 3*f + 7. Let l be h(t). Is v(l) composite?
False
Let f = 4 + 0. Suppose f*h + 3*l - 992 = -l, 3*h = 3*l + 750. Suppose t + b = 83, -4*t + 2*b + h = -t. Is t a composite number?
False
Let a(j) = 11*j - 40. Let g be a(5). Suppose -9*b - 3684 = -g*b. Suppose 9*k - b = 7*k. Is k a composite number?
False
Suppose m = 3*m. Suppose 3*f + 0 + 12 = m. Is f/6 + 1 + (-1410)/(-9) prime?
True
Let o = -486010 - -715691. Is o a prime number?
True
Suppose 0 = 4*g - 16, -5*g = 40*w - 37*w - 890. Suppose 0 = -4*t - 5*x + 413, -t - 229 = -3*t + 5*x. Let o = w + t. Is o a prime number?
True
Let g(t) = -13*t**3 + 3*t**2 - 2*t + 4. Let o(z) = z**2 - 12*z - 16. Let d be o(13). Let j be g(d). Suppose -3*h = h + k - j, -4*k + 97 = h. Is h composite?
False
Let g be ((-17)/2 + 0)/(2/(-928)). Suppose -6*c = -10*c + 5*o + g, 5*c - 4975 = -5*o. Is c a prime number?
True
Let r(o) = 3*o - 26. Let d be 1/(-6) + (-6)/(-108)*147. Let p be r(d). Is (-1 + 1358/21)/(p/(-30)) a composite number?
True
Suppose -106 = 4*x - 122, -2*x - 374666 = -2*n. Is n a composite number?
False
Suppose o - 36842 = -5*y + 21004, -5*y - 57836 = -o. Is o a prime number?
False
Let n be (-10)/(-35) - (-57)/21. Suppose -n*f + a = -7*f + 5441, -f - 2*a + 1355 = 0. Is f prime?
True
Suppose -2*q - 208 - 40 = 0. Let w be 907 - 33/((-132)/56). Let p = q + w. Is p a prime number?
True
Let d = 117 + -115. Let t be (-1*(4 + -6) - -563) + d. Let z = t - -122. Is z prime?
False
Let r = 23 + -11. Let n be 16/r - (-2)/(-6)*-2. Suppose y + n = -1, -212 = -s + y. Is s composite?
True
Suppose -2*o - 3*x + 1360 = -15820, o - 3*x = 8590. Suppose 4*c - 4*t - 24948 = 0, -5*c + 2*t + o = -22598. Is c a composite number?
True
Is (2/6)/((-8)/(-1834104)) composite?
False
Suppose 39499 = -3*a + 3*n + 230389, -a - 5*n + 63600 = 0. Is a/55 + 1 + 9/(-11) prime?
False
Let b(m) = 7 + 5 - 439*m - 22 + 8. Suppose 0 = -2*g + 4*h + 14, h - 4 - 3 = 4*g. Is b(g) composite?
True
Let q(l) = -l**3 - 15*l**2 + l + 18. Let i be q(-15). Suppose 2*b + 3*a - 500 = b, i*a = 3*b - 1536. Let p = 742 - b. Is p composite?
False
Is (-4159512)/(-35) - (-9*(-5)/(-25) + 2) a composite number?
False
Let c(n) be the first derivative of n**3 - 2*n - 2. Let q be c(2). Suppose o = q*o - 21843. Is o a prime number?
False
Suppose 19*h - 55*h - 1379894 = -7733138. Is h prime?
False
Let z = 35731 - -79900. Is z composite?
False
Let z = -70 - -177. Let v(d) = 47 + 55 + 167*d**2 + 59*d**2 - z - 4*d. Is v(-2) composite?
False
Suppose 0 = 19*m - 15*m. Suppose m = 5*x + 4 - 19. Suppose -3*k + 382 = 5*q, 4*k - 154 = x*k + 5*q. Is k composite?
True
Let k = 1 + 10. Suppose -2*u = 6*i - 3*i - 1, 5*i + k = 3*u. Suppose 5*x + u*a - 245 = 0, -5*x = -a - 294 + 34. Is x composite?
True
Let d(m) = 9*m + 13. Let j be d(-1). Suppose 0 = -4*w - g + 23878, -j*w - 24*g + 23866 = -29*g. Is w a composite number?
True
Suppose 9718 = 9*y - 20504. Suppose -4*c + y = 2*n, 2*c - c = 3*n + 829. Is c a composite number?
True
Suppose 8*k - 1 = 7*k. Let x be (k/2)/(-2 + (-145)/(-72)). Is 23*(x/44 + (-2)/(-11)) prime?
True
Let w = 442192 - 315569. Is w a prime number?
False
Suppose 0 = -4*w - 8. Let g be (1/w)/((-1)/(-698)). Let y = g + 506. Is y a composite number?
False
Suppose -7*s - 3263 = 279. Let z = 1535 - s. Is z a prime number?
False
Let z be 3/((6/3)/26). Suppose z*m + 8 = 41*m. Suppose 5*b + 55 = -4*p + 218, 5*p - 197 = -m*b. Is p prime?
True
Let h(f) = 7*f**2 - 5*f + 22. Let g be h(4). Suppose -g = -z + 4*z. Let a = z - -57. Is a a composite number?
False
Suppose 82*m - 73*m = -47394. Is (m/(-10))/(31/155) a composite number?
False
Is 203/812 - (4779405/12)/(-5) a composite number?
False
Suppose 3*f + 147 = -2*v - 186, f - 494 = 3*v. Is -1*(-101)/(5/v*-3) prime?
False
Is 20 + 24552/4 - -9 a composite number?
True
Let s(u) = 122*u**2 - 70*u - 743. Is s(-15) a composite number?
True
Let w = 215 + 4772. Is w prime?
True
Let q(h) = 16*h**2 + 13*h + 38. Let o be q(-18). Let z = -1515 + o. Is z composite?
True
Suppose -51 = -2*p - 4*h + 61, -5*h - 198 = -4*p. Let d = p - 29. Suppose 26*l - 3261 = d*l. Is l prime?
True
Suppose 18*u = 3*u - 450. Is (6 + u/4)/(1/(-2818)) composite?
True
Let k(f) = -3*f - 104. Let z be k(-34). Is -217174*-1*(-1)/z composite?
False
Suppose 2*u - 265 = -267. Is (-1)/(u/(-6) + (-1925)/11370) composite?
False
Suppose -7190007 = 11*r - 10612445 - 9575283. Is r prime?
True
Let y(i) = 3*i**3 + 18*i**2 + 6*i - 13. Let s be y(10). Let d = -1882 + s. Is d a composite number?
True
Suppose z = -2*z - 6*z + 1533969. Is z a prime number?
True
Let l = 2551329 + -1784470. Is l a prime number?
False
Let r = -878 + 889. Let u be ((-1)/2)/((-6)/11844). Suppose u = r*x - 8*x. Is x a composite number?
True
Let i(r) = -2100*r + 349. Is i(-44) a prime number?
False
Let x(h) = -6*h + 6. Let g be x(-9). Suppose -11*w = w - g. Is (440 + 3)*(5 - 4)*w prime?
False
Suppose 4*l - 5299438 = -4*r + 2986470, 3*l = 4*r - 8285936. Is r prime?
