r?
True
Suppose -79*q - 17801 = -86*q. Is q prime?
True
Is (4476 - 50) + (1 - 0) prime?
False
Let h = 3384 - -3563. Is h composite?
False
Let l = 1415 + 75516. Is l prime?
False
Let n be 3/(1/(3 - 0)). Suppose -3*b - 5*u + 2969 = 0, n*b - 7*b = -2*u + 1982. Is b composite?
True
Let o be (6/(-9))/(2/(-9)). Suppose -o = 4*r - 5*r - f, 0 = -3*f. Suppose -4*v + 459 = r*w - v, w = 2*v + 165. Is w prime?
True
Is (42140/15 + -3)/((-3)/(-9)) a prime number?
True
Let b(j) = j**2 + j + 1. Let y(h) = h**2 - 2*h + 2. Let v(q) = -2*b(q) + y(q). Let k be v(3). Let s = k + 58. Is s a prime number?
True
Let x = 86 + 210. Suppose 10*a + 27 = 13*a. Suppose 0 = a*m - 13*m + x. Is m composite?
True
Let f(m) = m**3 + 3*m**2 - m + 2. Let z be f(-3). Suppose -4*b + 1395 = 4*c - b, 717 = 2*c - z*b. Let o = c - 114. Is o composite?
True
Let m = 14 - 10. Suppose q = -m*q - 395. Let u = 188 + q. Is u composite?
False
Suppose 0 = -r - 0*r - 32. Let x be 2/(-7) + r/(-14). Suppose -5*q = 5*s - 2055, 3*q = x*s - 7*s + 2059. Is s prime?
False
Let d(b) = 10*b**3 + 2*b**2 - 10*b - 8. Let v be d(6). Let k = v - 473. Is k composite?
True
Let r = -268 + 119. Suppose 3*d - 2*d + 280 = 0. Let v = r - d. Is v composite?
False
Let r(k) = 13*k**3 - 4*k**2 - 62. Is r(7) a composite number?
False
Let u(m) = m**3 - 8*m**2 - 24*m - 9. Let a be u(13). Suppose 5*k - 3740 = -5*y, 227 + a = k - 2*y. Is k a composite number?
True
Let j(b) = b**3 + 3*b**2 - 8*b + 2. Let m be j(4). Suppose -2*u = -u + t - m, -u + t + 92 = 0. Is u prime?
False
Let q = -1413 - -2759. Is q prime?
False
Let n be 7/(-2) + 6/12. Is (-1)/n + 1406/3 prime?
False
Suppose -4*a + 16 = 4*t - 0*t, 2*a + 4*t - 10 = 0. Let r = -2 - a. Let p(v) = -8*v**3 - v**2 + 6*v + 8. Is p(r) prime?
True
Let w be 14/6 - (-12)/(-36). Is ((-381)/w)/(6/(-4)) prime?
True
Suppose -q + 2*c + 11 = 0, 4*q - c + 5*c = -4. Suppose -p = q*p + 4. Is (-393)/(-3)*(2 + p) composite?
False
Suppose -2*r - r + 12 = 0. Suppose r*a = 7*a - 159. Is a composite?
False
Let j(k) = 34*k**3 + 2*k**2 - k. Suppose 2*n + 6*m - 23 = 3*m, -5*n - 2*m = -74. Let u = -15 + n. Is j(u) a prime number?
False
Let b = 104 - 99. Suppose 5*s - 9559 = 2*q, b*s - 2724 = q + 6838. Is s composite?
False
Let c(i) be the first derivative of 221*i**2/2 + 5*i - 2. Let l be (-1)/((-5)/30) + -2. Is c(l) a prime number?
False
Suppose -2*m = 3*c - 3771, 0*c = c - m - 1252. Is c a prime number?
False
Let a(h) = -h**2 - 3*h + 54. Let p be a(6). Let l = 188 + -95. Suppose -x - 4 + l = p. Is x a prime number?
True
Is (1 - -6978 - 0)*(-170 + 171) prime?
False
Is (-17)/(((-2)/(-4))/((-238)/28)) a prime number?
False
Suppose -2 = -2*p + 2. Suppose -3*i + r + 2862 = -2*r, 3*i - p*r = 2863. Is i a prime number?
False
Suppose -3*p + 8*p = -1510. Suppose -2*s + 1006 = -0*s. Let r = s + p. Is r composite?
True
Let f(m) = 16*m**2 - 13*m + 3. Let w be f(3). Let x be -362*(2/4 + -1). Let a = x + w. Is a composite?
True
Suppose 4*y = -4, 2*r + 5 = -3*y + 2. Suppose 3*j - 4308 - 954 = r. Is j composite?
True
Suppose 7*d - 13*d = -14538. Is d prime?
True
Let i = -13002 + 25519. Is i a composite number?
False
Let v be (-144)/(-24)*1/3. Suppose i - 5*i + 4*f + 28 = 0, 4*f - 20 = -v*i. Let d(w) = 26*w + 1. Is d(i) composite?
True
Suppose -5*w + 30 = 5*z, -5*w + 4*z - 7 + 19 = 0. Is w*122 + (18 - 19) composite?
False
Let n = -97 - -53. Let b be ((-1469)/39)/(1/(-3)). Let y = b - n. Is y composite?
False
Let k = -15 + 18. Suppose 4*a + 3*c = -11, 8*c = -2*a + k*c - 23. Let g(w) = 77*w + 2. Is g(a) composite?
False
Let d(j) be the second derivative of -677*j**5/2 + j**4/4 + j**3/3 - j**2 - 27*j. Is d(-1) prime?
False
Suppose -2 = -4*k + 2*k. Let v be 2/2 + 28*k. Suppose -4*u + v = -55. Is u prime?
False
Let i be 5 - (4/(-6) + 28/6). Is (6297/(-9))/(i/(-3)) prime?
True
Let i(y) = -10*y**3 + 2 + 3 - 5*y + 24*y**3 + y**2 + 9*y**3. Is i(2) a composite number?
True
Let t be (18/(-12))/(3/36). Let v be -12*3/(t/(-21)). Is (v - (0 + 1))*-1 a prime number?
True
Let s = -30738 + 48881. Is s composite?
False
Let b = 1715 + -198. Is b prime?
False
Is (0 + -12)*(-25362)/72 a composite number?
True
Let z be ((-118)/6)/((-15)/4950). Suppose -3*j - p - p = -4867, 3*p = -4*j + z. Is j composite?
False
Let g(n) = n + 8. Let s be g(-4). Suppose s*o = 2*y - 238, 2*y + y = 5*o + 357. Is y a prime number?
False
Let h(j) = -13*j**2 - 2*j + 4. Let p(n) = -13*n**2 - 2*n + 4. Let a(r) = 6*h(r) - 7*p(r). Is a(11) a prime number?
False
Suppose 104 = 4*m + 5*h, 0 = -2*m + 5*h + 67 + 15. Suppose 95 + m = -2*b. Let c = -10 - b. Is c a composite number?
False
Let s(j) = 119*j**3 - 3*j**2 + 2*j - 2. Let y be s(2). Let k = 3275 - y. Is k composite?
False
Suppose c - w = 0, 3 = 3*c - 2*w + 1. Let g be ((-2)/c)/((-1)/2). Is (g/(-3))/((-6)/1269) a composite number?
True
Let o be 11/44 - ((-19523)/4 + 0). Suppose 4*u = -w + o, 1 + 4 = w. Is u prime?
False
Let h(p) = 435*p**2 + 14*p - 42. Is h(5) a composite number?
False
Let c = -5226 - -9005. Is c a composite number?
False
Let d be 2/(8/28)*1. Let z(n) = 15*n + 4. Let x be z(d). Let b = x + -3. Is b composite?
True
Suppose 33 = -4*c + 1. Let p = 11 + c. Suppose -u = -p*j + 339, 0*j + 4*j + 5*u - 452 = 0. Is j composite?
False
Let x = -47 - -222. Suppose 4*y - x = 197. Is y a prime number?
False
Suppose -4*y + 84 = -y. Suppose 14 = 2*g - y. Let a = g + 26. Is a composite?
False
Suppose 27*w = 8*w + 26543. Is w a composite number?
True
Let o(q) be the third derivative of -5*q**4/24 - 7*q**3/6 - 4*q**2. Let k be o(-7). Let u = 39 + k. Is u composite?
False
Suppose 0 = 3*f - k + 6*k - 2684, -2*f = k - 1787. Is f a composite number?
True
Suppose 0 = 3*p - 0*k + 3*k - 567, 0 = -5*p + 5*k + 965. Is p composite?
False
Suppose -9805 = -14*h + 9*h. Is h prime?
False
Suppose 9*s + 711 = 10*s. Let u = -224 + s. Let d = 936 - u. Is d a composite number?
False
Is 6*(1343/6 - -3) composite?
False
Let p = 21 - 16. Is 10/p + 992 + -1 prime?
False
Let z(o) = 756*o**2 - 20*o - 4. Let m(h) = 757*h**2 - 19*h - 5. Let y(i) = -5*m(i) + 4*z(i). Let g be y(-6). Is (-1)/(-8) - g/24 a composite number?
True
Let v(z) = 4*z**3 + 6*z**2 + z - 7. Let j(q) = -5*q**3 - 6*q**2 - q + 8. Let y(u) = 5*j(u) + 6*v(u). Let p be y(6). Suppose p*r - 464 = 28. Is r a prime number?
False
Let g(j) = 3*j**2 - 22*j - 10. Let r be g(8). Let d(b) = -b**3 + 10*b**2 + 4*b - 10. Is d(r) composite?
True
Suppose i = 5*j + 104, 88 = -4*j - 2*i - 2*i. Let r be 4/14 + 237/j. Is ((-1)/2)/(r/946) prime?
True
Suppose 17 = -x - 4*f - f, -3*x + 2*f + 34 = 0. Suppose 3*p - x + 38 = 0. Is (-2112)/(-40) - 2/p a composite number?
False
Suppose 32*j - 34*j + 326 = 0. Is j a composite number?
False
Is ((-2480334)/(-136))/((-3)/(-20)) prime?
False
Let y(i) = i + 22. Let k be y(-20). Suppose 1166 = -0*v + k*v. Is v a composite number?
True
Suppose 17015 + 642 = k. Is k a prime number?
True
Let u be (-22)/(-110) - 39612/10. Let k = 6718 + u. Is k composite?
True
Suppose -14*h + 12*h = 4. Let l be h/4*(-1884)/3. Suppose -l = -c - c. Is c prime?
True
Let q = 197795 + -105244. Is q a prime number?
True
Let i be ((-25)/15)/(2/(-6)). Is 14767/i - 10/25 prime?
True
Suppose 0 = -w + 2 - 7. Is (115/w)/(1/(-5)) a composite number?
True
Suppose 3 = -3*q + 9. Suppose -3*r = -3*b - 1362, 0*b - 2*b = q*r - 896. Is r a composite number?
True
Is (1/(-2))/((-10)/(-3970))*-38 composite?
True
Let d(p) = -6 - 3*p + p - p**2 + 3 + 2. Let o be d(-3). Is 232 - 2*6/o prime?
False
Let q = 1 + 6. Let z be ((-7)/(q/(-3)))/1. Suppose -z*u - 5*l + 693 = -1005, -4*u + 2290 = -2*l. Is u a prime number?
True
Suppose -4*a + 1 = -3. Suppose -o = -a - 4. Suppose -s - o*c = -2, -5*c - 3 = -2*c. Is s a prime number?
True
Let s(z) = z - 1. Let v(m) = 3*m + 7. Let d(f) = -4*s(f) + v(f). Let t be d(-12). Let a = t + 34. Is a composite?
True
Let s be (0 + 0)*(-3)/6. Let d be 3 + s/(20/4). Suppose 2*y = d*q - 397, -755 + 249 = -4*q - 2*y. Is q prime?
False
Suppose 3*d = -5*b + 84, 2*b - b = 0. Is (-2)/(-3) - d/(-3) a composite number?
True
Suppose 6 = 2*t, 4*t + 6 = n + 18. Is (n - -1)/((-1)/(-703)) a composite number?
True
Suppose 5*t - 20*v = -15*v + 72450, t - 14496 = -5*v. Is t composite?
True
Let l = 249506 - 50611. Is l a prime number?
False
Let h(z) = 3*z**2 + 5*z + 1. Let x be h(-2). Let m be -4 - 