omposite number?
True
Let b = -2398 - -4740. Is b prime?
False
Suppose -444*l = -463*l + 189943. Is l composite?
True
Let v be -265*(2/(-4) - 2/(-20)). Suppose -v + 7159 = 3*m. Is m a composite number?
False
Let x = -24 - -41. Let r = -12 + x. Suppose 0*y + 3545 = r*y. Is y a composite number?
False
Suppose 17*y + 22136 = 25*y. Is y a prime number?
True
Suppose -1 = 2*z - 19. Suppose z*p - 1151 = 8*p. Is p prime?
True
Let v(x) = 3820*x**2 + 3*x - 2. Let k be v(1). Let d = -2460 + k. Is d a composite number?
False
Suppose 0 = 5*c + 5*r - 2220, -4*c + 2823 - 1072 = -r. Let x = c + -146. Is x prime?
True
Let u(o) = o**2 + 5*o - 6. Let h be u(-6). Suppose -3*q + 77 - 480 = 4*s, 5*q + 5*s + 670 = h. Let m = q + 222. Is m prime?
True
Let z(k) = -2*k**3 - 7*k**2 + 9*k - 18. Let t be z(-9). Suppose 4*v - 3*v + n = 266, -n + t = 3*v. Is v a composite number?
False
Is (-14)/(-60)*6938 - (-6)/45 composite?
False
Let j = 3 - 1. Suppose d - j = -10. Is (-16)/128 + (-6249)/d a prime number?
False
Suppose 0 = -d + 3*q + 4, d + d = -5*q + 8. Suppose 0 = -3*a + 2 + 4, 0 = -d*o - 5*a + 1018. Let p = o + -119. Is p prime?
False
Let i(y) = -y**3 - 11*y**2 + 3*y - 24. Let b be i(-10). Is ((-1)/(-2))/((-7)/b) a composite number?
False
Let x = 1746 + 541. Is x a composite number?
False
Let v(t) = 56*t - 57. Is v(17) a prime number?
False
Let z(g) = -17*g**3 - 4*g - 2 + 6*g - 48*g**3 + 21*g**3. Let c be z(2). Let s = c - -511. Is s a prime number?
False
Suppose 6 = 10*a - 34. Suppose 0 = a*t - 1717 + 41. Is t a prime number?
True
Let g(y) = -52*y**2 + 2*y - 5. Let z be g(4). Let j = z + 1974. Suppose w - 1161 = -4*q - q, 5*q = -5*w + j. Is q composite?
False
Let w(t) be the third derivative of 143*t**4/24 + 37*t**3/6 + 36*t**2 - 2*t. Is w(6) a prime number?
False
Suppose -2*p = -16 - 4. Suppose -10 = 2*l - 2*q, -l + p = 2*q - 0*q. Suppose 5*v - 1055 = -l*v. Is v prime?
True
Suppose 25588 + 48292 = 8*a. Is a a composite number?
True
Let g be 8/6*(2 + 1). Suppose g*r - 1134 = -82. Suppose 2*t = t + r. Is t prime?
True
Suppose h + 22 = -5*o - 0*h, 5*o + 2*h = -24. Let b = o - -6. Suppose -5*y = -b*y - 105. Is y prime?
False
Let p be (2 + 10)/(1/2). Suppose -g + 14 = -4*o, 19 - 13 = -3*g. Is p/(-16) + (-94)/o a prime number?
False
Is 67352/12*(-1)/((-4)/6) a composite number?
False
Let g = 1391 - -1608. Is g a composite number?
False
Let p = -455 - -972. Is p composite?
True
Suppose 0 = -6*z + 3*z - 3. Is (3 + z - (2 + 1)) + 1406 a composite number?
True
Let c = -1372 + 2642. Suppose 6*d = d + c. Is d a composite number?
True
Let x = -62 + -22. Let m = x - -283. Is m a prime number?
True
Suppose 0 = -64*y + 63*y + 19263. Is y composite?
True
Let h be ((-10)/(-8))/(3/12). Suppose -n + 1 + 2 = h*t, -3*t + 2*n = 6. Suppose -2*r - 32 = -2*b - 0*r, 2*b - 5*r - 23 = t. Is b a composite number?
False
Let x(v) be the first derivative of 7*v**3/3 + 9*v**2/2 + 2*v - 4. Let z(s) = -15*s**2 - 19*s - 3. Let i(w) = 5*x(w) + 2*z(w). Is i(6) composite?
True
Suppose j - 4911 = -2*o, 17*o + 19600 = 4*j + 14*o. Is j a composite number?
False
Suppose -5*w + 6*w - 3 = 0. Suppose -4*o - 4*u = -6*o + 134, -w*u = -2*o + 130. Let i = o - -150. Is i composite?
True
Let l be (-7 - 287/(-42)) + 91/6. Is (17076/(-18))/(l/(-9) - -1) a composite number?
False
Let y be ((-17720)/(-28))/(2/14). Suppose 188 + y = 2*v. Is v prime?
True
Let z be (3/2)/((-6)/(-16)). Suppose x + 3*d = d + 157, 501 = 3*x - z*d. Is x a prime number?
True
Let n = -17 + 25. Is 6/(-24) + 210/n prime?
False
Suppose -7 - 1 = -2*w. Suppose -3*h = -7*h + 5*o + 1239, 0 = 2*h + w*o - 600. Suppose 2*v + 229 = 3*d + 3*v, v = -4*d + h. Is d prime?
False
Suppose -206 = -4*u + 3*n, 2*u + 2*n = -u + 163. Suppose u = -2*v - 153. Let a = 221 + v. Is a a composite number?
True
Is (5 - 4 - 0)*1639 a prime number?
False
Suppose -f + 8 = f. Suppose 778 = f*u - 546. Is u prime?
True
Suppose -3*s - s + 4 = -m, -5*m - 4*s + 28 = 0. Suppose 0 = -a - 2*q + 220, -35 = m*a + 5*q - 918. Let p = a - -299. Is p a prime number?
True
Is (1 + 2 - 7) + 5631 composite?
True
Suppose -6*l - 157620 = -11*l + 5*q, 2*l = 4*q + 63050. Is l a composite number?
True
Suppose -2*a + 16 = 2*a. Suppose -5*k = -8*o + a*o - 5, 0 = 3*k - 3. Suppose -4*i = -o*i - 1348. Is i prime?
True
Let o be (0 - 4 - -8)*2. Suppose k = 5*k - o. Suppose 4*h - 1036 = 4*t, -t + 267 = 3*h - k*h. Is h a composite number?
False
Let v be -2 + 2 + (-1 - -2) + 2. Suppose -4 = 4*w, -4*a - w = v*w - 3160. Is a prime?
False
Suppose 0 = 53*s - 50*s - q - 99769, 66504 = 2*s - 5*q. Is s composite?
True
Let j = 8211 + 1278. Is j a prime number?
False
Let x be (2/(-6))/((-1)/(-3)). Let u(q) = -681*q**3 - 3*q**2 - 3*q. Let v(a) = 680*a**3 + 4*a**2 + 4*a. Let b(m) = 3*u(m) + 2*v(m). Is b(x) a composite number?
False
Let o = -19 - -13. Let r(c) be the first derivative of c**4/4 + 7*c**3/3 + 3*c**2/2 + 8*c + 3. Is r(o) a prime number?
False
Suppose 0 = k - 5*k. Suppose k = -4*v - 1 + 101. Let c = 82 - v. Is c prime?
False
Suppose -4*h - 1704 = -2*c, 3*h + h = -5*c + 4330. Is c prime?
False
Suppose -17*d + 20*d - 76155 = 0. Is d prime?
False
Let q = 58 - 54. Suppose c + 4*p - 1713 = 3*p, -q*p + 3434 = 2*c. Is c a prime number?
True
Suppose n = 4*s + 959, 3*n - 4233 = -s - 1356. Is n prime?
False
Let a(f) = f**2 - 10*f - 15. Let q be a(12). Is 3/q + (-2912)/(-3) a composite number?
False
Suppose -27*j + 543 = -26*j. Let l = 862 - j. Is l composite?
True
Let k(m) = -9946*m - 61. Is k(-2) composite?
True
Let b(l) = -l**3 + l**2 + 45*l + 232. Is b(-5) a prime number?
True
Suppose 83 = -2*b + 419. Suppose -3*j + 2*m + b = m, -4*j = m - 224. Suppose -2*i = -0*i + 3*l - 122, -l = -i + j. Is i a composite number?
True
Let c be -12 + -733 - (1 + 0). Let d = 143 - c. Is d prime?
False
Suppose -32*j = 6*j - 4978. Is j a composite number?
False
Let q(x) = -20*x**3 + 3*x**2 - 20*x - 52. Is q(-5) composite?
True
Is (-18)/3 + (1862 - -5) a prime number?
True
Let y(n) = -n + 20. Let l = 16 - 16. Let t be y(l). Is (-343)/(-3) - t/(-30) a prime number?
False
Suppose -2 - 6 = 4*i. Let a be 185/i - 5/10. Let v = a + 151. Is v a prime number?
False
Let z be 1/(-9) + 222/54. Suppose -v = 3*t - 580, t + 5 = -z*t. Is v prime?
False
Suppose 2*p - 1268 = -4*y, -4*y + 1905 = 3*p - y. Let a = p - -106. Is (-21)/(-35) - a/(-5) a prime number?
True
Let w(b) = -1756*b**3 - 5*b - 4. Is w(-1) prime?
False
Let x = -4479 - -6309. Suppose 2*a + 2450 = 4*l, -2*l + 5*l - x = -a. Suppose 4*f = -2*g - g + l, -f = -2*g - 161. Is f composite?
True
Let k be ((-80)/3)/2*69. Let s = k + 1302. Is s prime?
False
Let a = -115 - -120. Suppose -a*r + 3*y + 2600 = 0, -5*r - 5*y + 1164 = -1396. Is r a prime number?
False
Suppose -n - 5*t = -4*n + 13534, -2*t + 18054 = 4*n. Is n a composite number?
False
Suppose 84 + 224 = 4*g. Is g prime?
False
Is (118/(-6))/(((-84)/3006)/14) prime?
False
Let t = 52465 - 19982. Is t a composite number?
True
Let r(n) = -6*n**2 - 10*n - 11 + 4*n**2 + n**2. Let y be r(-10). Let x(l) = 9*l**2 + 15*l - 3. Is x(y) composite?
True
Suppose 6*b - 62716 = 2*b. Is b a composite number?
False
Let a(v) = -33*v - 4. Is a(-35) prime?
True
Let q be (-114)/(-3)*(-3)/(-6). Let j = q + -17. Suppose -r = 4*d - j*d - 127, 5*d - 3*r - 334 = 0. Is d composite?
True
Let r(k) = 3*k**3 - 8*k**2 - 3*k - 1. Let w = -60 + 66. Is r(w) a prime number?
False
Let n be 1/(-4) - 1002/(-8). Let d be -1 + 20/4 - (1 + -4). Suppose -2*r - n = -d*r. Is r prime?
False
Let g = -72 + 94. Is (g/4)/(-3*2/(-84)) prime?
False
Suppose -3*s + 2439 = -3*x, -7*s - 1632 = -9*s - x. Is s a prime number?
False
Is ((-6)/(-12))/((-6)/(-14244)) a prime number?
True
Is (4 + 5029)*1 + 0 a composite number?
True
Let q be 3 + -1 + -42 + -4. Let w = 59 - q. Is w prime?
True
Suppose -6*r = -7*r + 3559. Suppose 0 = 9*x - r + 1066. Is x a composite number?
False
Let d(p) = p**3 + 2*p**2 - p + 11. Let q be d(-7). Let b = -781 + 423. Let k = q - b. Is k composite?
False
Suppose -3363 = 2*n - 10649. Is n a prime number?
True
Suppose -6*i + i = -5*h, 0 = 5*h - 10. Suppose -1110 = -2*s - q, -i = -q + 2. Is s prime?
False
Let w(g) = 56962*g**3 - g**2 + 2*g. Is w(1) composite?
False
Let i = 27 + -17. Suppose -7*r = -i*r + 231. Is r a composite number?
True
Suppose -5*l + n + 19 = -0*l, -4*n = -2*