. Let c be ((-370)/(-15))/(2/(-12)). Let x = d - c. Is x prime?
True
Let c be 9 + 1 - (8 + -4). Is ((-24)/(-8))/(c/1502) a prime number?
True
Suppose -5507 - 3229 = -7*o. Let x = o - -931. Is x composite?
False
Suppose -4*h - 4*c - 1249 = -7*h, c = 2*h - 836. Is h composite?
False
Let o = 32 + -28. Suppose 0 = 2*y - o, -4*m - 2*y + 584 = 0. Is m a prime number?
False
Let p(m) = 233*m**3 + 3*m**2 - 12*m + 49. Is p(6) prime?
False
Let h(n) = n + 5. Let b be h(0). Suppose -b*r = 4*k - r - 448, -5*k = 3*r - 570. Let c = -8 + k. Is c prime?
True
Suppose -290 = 14*d - 19*d. Suppose 3*p - d = 920. Is p a composite number?
True
Let f = 263 - -814. Is f prime?
False
Suppose 8*h + 10722 = -2270. Let o = 3671 + h. Is o a prime number?
False
Suppose 9*w = -0*w + 2259. Is w prime?
True
Is 4686 - (18/(-3) + 1) prime?
True
Let s be (-2)/(-7) - 180/42. Let o be 3 - (-351 - -1) - s. Let x = o + -251. Is x prime?
False
Suppose -4*p = -6 - 30. Let s(h) = 217*h - 44. Is s(p) a composite number?
True
Let r(i) = 380*i + 1. Let f be r(-2). Suppose -3*z = -3443 + 47. Let m = f + z. Is m prime?
True
Let c = -38 - -53. Is (-45)/c + (343 - -1) composite?
True
Is 9*1107 - 44/(-11) a prime number?
True
Let p(g) = 2*g**2 + 3*g. Let d be p(-2). Let j(t) = 4*t**2 + 21*t - 5 - 2*t**d - 7*t. Is j(-10) composite?
True
Is (19461 - 5) + -16 + 17 a composite number?
False
Let l be ((-24)/(-54))/((-4)/(-18)). Suppose -z + 1 = -l*q, -2*z + 5*q + 4 = 3. Is z prime?
True
Let m(t) = 3*t**2 - 2*t - 2 + 2*t + 0*t**2 + t**3. Let g be m(-3). Is 4 - (-112 + -1) - g prime?
False
Let z be 158/(-10) + (-2)/10. Let o be (-732)/z + 3/12. Suppose 6*l - o - 38 = 0. Is l prime?
False
Let o = -629 + -611. Let j = -861 - o. Is j a prime number?
True
Let a(z) = -8*z**3 - 7*z**2 - 8*z - 9. Let w be a(-12). Is ((w/44)/(6/16))/2 composite?
True
Suppose -3*n - 116 - 26 = -r, -4*n - 193 = -5*r. Let v = 664 - n. Suppose 4*t - v = t. Is t prime?
False
Suppose 0 = -4*h + 2 - 14, -5*h + 21542 = r. Is r prime?
True
Suppose 6*z - 3076 - 4064 = 0. Let v = 2307 - z. Is v composite?
False
Let q be (-3177)/(-12) - (-1)/4. Suppose 2*l + l - 660 = 0. Suppose b - q = l. Is b a composite number?
True
Let i = -58 + 58. Is 2/((-8)/(-106))*(i + 2) a composite number?
False
Let m(v) = v**2 - 5*v - 79. Is m(-60) a composite number?
False
Suppose -3*m = -7 - 2. Suppose -m*p + 0*w = 2*w - 1084, 12 = -3*w. Let r = p - 165. Is r prime?
True
Let h = -3039 - -5854. Is h composite?
True
Let q(n) = -1293*n - 547. Is q(-14) prime?
False
Is ((-6)/8)/(87/(-857588)) a prime number?
True
Let z be 29240 + (1 + 0)*4. Is (-2)/(8/z*-3) a composite number?
False
Suppose 2*j = -0*j. Suppose 4 = -2*k - 4, 2*d + k + 24 = j. Is (-50)/(-6)*(-12)/d composite?
True
Suppose 679 + 1331 = 6*h. Is h a composite number?
True
Let x be 1/((-2)/(-16)) - (5 + -2). Let s(j) = j + 4. Let p be s(-4). Suppose -x*o - 923 = -2*r - 224, p = 4*r - 2*o - 1358. Is r composite?
False
Suppose 35*z - 23810 = 30*z. Is z a prime number?
False
Suppose -25331 = -22*h - 7797. Is h prime?
True
Suppose 0 = 3*g + 4*s - 12, -g - 2*s = 4 - 10. Suppose g = -0*i - 4*i. Suppose u + 3*h - 118 = i, -3*u - 5*h = 2*u - 560. Is u prime?
True
Let p(n) = -357*n**2 + 9*n - 3. Let i(b) = -178*b**2 + 5*b - 2. Let c(u) = 11*i(u) - 6*p(u). Is c(2) prime?
False
Let f = -4223 + 8550. Is f prime?
True
Suppose -126 = -4*c + 106. Let k = 95 - c. Is k a prime number?
True
Let v(w) = 88*w**2 + 2*w + 11. Is v(-12) prime?
True
Suppose 25*u + 4581 = 28*u + 3*r, 2*r = 3*u - 4601. Is u a prime number?
True
Suppose 4683 = q + 2*c, -4*q - 4*c - 23345 = -9*q. Is q composite?
False
Let y = 128 + 133. Is (44/6)/(6/y) a prime number?
False
Suppose 3*v + 4862 = 20318. Let l = -3159 + v. Is l a composite number?
False
Suppose -5*g + 3363 = o, -2*o = -3*g - 3031 - 3721. Suppose 0 = 6*w - o - 2159. Is w a prime number?
False
Suppose 95868 + 76262 = 10*f. Is f composite?
True
Let k = 188 + 491. Suppose 1093 = 4*z - k. Is z prime?
True
Let r(x) = 2*x - 16. Let m be r(16). Let t = m + -16. Suppose -5*i + 279 - 49 = t. Is i prime?
False
Let i = -157 + 143. Is 35769/21 - (-4)/i composite?
True
Let v = 8535 - -3962. Is v prime?
True
Let r(q) = 4*q + 39. Let b = 48 - 27. Is r(b) a prime number?
False
Let o be 4 - (-3 - -2) - 4*-1. Suppose -y = 190 + 77. Is 3/(-1)*y/o a prime number?
True
Let n = 1507 + -1044. Is n a prime number?
True
Is 59230/4*((-312)/60 - -8) a prime number?
False
Let u be (0/(-2))/(1 + -3). Is 194 - 6/6 - (-1 - u) a composite number?
True
Let k(n) = n**2 + 2*n - 12. Let c(i) = -i**3 + 5*i**2 - 5*i - 1. Let r be c(4). Let g = -6 + r. Is k(g) a prime number?
False
Let m(k) = -k**3 + 8*k**2 + 10*k - 4. Let v be m(9). Suppose 0 = 2*q + q + 3*z - 2007, v*q - 4*z = 3381. Suppose f + q = 2*f. Is f composite?
False
Let v(l) = -l**2 + 513. Let d be v(0). Suppose 0 = 5*y - 2*t - 2457, -y = 4*t + t - d. Is y composite?
True
Is 2 + (2 - -46192 - (27 + -24)) a prime number?
False
Let r(k) = k**2 - 41*k + 1039. Is r(0) a prime number?
True
Is (11474/3)/(5/30*4) a prime number?
True
Let n be (26 - -120) + -5 + 0. Let a = 352 - n. Is a prime?
True
Is 2 + (-1 - -1) - -2409 prime?
True
Let j(r) = 2*r**3 + 0*r**2 + 12*r - 15*r - 3*r**3 - 7 - 3*r**2. Let h = 2 - 10. Is j(h) a composite number?
False
Let f = -11149 - -28668. Is f a prime number?
True
Let x be (-1)/(-4) - (-1502)/8. Suppose 416 = -4*q - 3*c, -3*q - 245 = -4*c + 42. Let y = q + x. Is y a prime number?
False
Let m be (-1 - -2)*(8 - 4 - 4). Let j be 4/3*534/(-4). Is m/4 - j/2 prime?
True
Let d(c) = 7*c**3 + 3*c**2 - 2*c + 3. Let j be d(2). Is 1 + j + (7 - 4) composite?
False
Let o(v) = -v**2 + 7*v + 2. Let w be o(7). Let n be (0/1)/((-6)/3). Suppose -g - 2*d + 5 + w = n, 12 = -3*d. Is g a prime number?
False
Let p(n) = -1 + n**3 - 2 + 113*n**2 + n - 15*n - 104*n**2. Let i be (-48)/5 + (-4)/10. Is p(i) a composite number?
False
Suppose -38*w + 34*w - 4312 = 0. Let a(q) = 891*q + 3. Let o be a(-2). Let x = w - o. Is x prime?
True
Suppose 686 = 2*c + 8*r - 12*r, 5*c - r = 1706. Is c prime?
False
Let a(j) = -j**2 - 19*j - 40. Let q be a(-16). Suppose 3*w = -w + 20. Is w - (-2)/(q/4) composite?
True
Let z(y) = 1638*y**2 - 57*y + 6. Let v(i) = 234*i**2 - 8*i + 1. Let o(s) = 15*v(s) - 2*z(s). Is o(-3) prime?
False
Suppose 8*g - 7 - 9 = 0. Let k(h) = 10*h**2 + h - 4 + 3 + 12*h**2. Is k(g) composite?
False
Suppose 0 = -m + 4, 56 = 4*i + 2*m. Let g(k) = k**3 - 3*k**2 - 18*k - 13. Is g(i) a composite number?
True
Let c be 4 + (711 - 6/2 - -3). Suppose -23*n = -28*n + c. Is n a prime number?
False
Let y = -41 - -38. Let x(b) = -79*b**3 + 2*b**2 - 2*b + 2. Is x(y) composite?
True
Let c be 2/((-6)/9 - 0). Let b(g) = 2*g**2 - 11*g - 14. Let p(h) = -h**2 + h + 2. Let n(m) = -b(m) - 6*p(m). Is n(c) a composite number?
False
Let q(j) = -j**2 + 16*j - 17. Let m be q(15). Let c be ((-60)/(-36))/(m/6). Let l(t) = -13*t + 9. Is l(c) a composite number?
True
Let d be ((-28)/(-21))/((-2)/(-273)) + 5. Let l = 12 + -8. Suppose d = -l*b + 5*b. Is b composite?
True
Let a(z) = 22*z**2 - z + 9. Let q be a(-4). Suppose 0 = -4*g + q + 271. Is g prime?
False
Let b = 58617 - 34660. Is b prime?
True
Let i(t) = -5*t + 20 - t**2 + t**3 - 15 - 3*t**2. Let c be i(5). Suppose l + c*k = 391, k = -5*l - 2*k + 1955. Is l prime?
False
Let v = -5145 - -20236. Is v a composite number?
False
Suppose -10*b + 9*b + 449 = 0. Is b a prime number?
True
Suppose 4*o + 229392 = 4*r, 53*r + 57352 = 54*r - 5*o. Is r a composite number?
False
Let i = 159 + -49. Let u be -4 - (-62 + 7)*-1. Let h = u + i. Is h a prime number?
False
Let m be (-120)/28 - 4/(-14). Let o be ((-8)/6)/m*12. Suppose -o*k = -2*v - 321 - 11, 5*v = 20. Is k a prime number?
False
Suppose 7*r - 1368 = r. Let i = r - 83. Is i prime?
False
Let d(l) = -194*l**3 - l**2 + 3*l + 3. Let u(k) = -k**2 + 2*k - 2. Let t be u(2). Let y be d(t). Is y/7 + (-4)/(-14) a prime number?
False
Let m = -4058 + 6787. Is m composite?
False
Let m be 11/33 + 4/(-3). Let t be -3*268*m/(-6). Let p = t + 295. Is p a composite number?
True
Let m(v) = -334*v**2 + 2*v + 2. Let h be m(-1). Let g = 296 - -303. Let s = h + g. Is s a prime number?
False
Suppose -g = 4*a + 57, -108 = 5*g - a + 93. Let i = g + 29. Is (164/i)/((-2)/12) a prime number?
False
Let c = 35 - 29. Suppos