 t(-3) a prime number?
True
Suppose 4*r = -j + 34, 8*j + 5*r = 3*j + 155. Let t = j + -7. Is t prime?
True
Suppose 0 = 4*j - 54 - 710. Is j a prime number?
True
Let a(l) = 12*l - 15. Let v be a(10). Suppose 7*j - 2*j = v. Is j a prime number?
False
Let c(z) = -z**2 - 7*z - 2. Let i be c(-6). Let h = i + -2. Suppose -2 = 4*b + 6, h*s + 4*b - 278 = 0. Is s composite?
True
Suppose -g = -6*g + 15. Suppose -f = g*f - 248. Is f a composite number?
True
Let d be (-1 + 2)*1/(-1). Let f be 14*d*4/8. Let b = 0 - f. Is b a composite number?
False
Is 71020/36 + 2/9 composite?
False
Suppose -2 = -2*c + 8. Suppose -3*q - 5*u = -124, 2*u = 4*q - 0*q - 122. Suppose -c*x + q = 3*i, 4*i + 4*x - 20 = 24. Is i a composite number?
False
Suppose -6 = -2*d - 2. Suppose -b = -d*b + 51. Is b prime?
False
Let h(x) = 5*x**3 + 2*x + 1. Let r be h(-1). Let c(q) = -q**2 - 9*q - 9. Let m be c(r). Let l = m - -16. Is l a prime number?
False
Suppose -4*b + 20 = b. Let a(o) = 4*o**2 + 4*o - 1. Is a(b) prime?
True
Let o(x) = x + 10. Let v be o(-8). Let t be (-2480)/(-65) + v/(-13). Let y = t + -17. Is y composite?
True
Suppose 0*f - f + 20 = 0. Suppose -4*v + 5*r + 61 = -f, 4*v - 76 = 4*r. Is v a prime number?
False
Let v(z) = z + 21 + 3*z**2 + z**2 - 5*z**2. Is v(0) a composite number?
True
Suppose 0 = -2*u - 2*u + 2728. Suppose 184 = -3*d + u. Let r = -101 + d. Is r a composite number?
True
Suppose 5*r - 23245 = 2*g, 4766 + 13830 = 4*r - 5*g. Is r a prime number?
True
Let n = 1646 - 951. Is n prime?
False
Is (-1588)/(-12)*(4 + -1) a composite number?
False
Suppose 7*n - 2*n - 2855 = 0. Is n composite?
False
Let p be 6 + (-2 - -3 - 3). Suppose 6*t - t - 225 = -5*q, -4*q = -p*t - 212. Is q composite?
True
Let l be (69/2)/(3/30). Suppose -l = v - 6*v. Is v prime?
False
Let y(f) = -f + 2. Let i be y(-5). Let m(b) = b - 3. Let q be m(i). Suppose 115 - 23 = q*t. Is t a prime number?
True
Suppose -3 = a, 0*a + 4*a - 741 = -3*i. Is i prime?
True
Suppose -2*t = 3*t - 35. Let v = -27 - t. Is 1 - v - (2 - 0) a prime number?
False
Let h(d) be the third derivative of 0*d + 0*d**3 + 0 + d**2 + 7/24*d**4. Is h(1) composite?
False
Suppose 5*l - 52 = b, 3*b = 2*b + l - 32. Let u = b - -120. Suppose 5*x = 2*o + u, 5*o - 3 = 2. Is x composite?
False
Let d(f) = -4*f + 14. Let a be d(3). Let l be 59 + 0 - 0/(-2). Suppose -3*z = 2*v - 177, l = z + a*v - 4*v. Is z prime?
True
Suppose f + f + 3*b = 2632, 4*f = 3*b + 5282. Is f prime?
True
Suppose 2 = -4*j + 3*j. Let z = -2 - j. Suppose z*k - 115 = -5*k. Is k a prime number?
True
Let t(h) = 2*h**3 - 6*h**2 - 8*h + 5. Is t(5) prime?
False
Suppose 6*p - 5*p = 491. Is p a composite number?
False
Let w = 44 - 23. Suppose -2*c + w = -2*g - 13, 0 = -3*c - 3*g + 27. Is c prime?
True
Suppose 33 = 4*y + 3*r, -5*y + 24 = r - 3*r. Let n(w) = -7*w - w - y*w - 8*w - 1. Is n(-3) a prime number?
False
Suppose -4*f = -j - 883 - 7735, 0 = 5*j + 3*f + 43067. Is j/(-30) + (-8)/60 a composite number?
True
Is (466 - 1) + 2 - -2 a composite number?
True
Suppose 2*b - 2574 = -2*h, 4*b - 2*b + 2554 = 2*h. Suppose -357 = 5*a - h. Is a composite?
True
Let r = -45 - -19. Let f be r*(-2)/(2/(-1)). Let g = 57 + f. Is g a prime number?
True
Let j = -251 + 385. Is j composite?
True
Is 20/50 + ((-743)/(-5) - 0) prime?
True
Let h(i) = i + 6. Let z be h(6). Let w = -2 - z. Let o = w - -20. Is o composite?
True
Let i(w) be the first derivative of -3*w**2/2 + 4*w + 1. Let b = 11 - 14. Is i(b) a composite number?
False
Let w(h) = -7*h - 2 + 5 - 4 + 0. Is w(-2) a prime number?
True
Suppose 2525 = 6*h - h. Is h prime?
False
Suppose 5*b = -7*b + 12876. Is b composite?
True
Suppose -a + 3*i + 3 = -49, -2 = -i. Is a a composite number?
True
Let r(y) = -5*y + 55. Is r(8) composite?
True
Let b be ((-1)/(-2))/(4/424). Suppose -y - 36 = -3*y. Suppose 5*h + y = b. Is h prime?
True
Suppose 15*d - 12*d = -78. Let i = 57 - d. Is i a prime number?
True
Suppose g = -g + 8. Suppose g*a - 617 - 773 = -2*s, s + 3*a = 700. Is s prime?
False
Let j(i) be the first derivative of -i**4/4 - 5*i**3/3 + 2*i**2 + 7*i - 4. Let o be j(-6). Let u = o + 96. Is u a prime number?
False
Let k = 24 - 13. Is 39285/99 - (-2)/k a prime number?
True
Let g(y) = -y**3 + y**2 - y + 1039. Is g(0) a composite number?
False
Suppose -b - 3 = 3*v + 9, -48 = 4*b + 5*v. Is (-1064)/b - 2/(-6) composite?
False
Let o(x) = -65*x - 22. Is o(-9) a prime number?
True
Let q = -53 + 77. Let p = -16 + q. Let r(z) = 7*z - 5. Is r(p) composite?
True
Suppose 136 = 4*m - 3*k, k + 159 = 4*m + m. Is m a composite number?
False
Let c(h) = 2*h**2 - h + 1. Is c(-4) a prime number?
True
Let v be (-1)/(4/(-4))*-144. Let d = v - -301. Is d a prime number?
True
Suppose -4*f - 380 = -9*f. Let k(l) = -2*l**2 - 2*l - 1. Let r be k(4). Let c = f + r. Is c a prime number?
False
Suppose -3*i - s + 1411 = 0, -s - 1515 = -3*i - 106. Let w be ((-12)/(-10))/(3/i). Let g = -109 + w. Is g composite?
False
Suppose 0 = 5*q - 25, -9 = 4*p - q - 4*q. Suppose 0*n = p*n. Suppose 4*u - u - 42 = n. Is u composite?
True
Let v be -1 + (6/(-1))/(-1). Suppose 0*n - n + 30 = 0. Suppose -295 = -v*t - n. Is t a prime number?
True
Suppose -4*s = -8*s + 2084. Is s a composite number?
False
Let w(x) = x**3 - 3*x**2 + 5*x + 1. Let a be w(6). Let z = 268 - a. Suppose z + 346 = 5*k. Is k a prime number?
False
Let j(w) = 104*w - 3. Let o(p) = 35*p - 1. Let a(m) = 3*j(m) - 8*o(m). Is a(1) composite?
False
Suppose m = 5*f + 56, -5*m + 82 + 93 = -4*f. Is m prime?
True
Suppose -3*t + 6 = -t. Let a = t - -1. Is 6/(5/(50/a)) prime?
False
Let d(u) = u**2 + 4. Let z be d(-4). Suppose z = 5*t - 3*t. Is t a prime number?
False
Let u(q) = 31*q**2 - 17. Is u(7) a prime number?
False
Suppose 8 = 5*t - 2. Suppose -3*s - 41 = -x, 5*x + t*s = 280 - 75. Let c = -26 + x. Is c prime?
False
Suppose 2*l = -2*a + 100, 2*a + 2 = 4*a. Is l a composite number?
True
Suppose 2*h + 47 = 5*x + 19, 5*x - 24 = h. Suppose x*o - 6 - 75 = -g, -4*o + 4 = 0. Is g prime?
False
Let n(o) = o**2 - 6*o + 1. Let h be n(3). Is (-4)/h*1*22 a composite number?
False
Let t(z) = -z**3 - z**2 + 3. Let x be t(0). Suppose 0 = -x*n + 5*h + 405, -5*h - 41 - 229 = -2*n. Let w = 246 - n. Is w prime?
False
Suppose d + 2*d - 25 = -5*o, 4*o = -2*d + 18. Let x(l) = -l + 10. Let c be x(d). Suppose 75 + 290 = 3*w - f, -10 = c*f. Is w prime?
False
Suppose -6 = -4*w + 2*i, 0 = -5*i + 2*i + 9. Let o(r) = r + 2. Let g be o(w). Suppose -4*m = g*a - 76, 0*m = -3*m - 3*a + 57. Is m a prime number?
True
Let y be 13/3 + 2/3. Suppose q + q = 584. Suppose -q - 33 = -y*j. Is j a prime number?
False
Suppose -4*t - 3*y - 31 = 0, 28 = -2*t - 6*y + 2*y. Let b(m) = 2*m**2 + 4*m + 5. Is b(t) a composite number?
True
Suppose 0 = -3*s - 350 + 2873. Is s prime?
False
Suppose 4*b - 2*s = 2568, 3195 = -0*b + 5*b + 5*s. Is b a composite number?
False
Let g(t) = -14*t + 3. Let k be g(-3). Suppose -2*d = -7*d + k. Is d/(-15) + (-714)/(-15) a composite number?
False
Let m(s) = s**2 - 1. Let q be m(-1). Suppose 0 = -2*l + 2*k + 12, l + 9 = -4*k - q. Suppose -l*j + 115 = 2*j. Is j prime?
True
Let q(c) be the first derivative of 2*c**2 + 6*c + 2. Is q(10) composite?
True
Suppose 0 = x + 2*x - 15. Suppose -636 = -4*l + 4*s, x*s - 624 = -4*l + 3*s. Is l prime?
True
Is ((-2)/4)/((-7)/11018) a composite number?
False
Is (148/6)/(10/75) a prime number?
False
Suppose 0 = -5*c - 5, 2*d - 581 = -3*d + c. Let i = d - 49. Is i a composite number?
False
Let b(g) = 5*g**2 + 3*g + 17. Is b(-5) composite?
False
Suppose -p = -1, 0 = -z + p + 10 - 0. Is z a prime number?
True
Let a = -1845 - -3898. Is a composite?
False
Let l be (0 - 1) + 5*4. Let h = -13 + l. Is h a prime number?
False
Let l(u) = 153*u**3 - 3*u**2 - 5*u + 11. Is l(2) a composite number?
False
Let f(h) = h - 35. Let i be f(0). Let j = -13 - i. Suppose -2*c + j = 3*d, 5*d - 3*c = c + 66. Is d a prime number?
False
Is (-3)/2*118/(-3) prime?
True
Is ((-15)/30)/((2 - 1)/(-3046)) prime?
True
Suppose 2*l + 1770 = 2*a, 2*l + 2653 = -0*a + 3*a. Is a a prime number?
True
Let z be (-298)/(-4)*6/3. Let d = z + -70. Is d composite?
False
Suppose 4*u - 2481 = -701. Suppose 5 - 21 = -4*r. Suppose -r*m = m - u. Is m composite?
False
Let w be 9/(-36) - (-42)/8. Suppose w*p - 5*n - 1445 = 0, -1575 = -5*p - n - 106. Is p a prime number?
Tru