y a prime number?
False
Suppose 6*q + 1298 = 7172. Is q a prime number?
False
Let l = 15 + -7. Suppose 2*n + 2*y + 7 = 7*n, 0 = 2*y - l. Suppose 5*p - 141 = -u + 154, n*p + 5*u - 177 = 0. Is p a prime number?
True
Let p(d) = -d**2 + 6*d - 6. Let l be p(4). Let b be l/(-4)*2 + 84. Suppose -r - b = -3*t + t, 5*r = -25. Is t prime?
False
Let q = 13 + -11. Is q*72 + (-3 - -2) prime?
False
Suppose 0*g - 5*t - 43 = 2*g, 0 = -4*g - 4*t - 92. Is 0 - (g + 3 + -2) prime?
True
Let x = 302 - 74. Let t = x - 117. Is t a composite number?
True
Let h be (-10)/(-6)*(-54)/2. Is (-1675)/h + 2/(-9) composite?
False
Let c(x) = -25*x - 1. Let a(t) = 324*t + 12. Let b(d) = 2*a(d) + 27*c(d). Suppose -4*z - 11 = s, 4*s - 2*s = 5*z + 4. Is b(z) a composite number?
True
Let j = 0 + 5. Suppose -3*r + 2 = -1, -j = -h - 3*r. Suppose -6 = 3*z, -45 = -7*p + h*p + 5*z. Is p a prime number?
True
Let u(w) = -w**3 + 6*w**2 - 4*w + 2. Let p be u(5). Suppose -2*c + 189 = p. Is c composite?
True
Let q = 0 - -4. Suppose 5*b - q*b - 53 = 0. Is b a composite number?
False
Let k = -294 - -625. Is k composite?
False
Let i(a) = a**2 - a + 4. Let m be i(0). Suppose u - 3*u + m*q = -62, -3*u - q = -107. Let j = 18 + u. Is j a prime number?
True
Is ((-2)/(-2) - (-2)/(-2)) + 377 a composite number?
True
Let u = 1337 - 550. Is u prime?
True
Suppose 2*f + 2*d - 480 = 0, -5*f + 1191 = -7*d + 3*d. Let i = f - 90. Is i a prime number?
True
Suppose 4*f - 4 = 2*f. Suppose -s - 4 = -f*s. Suppose 3*i - 351 = -3*k, 3*i + 3*k - s*k - 359 = 0. Is i prime?
False
Let b = 2 + 0. Let s(z) = -5*z**3 + 7*z**b - 5*z - 2*z**3 + 6*z**3 - 3. Is s(4) prime?
False
Is 14/10*(711 + -16) prime?
False
Suppose -5*n = 3*m - 3875, -4*m + 4605 = -4*n - 519. Is m prime?
False
Suppose 0*s = 3*s - 9, 2*s = 2*m - 276. Is m a prime number?
False
Let f = 20 - 16. Suppose f*q = 5*q - 47. Is q a prime number?
True
Suppose 4*o = -2*y + 12, -5 = 2*o - 7*o. Suppose y*v + 380 = 1576. Is v prime?
False
Suppose 0 = -3*j - 2*j. Suppose 5*o - 902 + 7 = j. Is o prime?
True
Let y(j) = -4*j - 4. Let x be y(-4). Suppose -4 = -0*k + 2*k. Let z = x - k. Is z composite?
True
Suppose 4*d - 2604 = -520. Is d composite?
False
Let t be ((-56)/(-3))/((-1)/(-3)). Let x = t + 63. Is x a prime number?
False
Suppose -4*f + 5*p = -35, 3*f - 2*f = 4*p + 17. Let m(h) = 2*h**2 - 2*h + 1. Let v be m(3). Suppose -4*j = -f*j + v. Is j a composite number?
False
Suppose b - 668 = -229. Let p = 650 - b. Is (p/2)/(2/4) a composite number?
False
Suppose -3*d = -2*d - 303. Is d a prime number?
False
Let t(f) = f + 9. Let s be t(-7). Suppose s*x = 740 + 54. Is x a composite number?
False
Suppose 558 = l - 277. Let j = -569 + l. Suppose -w + j = 2*u + 3*u, -2*w = -3*u + 157. Is u composite?
False
Suppose -3*k = 86 - 2645. Is k prime?
True
Let c = -28 - -139. Is ((-2)/(-3))/(2/c) prime?
True
Suppose t = d + d, 0 = -3*d - 2*t. Suppose -u + d*p = 4*p - 21, -5*u = -p - 105. Is u composite?
True
Let q(z) = 13*z**3 + 2*z**2 + z + 9. Is q(4) a composite number?
False
Let x = -3 + 7. Suppose -1063 = -5*c + 2*h, -2*h = -2*c - x*h + 414. Is c composite?
False
Let b(r) = r + 4. Let x be b(0). Suppose 0*g = -g + 3*i + 136, 4 = x*i. Is g a prime number?
True
Let u = -153 + 362. Is u composite?
True
Suppose -5 = -5*m + 10. Let y be 0/m + 2*1. Suppose 5*k = y*g + 397, 2*k - 4*g = 191 - 29. Is k composite?
False
Suppose 0*o + 2*o = 5*p - 1949, -4*p + 4*o + 1564 = 0. Is p composite?
False
Suppose -590 - 327 = -7*a. Is a a composite number?
False
Let g(y) = y**3 + 7*y**2 + 4*y - 7. Let u be g(-6). Suppose -304 = -u*n + n. Is (n/(-8))/(2/(-4)) prime?
True
Let r be 3/2 + (-3)/(-6). Suppose 2*g - 8 - 4 = -r*v, -v = -5*g + 12. Suppose -159 = -v*s - 0*s. Is s prime?
True
Let l(h) = h**3 + h**2 + 115. Let x be l(0). Is (2 - -1)*x/3 a composite number?
True
Let h(d) = -792*d - 89. Is h(-7) prime?
False
Suppose 0 = -4*h + 2*h + 1946. Is h prime?
False
Let x(d) be the first derivative of d**4/4 - d**3/3 - d**2 + 3*d - 1. Suppose -6*u = -4*u - 8. Is x(u) a composite number?
False
Let c = 65 - 35. Suppose 0 = -p + 6*p - c. Is (-3)/(-6)*p - 0 composite?
False
Let i be 146 - (-1 - -1)/(-2). Suppose 0*b + 5*b + 385 = 0. Let z = i + b. Is z a prime number?
False
Let k(j) be the third derivative of -5*j**4/24 - 5*j**3/6 + 3*j**2. Is k(-6) prime?
False
Let l = -73 - -39. Let a = 71 + l. Is a composite?
False
Let c(u) = -5*u + 2 + 2*u**2 + 3*u**2 - 3*u**2 - u**2. Is c(-4) a composite number?
True
Suppose -6*p + 6405 = 1551. Is p prime?
True
Suppose -3*i + 190 = 2*i. Let g = i + -5. Is g a prime number?
False
Suppose 3*d = 3, -6*d - 7 = -3*f - d. Suppose 5*p - 3*s = 1, -2*p - f*s + 1 = -5*s. Suppose -4*i + 2*x + 84 = -2*x, p*i + x = 36. Is i a prime number?
True
Suppose 0*v - 12 = -3*v. Suppose -v*m + m = -18. Suppose m*q - 56 = 2*q. Is q a prime number?
False
Suppose -8301 + 466 = -5*t. Is t composite?
False
Suppose 608 = 2*v + a - 5*a, 2*a = 6. Let r = v - 132. Is r prime?
False
Suppose 2*g - 2383 = -3*k - 2*g, -4*k + 3194 = -3*g. Is k composite?
False
Let g(f) = 6*f**2 - 7. Let m = 0 - 5. Is g(m) a prime number?
False
Let l be ((-1)/(-2))/(4/8). Suppose n = -l - 2, -3*n = 2*a - 397. Is a a composite number?
True
Let u(r) = r**3 + 8*r**2 + 7*r + 2. Let g be u(-7). Let v = g - 3. Let s(k) = 33*k**2 + 1. Is s(v) composite?
True
Let s(o) = o**3 - 5*o**2 - 12*o + 7. Is s(9) a prime number?
True
Suppose -5*m = 4*r - 5241, r + 5254 - 8 = 5*m. Is m prime?
True
Let g = 42 + 67. Is g prime?
True
Let m = -358 + 187. Let c = -28 - m. Is c a composite number?
True
Is ((-2 - -4)/4)/(4/6104) a prime number?
False
Let p be 37/(-2)*2*-4. Suppose 0 = -3*q + 5*q - p. Suppose 3*n - q = 43. Is n prime?
False
Let u be ((-50)/(-3))/(1/3). Suppose -36 = -3*t - 5*j + 44, -2*t - 4*j = -u. Let l = t - 20. Is l prime?
False
Let r(o) = 3*o + 493. Is r(0) composite?
True
Let p(c) = 7*c**3 - 4*c**2 - 5*c + 5. Is p(5) a prime number?
False
Let t(a) = a**3 - 16*a**2 + 32*a + 11. Is t(14) a prime number?
True
Suppose -474 = 2*r - 8*r. Is r prime?
True
Suppose 2*k + 0*k - 11749 = 3*l, -5*k + 29398 = l. Is k a composite number?
False
Let l(x) = -x**3 + 2*x**2 - 3*x + 2. Let p be l(1). Suppose p = -3*c + 4*c - 629. Is c a prime number?
False
Let w(o) = o + 9. Let x be w(-7). Let c(h) = -3*h + 3. Let t be c(-6). Is t - x*(-1 - 0) composite?
False
Let v be (1 + -1)*4/8. Suppose v = -2*m - 5*t + 6, -3*m + t + 9 = -0*t. Suppose -m*s + 99 = 4*z, -z + 66 = 2*s + 2*z. Is s composite?
True
Let k = 1157 - 591. Is k a prime number?
False
Suppose 27 = -j + 5*y, 2*j = 4*y - 18 - 6. Is (j - 37)*(-115)/15 a prime number?
False
Let p(r) = -r - 4. Let g be p(-7). Let z = g + 2. Suppose 3*t - z*m = 95 + 25, t + 5*m = 20. Is t prime?
False
Let z = 3 - 3. Suppose z = -3*o + 33 + 24. Is o composite?
False
Let s(y) = -9*y**3 - y**2 - y + 1. Let t be s(1). Let p = 0 - t. Is p a prime number?
False
Suppose -5*p + 4*t + 17249 + 1206 = 0, -p = -4*t - 3691. Is p a composite number?
False
Suppose -4*s + 1328 = -0*n + 4*n, 3*s = 3*n - 1014. Is n prime?
False
Suppose u + 11 = 37. Is 15/(-25) - u/(-10) a prime number?
True
Suppose 2*c - 4*q - 634 = -0*c, -2*c = 2*q - 604. Is c a composite number?
False
Let o(h) = 104*h - 7. Is o(3) a composite number?
True
Let b(x) = -10*x - 6. Is b(-8) a prime number?
False
Let t = 4 - 2. Suppose -4*n + 8 = o, -t*n = 5*o - 58 - 54. Is (78/o)/(1/4) prime?
True
Suppose 4*m + 5*k + 4 = 166, m - k = 45. Is m composite?
False
Let a(q) = q**2 + 13. Is a(0) a prime number?
True
Let n = -427 - -1122. Is n prime?
False
Suppose 4*a - 10 = 3*f, 2*a + 2*f + f = 14. Suppose -q = a*q - 10. Suppose -q*b - 2*p + 68 = -6, 0 = 4*p. Is b composite?
False
Suppose g - 127 - 194 = 0. Is g composite?
True
Let o be (-6)/15 - (-2)/5. Let v be (o + 1)*2 - -140. Suppose -70 = -4*a + v. Is a a prime number?
True
Let o = 24 + 15. Is o prime?
False
Let c(m) = -m**2 - 13*m + 15. Let i(j) = j**3 - 4*j**2 - j - 1. Let x be i(2). Is c(x) a prime number?
True
Suppose -g - 2 = -5*j + 19, -2 = -2*j + 2*g. Suppose -a = -4*m + a + 528, 4*m = -j*a + 542. Is m composite?
True
Let u(c) = 3*c**2 + 2*c - 3. Let a = -43 - -31. Let g be (-1)/3 - 52/a. Is u(g) prime?
True
Let x(b) = -1 - 7 + 2*b**2 - 5*b + 1. Is x(-8) prime?
False
Let w(o) = 2*o**2 + 4*o + 7. Let a(d) be th