v = 0. Is g composite?
True
Let s(m) = -443*m + 62. Is s(-7) prime?
True
Let n = 38 + 15. Is n a composite number?
False
Suppose 0 = 2*p - 16 - 62. Suppose 0 = 4*z - 49 - p. Is z composite?
True
Let r = 6 - 4. Suppose 3*i + 181 = d + d, -179 = -r*d + i. Is d composite?
False
Suppose 0 = -22*j + 6*j + 2528. Is j prime?
False
Suppose -p - 4 = 5*g + 3, 0 = -3*p - 5*g + 9. Let r be (-3146)/(-18) - p/(-36). Suppose -b + 6*b = r. Is b a prime number?
False
Let s(u) = -u**3 - u**2 - 1. Let c(m) = 3*m**3 + 3*m. Let i(l) = c(l) + 2*s(l). Let r be i(2). Is 594/r + 2/4 prime?
True
Suppose -2*g = 2*h + 29 + 5, 3*h + 66 = -4*g. Let m = g - -24. Is 178*(m/6 + -1) a composite number?
False
Let z(l) = -49*l + 2. Is z(-3) composite?
False
Let c(s) = 49*s + 3. Let w be c(-3). Let f = w + 307. Is f composite?
False
Suppose 3*o + 4 = 4*q, -q + 0*q + 1 = 5*o. Suppose -20 = -o*j - j. Let a = 39 - j. Is a prime?
True
Suppose -i + 4*i = -393. Suppose -3*o - o = 864. Let f = i - o. Is f prime?
False
Suppose -y - 3*y + 52 = 0. Suppose 0 = 2*x - 209 - y. Is x a prime number?
False
Let r(i) = 114*i**2 - 6*i - 7. Is r(5) prime?
False
Suppose -w = -2*w + 2. Suppose -7*t = v - w*t - 14, -2*t = 2. Is v composite?
False
Is (20/(-6))/((-12)/126) prime?
False
Is (-5)/(-20) - 1163/(-4) a prime number?
False
Let w(u) = -41*u + 4. Is w(-3) a prime number?
True
Suppose 2*u - 2*s + 4 = 0, -3*s = 4*u + 22 + 7. Let i(q) = 10*q + 7. Let d(l) = 9*l + 8. Let f(g) = u*i(g) + 4*d(g). Is f(-3) prime?
False
Suppose 2*q - 109 = -3*o, -2*q + 82 = 5*o - 21. Is q prime?
True
Suppose 6*i - 2*i - 20 = 0. Suppose c + 0*c + 5*s - 72 = 0, 3*c - i*s - 156 = 0. Is c prime?
False
Let v(c) = c**3 + 7*c**2 - 2*c + 11. Let t(u) = -u - 14. Let m be t(-7). Is v(m) a prime number?
False
Is -1 + 0/(-6) + 8492 composite?
True
Let x(g) = g**3 - 11*g**2 + 5*g + 1. Is x(16) a prime number?
True
Let z(u) = -2*u**3 - 10*u**2 - 8*u + 13. Is z(-9) composite?
False
Suppose 3*x = -12 + 60. Let q be (8/(-10))/(2/(-5)). Suppose x = 4*b, -3*b = 2*h + q*b - 198. Is h a composite number?
False
Let t = 8 - 6. Let r be (-21)/(-6) - (-3)/t. Suppose -5*z + 185 = -r*f, 0 = 3*z - 4*z + 3*f + 37. Is z composite?
False
Let b be (1 + 0 + 3)/1. Let q be (-3 + 1)*(-110)/b. Suppose 5*w + 321 = 4*h, 2*h - 101 = -2*w + q. Is h composite?
False
Suppose -w = w - 662. Is w a composite number?
False
Suppose 4*p = -3*x + 2662, 2*p - x = 3*x + 1342. Is p prime?
False
Let b(j) = j**2 + 3*j - 6. Let x be b(-5). Suppose 0 = -x*y - 27 + 215. Suppose y = k + 10. Is k a prime number?
True
Let z(d) = -20*d**3 - d**2 + 3*d + 2. Let j be z(5). Is j/(-7) - 6/21 a composite number?
True
Suppose -d + 575 = -410. Is d a composite number?
True
Let q(z) = -17*z + 8. Let i = 40 - 24. Suppose -3*k - i = 5. Is q(k) composite?
False
Suppose 2*o - 5*o + 1119 = 0. Is o a prime number?
True
Let w be (-5)/(-2)*(1 - -1). Suppose 5*x - 3*y + y + 278 = 0, w*x + 285 = -5*y. Is 5/(-15)*(x + -1) prime?
True
Let p = -34 + 598. Let h = p - 401. Is h a composite number?
False
Let l(u) = u**2 - u. Let x(w) = -9*w**2 + 5*w - 1. Let a(i) = -5*l(i) - x(i). Is a(-3) a prime number?
True
Is ((-422)/(-6))/((-1)/(-3)) prime?
True
Suppose y + 2*u + 3*u = 15, 0 = -u + 3. Is 2 + (326 - (y - 3)) a composite number?
False
Is ((-28)/3 + 2)*(-414)/12 a prime number?
False
Suppose -3*g + g = -5*n - 4, 5 = g - 4*n. Is (-22)/g - (-2)/(-6) prime?
True
Suppose 264 = z + 7*z. Is z prime?
False
Suppose h - 22 = -2*u + u, 0 = 5*h - 2*u - 117. Is h a composite number?
False
Suppose 0 = p - 2*k + 24, -2*p + 7*p - 5*k = -135. Is (20/p)/((-4)/1194) prime?
True
Let i(z) = 3*z + 13. Let d(u) = -12*u - 53. Let l(k) = -2*d(k) - 9*i(k). Suppose 4*m + 52 - 20 = 0. Is l(m) prime?
True
Is (-3 + 5/2)*-446 a composite number?
False
Suppose 0*m + m = 6. Suppose -f - 26 = m. Let p = 67 + f. Is p a prime number?
False
Is 1 + 286 + 0/(-3) composite?
True
Let x = -1 - -10. Let g(r) = 0*r**2 + 14*r + 4*r - r**2 + 2. Is g(x) a prime number?
True
Let c = 7 - 8. Is (c - 1) + 75 + 1 a prime number?
False
Let y be (4/3)/(1/18). Suppose 5*k + 29 - 224 = 0. Let c = k - y. Is c composite?
True
Suppose 2*n + 3*n = q - 431, q = -5*n + 381. Let c = -1 - -7. Is q/c + 6/(-9) prime?
True
Let s(m) = -3 + 10 + 6 - 6*m. Let f(b) = -9*b + 20. Let x(z) = 5*f(z) - 7*s(z). Is x(-8) prime?
False
Let f(j) be the second derivative of 4*j + 3/2*j**3 + 1/4*j**4 + 7/2*j**2 + 0. Is f(-7) composite?
True
Let w = 14 - 9. Let s(b) = -4 + 3*b - w*b - 3 + 15*b. Is s(5) composite?
True
Suppose 3*b = 5*b - 802. Is b prime?
True
Let m = 62 - -245. Is m a composite number?
False
Suppose 3*n = -6, -n = 4*b - 491 - 575. Is b a composite number?
True
Let k = 1474 + -995. Is k a prime number?
True
Let z = -2 + 3. Let r(m) = 9*m**2 + 7*m + 1. Let j(d) = -d**2 + d. Let w(g) = z*r(g) - 6*j(g). Is w(-2) composite?
False
Suppose 0 = 4*g - g - 30. Let w = g + -6. Suppose 4*u = 0, 0 = p - 0*u - w*u - 7. Is p a composite number?
False
Let p(l) = l**2 + 3*l + 3. Let x be p(-4). Let w(r) be the second derivative of -r**5/20 + r**4/2 + 7*r**3/6 + 7*r**2/2 - 4*r. Is w(x) composite?
False
Let m(r) = -r + 14. Let t be m(12). Suppose -t*b = -i - 313, -i + 6*i = -15. Is b a prime number?
False
Let l = -236 + 2553. Is l prime?
False
Is (-4 + 3939)*(-2)/(-5) composite?
True
Suppose -3*w = -8 - 7. Suppose -7*o = -3*o - 628. Suppose l + l + 2*v = 172, 2*l = -w*v + o. Is l a composite number?
True
Let n = -293 - -83. Is 2/4 + n/(-4) a composite number?
False
Suppose 32 = 5*b + 3*x, -3*x + 5 + 3 = -b. Let g = -47 - -50. Suppose 2*n + 757 = f + 2*f, b*f = g*n + 1010. Is f a prime number?
True
Let v(d) = -2*d. Suppose -2 = 4*b + 2. Let m be v(b). Suppose m*k = -0*k + 68. Is k a composite number?
True
Let q be (21/(-6) - -2)*-66. Suppose 0*c - q = -3*c. Is c a composite number?
True
Let h = -136 - -86. Suppose -3*u - 3 = 0, -r - 5 = -2*u + 10. Let o = r - h. Is o a composite number?
True
Suppose -2*n = -3*i + 491, -2*i - i + 4*n + 493 = 0. Is i prime?
True
Let b = -96 - -135. Suppose -5*w + r = 17, 4*w + 31 = -2*r - 3*r. Let u = b + w. Is u prime?
False
Let g(u) = u - 3. Let w(s) = s**2 - 4*s - 2. Let j be w(5). Let t be g(j). Is 7/(t + 2/6) composite?
True
Let q(z) = 7*z. Let u be q(1). Let t = u + -11. Is t/(-3)*60/8 composite?
True
Is (425 + -3)/(3 + -1) a prime number?
True
Suppose -3*l + 53 = -2*z + 4*z, 3*l - 46 = 5*z. Suppose t + a = 3*t - l, 5*a = -5*t + 80. Is t composite?
False
Suppose -x = -5*z + 13 + 2, -2*x - 4*z = -40. Suppose -2*b + x = -76. Suppose o = 4*v - b, -3*v - 3*o = -9 - 12. Is v a composite number?
True
Suppose 5*j - 5191 = 4*f, 2*f - 1041 = -0*j - j. Is j composite?
False
Let o(i) = 0*i**3 - i**3 + 6*i - 3 - i - 5*i**2. Let l(a) = -a**2 + 5*a + 8. Let k be l(7). Is o(k) a composite number?
False
Let h(a) be the second derivative of a**6/120 - 3*a**5/20 + a**4/8 - 4*a**3/3 - a**2 + 2*a. Let b(p) be the first derivative of h(p). Is b(9) composite?
False
Let w be 5*1 - (1 - -1). Suppose 3*q - 36 = 2*s - 0*s, 5*q - 5*s - 60 = 0. Suppose w*x - 7*x + q = 0. Is x prime?
True
Suppose 0 = -0*q - q, 12 = 4*p - 3*q. Suppose 0 = p*o - 4*o + 111. Is o a composite number?
True
Suppose 0*c = 2*c + 382. Let a be (-67 + 0)*(-4)/(-1). Let x = c - a. Is x composite?
True
Suppose -4972 = -9*p + 5*p. Is p a prime number?
False
Suppose 12*n - 5*n = 3423. Is n composite?
True
Let j = -427 + 612. Is j a composite number?
True
Let o(x) = 2*x**2 - 5*x + 25. Is o(18) a composite number?
True
Let y = -3 + 13. Suppose -6*m + y*m - 764 = 0. Is m prime?
True
Let s = -111 - -242. Suppose 2*y + 4*a = -0*y + 74, -3*y + s = 2*a. Suppose 2*j + 5*z + 82 = 4*j, 0 = -j + 4*z + y. Is j prime?
True
Suppose 3*w = 5*b - 8, 0 = -4*b + 3*w + 1 + 3. Suppose -q = -b*c + 10 + 9, -3*q = -2*c + 7. Is 34*11*q/2 a prime number?
False
Suppose -4*q + 16 = 0, 3*k + 5*q - 20 = k. Suppose r + k*o - 7 = -o, 3*o - 9 = r. Suppose 4*n = -5*h + 125, -n + 59 = r*h - 9. Is h composite?
True
Is 318*10*3/12 - -2 prime?
True
Let p be 938/6 + 2/(-6). Let m = p - 17. Is m a composite number?
False
Suppose -3 = -3*c + 12. Suppose -c*p = -488 + 73. Is p prime?
True
Suppose x = -3*g - 0*x + 8, 0 = -3*g - 5*x + 16. Is 189 + (0 - g/1) a composite number?
True
Let v be (2 - 5)/3*3. Let r be 1 + 5 + v + 1. Suppose -r*t = -2*z 