prime?
False
Let b(w) = -10*w - 3. Suppose -5 = -2*k - 19. Is b(k) prime?
True
Suppose 0 = -0*n + 3*n + 96. Let v = 77 + n. Is (-4)/(-2 - 0) + v a prime number?
True
Let n(i) = 3 + 5 - 6*i - 15 + 12*i**2. Is n(-7) a prime number?
False
Let u be (-80)/(-15) - (-2)/3. Let c be (0 + 2)*6/u. Suppose -2*z + q + 380 = 0, 0 = -4*q + c + 6. Is z prime?
True
Let d = 20 + -13. Suppose 0*w + d*w - 987 = 0. Is w composite?
True
Suppose 4*y - 2*b - 2*b - 6156 = 0, -4*y + 6160 = -5*b. Is y composite?
True
Suppose 144 = -0*g - 3*g. Let v = 82 + g. Is v prime?
False
Suppose 2*l - 5*a + 3*a - 8 = 0, -2*l + 5 = -a. Let w be (-10)/(-8)*(l + 99). Suppose -w = -3*b - 2*b. Is b a prime number?
False
Is (-9)/21 - (-23708)/(-14)*-1 prime?
True
Let g = -223 - -328. Suppose -2*w - 27 + g = 0. Is w a composite number?
True
Let q(r) = -r**3 - 12 + 0*r**3 + r + 13. Is q(-7) composite?
False
Is 0 - (-91)/((-2)/(-2)) composite?
True
Let i be (-22)/(-5) + (-2)/5. Let q(d) = 4*d - 4. Let o be q(5). Suppose i*v + s - o = 3*v, 3*s - 70 = -5*v. Is v a prime number?
True
Suppose -2*j = h + 1, -2*j = -h + 3 - 4. Let s(c) = c + 13. Is s(j) a composite number?
False
Suppose 2*x - 29 = -m, -2*x + 5*m + 9 = 2*m. Is ((-14)/(-6))/(2/x) a composite number?
True
Suppose 0 = -2*q - 4*o + 426, -6*o + 2*o - 852 = -4*q. Is q composite?
True
Let q(h) = -h**3 - 3*h**2 + 5*h + 2. Let t be q(-4). Let w be 0 + (-12)/(0 - 3). Is 646/w + 1/t a prime number?
False
Let j be (-2)/(-4*(-3)/(-1002)). Suppose -5*u = -4*w - j, -4 = 2*w + 2. Is u prime?
True
Let l = -488 + 180. Let r = l - -523. Is r prime?
False
Is 582/(-12)*44/(-2) a composite number?
True
Suppose 7 = c - 9. Is 314/(-3)*(-24)/c a composite number?
False
Suppose 0 = 3*s + 4*u - 189, 3*u = 5*s + 4*u - 298. Is s a composite number?
False
Is (-2059)/(6 + 28/(-4)) a composite number?
True
Let m = 81 - -2. Is m a prime number?
True
Suppose 12 = -4*p - 0. Let g be (p - -3)/(2/2). Suppose g = w + 4*w - 95. Is w composite?
False
Let h(l) = -22*l - 1. Let k(g) = g**3 + 6*g**2 - 8*g - 8. Let b be k(-7). Let f(w) = 2*w**3 + 2*w**2 + w. Let j be f(b). Is h(j) composite?
True
Let w(v) = 40*v + 2. Is w(2) a composite number?
True
Let d = -1300 - -2367. Is d prime?
False
Suppose -5*c = -3*w - 3362, 2 = w + 1. Is c prime?
True
Let o(g) be the first derivative of 4*g**2 + 3*g - 1. Is o(5) composite?
False
Let w(o) = 4*o**3 - 8*o**2 + 12*o - 8. Let i(a) = -7*a**3 + 16*a**2 - 24*a + 15. Let r(t) = -3*i(t) - 5*w(t). Is r(8) prime?
False
Let d(h) = 10*h**3 + h**2 - 8*h + 9. Is d(4) prime?
False
Let a(r) = -902*r - 3. Is a(-2) prime?
True
Let x(z) = -24*z - 1. Let m be x(-2). Suppose 4*u - 3 = 5*w + 3, 4 = u. Suppose -w*k - m = -3*o, -2 = -o - 3*k + 10. Is o composite?
True
Let q(g) = -5*g**3 - 3*g**2 - 5*g - 4. Let a = -10 - -7. Is q(a) composite?
True
Is (31 + -9)*(-974)/(-4) prime?
False
Suppose d - 36 = w + 3*w, 5*d = w + 104. Suppose 5*u - d = -0*u. Suppose 5*r + 2*c - 75 = 35, u*r = 4*c + 88. Is r a prime number?
False
Let i(n) = -n**3 - 7*n**2 - 4*n - 5. Let m be i(-8). Is 3 + -4 + (m - 1) a prime number?
True
Let m be (2/(-3))/((-6)/36). Suppose -5*s - 4*j = -4, -s = m*j - 3 - 1. Suppose s = u - 319 + 72. Is u a prime number?
False
Let u be -2 + (-3 + 5 - 2). Is 98*u*(-3)/12 a prime number?
False
Let g(m) = -20*m + 11. Is g(-5) prime?
False
Let y = -339 - -588. Is y composite?
True
Suppose -3*d - 5*m = -2*m + 2460, 2*d + m = -1645. Let x be 1/(-2) + d/(-10). Suppose 4*j - 138 = x. Is j prime?
False
Suppose 4*c + 5*y + 2551 = -1564, 4*c + 4*y + 4112 = 0. Is (c - 3)/(-4)*1 composite?
False
Let k(t) = t**3 - 3*t**2 + 3*t + 3. Let y be k(5). Suppose 2*c + 9 = 5*a + y, 2*c - 2*a - 68 = 0. Is c a composite number?
False
Let o(s) = s**3 - 9*s**2 - 4*s + 6. Let u be o(9). Let x be 2/14 - (-2550)/35. Let k = u + x. Is k a prime number?
True
Let k = 242 + -115. Is k composite?
False
Let u be (-3280)/18 + 6/27. Let x(f) = 53*f + 4. Let n be x(5). Let z = u + n. Is z a composite number?
True
Let b be ((-16)/(-12))/(1/3). Suppose b*k - 2*d - 659 = k, 3*d - 1130 = -5*k. Is k a prime number?
True
Suppose 5*l = 4*f + 7, -l + 2 + 3 = -2*f. Let p(v) = 24*v**2 + v. Is p(l) composite?
False
Let q(i) be the second derivative of i**5/20 - i**4/3 - 2*i**3/3 + 3*i**2/2 - 3*i. Is q(6) a prime number?
False
Suppose -1801 = -t + 5*g, -5903 = -3*t - 4*g - 500. Is t composite?
False
Suppose 4*m - 2*k - 8 = 0, 4*m - 7 - 7 = -k. Let r = -1 + 5. Suppose -213 = -r*y + m*s, 2*y - 4*s = s + 117. Is y prime?
False
Suppose 0 = g - 0*g + 3*t + 3, -2*t = -3*g + 13. Let y(o) = o**2 - 2*o - 1. Let d be y(3). Suppose -d*v - v = 15, g*v = -b. Is b composite?
True
Suppose -7*d + 6*d = -77. Is d a prime number?
False
Let y(m) = -m**2 + 8*m + 4. Let b be y(4). Let w be -2 + b/1 - 0. Let n = w + -11. Is n composite?
False
Let s(i) = 31*i**2 + 4*i + 3. Let r be 2/(-3)*(1 + 2). Let x be s(r). Suppose -2*g = -3*y + x, -4*y + g + 2*g = -160. Is y prime?
True
Suppose s - 579 = -y, -5*s - 2*y = -2*s - 1741. Is s composite?
True
Let j = -6 - -9. Suppose 10 = j*y + 1. Suppose -30 = n - y*n. Is n a prime number?
False
Let s(n) = -5*n - 12. Let r be s(-11). Let k = -9 + r. Is k prime?
False
Let l = -19 + 47. Suppose u - l = -u. Suppose -u = -f + 17. Is f a composite number?
False
Suppose -3*a = 2*a, -2*b + 2 = -a. Is (-2 - b) + (6 - -248) a composite number?
False
Suppose 0 = -2*w + 3*n + 16, n = 5*w + 4*n + 2. Suppose -4*m = 20, 211 = 3*p + 2*m + w*m. Is p prime?
False
Let b be -1 - (-36 - 2) - -3. Suppose c = -4*c - b. Is (0 + c)*10/(-8) composite?
True
Let s(u) = u**2 + 3*u + 5. Let r be (-8)/(-36) + 260/(-36). Is s(r) a composite number?
True
Let j(y) = y**3 + 2*y**2 - 5*y + 5. Is j(6) a composite number?
False
Suppose i + 0 = -5. Let h(n) = 2*n**2 - 3*n - 3. Let g(x) = -5*x**2 + 9*x + 9. Let t(u) = 3*g(u) + 8*h(u). Is t(i) a composite number?
False
Suppose -4 + 14 = -2*r. Let p(o) = -o**3 - 4*o**2 + 3*o + 4. Is p(r) a composite number?
True
Suppose -a - 8 = -5*a. Suppose -4*t + 140 = a*j - 62, -217 = -4*t + j. Is t a prime number?
True
Let s be (-2 + -2)/(-1 + 3). Is s/8 + (-317)/(-4) a composite number?
False
Suppose 4*t - 3*g = 17, g + 9 + 0 = 2*t. Suppose -h = -2*a + 6*a - 23, t*a - 3*h - 33 = 0. Is a a composite number?
True
Let v(z) = -890*z + 5. Is v(-1) a composite number?
True
Let y = -8 + 10. Let q be (0/4)/(6/y). Suppose 4*z + 522 = 4*m + 6, -2*m - 4*z + 282 = q. Is m prime?
False
Let o(d) = -d**3 - 10*d**2 - 8*d + 1. Let a be o(-9). Suppose -7*i - 4*t = -3*i - 320, -216 = -3*i + 3*t. Is (i/6)/(a/(-12)) prime?
True
Suppose -7*d - 330 = -4*d. Let h = 269 + d. Is h a composite number?
True
Suppose -4*n - 2 = 5*w, -4*w + 0*n = 2*n - 2. Suppose -83 = -y - 0*a + w*a, 0 = 4*y + 3*a - 299. Is y composite?
True
Suppose 8 = 4*f - 4. Suppose a - 17 = f*u + 3*a, 3*a + 27 = -5*u. Is 1*(-2 - u)*21 prime?
False
Let o(l) = 52*l - 2. Let u be o(-1). Is (-26370)/u - 8/6 prime?
True
Let k(l) = l**3 + 9*l**2 + l + 3. Suppose s - 2*n + 1 = 0, 0 = 4*s + 3*n + 27 + 21. Let q be k(s). Is q/3 + 26 + 2 a composite number?
True
Suppose 0*k - 3*k = 1788. Let b = -359 - k. Is b composite?
True
Let h(p) = p**2 - 4*p + 5. Let t be (-1 - (-1)/4)*8. Let d be 40/6 + (-2)/t. Is h(d) a composite number?
True
Let o = -4 + 3. Let p be (75 + o)/(10/25). Suppose -c - p = -5*n + 4*c, 2*n - 3*c = 74. Is n a composite number?
False
Suppose 0 = -3*c - c - 1644. Let b = c + 1267. Let n = b + -437. Is n composite?
False
Let o = -5 - -5. Suppose o*f + 30 = 2*f. Is f prime?
False
Suppose 4674 + 2664 = 6*g. Is g composite?
False
Suppose -p + 2*c + 12 = 4*p, 5*p + c - 24 = 0. Suppose -4*m - 2*d = -2, 2*m = 4*m - 4*d - 16. Is 170/p*(m - 0) prime?
False
Let m(q) = -109*q + 1. Let v be m(4). Let s = -224 - v. Is s prime?
True
Suppose 4*n - 4 = 0, -o + 3*n - 127 = -33. Let f = o + 138. Let m = f + -8. Is m a prime number?
False
Let h(r) be the third derivative of -19*r**4/12 + r**3/6 - 3*r**2. Is h(-1) prime?
False
Suppose h - 7572 = -11*h. Is h a composite number?
False
Let z = -1 - -3. Is (-5)/15*(-708)/z a prime number?
False
Suppose 0 = 5*c + h - 2761, 0 = c - 4*h - 534 - 35. Is c a prime number?
False
Let w be ((-1)/1 - -1) + 1. Is w/(-2) - 38/(-4) a composite number?
True
Suppose 13*k - 578 = 891. Is k composite?
False
Suppose -k = 4*x