37309 + 4010, -4*k - 5*j = -33057. Is k prime?
True
Suppose -60 = 7*p - 12*p. Let h be 1/6 - (-46)/p. Is h - (2 + -186 + -3) a prime number?
True
Let s = -786 - -1352. Let v = s - 169. Is v a composite number?
False
Let q = 1086 - -3115. Is q a composite number?
False
Is 1/(-4) - ((-97064)/32 - 4) a prime number?
True
Suppose i + 3*y = 191, 3*i + 0*y - 2*y = 595. Suppose -p - i = -934. Is p composite?
True
Is 19267 + (-3 - (-10 - (-4 - 3))) a prime number?
True
Let n(v) = -28*v + 22*v + 3 - 12. Let q be n(-8). Suppose m = k - q, 2*m - 113 = -3*k + m. Is k a prime number?
False
Let w = 1925 + -231. Suppose -5*b + 211 + w = 0. Is b composite?
True
Suppose 0 = 5*d - 5*l - 1955, -2 = 4*l - 2*l. Suppose -6*a + a = -d. Let o = a + -21. Is o a composite number?
True
Let i be 4/(-16) + (-1275)/4. Let t be 12/(-24) + i/(-2). Suppose -3*b = 5*h - 395, h - b = 3*h - t. Is h prime?
False
Let a be (8 + 87)*(-33)/(-1). Let v = -2152 + a. Is v a composite number?
False
Let s be (-158)/(-8) - (-9)/(-12). Suppose s = -v + 3*f + 604, 0 = 2*v + f - 1198. Is v a prime number?
False
Let g be 912/10*70/21. Let u = 525 - g. Is u composite?
True
Let d(u) = -4*u + 6*u**3 + 2 + u**3 + 2*u**2 - 6*u**3. Is d(5) prime?
True
Let w(i) = -4561*i - 293. Is w(-10) a composite number?
False
Suppose 16*a - a - 7395 = 0. Is a composite?
True
Let d(s) = 510*s**2 - 10*s - 1. Is d(-2) a prime number?
False
Is (-5 - 0 - -1) + 2839 + -16 a prime number?
True
Suppose -11*r = -14*r + 15. Is 684 + 0 + r/(-5) - 0 a composite number?
False
Let n(o) = 358*o - 12. Let l be n(9). Suppose 3*w - l = 3*f, -125 = -w - 4*f + 940. Is w prime?
True
Suppose 0 = -172*z + 179*z - 12761. Is z prime?
True
Suppose -4*s = -s + 6, -2*n - 4*s - 4 = 0. Suppose n*j - 16 = 6*j, 0 = 5*i - 3*j - 2377. Is i composite?
True
Suppose -5*l + 4*r + 3830 = 0, 4*r + 1359 = 3*l - 939. Is l prime?
False
Let i(h) = h**2 - 10*h + 10. Let v be i(8). Let a = v + 9. Suppose 187 = 4*j - a*j. Is j a prime number?
False
Suppose 3010 = 6*g - 1994. Let n = 1231 - g. Is n composite?
False
Let y be (-12)/(-10) - (-1281)/(-305). Let n(g) = 2*g + 0*g + 7*g**2 + 4 + 2*g. Is n(y) composite?
True
Let o be 34*(63/6 + 1). Let m = 833 + -507. Suppose 3*b = m + o. Is b composite?
False
Let r(z) = 42*z**2 + 13*z + 43. Is r(12) prime?
True
Let o(z) = 84*z**2 + 16*z + 39. Is o(-7) a composite number?
True
Suppose -50*x - 134488 = -58*x. Is x prime?
True
Let q(g) = 686*g - 125. Is q(21) a prime number?
True
Suppose 9*s - 4*s = 5. Is (-1)/s*(-521)/1 a composite number?
False
Let c = 51 - 24. Let u = -6 + c. Is u a composite number?
True
Suppose 0*o = -2*d - 5*o + 4, 5*o - 19 = 3*d. Is -4 + d*(-4412)/12 a composite number?
True
Suppose -5*j - 3965 = -s, 3*s + 6*j = 3*j + 11931. Let u = s + -976. Is u a composite number?
False
Suppose -3*w + 3468 = 3*v, 0 = -10*w + 9*w + 3*v + 1136. Is w a prime number?
True
Let o(t) = -t**3 + 10*t**2 - t + 9. Let x be o(10). Let q(m) be the third derivative of -5*m**4 - m**3/6 - m**2. Is q(x) a composite number?
True
Let i(g) = 13*g - 1. Let a be i(1). Let d be -2*(-2)/a*21. Let b = d - -8. Is b a prime number?
False
Suppose -f = -t + 3, -6 = 4*t + 2*f - 0*f. Suppose -2*o + 5*n + 66 = t, n + n - 94 = -2*o. Suppose g = -0*g + o. Is g prime?
True
Let v = -13 + 15. Suppose 0 = -t + v*n - 128, 0*t + 3*t + 389 = n. Let c = 207 + t. Is c a prime number?
False
Let p be 35/((-304)/(-720) + 4/(-18)). Suppose -57 = n + 39. Let x = n + p. Is x prime?
True
Let x(y) be the first derivative of -y**2 - y**3 - 33/4*y**4 + y - 4. Is x(-2) composite?
False
Let p(x) = 163*x + 5*x**2 + 2 - 169*x + 3. Is p(2) a prime number?
True
Suppose -4*r - 4*a = -5 - 3, -6 = -3*r - a. Let l(p) = 0*p**3 - 3*p**3 - 2 + 0*p**r - 4*p - 11 - 6*p**2. Is l(-6) a composite number?
False
Let y be (-16)/12 - (-13)/3. Suppose 4*u = y*u + 259. Is u prime?
False
Let k = -13299 - -25282. Is k a prime number?
False
Suppose -307*x - 420 = -311*x. Is 205860/x - (-6)/14 a composite number?
True
Suppose 8*z - 2590 = -6*z. Is z prime?
False
Let w be 5776/20*4/((-4)/(-5)). Suppose -280 + w = 4*v. Is v composite?
True
Let u(c) = -c**3 + 4*c**2 + 6*c - 3. Let x be u(5). Suppose 5*w = x*w + 9. Is 2/(w - 3575/1195) a prime number?
True
Suppose -6*v + 3*v + 2*c = -23, 2*c = 4. Suppose -v*b = -5*b. Is (-287)/(-1) - b - 0 prime?
False
Let w = -18485 - -35326. Is w a composite number?
True
Is (77868 + 1)/((-165)/(-11) + -14) a composite number?
True
Let m(f) = 7*f**3 - 6*f**3 - 1 + 19*f**3 - f. Let b be 12/(-4)*2/(-3). Is m(b) a prime number?
True
Let l(u) = u**2 - 6*u + 7. Let f be l(5). Suppose f = -w + 4. Suppose -2*s - w*s - 5*b + 99 = 0, 57 = 3*s - 2*b. Is s composite?
True
Let a(q) = q**3 - 6*q**2 - q + 8. Suppose x = 5*k + 11, -x + 3*k + 7 = 2*k. Let j be a(x). Suppose 29 = j*u - 3*s - 375, -u - 2*s = -209. Is u composite?
True
Let m(v) = -4*v**3 - v**2 + 1. Let r be m(-1). Suppose p - 15 = 6*p, r*p = 3*j - 6459. Is j a composite number?
True
Let a be (0 + -3)/(1 - 2). Suppose f = 3, a*j + 801 = -j + 3*f. Let q = -119 - j. Is q prime?
True
Let j(p) = 3*p**2 - 3*p - 5. Suppose 5*o = -5*w + 35 + 15, -5*w - 4 = -o. Is j(o) a prime number?
True
Suppose 17562 = -3*g + 87915. Suppose 79*x = 82*x - g. Is x a prime number?
True
Suppose 10*k + 8*k - 180990 = 0. Is k a prime number?
False
Suppose -261 - 980 = -f. Is f a prime number?
False
Let k(x) = x**2 + 16*x + 20. Let n be k(-15). Suppose 2*b = -2*j + 18, -2*j - n*b + 31 = j. Is j a prime number?
True
Let j(i) = i**2 - 2*i + 3. Let u be 1 - 0 - (-2 + 3). Let w(l) = l**2 - l - 10. Let c be w(u). Is j(c) a prime number?
False
Let j(y) = 484*y + 247. Is j(37) a prime number?
False
Let a(r) = -r**3 - 35*r**2 - 88*r - 43. Is a(-40) a prime number?
False
Suppose 2*o = -2*o. Suppose -v + 5*q = -0*q - 38, -3*q + 9 = o. Is v composite?
False
Suppose 0*b - 36 = -4*b. Let g = b - 4. Is 466/g + 5/(-25) a composite number?
True
Suppose -5*t + d = -579 + 37, -4*t + 5*d = -421. Is t prime?
True
Suppose 0 = -3*n - t - t + 11495, 2*n - 7656 = -5*t. Is n prime?
True
Suppose 0 = -3*y - 0*y - r - 1082, -y = -3*r + 354. Let s = y - -27. Is 2/(-4) + s/(-6) prime?
False
Suppose 0 = 4*r - 4*s, -5*r + 50 = 6*s - s. Suppose r*y - y = 1068. Suppose y = -w + 4*w. Is w prime?
True
Is ((-220)/(-8) + 3)/((-7)/(-182)) a composite number?
True
Let a = 387 - -706. Suppose 3*z - a = 1181. Is z a composite number?
True
Suppose -14*i = 15*i - 17777. Is i a prime number?
True
Let j(o) = -o**3 + 5*o**2 + 6*o - 2. Let l be j(6). Is (0 + -2)*19/l prime?
True
Suppose 3*o - 34 = l - 0*l, -4*o - 2*l = -62. Let w = -9 + o. Suppose 20 = -w*s + 6*s. Is s prime?
False
Let w be 100 + (-1 - 1 - -3). Suppose 2*y = -w + 489. Suppose -3*m + 5*m = y. Is m prime?
True
Is (47290/(-15))/((8/12)/(-1)) a prime number?
True
Suppose -4*o = -9*o, -3*d + o + 8631 = 0. Let k = d - 1930. Is k a composite number?
False
Suppose 0 = -42*o + 100801 + 354101. Is o prime?
True
Let a(f) = 9*f + 9. Let i(c) = -18*c - 19. Let l(k) = -7*a(k) - 4*i(k). Let o(q) = 19*q + 26. Let s(d) = 7*l(d) - 4*o(d). Is s(-6) a prime number?
False
Suppose -3683 = 4*l - r, -l + 5*r = -63 + 979. Let x = 2464 + l. Is x a prime number?
True
Suppose 497*n = 491*n + 6366. Is n prime?
True
Let u = 2670 + 2542. Suppose 3*w - 2*j - 2*j = 7815, 0 = -2*w + 2*j + u. Is w a composite number?
False
Let b(j) = 3*j**3 - j - 3. Suppose -4*s = -2*s. Suppose -2*x + 0*x + 4 = s. Is b(x) a prime number?
True
Let r be (0 + (-8)/10)*(-7 + 2). Suppose r*u - 1358 = 398. Is u a prime number?
True
Suppose -5*n + 2*n - 2*w + 1866 = 0, n - 4*w = 608. Let a = n + 11. Is a prime?
True
Suppose 0 = x - 6*g + 4*g - 109, 3*x - 5*g = 324. Suppose 4*f + 86 = 3*r, -2*r + 18 = -4*f - 34. Let h = x - r. Is h a composite number?
True
Let y(b) = -b**2 + 10*b + 3. Let f(l) be the first derivative of l**4/4 - 10*l**3/3 + 5*l**2 - l - 8. Let k be f(9). Is y(k) a composite number?
False
Suppose -4*c - 5*t = c - 20980, -4*t + 12589 = 3*c. Let q = -1604 + c. Is q a composite number?
False
Suppose n = -2*i + 39355, -4*i - 12 = -4. Is n a prime number?
True
Suppose -26*s + 22*s = -2380. Let n = s - 293. Is n a composite number?
True
Suppose c + 4*h + h = -7, c - 1 = -h. Suppose -c*x + 15496 = 5*x. Is x a prime number?
False
Let i be (-344)/3*(-105)/10. Let t =