site?
True
Suppose 1 = -2*f + 11. Suppose 0 = f*c - 76 - 234. Is c a prime number?
False
Let t = 1861 + -168. Is t a composite number?
False
Suppose 27 + 285 = -4*l. Let a = l + -33. Let z = -64 - a. Is z prime?
True
Suppose v = 2*q + 3593, -3*q - 10782 = -v - 2*v. Is v composite?
True
Suppose 250 = -l + 663. Is l a composite number?
True
Let q = 1 - 5. Let s(o) = o**2 + 3*o + 1. Let x be s(q). Suppose -2*w - 85 = -x*t + 3*w, 125 = 5*t + 3*w. Is t a prime number?
False
Let h(k) = k**2 - 6*k - 8. Let j be h(7). Is (j + 0 - -18) + -2 prime?
False
Let g = -3 - -3. Is 48 + (g - 2 - 0) a composite number?
True
Let j = 733 - 248. Is j prime?
False
Let f(y) = -y + 6. Let o be f(5). Is (264/4)/(1 + o) a prime number?
False
Let d = -16 + 10. Is (-2 - 0)/(d/561) prime?
False
Let v = 12 - 8. Suppose 4*f + f = -25, -5*f = -v*j + 149. Is j prime?
True
Let o(g) = g**2 + 8*g + 7. Let t(h) = -2*h**2 - 16*h - 14. Let a(r) = 5*o(r) + 2*t(r). Is a(-8) a prime number?
True
Let b(d) = 17 - d**2 - 15 - 4*d - d**2 - d**3 + 0*d**3. Is b(-5) composite?
False
Suppose -1 - 5 = -3*x. Suppose 0*j + x*j = 406. Is j prime?
False
Suppose 3*t = 7*t - 1348. Is t composite?
False
Let u(y) = y**3 + 16*y**2 - 17*y. Let s be u(-17). Is 36 - (-1 - s/1) a prime number?
True
Let t be -2 + 0 - 412/(-4). Let g be 2*(-1 + 3)/2. Is (t - g) + -1 + -1 prime?
True
Let n be 6/9*6*2. Suppose h = 5*p - n, -5*p = -p - 4. Is h + (-3 - -2 - -51) prime?
True
Let u(n) be the third derivative of 19*n**5/120 - n**4/6 + 2*n**3/3 + 3*n**2. Let y(j) be the first derivative of u(j). Is y(3) a composite number?
False
Let m = -7 + 9. Suppose -5*o + 4*f = -17 + 3, m*f = -4*o + 6. Is (87/2 + 0)*o composite?
True
Let a = 2 + 4. Let l = a + 181. Is l a prime number?
False
Let c(u) = -3*u - 7. Let v be c(-6). Is (-2)/(-11) - (-207)/v composite?
False
Suppose 343 + 5 = 4*n. Is n composite?
True
Suppose 3*h = 4*q - 2*h - 3076, 2*h = 2*q - 1538. Is q a composite number?
False
Let z(h) = 151*h - 2. Is z(1) a prime number?
True
Let r(l) = -l**3 - 5*l**2 + 7*l - 4. Let n be r(-6). Let j(c) = c + 7. Let i be j(n). Is i/(-1)*(-235)/(-3) a composite number?
True
Let p(z) = z**3 - 3*z**2 - 3*z. Let a be p(4). Suppose a*i = 3*i + 85. Is i a composite number?
True
Let v(n) = 23*n + 4. Is v(5) composite?
True
Let y = -68 - -101. Is y a composite number?
True
Let w(x) be the third derivative of -11*x**4/24 - x**3/3 - x**2. Is w(-5) a composite number?
False
Suppose -p - 5*a = 25, -a = 3*a + 20. Suppose 7 + 13 = 5*m. Suppose -m*x - 52 = -4*w, p*w - 5*x = w + 11. Is w prime?
False
Let u be 13812/30 - (-2)/(-5). Let w be u*(-3)/(-6)*2. Suppose w = 3*n + n. Is n composite?
True
Let a be 13/(-2) - (-3)/2. Let i(d) = -19*d - 4. Is i(a) a prime number?
False
Let y = 689 + -148. Is y a prime number?
True
Let y(g) = -g**3 - 3*g**2 + 1. Let q be y(-3). Is ((-39)/6 - q)*-2 composite?
True
Let d = 3 + -3. Suppose d = -4*u + 5*n - n + 4, -5*u = -3*n - 13. Suppose 187 = 5*w - o, -2*w = u*o - o - 66. Is w a prime number?
True
Let k = 421 + 280. Is k prime?
True
Let q be (-2)/(-5) - 939/(-15). Suppose 2*k - q = -3*d - k, -3*k = -3. Suppose 0 = -l + 3*c + 97 - d, 2*l - 5*c - 149 = 0. Is l composite?
True
Suppose -368 = -3*d + 415. Let b = 382 - d. Is b a prime number?
False
Let c be 7*((-48)/(-14))/4. Is (196 - 3) + c/(-3) a composite number?
False
Let l(u) = -428*u + 1. Is l(-3) composite?
True
Suppose 8*y - 4*y = 0. Suppose -g + 129 - 14 = y. Is g a composite number?
True
Suppose 0 = -2*m + 24 + 420. Let i = -5 - -8. Suppose 0 = -i*g + g + m. Is g prime?
False
Let i(b) = -b**2 - 6*b - 4. Let k be i(-5). Let x = k + 1. Suppose x*a - 5*a + 9 = 0. Is a a composite number?
False
Let i(o) = 65*o**2 + 2*o - 1. Let q be 6/3 - 0/2. Is i(q) a composite number?
False
Suppose 3*m = 11 + 16. Suppose m = -5*d + 2*c - 46, -5*c - 22 = 2*d. Let p = d - -48. Is p a composite number?
False
Suppose 2*s + 18 = -0*s - 5*f, 0 = -f - 4. Let k = 3 + s. Suppose k*o = x + 198 + 127, -o + x + 79 = 0. Is o prime?
False
Let d(a) = 542*a**2 + a. Is d(-1) prime?
True
Let o(w) = 193*w - 5. Let k be o(2). Suppose -k = -0*r - 3*r. Is r prime?
True
Is 1 + (1 - 2) + -5 + 207 prime?
False
Is ((-83)/(-2))/((-2)/(-28)) composite?
True
Suppose 5342 = -10*k + 32552. Is k prime?
False
Let r = 78 - 51. Let c = -8 + r. Is c a prime number?
True
Let f(o) = -15*o - 3. Let q(u) = -u. Let n(m) = f(m) - 2*q(m). Is n(-2) a prime number?
True
Let p = -152 + 543. Is p a prime number?
False
Suppose 0*q + 141 = 3*q. Is q a prime number?
True
Is (8/(-10))/((-2)/(-5)) + 801 composite?
True
Let y be (1 - 3/(-5))*-5. Let f = 21 + y. Is f prime?
True
Let u(d) be the third derivative of d**5/30 - d**4/8 - 2*d**2. Let t be ((-10)/(-2))/(-3 + 4). Is u(t) composite?
True
Let d(x) = x**3 + 3*x**2 - 7*x - 5. Let b be d(-4). Suppose v + 1086 = b*v. Is v prime?
True
Suppose 4*u - 4*h - 6976 = 0, -u - 5*h + 2*h + 1724 = 0. Is u prime?
False
Let n(a) = 14*a + 5. Is n(11) a composite number?
True
Is 1*893 + 16/(-4) a prime number?
False
Let r = -387 - 31. Let x = -209 - r. Is x a composite number?
True
Let a(x) = 3*x**2 + x + 1. Let z be a(-1). Suppose -52 = -4*i - u + 3*u, -z*i + u + 41 = 0. Is i composite?
True
Let b = 241 - 114. Is b a prime number?
True
Suppose 0 = -j - 2*j + 9. Suppose -2*b = j*b. Suppose -3*s + 795 = -b*s. Is s a prime number?
False
Let v = 1 + -1. Is 1*10 - v/2 a composite number?
True
Let s(n) = 6*n**2 - 11*n - 5. Let y(h) = h**2. Let j(w) = s(w) - 4*y(w). Is j(8) prime?
False
Suppose -4*c - c + 20 = 0. Suppose 0 = -4*z + c*g, 6 = -2*z + 4*z + g. Suppose -z*j + 48 - 6 = 0. Is j prime?
False
Let z(b) = b**3 - 4*b**2 - 4*b - 3. Suppose f - 4 = 1. Let j be z(f). Is (-585)/(-10) + 1/j a composite number?
False
Let q(s) = 17*s**2 - 7*s + 3. Is q(7) prime?
True
Let m = -8 + 11. Let a be (16/(-6) - -2)*m. Is (58/(-3))/(a/6) prime?
False
Let t(j) = 4*j**2 - 4*j - 19. Is t(15) a composite number?
False
Let r = 108 + 19. Is r composite?
False
Let g be -3 - (-298 - (3 - 0)). Suppose 0 = -4*a + 5*t + 283, -4*a + 4*t + g = 2*t. Is a a prime number?
False
Suppose -2*q - 19 = 3*t - 0*q, -5*t + q - 10 = 0. Let s be 2 + (-3)/(0 - t). Let y = s - -6. Is y composite?
False
Let l = -360 + 677. Is l prime?
True
Suppose 0 = -4*u - i - 2 - 1, 0 = -3*i - 9. Suppose 3*w = -u + 18. Suppose 0 = 2*o - w - 2, -59 = -h - 5*o. Is h a composite number?
True
Suppose 3*d = m + 3126 - 1234, -1259 = -2*d + 3*m. Is d a prime number?
True
Suppose 3*a + 4*i - 1607 = 0, 0 = a + 4*i - 9*i - 561. Is a composite?
False
Let i(g) = g**2 + 6*g + 8. Let y be i(-6). Suppose h - y = 1. Is 6/h*186/4 a composite number?
False
Suppose -4*s + 379 = g - 6*g, -5*g - 76 = -s. Let i = s - 48. Is i composite?
False
Suppose p - 6 + 3 = 0. Let v be 9 - (2 - 3 - -2). Suppose 165 = -p*x + v*x. Is x prime?
False
Let m(a) = 2*a - 5. Let x be m(3). Is (-4 - 2 - x)*-13 a prime number?
False
Let a = 48 - 25. Is a a composite number?
False
Let d be 0 + -2 + (2 - -9). Suppose 3*t + d + 330 = 0. Is 14/(-21) + t/(-3) prime?
True
Let b be 8/6*(-6)/(-4). Suppose -4*u - b + 10 = 0, 5*u = 4*n - 1570. Is n a prime number?
False
Let s = -4 - -7. Let c be (0 - s/2)*-2. Suppose 4*n + 20 = 2*t, 4*t - c*n = t + 36. Is t composite?
True
Suppose j + 4*l + 14 = 2, -3 = 5*j + l. Suppose j = 4*z - 43 - 49. Is z a prime number?
True
Let d(j) = -j + 2. Let k be d(2). Let f = k - -12. Is (6/f)/((-1)/(-26)) a composite number?
False
Let t = 284 - 400. Let w = -13 - t. Is w a composite number?
False
Suppose 0 = y + 2*y - 21. Suppose -y*x = -8*x + 95. Is x a prime number?
False
Suppose p - 789 = -2*o + o, -10 = 5*o. Is p a composite number?
True
Suppose -3*g - 5*v = -10*v - 499, -4*v - 497 = -3*g. Is g a composite number?
False
Let i be 0/3 + 30 + -1. Let v = i - -102. Is v prime?
True
Suppose -78 = -2*y + 4*d, 47 = -4*y + 2*d + 191. Is y composite?
True
Let k = 7 + -4. Suppose k*r + 36 = 315. Is r a composite number?
True
Let i be (-4)/6 - (-8)/3. Let c be ((-15)/(-2))/5*i. Suppose -2*q = -3*d - 30, -d = -0*q + c*q - 23. Is q prime?
False
Let h = 24 + 65. Let x = 3 + 0. Is h + (x - (-2 + 3)) a prime number?
False
Suppose 156 = -3*v + 513. Is v a composite number?
True
Let d(w) = 225*w + 4. Is d(13) a prime number?
False
Is 6*1308/9 - 3 composite?
True
Suppose -y + 3*j