0. Is c composite?
True
Suppose 13*m - 30 = 9. Suppose 0 = -m*s + 6*s - 2994. Is s a composite number?
True
Suppose -o + 6 = 3*b, 0*o - b = 3*o - 2. Suppose o = -4*z + k + 13006, -6*z + 2*z + 13010 = -3*k. Is z prime?
True
Let f = -126 - -48. Is ((-26)/f)/(1/1653) a prime number?
False
Is (14/(-4))/(23670/23676 + -1) prime?
False
Let y = 168 - 168. Suppose y = -t + 460 + 77. Is t a prime number?
False
Let i = 6 - 5. Is (i*-11 + 0)/(20/(-1340)) prime?
False
Let b(r) = 49*r**3 - r**2 + 44*r - 7. Is b(7) composite?
True
Let g be 4/(-7 - -3) - -6. Suppose 4 = -5*n + n - 3*r, g*n + 6 = -4*r. Suppose -1057 = -n*x - 3*s, -7*x + 3*x - s + 2109 = 0. Is x composite?
True
Let j(b) = 33*b**2 - 21*b + 18. Let y(g) = 7*g - 8*g - 9*g + 4*g**2 + 9 + 12*g**2. Let f(z) = -6*j(z) + 13*y(z). Is f(5) a composite number?
False
Is 348/(-18)*9/(-2) composite?
True
Let q be 2*(46/4 - 2). Suppose 5*m + 4*t = q, 4 = -2*m + 5*t + 5. Suppose m*r + 2*s - 33 = 2*r, 4*s - 128 = -4*r. Is r a prime number?
True
Let x be (-1 + -1)*(-55)/22. Suppose m = 32 + x. Is m composite?
False
Let b = 31 - 13. Suppose -11*t + b*t = 8813. Is t a composite number?
False
Let q = 0 + -4. Let j = q - -7. Suppose -5 = -2*r - 2*f + 1, -5*r - j*f = -23. Is r composite?
False
Suppose 1523 = 4*m - 16073. Is m a composite number?
True
Suppose 2*v = -2*k + 1488, 2*k - 2*v = 308 + 1164. Suppose -l - 2*l = -24. Suppose -4*s + l = 0, -4*s + k = 4*f - 8*s. Is f prime?
False
Let h = -7 + 9. Suppose -a - 2*r + 85 + 386 = 0, 2*r = -h. Is a composite?
True
Suppose -10*y = -4*b - 6*y + 279360, 0 = 5*b + 4*y - 349209. Is b prime?
False
Suppose -3*m + 0*m + 10605 = 0. Suppose -5*x = -3*z - 3683, 5*x - 180 = -5*z + m. Is x a prime number?
True
Suppose 35*i = 17*i + 20178. Is i prime?
False
Let q be -42*((-45)/(-6))/5. Let m = q - -44. Let u = 4 - m. Is u a prime number?
True
Let u(j) = j**3 - 11*j**2 - 10*j - 8. Let n be u(12). Suppose 2*f + 2*l = 7*l + 50, f + 2*l - n = 0. Is f/(-8)*1324/(-10) composite?
False
Suppose -5*y + 3*y + 2*v + 14070 = 0, 5*y - 35203 = -2*v. Is y composite?
False
Suppose -13*t + 5090 = -12*t. Let j = -1927 + t. Is j a composite number?
False
Let n(d) = 9*d**3 - 3*d**2 + d. Let z be n(1). Is (-207 - (-3 + z))*-1 a composite number?
False
Is 1/((-6)/(-4))*556524/72 prime?
True
Suppose 3*n - 25 = -19. Suppose 8*v - 18642 = n*v. Is v composite?
True
Suppose 0 = -8*y + 11*y + 9, 3*d - y - 2496 = 0. Is d a prime number?
False
Let i(v) = 64*v**3 + 2*v**2 - 1. Let k be i(-1). Let a = 11 - k. Is a a prime number?
False
Suppose z - 1 + 63 = 0. Let r = 147 + z. Is r composite?
True
Let m = 58010 + -30333. Is m a prime number?
False
Suppose -181 = 12*m + 143. Is 5408/10 - m/135 composite?
False
Let q = -10 - -4. Let c(t) be the third derivative of -17*t**4/24 + 25*t**3/6 + 6*t**2. Is c(q) prime?
True
Suppose 5*d = -53 + 318. Let s = d - -5. Suppose -3*w = -53 - s. Is w a prime number?
True
Let l be ((-2)/(-4))/((-7)/(-98)). Suppose l = 4*f - 5. Is f/(-12) - (-77)/4 a prime number?
True
Let b be (-5 - -2 - -3)/(-2). Let p be ((-2)/3 + b)*6. Is 10/(-20) - 78/p a prime number?
True
Suppose -5*h - j + 35751 = -0*j, 2*h - 14290 = -3*j. Is h composite?
False
Is 59419/7 - 12*(-5)/105 a prime number?
False
Suppose i + 21149 = 6*i + 4*u, 3*i - 5*u - 12682 = 0. Is i composite?
False
Suppose -47192 = -7*g + 23039. Is g a prime number?
False
Suppose 2*n = -4, 5*u - n - 2*n = -4. Let j = u + 36. Suppose j*r - 31*r = 1191. Is r a prime number?
True
Is (7 - -1933) + 6*(-3)/6 a prime number?
False
Suppose -21*l + 5045 = -16*l. Is l composite?
False
Let y = -10 + -18. Suppose 2*k = -5*j + 327, -5*j + 347 = -4*k + k. Let b = j + y. Is b prime?
False
Let f be (6*-1)/((-18)/(-927)). Let c = f + 36. Is (c/(-12) - -1)*4 a prime number?
False
Let b = 152 + 39. Is b a prime number?
True
Let s(t) = t**2 + 9*t - 9. Let u be s(-9). Let m = -7 - u. Suppose -2*l + l + 638 = m*r, -l = 0. Is r a prime number?
False
Suppose 3*k = 15753 + 4662. Is k a prime number?
False
Let d be 20/8 + (-1)/2. Suppose 5*s + d*z - 655 = -56, -127 = -s - 4*z. Is s a prime number?
False
Let w be ((-14)/(-4) - 1)*2. Suppose -9727 = -w*d - 2012. Is d a prime number?
True
Suppose 5*u = 15*u - 11670. Is u composite?
True
Let f(r) = 1. Let q(j) = 4*j**2 - 3*j - 5. Suppose -2*i + g = -1, -g = 5*i - 0*i - 6. Let l(n) = i*q(n) + 4*f(n). Is l(3) prime?
False
Let p = 3420 + 5819. Is p composite?
False
Let q(b) be the third derivative of -25*b**6/36 + b**5/120 - 3*b**4/8 - b**2. Let a(u) be the second derivative of q(u). Is a(-1) composite?
True
Is 94128/64 + -1 + 15/12 prime?
True
Let f be (1 - 1) + (-22 - -26). Suppose p + 2*c - 5371 = 0, -7*c + f*c + 26890 = 5*p. Is p prime?
True
Let y = 1291 - -170. Is y composite?
True
Let q be ((-3)/1)/((-69)/351992). Suppose q = 3*y + 2761. Is y a prime number?
False
Suppose -14*u + 63576 = 21982. Is u prime?
True
Let q(l) = -l**3 - l**2 + 3*l + 5. Let d be q(-2). Suppose d*z - 399 - 318 = 0. Is z a composite number?
False
Suppose -8146225 = -0*l - 25*l. Is l composite?
False
Let a(t) = t**3 + 5*t**2 + t - 4. Let c be a(-4). Suppose c*s = s + 889. Is s composite?
False
Let v(l) be the first derivative of l**4 - 7*l**3/3 - l**2 + 2*l + 5. Is v(5) a composite number?
False
Suppose -2153 = -2*m + 11085. Is m prime?
True
Let s(k) = -5*k - 22. Let l be s(-5). Suppose l*p = w + 7*p - 1617, -3*p = -4*w + 6563. Is w composite?
False
Suppose 2*i = -2*i - 2*y - 82, -2*i + 3*y - 21 = 0. Let n = -16 - i. Suppose -5*l = -n*q + 334, 0*l - 789 = -5*q + l. Is q a prime number?
True
Suppose 0*g + 3 = 3*g, -n = -4*g + 27. Let p = -20 - n. Suppose 4*i + j = i + 154, -i + 38 = p*j. Is i prime?
True
Let l = 22 + 1260. Is l prime?
False
Let g(d) = -d**2 + 9*d + 4. Let h be g(9). Suppose -h*u - 10 = -58. Suppose 10*t = u*t - 2422. Is t a composite number?
True
Suppose -t + 6*t - 4*z - 21497 = 0, -3*t + 12879 = 4*z. Is t a prime number?
True
Let f = -77951 - -118338. Is f a composite number?
False
Let w(y) = 441*y - 7. Let m be w(10). Suppose 4*a - m = -1047. Is a prime?
True
Let z(r) = 17*r**3 + r - 75*r**3 - 1 - r**2 + 2. Let d be ((-1)/2)/((-2)/(-4)). Is z(d) a composite number?
True
Let y = -5 + 2. Let r be 4 + (-1 - y)/(-2). Suppose -2*u = 2*u - r*l - 472, 16 = -4*l. Is u a prime number?
False
Let m(o) = 390*o - 527. Is m(74) composite?
True
Suppose 0 = -7*p + 3*p - 16, 0 = -4*v - 2*p + 292. Suppose -a - v - 139 = 0. Let o = a + 545. Is o composite?
False
Is 2/((9 + -12)/(-15117)) composite?
True
Let y(t) = -t**3 - 7*t**2 - 3*t + 7. Suppose 96 = -4*s - 4*s. Is y(s) composite?
True
Let q(w) = w**2 - 3*w + 25. Suppose -2*l + l = 2. Let f be l/5*(-26 + -4). Is q(f) a prime number?
False
Let f be 784/(-40) + (-2)/5. Let c = -8 - f. Is 4*((-3)/c - -3) a prime number?
True
Is 2 + (6020 - (6 + -6)) composite?
True
Suppose 70*t - 74*t = -8. Suppose 0*p - 2714 = -2*p - 4*c, t*c - 8 = 0. Is p prime?
False
Let y(p) = -3*p + 24. Let j be y(14). Let v(b) = -b**3 - 14*b**2 - 16*b + 12. Let g be v(-13). Let l = j + g. Is l a composite number?
True
Let c(r) = -34*r - 7. Let b(n) = -33*n - 7. Let s(g) = 2*b(g) - 3*c(g). Is s(6) prime?
True
Suppose -33 - 51 = 3*y. Let l be 1 + ((-29)/(-3) - 4/6). Is (12/l)/(y/(-2870)) composite?
True
Is 1/2*(-51112)/(-4) a composite number?
False
Let j(g) = -g**3 + 2*g + 1177. Is j(0) a prime number?
False
Let t(i) = i**3 + 7*i**2 - i + 6. Let d be t(-7). Let r = d + -11. Is -2*(-157)/4*r a prime number?
True
Is (22743/39 - 2) + (-2)/13 a composite number?
True
Let g(o) = -o**3 + 2*o**2 + o. Let b(f) = 7*f**3 + f**2 + 3*f - 3. Let c(y) = b(y) + 6*g(y). Suppose j = 2*n + 27, 3*n - 18 = 5*n + 2*j. Is c(n) prime?
False
Suppose 0 = -2*h - 8, 0*p = -4*p - 5*h + 92. Is ((-183)/(-2))/(21/p) a prime number?
False
Suppose -2*n - a = -643, -2*n + 0*a = -5*a - 637. Is n composite?
True
Suppose 7*w - 20*w + 29081 = 0. Is w composite?
False
Let p(x) be the first derivative of x**2/2 + 11*x - 8. Let b be p(-7). Suppose -b*q - 5*z = -333, q - 159 = -q - 5*z. Is q a composite number?
True
Suppose -3*f + 8829 = -3*m, -4*f + 12552 - 808 = 3*m. Is f a composite number?
False
Let d be (-60)/(-9)*(-12)/(-8). Let m(b) = b**3 - 10*b**2 + 8*b + 4. Let q be m(d). Let w = 149 - q. Is w a prime number?
False
Suppose 0 = 21*f - 291431 - 367066. 