 r prime?
False
Suppose -9 = -2*p - p. Suppose -3*k = -2*c - 631, 3*k = -p*c + 157 - 1066. Let q = -195 - c. Is q a prime number?
True
Let g(k) = 3*k + 6*k**2 - 4 + 5 + 0*k. Let y be g(3). Suppose y - 13 = x. Is x a prime number?
False
Suppose 2*o = -o + 45. Suppose 3*q + 0*q - o = 0. Suppose -q*z + 244 - 59 = 0. Is z a prime number?
True
Let i = -41 + 43. Let f(k) = -k**2 - 3*k. Let w be f(-3). Suppose -7*r + 16 = -3*r, w = -l + i*r + 47. Is l prime?
False
Suppose -3*w + 12937 = 790. Is w composite?
False
Suppose 2*m + 321 = 13. Let o = 1 + 0. Is (m/(-6))/(o/3) composite?
True
Suppose 4*a + 4 = 4*u, a + 4*u - 7 = u. Let p(j) = 7*j**3 - 1. Let m be p(a). Let b(w) = w + 7. Is b(m) a prime number?
True
Suppose 861 = d - 5*u, 5*d - 4717 = -4*u - 470. Is d prime?
False
Is (-519)/(-6)*(5 - 1) a composite number?
True
Suppose -5*h + 4*n = -741, -5*h + 5*n + 814 = 69. Is h prime?
False
Let n(h) = -2*h - 9. Let j be n(-7). Let u = -4 + j. Is u + -2 + -1 + 87 a composite number?
True
Let q = 164 + -50. Suppose 44 = 5*m + q. Let b = m - -21. Is b a prime number?
True
Let f(z) = -z**2 + 11*z + 9. Suppose 3*g - 2*p - 15 = p, 0 = -g + 4*p - 10. Is f(g) a prime number?
True
Let a be (-2)/(-4) - (-89)/2. Suppose -5*w + 0*w + a = 0. Let j = w + 34. Is j a composite number?
False
Let z(s) = 8*s**2 + 5*s - 34. Is z(-11) a composite number?
True
Let x = 1860 - 919. Is x a composite number?
False
Let q(u) = -u**3 + 15*u**2 - 9*u - 8. Let w = 0 - 4. Let c be 1/w + (-456)/(-32). Is q(c) composite?
True
Let t(b) = 2*b**2 + 8*b - 11. Is t(-6) prime?
True
Let c be (6/(-12))/(2/24). Let t(x) = -2*x**3 - 5*x**2 - 2*x - 5. Is t(c) prime?
False
Let t(a) = -a**3 + 4*a**2 - 2*a - 2. Let l be t(2). Let u(b) = b**3 - 4*b**2 - 7*b + 11. Let r be u(5). Is r - l - (-22 + 0) prime?
False
Suppose -4*n + 6 = -n. Is (n/(-5))/((-2)/290) a prime number?
False
Let u = -500 + 883. Suppose -2*b - 3*b = 3*n - u, 0 = 4*b + 8. Is n a prime number?
True
Suppose f - 667 = -2*z, -4*z + 3*f + 1591 = 282. Is z composite?
False
Suppose 3*j = -j + 8. Suppose 4*b + b + 2*z = 36, j*b + 2*z - 18 = 0. Is ((-2)/b)/(3/(-873)) a prime number?
True
Let y = 15 + -39. Let m be 3/(-1) - y/3. Suppose -v = 4*a - 55, a - 60 = -m*v + 120. Is v a prime number?
False
Let z(g) = 12*g**2 - 4*g + 1. Let x be (-37)/13 - (-2)/(-13). Is z(x) prime?
False
Suppose 4*k - 2779 = -3*h + 1378, -5*k + 5240 = -5*h. Is k composite?
True
Suppose -174 - 92 = -2*a. Is a a prime number?
False
Suppose -3*v + 7*v - 20 = 0. Let m(q) = 13*q**3 + q**2 - 2*q + 1. Let p be m(1). Suppose v*u = 2 + p. Is u prime?
True
Suppose 0 = -t - 4*z + 931 + 290, t - 1221 = 4*z. Let x = t + -1737. Let s = 727 + x. Is s a composite number?
False
Let q(v) be the third derivative of -v**5/60 - v**4/3 + 5*v**3/3 - v**2. Let m be q(-9). Is (2 - 1)*13/m a prime number?
True
Let j(b) = 52*b + 3. Is j(4) a prime number?
True
Let k be (-1)/1 + (2 - 1). Suppose 0 = -k*r - 3*r + 3. Is 54 - (-2 - r)/3 prime?
False
Suppose 6*j = -6*j + 17772. Is j a prime number?
True
Let t = 1400 + -835. Suppose -2*i + 0 + 10 = 0. Suppose i*c + 5*m - t = 0, 0 = -2*c + 2*m + 104 + 130. Is c a prime number?
False
Let l(p) = 173*p - 1. Let z be l(2). Suppose -2*k - 69 = -x + 44, -x = 3*k - 123. Suppose 2*r + t = x, -4*r + z = t + 110. Is r a composite number?
False
Suppose 3 = -0*t + 3*t. Let m = 10 + t. Is m a prime number?
True
Let z = 31 + -51. Let r be (-12)/5 - 8/z. Let p(v) = 31*v**2 + 3*v + 3. Is p(r) prime?
False
Suppose 5*v - 13140 + 2875 = 0. Is v composite?
False
Suppose 0 = -3*m + 4*m. Suppose m = -b + 1, -2*h + 4*b = -b - 465. Is h prime?
False
Is 2*(-82)/8*-14 prime?
False
Let c(m) = m**2 + 9*m + 2. Let v be (0 - 5) + (-21)/7. Let l be c(v). Is ((-114)/(-9))/(l/(-9)) a composite number?
False
Let s(t) = -18*t**3 + 2*t**2 + 3*t + 3. Is s(-2) a prime number?
True
Suppose -2*y + 0*m + 14 = -2*m, 5*y = -3*m + 3. Let i be y*(-1 - -3 - 1). Suppose 4*j - 2*d = 326, -j = d - i*d - 77. Is j composite?
False
Suppose -4*w - 27 = -2*a - w, -a - 2*w + 17 = 0. Suppose 2*t - t = 0. Let s = a + t. Is s prime?
False
Suppose 133 + 580 = 3*a + 4*t, -2*t = -3*a + 719. Is a a prime number?
True
Let m be (-474)/(-9) - (-2)/6. Let v(q) = 4*q - 13. Let j be v(11). Suppose -m - j = -4*s. Is s a composite number?
True
Suppose 2979 = -11*q + 14*q. Is q prime?
False
Suppose 5*l + 260 = 2480. Suppose -3*y - y = -l. Is y a prime number?
False
Is 17 - (-2 + -1)*-1 a prime number?
False
Let g = -84 - -119. Suppose 0 = 5*j - g + 10. Suppose -5*t - 319 = -3*d, -d - 60 = j*t - 193. Is d composite?
False
Suppose 2*n + 4*u - 24 = 0, -5*u = -n - 4*n + 15. Let a be ((-4)/6)/((-1)/n). Suppose -a*l + q + 209 = 73, 5*l = -4*q + 191. Is l prime?
False
Let w(h) = -6*h**3 - 4*h**2 - 2*h + 1. Let j(z) = -z**2. Let p(m) = -3*j(m) + w(m). Is p(-2) a composite number?
True
Suppose -3*o = 2*s - 2*o + 9, 0 = 4*s - o + 3. Let w = s + -1. Let z(k) = k**2 - 4*k + 1. Is z(w) a prime number?
False
Let k(i) be the second derivative of 11*i**7/2520 + i**4/12 - 2*i. Let u(z) be the third derivative of k(z). Is u(-1) a prime number?
True
Let t be 0 + (-3 + 2)*-7. Suppose m + t = 2. Let j = 16 + m. Is j prime?
True
Is 1 + 344 + (-6 - -2) composite?
True
Is 14/5 + -3 - (-862)/10 prime?
False
Suppose g + 5*l + 5 = 3*g, -5*l = 4*g + 5. Let c(j) = j**2 - j + 53. Is c(g) a composite number?
False
Let k be 3/9 + 70/6. Is 790/(-3)*(-18)/k prime?
False
Let o = -99 + 176. Is o a composite number?
True
Is -4 - (15/(-5) + -1658) prime?
True
Suppose -n + 3 + 7 = 0. Let h(t) = -13*t - 9. Let c be h(n). Let s = c + 196. Is s prime?
False
Let z = -373 + 207. Is (-1*1)/(2/z) a prime number?
True
Let q be (1/(-2))/((-3)/(-150)). Let c be q/6*4*-3. Suppose -7 = -3*x + c. Is x composite?
False
Let v(r) = r**3 - 5*r**2 + 4*r + 5. Let t be v(4). Suppose -16 = -4*s - 2*p + 84, 0 = s - t*p - 3. Suppose -5*d = 4*u - 31, 0*d - 4*d - 5*u + s = 0. Is d prime?
True
Let z = 1581 + -909. Suppose 2*o - 452 = 2*h, -3*h + z = 3*o - 0*h. Let j = -68 + o. Is j prime?
True
Let n be -1 - 0 - (4 - 38). Suppose -g + 26 = -n. Is g prime?
True
Suppose -12 = j - 4*j. Is (-4689)/(-21) - j/14 a composite number?
False
Let p(t) be the first derivative of -9*t**2/2 + 4*t + 1. Suppose a - 2*s - 7 = 3*s, 2*s = 5*a + 11. Is p(a) a prime number?
True
Suppose 20 = -m + 5*c, c - 6 = -3*m - 2. Suppose 2*t + 2*t = m. Suppose t = -3*f + 54 + 111. Is f a composite number?
True
Let a(m) = 8*m - 2. Let j be a(-2). Is (-15249)/(-27) + (-4)/j composite?
True
Let y(s) = 4*s**3 + 5*s**2 + s - 7. Is y(5) prime?
False
Suppose 0 = 2*y - 59 + 447. Suppose -32*r = -37*r + 1385. Let a = r + y. Is a a composite number?
False
Let a(u) = 2*u + 5. Let g be a(5). Let z = g - 11. Suppose z*q + 244 - 600 = 0. Is q prime?
True
Let t(m) = m + 3. Let j be t(7). Suppose -4 + j = 2*r, 4*f - r = 473. Is f a composite number?
True
Let w be 2*-2 - 0/(-2). Let c be ((-2)/w)/(7/2968). Suppose 0*k + 4*k - c = 0. Is k a prime number?
True
Let l(v) = -14*v**3 + 8*v**2 + 3*v + 23. Let r(o) = 5*o**3 - 3*o**2 - o - 8. Let t(b) = 4*l(b) + 11*r(b). Is t(-3) a composite number?
False
Let r be (16/(-6))/((-12)/18). Suppose -k = -5 + r. Let g(l) = 58*l**3 + 1. Is g(k) prime?
True
Let t(x) be the second derivative of -x**5/20 - 2*x**4/3 - x**3 + 3*x**2 + x. Let k be t(-7). Is k/(-2*(-3)/(-210)) prime?
False
Suppose -5 = n - 2*n. Suppose -1599 = m - 2*f, 3*m = -n*f - 3161 - 1614. Is (-2)/6 + m/(-15) prime?
False
Let q be (-152)/(-10) - 1/5. Let b = -7 + q. Let j = 39 - b. Is j a prime number?
True
Suppose 357 - 1602 = 4*u - 3*n, 5*n = 3*u + 920. Suppose -2*g + 5*h + 951 = 0, -4*g + h = -h - 1910. Let z = u + g. Is z prime?
True
Suppose 0 = -5*o - 2*k + 182, -3*k + 2*k = o - 34. Is o prime?
False
Suppose -20 = -5*n, -2*p + 6*p = n + 144. Is p a prime number?
True
Suppose 0 = 4*g + j - 1036 - 1403, 4*j + 2464 = 4*g. Is g prime?
False
Let j be -3*1 - (4 - 267). Suppose 5*y + j - 1195 = 0. Is y a prime number?
False
Let f(r) = -55*r - 4. Is f(-3) prime?
False
Let z = -1256 - -2265. Is z a composite number?
False
Let z be 2/(-1) + (-1470)/(-10). Let y = z + -16. Is y prime?
False
Let l = -2 + 6. Let k = 2 - l. Is 95 + (k/(-1) - 3) prime?
False
Suppose 0 = -7*r + 3*r + 12. Suppose -2*h - 106 = u, -r*u = -0*h + 4*h + 214. Let p 