 i a composite number?
False
Suppose 4*r - 1 - 7 = 0. Suppose 0 = r*l - 4*l. Suppose 4*o - 2*o - 46 = l. Is o prime?
True
Suppose -4*q + 17 + 3 = 0. Suppose 2*u + q*h = 53, -2*u + 0*h + 73 = h. Suppose -o - x + 39 = 3*x, -o + u = -4*x. Is o a composite number?
True
Let g(q) = 95*q**3 - 3*q**2 + 5*q - 3. Is g(1) a composite number?
True
Let r(p) = -155*p - 3. Is r(-2) a prime number?
True
Let q = -6 - -1. Let o be q*((-2)/(-5))/(-1). Suppose 4*u = 3*u + 5*w + 41, 2*u = -o*w + 34. Is u a prime number?
False
Let t(y) = 2*y**3 - 2*y**2 - 3*y + 2. Is t(5) prime?
False
Let r(z) = 2*z**3 - 4*z**2 + 3*z - 9. Is r(4) composite?
False
Suppose 2*y + 19 + 25 = 0. Let b = -16 - y. Is b prime?
False
Let q(u) = -u**3 - u**2 - 2. Let s be q(-5). Let b = s + 161. Is b a composite number?
True
Suppose 3*x = -x + 8. Suppose x*w - 3*a - 160 = -3*w, -5*a + 130 = 3*w. Is w composite?
True
Suppose -q - 6 = 9. Is (-6204)/q - (-15)/(-25) a prime number?
False
Let v(x) = -138*x + 7. Is v(-12) a prime number?
True
Let y(n) = n**3 + 7*n**2 + 4*n - 4. Let h be y(-7). Let z = h - -91. Is z composite?
False
Let g(n) = -2*n + 6. Let o be g(4). Is ((-42)/9)/(o/9) composite?
True
Let i(s) = -s**2 - 7*s - 1. Suppose 0 = 3*q + 5*d + 7, -4*d - 6 = q - 6*d. Is i(q) prime?
True
Suppose 4*d = -20, 4*k - 3*d - 2 = -d. Let p(s) = -s**3 - s**2 - 2*s - 2. Let q be p(k). Is (q/(-8))/((-3)/372) a prime number?
False
Let m = 10 + -6. Suppose 3*j - 195 = 3*y, 0*j - 276 = -m*j - 4*y. Is j a prime number?
True
Suppose 2*h - q = -11 - 0, -2*h = -3*q + 9. Let i be 1*h*(-2)/(-3). Is 254/i*6/(-3) a prime number?
True
Is -397*(5/((-10)/4))/2 a composite number?
False
Suppose -5*n + 298 = 2*z + 7, 409 = 3*z + 2*n. Is z a prime number?
False
Suppose 5*k + 3*y + 20669 = 0, 0 = 5*k + 2*y + 9149 + 11517. Is k/(-10) + (-1)/5 a prime number?
False
Let h(z) = 3*z**2 - 5*z + 4. Suppose -7 = 2*u + 2*s + 3, -3*u + s = 15. Let w be h(u). Let n = -51 + w. Is n a prime number?
True
Suppose 0 = j - 3*j + 6. Suppose -5*f + l = -j*l - 497, -94 = -f - l. Is f a prime number?
True
Suppose 3*v + 2664 = 5*l + 2*v, -4*l - 4*v + 2136 = 0. Is l prime?
False
Suppose 2*i - 5*i + 12 = 0. Let p = 55 + i. Is p a composite number?
False
Suppose 3*u - 12448 = -5*j, -2*u + 11305 - 2998 = 5*j. Is u prime?
False
Suppose a = 6*a + 4*j - 1103, 2*j + 6 = 0. Is a a prime number?
True
Let v = 10 + -7. Suppose 3*c = -c - v*s - 19, 25 = -5*s. Is 31*(0/(-1) - c) a prime number?
True
Suppose -10*n + 8*n + 76 = 0. Is n a composite number?
True
Let j(z) = 3*z**3 + z**2 - z + 1. Let m be j(1). Suppose -m*k = k, -4*v - 4*k + 16 = 0. Suppose -2*t + 3*b + 148 = -t, v*b = -2*t + 286. Is t a prime number?
False
Suppose -2*b + 4 = f, -20 = -5*b + b + 4*f. Suppose l = b*g - 85, 12 + 35 = g - 5*l. Is -1 + 2*g*1 composite?
False
Let z = -10 + 19. Suppose 28 = -3*p + 4*p. Let b = p - z. Is b prime?
True
Let l(n) be the second derivative of n**4/2 - n**3/3 - n**2/2 - n. Let a(f) = f**3 + 5*f**2 + 2. Let u be a(-5). Is l(u) a composite number?
False
Let w = 618 + -37. Is w a prime number?
False
Let b(p) = 4*p**2 + 2*p - 7. Is b(6) composite?
False
Is 1/(1/17538*6) a prime number?
False
Let u = 1147 - 561. Is u prime?
False
Let d be 6/(-10) - 243/(-5). Suppose 46 = 2*x - d. Is x composite?
False
Let a be 64/24 - 2/3. Suppose -4*h + 3*c + 768 = a*c, -2*h - 4*c + 366 = 0. Is h prime?
True
Let b(y) = -3*y**2 - y. Let h be -4 - (-2)/((-4)/(-6)). Let o be b(h). Is (-15 - -8)/(o/10) prime?
False
Let l(m) = 8*m**2 + 4*m - 2. Let f = 3 - 0. Is l(f) prime?
False
Let o = 19541 - 12136. Is o a prime number?
False
Suppose 5 = -2*v + 3*x - 4, 0 = 3*v - 3*x + 9. Suppose v*p = 3*p - 498. Is p a prime number?
False
Suppose -4 = 2*o - 10. Suppose -178 = -o*r + 95. Is r prime?
False
Let z = 842 + -583. Suppose -2*g + z = -g. Is g prime?
False
Let b(t) = t**3 - 11*t**2 - 11*t - 7. Let a be b(12). Is 1/4*8980/a prime?
True
Let n = 0 - -2. Let v(x) = 3*x**3 + 2*x**2 + x - 1. Let o be v(n). Let z = 90 - o. Is z a composite number?
True
Let q = 334 + -213. Is q a composite number?
True
Suppose -7*u + 983 + 1950 = 0. Is u a prime number?
True
Is (-1*214)/(-2) - -2 prime?
True
Let b be (-2)/(-3) - (-80)/(-12). Is (-2)/b + 912/18 a prime number?
False
Suppose 3 - 9 = -3*s. Suppose 3*k + 4*w = 125, 3*k = 4*w - s*w + 95. Is k prime?
False
Let h = -534 + 1729. Is h prime?
False
Let x(c) = c. Let k be x(4). Suppose -2*w = -k*d - 0*d + 78, -2*w = 5*d + 69. Is (w/3)/(2/(-6)) composite?
False
Let t = 6 + -3. Suppose -2*k + 147 = -2*n - t*k, 2*n + 159 = 3*k. Let x = 112 + n. Is x prime?
True
Let b = -20 + 47. Let i = 30 + b. Is i prime?
False
Let x = 1 - -1. Let i be 2/x + -4 + 7. Let a(g) = -g**2 + 8*g - 6. Is a(i) a prime number?
False
Let u = -684 - -455. Let w = u - -375. Suppose -5*d - 1 = 9, 3*d = -4*h + w. Is h a composite number?
True
Let p(o) = -o**2 - 5*o + 6. Let w be p(-5). Suppose -260 = 2*d - w*d. Is d prime?
False
Let v be 4 - 6 - 636/2. Let y = 255 - v. Suppose -c - y = -6*c. Is c a composite number?
True
Let a be (6/(-12))/((-2)/60). Suppose n - 44 = a. Suppose 11 = 5*k - n. Is k a prime number?
False
Suppose -t = 7 - 14. Let k(s) = -s**2 + 13*s - 3. Is k(t) a composite number?
True
Suppose 5*r = -4*q + 51, q = r + 2*r. Suppose d - 4*v = -q, 4*v = -2*d + 9 - 3. Is 23 + (-1)/1 + d prime?
False
Let a be 0 - -4 - 10/5. Let w(o) = 4*o**2 - 2*o - 2. Is w(a) a prime number?
False
Is 1 - (-810 - (-2 - -4)) a composite number?
True
Is 1*((3 - 4) + 80) prime?
True
Let q = -10 - -43. Is q prime?
False
Suppose 2*i - 308 = 102. Is i prime?
False
Suppose m = -4*r + 4, 0 = 2*m - 4*r + 3 + 1. Let j be (-684)/(-10) - (-2)/(-5). Suppose m = 2*x + 3*k - j, 5*x - 3*x - k = 76. Is x composite?
False
Let z = -7 - -12. Is (15/6)/z*418 composite?
True
Let l = -382 + 559. Is l a composite number?
True
Suppose 2*f + 3692 = 4*x, 0 = -2*x + 5*x - 5*f - 2783. Is x a prime number?
False
Let l be 0 - (-4)/6*6. Suppose -l*y - 1544 = -9*y - 4*n, 5*y = 4*n + 1576. Suppose -5*u = 47 - y. Is u a composite number?
False
Let o(l) = -6 - 2 + 1 + 16*l + 21*l. Let v be o(5). Suppose -2*a = -88 - v. Is a prime?
False
Is ((-2)/(-6))/(2/3918) composite?
False
Let v(b) = -5*b**3 - 6*b**2 + 4*b + 11. Let p(h) = -6*h**3 - 6*h**2 + 5*h + 12. Let u(i) = -4*p(i) + 5*v(i). Is u(-6) a prime number?
True
Suppose 321 + 125 = 2*i. Is i a composite number?
False
Suppose -3*d + 6 = 0, 0 = -2*n + 5*n - 5*d - 7223. Is n a prime number?
True
Suppose q - 3*q = -456. Suppose 3*z = -z + q. Is z prime?
False
Let i = -3 - -3. Suppose 4*t + i*t - 2344 = 0. Suppose -3*y + y = -t. Is y composite?
False
Let a(m) = -m**3 - 2*m**2 + 2*m + 7. Let z be a(-6). Let r = -70 + z. Is r prime?
False
Suppose -5*x + 3991 = -3*f, x - 1099 = f - 300. Is x a composite number?
False
Suppose -2*o + o = 5*w - 238, -w + 756 = 3*o. Suppose 3*z - i - o = 0, -3*z + 2*i + 237 = 5*i. Is z a prime number?
True
Let w(m) = -m**3 - 7*m**2 + 2*m + 4. Let h be w(-7). Let g(c) = -17*c + 3. Let a be g(h). Suppose -3*q - 4*s + 107 = 8, -4*s + a = 5*q. Is q composite?
False
Is 3 + -5 + 4 + 1149 composite?
False
Let m = 67 + -30. Is m prime?
True
Suppose -18 - 12 = 5*k. Let p(v) = -v**3 - 3*v**2 - 5*v - 4. Is p(k) composite?
True
Let x = -244 - -663. Is x a prime number?
True
Suppose 1931 - 606 = 5*o. Is o a prime number?
False
Let v = 69 - 10. Is v prime?
True
Suppose -2*y = -5*y. Suppose -j - 237 = -y*j. Is 1/3*j/(-1) prime?
True
Let o(n) be the third derivative of -15*n**4/4 - n**3/6 + n**2. Is o(-1) prime?
True
Let r(l) = l + 6. Let w be r(-3). Suppose -14 = -w*z + 4. Is (4/6)/(z/63) composite?
False
Suppose 5*h + 38 = -2*a, -5*h - a = 2*a + 42. Let o = h + 8. Suppose -i = -o*i + 91. Is i composite?
True
Let f(p) be the second derivative of -7*p**3/3 + p**2/2 + 3*p. Is f(-3) a prime number?
True
Suppose -2*i + 26 = -4*y, 0 = -0*i - 4*i + 4*y + 32. Suppose -i*n = -5*k + 69, -2*k = k - 5*n - 51. Is -2*(-2)/(k/45) prime?
False
Suppose -9 = 2*v + 3. Is 354/8*(-16)/v a prime number?
False
Let d = 3 + -1. Let u(o) = 24*o + 2. Let w(g) = 23*g + 3. Let s(j) = 4*u(j) - 3*w(j). Is s(d) a prime number?
True
Let u = 462 + -191. Suppose 5*s = -4*c + 437, 0*c - 2*c - u = -3*s. Is s a composite number?
False
Suppose 2*c - 87 = p - 2*p, -p + 3*c = -107. Is p a prime number?
False