 + (-372)/(-10) prime?
True
Let n be (-3)/(3 + -6 - -2). Suppose -l + 0*l = -n. Is l prime?
True
Let l = -11 - -15. Suppose -2*a + 4*p = 5*p - 95, -l*a + 193 = p. Let t = a - -94. Is t composite?
True
Suppose -3*h = -6, 4*d + 3*h = -0*h + 7666. Is d a composite number?
True
Suppose 0 = 2*k + 4*f + 12, 7*f - 2*f + 25 = 0. Suppose 0*i - 844 = -k*i. Is i composite?
False
Let v(a) = 16*a + 5. Let c(k) = 16*k + 5. Let p(i) = 5*c(i) - 4*v(i). Is p(5) prime?
False
Suppose d - 107 + 29 = -3*v, -2*d - 2*v = -144. Suppose -5*i - 2*h + 6*h + 125 = 0, -d = -4*i - 3*h. Is i a prime number?
False
Suppose 2*u - 3806 - 3776 = 0. Is u prime?
False
Suppose 3*s = -s. Suppose s*b + 2*b = 586. Is b a composite number?
False
Suppose -5*p - 570 = -5*a, -a - 4*p - 111 = -2*a. Is a prime?
False
Let q = 0 - -3. Suppose q*m + 4*b - 21 = 42, 4*b = -4*m + 88. Suppose 1 = -i, -p + 5*i + m = -2. Is p prime?
False
Suppose 2*k = -0*k + 14. Suppose 0 = k*g - 3*g - 356. Is g prime?
True
Suppose 10 - 885 = -5*l. Suppose -2*z = -179 - l. Is z a composite number?
True
Suppose -3*t = -4*k + 1531, 3*k - 4*t = 5*k - 738. Is k a prime number?
True
Suppose 4*z + 4 = 0, 5*p - 2*z - 28 = 14. Let q(x) = -x**3 + 14*x**2 - 4*x - 5. Is q(p) a composite number?
False
Let f = 16 - 8. Suppose -3*m = -70 - f. Is m composite?
True
Let k be (-6)/(-27) + 2/(-9). Suppose -f = -1 - k. Is 8 + (-3*f - -2) a prime number?
True
Let r be 1/3 + (-4)/12. Suppose 0*c + 4*c - 16 = r. Suppose 2*u + 114 = c*u. Is u a prime number?
False
Let u be (-54)/(-12) + 2/(-4). Suppose 254 = -2*j + u*j. Is j a prime number?
True
Let k = 98 + 21. Is k a composite number?
True
Suppose 24 = -2*m - 0*m. Let z = -23 - m. Let c = 2 - z. Is c composite?
False
Let k = 8 + -3. Suppose 3*d + 10 = 5*b, k*d + 3*b - 8 = -2. Suppose 5*j - 3*y - 115 = y, -j + 4*y + 39 = d. Is j a prime number?
True
Suppose 4*w + 6*b = 7*b + 930, 4*w = 3*b + 926. Is w a composite number?
False
Suppose -3*p + 7*p - 1240 = -3*b, 0 = 3*p - b - 917. Is p composite?
False
Let l be 5/15 + (-4)/(-6). Is 20 + -1 + 2 + l a prime number?
False
Suppose 213 = 3*t - 15. Suppose 2*k - k + 2 = 0. Let n = t + k. Is n a prime number?
False
Let f(y) = 2*y - 5. Let s be f(4). Let x(p) = -s*p + 10 - p + p. Is x(-8) composite?
True
Suppose 10*g - 97 = 9*g. Is g prime?
True
Let z = 10 + 21. Suppose -z = -4*q + 117. Is q prime?
True
Is (4 + (-13582)/(-6))/(1/3) prime?
True
Let o = 10 + -10. Suppose 7*n - 4*n - 69 = o. Is n composite?
False
Let a(g) = g**2 + 4*g + 8. Is a(-9) prime?
True
Let m(x) = 4 + 4*x - 5 + 4 + 3. Is m(8) a composite number?
True
Suppose 5*p = -5*o - 175, 5 = 2*o + 3. Let v = p - -53. Suppose -2*t + v = -21. Is t prime?
True
Suppose -5*d = 11 - 26. Is d prime?
True
Let z(c) = c**2 - 2*c - 5. Suppose 0 = -o + 2*o - 3. Suppose -o*l - 11 = 1. Is z(l) prime?
True
Suppose -5*x + 2*o = -16, 3*x - 3*o + 1 = 7. Suppose 0 = -3*q - h + 11, x*q + 0 + 2 = 2*h. Suppose q*j - 5*l = 21, 0*l + 6 = -2*l. Is j prime?
True
Is -1 + 8280/21 - (-4)/(-14) composite?
True
Suppose 2*g + 2*g - 6 = -3*h, -3*h - 18 = -4*g. Let i be 0 - (14/1 + -3). Is (-1 + 1)/h - i a prime number?
True
Let b be 2/((-1)/(-4 + 3)). Suppose 149 = 3*f - b*f. Is f prime?
True
Suppose -5*m - j - j = -281, 2*j + 4 = 0. Let p = -5 - -8. Suppose -p*n + m = -0*n. Is n a composite number?
False
Suppose 0*u + 1 = u. Let z(k) = -2*k**2 - u - 4*k - 5*k + 5*k**2. Is z(7) a prime number?
True
Suppose -v + d = -5, -2*v = -4*d - 0 - 16. Let h be (-1239)/(-14)*v/3. Let p = 172 - h. Is p a composite number?
False
Suppose -4180 = -6*f + 4*f. Suppose 5*l = 5*t + f, 2*l - 5*t = 6*l - 1681. Is l a composite number?
False
Suppose -q + 33 = 4*r, -4*q + 3*r + 57 = 4*r. Let y = 50 - q. Is y composite?
False
Let s = -67 + 76. Is s a composite number?
True
Suppose -4*r - 2113 = -4*l + 1387, -3*r + 883 = l. Is l composite?
False
Let j(c) = -c**3 - 10*c**2 - 10*c + 1. Let m be j(-7). Is 12/(-8)*m/6 a composite number?
False
Let a = -586 - 0. Let t = -107 - a. Is t composite?
False
Let v(j) = j**2 - 6*j + 7. Let y(q) = -q**2. Let n(s) = -v(s) - 3*y(s). Is n(7) a prime number?
False
Let x be ((-9)/(-6) + -2)*-6. Suppose -3*a + 51 + 213 = 5*c, 9 = x*c. Is a prime?
True
Suppose 5*v - 26 = -6. Suppose -5*c - 77 = -n, -c - v*c - 15 = 0. Is n a prime number?
False
Suppose 0 = -2*x - 5*h - 17, 0 = 3*x + 5*h - 4*h - 7. Suppose g - 6*g - 580 = -4*r, -5*g + 620 = x*r. Let u = -61 + r. Is u a composite number?
False
Suppose -r + 3*r - 58 = 4*o, -5*r = 5*o - 205. Is r a composite number?
False
Let m = -270 - -534. Suppose -5*k + k + m = 0. Let u = k - 47. Is u a composite number?
False
Let p(a) = a**3 + 4*a**2 - 6*a. Let v be p(-5). Suppose 0*q - 35 = -5*q - v*r, -17 = -3*q + r. Is q/((18/15)/3) a prime number?
False
Let t(o) = o**3 + 4*o**2 - 2. Let h be t(-3). Suppose -2*y = h - 33. Is y a prime number?
True
Let u = 449 + 296. Is u prime?
False
Let f(z) be the third derivative of -13*z**4/12 - z**3/6 + 6*z**2. Is f(-3) composite?
True
Suppose -1491 = -3*r + 2*w, -6*r + r + 2492 = -w. Is r composite?
False
Let p be 1 + -2 - (-10)/2. Is (-14)/p*-10 + 3 prime?
False
Let a = 156 - -7. Is a composite?
False
Let d = -34 + 71. Is d prime?
True
Suppose 0 = 5*m + q - 753 + 158, 0 = 3*m + 3*q - 357. Is m prime?
False
Let c(z) = z**2 + 2*z + 2. Let a be c(-2). Suppose -a*v = -5*v. Suppose 4*o - 50 - 2 = v. Is o composite?
False
Suppose -35 = 2*o - k - 2*k, o + 5 = -k. Suppose -2*u - 4*p + 9*p - 6 = 0, -2 = -4*u + 3*p. Is u/(-3)*285/o a prime number?
True
Suppose 3*g - 806 + 233 = 0. Is g a prime number?
True
Suppose 35*v - 32*v - 7005 = 0. Is v composite?
True
Suppose 36 = 2*x - 32. Suppose -x = n - 163. Is n a prime number?
False
Let m(d) = -4 + 5*d**2 - 2*d**2 - 3*d - 1 - d**2. Is m(4) a prime number?
False
Suppose 0 = -5*l - 25, 158 = 3*m - 0*l - l. Suppose 2*s = 23 + m. Is s a prime number?
True
Let w(j) = j - 2. Let x be w(-4). Let h be -36*x/4 + 0. Is (h - (0 - -2)) + 1 composite?
False
Let i be (2 + (-32)/12)*-381. Suppose 2*u - i = -0*u. Is u prime?
True
Let b(k) = 5*k + 3671. Is b(0) composite?
False
Is (608/(-12))/(-8)*177 prime?
False
Let d(u) = 17*u**2 - 3*u - 19. Is d(-6) prime?
False
Let s(k) be the third derivative of k**4/24 + 2*k**3 + 2*k**2. Let t be s(0). Is 5/(-10)*t/(-1) a composite number?
True
Is (3/((-9)/(-879)))/1 a prime number?
True
Let r be (-3)/(-3) + -2 + 0. Let n(x) = -377*x**3 - x**2 - x. Is n(r) a composite number?
True
Let n(f) = 3*f**2 - 33*f - 4. Let s(u) = -2*u**2 + 17*u + 2. Let j(v) = 3*n(v) + 5*s(v). Is j(-12) composite?
True
Suppose -8*b + 5192 = -0*b. Is b prime?
False
Suppose -4*c + 13 + 2 = -3*b, b = 5*c - 5. Suppose 101 = 4*u - s, -3*u + c*s + 90 = 4*s. Is u prime?
False
Suppose i + 3*i = -c + 167, -c = -i - 182. Is c a prime number?
True
Is 44*3/((-24)/(-94)) a prime number?
False
Suppose 0 = -2*m + 5*f + 1209, 0*m - 5*f = -4*m + 2403. Is m a composite number?
True
Let x = -305 - -519. Is x composite?
True
Let c(b) = 3*b**2 + 4*b - 17. Is c(-8) prime?
False
Let u be 381 - (2 + 1*-2). Suppose 0 = -m + 2*m - u. Suppose -c = -4*c + m. Is c composite?
False
Suppose -2*b + m + 26 = 0, 0 = 3*b - 7*b - 5*m + 52. Suppose -5*c + b = 3. Suppose 0 = -3*i - c*i + 395. Is i a composite number?
False
Let w = -82 + 501. Is w a composite number?
False
Suppose -3*q + 3971 = -2*y, -4*q - y + 933 = -4369. Suppose -q + 270 = -5*g. Is g a composite number?
False
Suppose 2 = -3*z + 5*v + 23, -v + 3 = 3*z. Suppose z*x = 7*x - 55. Is x prime?
True
Let i(g) = 2*g + 3. Let v be i(0). Suppose r - v*j = 46, 2*r - 87 = -2*j - 27. Is r a prime number?
False
Let x(w) = 49*w + 13. Let d(l) = 24*l + 7. Let t(u) = 5*d(u) - 3*x(u). Is t(-3) a prime number?
False
Let c(v) be the second derivative of 4*v**3/3 + v**2/2 - v. Let b = 13 + -12. Is c(b) prime?
False
Let v = 86 + -5. Let c = -24 + v. Is c composite?
True
Let t be 4/(-14) + (-4)/(-14). Suppose 3*u - 2*g - 619 = t, 15 = 2*g - 5*g. Is u a composite number?
True
Is -89*(4 + -3)/((-2)/4) prime?
False
Let m be (4/(-10))/(2/(-30)). Suppose -2*c + 0*c = 3*k + 15, -2*c + 2*k + 10 = 0. Suppose c = -4*d - 5*z + 158, 5*d = m*z - 3*z + 179. Is d a prime number?
True
Let m(t) be the first derivative of 106*t**2 - 19*t - 4. Is m(7) prime?
False
Suppose -2*u = -4*u + 34. Let x = u - 12. Suppos