2)/8*0*-1. Is v(p) a prime number?
True
Let a(g) = g**2 - 3*g - 7. Let f be -2*(-1)/2 - 1. Suppose f*r + 4*r = -24. Is a(r) prime?
True
Suppose -2*m = -1512 + 94. Is m composite?
False
Suppose -5*c - 2*d + 3763 = 0, 2*c = 3*c - 3*d - 756. Is c a prime number?
False
Let p = 5 - 7. Let u(z) = -z**2 - 10*z - 2. Let m be u(-9). Is p/m - (-1375)/35 a composite number?
True
Let l be (63/(-4))/3*-36. Let g = l + -100. Is g prime?
True
Suppose 3*o + 113 + 148 = 0. Let b = -50 - o. Is b a composite number?
False
Let y be -1*(-1)/(-2)*-10. Let i = y + -8. Is -2 + (i/(-3) - -48) a prime number?
True
Suppose 2*o + 3*c = 4, 5*o - 4 = 3*c + 6. Suppose 0 = -6*u + o*u + 140. Is u composite?
True
Let j = -3 + 6. Suppose j*c = -c + 832. Suppose 2*l = -3*a + 153, -5*a - 4*l + c = -a. Is a composite?
True
Let n be (2/1)/(-1) + 47. Let j = n - -32. Is j prime?
False
Let w(s) = -s**3 - 4*s**2 - 6*s + 3. Is w(-6) composite?
True
Suppose 492 = 5*s - 383. Suppose -l + 371 = -4*z + 987, 0 = -z - 5*l + s. Is z prime?
False
Suppose -2*r = -3*r + 278. Let x = 423 - r. Is x a composite number?
True
Suppose -69 = -2*f - 5*w, 0*w = -f - 2*w + 37. Is f a composite number?
False
Let g(k) = -k**2 - k + 8. Let y be g(0). Suppose -5 = -5*l - 3*t + 176, -4*t = -y. Is l a composite number?
True
Suppose -3*l - 149 = 2*k, -4*l - 212 = -0*k - 4*k. Is l/2*(-8)/6 prime?
False
Suppose 509 = -c - 3*j + 1570, c + 5*j - 1061 = 0. Is c composite?
False
Suppose 2*a + 1 = 9. Suppose -339 = -a*f + f. Is f a prime number?
True
Let j be 2 - (-1 + 0 - 0). Suppose j*r - r - 74 = 0. Is r composite?
False
Let m(c) = -30*c - 1. Let k be (-32)/(-3) - 8/12. Let x = 6 - k. Is m(x) composite?
True
Let k(z) = -70*z - 3. Is k(-4) a prime number?
True
Let f(i) = i**2 + 8*i + 5. Let n be f(-6). Let j = -22 - n. Is (-741)/j - 4/10 prime?
False
Let k = -105 - -317. Suppose 0 = u - z - k, z - 120 - 90 = -u. Is u composite?
False
Let i(b) = -b + 6. Let k be i(0). Suppose 0 = -k*r + r + 2125. Suppose n = -4*n + r. Is n a prime number?
False
Let i = 33 + -29. Suppose 2*b = 5*v + 63 + 105, -2*b - v = -156. Suppose -i*n - n = 3*r - 202, -r + b = 4*n. Is r prime?
True
Let x(i) = -721*i - 2. Is x(-1) prime?
True
Let n(t) = -t**2 + 8*t - 6. Let w be n(8). Let d = -5 - w. Let l(g) = 53*g**2. Is l(d) composite?
False
Let p = -8 + 6. Let c be (p + 30 - 0)*1. Suppose -i + 3 = -c. Is i a prime number?
True
Let a = 587 - 82. Is a composite?
True
Let z(r) = 2333*r**2 - 2*r + 2. Is z(1) a prime number?
True
Let h be 2/8 + 21/12. Suppose -12 = -h*g + 56. Is g a prime number?
False
Let j be (-1 - 2)*(-4)/6. Suppose -4*h = -60 - 0. Is j - -2*(1 + h) prime?
False
Is (637 - -1) + (-7 - (-1 - 3)) a composite number?
True
Let k = 831 - 500. Is k a composite number?
False
Let w be 2/11 - 2367/11. Let k = -136 - w. Is k prime?
True
Let b be 4 - 4/2 - 156. Is (b/33)/((-4)/66) composite?
True
Suppose 5*t - x - 22 = 0, 7*t - 3*x - 26 = 2*t. Suppose 2*u - 2*c - 1576 = 0, -t*c + 1570 = 2*u - 0*u. Is u a composite number?
False
Suppose -19 + 4 = 2*k - 5*p, 3*k - 9 = -3*p. Let n be k*((-3)/(-1) - 2). Is 1*(2 + n + 11) a composite number?
False
Let x be 52/(-12) - (-1)/3. Let n(o) = -o**2 - 6*o + 1. Is n(x) composite?
True
Let u = -11 - -10. Is u*1/(3/(-75)) a prime number?
False
Let y = -4 + 13. Suppose o - y = -3*m + 49, -4 = m + 5*o. Is m a composite number?
True
Is (5/(-3) - -5)/(4/582) a composite number?
True
Let l = 16 - 10. Let g(m) = 2*m**3 - 4*m**2 - 9*m + 1. Is g(l) a composite number?
True
Let g(v) = 29*v - 3. Is g(4) prime?
True
Let x(z) = 4*z**2 + z + 2. Let q be 3/1*(-9 - -8). Is x(q) a composite number?
True
Suppose -q = 2*q - 381. Is q composite?
False
Suppose 3*p - 549 - 374 = 2*m, 3*m + 3 = 0. Is p prime?
True
Suppose -4*b + 6*b = 98. Is 2681/b - (-4)/14 a prime number?
False
Let r(b) = 148*b**2 - b + 1. Let a be r(1). Suppose -h = 3*h - a. Is h prime?
True
Let f(p) = 3*p - 4. Suppose -v - v - 4*n = -30, 2*n = 10. Suppose u + 2*o = -2, -v*u + 14 = 3*o + o. Is f(u) composite?
True
Let o(x) = x**2 - 2*x + 12. Let i be o(-9). Let r = -73 + i. Let w = -7 + r. Is w a composite number?
False
Let k = 3 - 6. Is 2 + k - 2*-127 a composite number?
True
Suppose -4*i = 5*d + 452 + 359, 4*i = d - 793. Let w = 448 + i. Is w a prime number?
False
Suppose -3*x + x + 8 = 0. Suppose 313 = x*f - d, 4*f - 5*d - 394 = -93. Is f composite?
False
Suppose -5*y + 597 = 42. Is y prime?
False
Let b(p) = p**3 + 5*p**2 - 6*p - 4. Let f be b(-6). Is (30/(-9))/(f/78) composite?
True
Suppose 2*u + 0*u + 4*g = -8, -5*u + 4*g + 8 = 0. Suppose u = 6*n - 2*n - 372. Is n a prime number?
False
Is ((-78)/65)/(2/(-415)) a prime number?
False
Is (760 + 1)*(-11 + 18) a composite number?
True
Suppose -3*u + 26 = -5*a, 0 = a + 4*a + 20. Suppose -4*x - 3*t = 1, 4 = u*x - t - 3. Suppose -x*o - 2 + 52 = 0. Is o a prime number?
False
Let p = 5 - 5. Suppose -2*t + 16 = 3*a, p = -a + 3*a + 5*t - 18. Suppose 5*s - a - 6 = 0. Is s composite?
False
Let b = -1 - -6. Suppose -2 - 2 = 2*g, -4*g = b*y + 33. Is y*(1 - 2) + 2 a composite number?
False
Let m(y) be the first derivative of 21*y**2/2 + y + 4. Let v be m(-4). Is v/(-2*3/6) a prime number?
True
Suppose -l + 4*l = -r + 1345, -r + 5*l + 1377 = 0. Is r a composite number?
True
Suppose -3*g + 0*z = -4*z, 0 = -g + 5*z. Is 90 + g/1 + -1 a prime number?
True
Suppose -3*p = p. Let y = p - -3. Let a(q) = 24*q**2 - 4*q - 1. Is a(y) prime?
False
Let y = -49 - -73. Suppose 0 = -5*f + y - 4. Suppose -t - f*t = -775. Is t a prime number?
False
Let x(a) = a**3 + 8*a**2 + 7*a + 3. Let j be x(-7). Suppose -q = -5*q + c + 645, -3 = j*c. Is q composite?
True
Let x = -272 - -570. Suppose -s = s - x. Is s a prime number?
True
Suppose -3*u + 2*u + 1 = 0. Is -178*u*2/(-4) a prime number?
True
Let j = -2655 + 5378. Is j a composite number?
True
Let n be -1 + (-1)/(2/20). Let o = -8 - n. Suppose 5*r - 85 = -o*q, 4*q + 15 = 5*q + 5*r. Is q a prime number?
False
Is (-76695)/(-35) - (-2 + (-64)/(-28)) a composite number?
True
Let r(t) = t**3 + 15*t**2 - 3*t - 3. Is r(-8) prime?
False
Suppose -2*q + 21 = -3*r, -6*q + 5*r = -2*q - 45. Suppose -h - q = -2*h. Is h a prime number?
False
Let h be (-22)/(-10) - 2/10. Suppose h*j = 4, p - 9 = 3*j + 2*j. Is p a prime number?
True
Let v(f) = -f**3 + 9*f**2 + 17*f + 3. Is v(-10) a composite number?
False
Suppose -326 = 3*u - 1367. Is u a composite number?
False
Let j = -98 - -393. Is j a composite number?
True
Suppose 9*o - 3*o = 42. Suppose 415 = -2*t + o*t. Is t a prime number?
True
Let d(v) = -22*v - 15. Is d(-8) a composite number?
True
Suppose d = 4*k + 18, -6*d + d - 4*k - 6 = 0. Suppose -109 = d*u - 531. Is u composite?
False
Suppose -5*s + 237 + 508 = 0. Is s a composite number?
False
Let p(n) = 2 + 6*n**2 - n**2 + 0 + 4*n + 4*n. Let l = -9 - -2. Is p(l) prime?
True
Let k = 808 - 551. Suppose -2*s = -29 - k. Is s a composite number?
True
Let b be -4*(-1)/2 + 2. Let z(y) = -y**2 - 7*y + 4. Let v be z(-6). Let m = v + b. Is m a composite number?
True
Let p(i) = -46*i**2 - 2*i + 4. Let v be p(2). Let n = v - -471. Is n composite?
True
Let d = 7 - 3. Suppose -d*p + 17 = -107. Suppose -4*z + 58 = 2*k, -3*k = 2*z - 4*k - p. Is z prime?
False
Is 879 + (-12)/4 + 1 a composite number?
False
Let u(k) = k**2 - k + 275. Let m be u(0). Let n = 906 - m. Is n a composite number?
False
Let c = 4 + -8. Let q(d) = d**3 + 3*d**2 - 4*d. Let f be q(c). Suppose 0 = 5*a - f*a - 195. Is a composite?
True
Let z = -1516 - -2834. Is z a composite number?
True
Suppose 5*q - 425 = 210. Is q a prime number?
True
Let n = 206 + -145. Suppose -c + n = -192. Is c composite?
True
Suppose f = -f - 276. Let b be (15/(-6) - -2)*f. Let h = b + -31. Is h a prime number?
False
Suppose -4*b + 258 = 2*c, 0 = -0*c - 5*c - 2*b + 661. Is c a prime number?
False
Let l(o) = 9*o + 13. Suppose 3*q = -6 + 33. Let g be l(q). Let d = 227 - g. Is d a prime number?
False
Suppose 0 = 4*s - 1734 - 2510. Is s a composite number?
False
Suppose d = 3*d - 926. Suppose j - d = -2*w, -j - 3*w = 2*j - 1380. Is j prime?
True
Let f = 10 + -19. Let j = f + 7. Let z(s) = 4*s**2 + s - 1. Is z(j) a prime number?
True
Let d(k) = -2 - 6 + 8*k - 4*k**2 + k**3 - k**2. Is d(7) prime?
False
Let d = -8 + 11. Suppose d*a + a = 508. Is a composite?
False
Suppose -h + 4*p = 2,