t(q) composite?
True
Let o = 46 - 27. Suppose -o*r + 24*r = 2515. Is r prime?
True
Suppose 28*g - 30*g + 144448 = 2*j, -4*j + 288921 = -g. Is j prime?
True
Let h be 2 + 2/(-4)*2. Suppose 0 = 2*d - 5 - h. Suppose d*o = -o + 812. Is o prime?
False
Suppose w = 4*k + 1610, 5*k + 0*k + 10 = 0. Let v = 3341 - w. Is v a prime number?
False
Let w = 582 - 2491. Let i = 3060 + w. Is i a composite number?
False
Suppose 8*i = 13*i - 40. Let h(n) = -55*n. Let u be h(-4). Suppose u = i*z + 12. Is z a prime number?
False
Let z(f) = 6*f**2 + f - 10. Let k(d) = 7*d**2 + d - 11. Let o(n) = 5*k(n) - 6*z(n). Let h be o(0). Suppose 4*s - 2*q = -s + 128, -127 = -h*s + 3*q. Is s prime?
False
Let u(f) = 6*f**3 + f**2 - 2*f - 2. Let b be u(-1). Is (-718)/(-2)*(-4 - b) prime?
True
Let c(l) be the third derivative of -l**6/30 - l**5/30 - l**4/24 - 5*l**2. Let v be c(-1). Suppose -v*d = -2*d - 23. Is d composite?
False
Suppose 1147*n - 1155*n = -201992. Is n a prime number?
False
Let k(n) = 18*n**2 - 6*n + 4. Let h(c) = 35*c**2 - 13*c + 9. Let u(q) = 3*h(q) - 5*k(q). Is u(7) composite?
True
Let y = -79 - -82. Suppose 5*q = -y*k + 15676, -2*q - 2*k + 4*k = -6280. Is q a composite number?
False
Let b(l) = 22*l + 1. Suppose -4 = -5*s + 6. Let k be b(s). Suppose 0 = t - 4, 0*t + 2*t + k = j. Is j a composite number?
False
Suppose 2*r + 1 - 13 = 0. Let u be 2/r - (-16)/6. Suppose 0 = b + u*b - 356. Is b a prime number?
True
Let y = 17390 - 2703. Is y a composite number?
True
Let c = -12 + 7. Let t be c/3*(-3)/1. Suppose -3*m = t*l + 2500 - 9890, 2947 = 2*l + 3*m. Is l a prime number?
True
Suppose 24*j = 5751 + 1281. Is j composite?
False
Let u(r) = 5*r - 1. Let f be u(3). Is (-36)/(-126) + 528/f prime?
False
Let o(q) = 67*q**2 + 10*q + 35. Is o(-4) prime?
False
Is ((-6)/(-24))/(-6*(-1)/103848) prime?
True
Suppose 813 = 4*m - 435. Let o = m + 302. Is o a prime number?
False
Suppose 584*l - 4780 = 580*l. Is l a composite number?
True
Let a(q) = 10*q**3 - 9*q**2 + 7*q + 1. Let b be a(6). Suppose -3*t + 707 = -5*h + b, 230 = h - 5*t. Is h composite?
True
Suppose -224*d + 227*d + 3 = 0. Let q(b) = -b**2 + 1. Let w be q(2). Is (-444)/(w/1) - d a composite number?
False
Let b(r) = -r**3 - 4*r**2 - 5*r - 3. Let v be b(-4). Let m = 54 + v. Is m composite?
False
Let w(u) = u**3 + u. Let v be w(0). Let o(l) = -l**2 + l + 431. Is o(v) prime?
True
Suppose 4 = -3*j + 5*n, -j - 1 = -2*j + 4*n. Let w be 2/6 - 2846/j. Suppose -3*q + w = 5*g - q, -376 = -2*g - 2*q. Is g a prime number?
True
Suppose m = 4*u - 7977 - 9499, 8738 = 2*u + 2*m. Is u prime?
False
Let c(w) = 165*w + 4. Let t be ((-45)/60)/(1/(-4)). Is c(t) a composite number?
False
Let x = -112 + 256. Suppose -5*h - 3*i = -9 + 14, 4*h + 4*i + 12 = 0. Suppose -h*b + x = 50. Is b composite?
False
Let t be (3/(-6 - 0))/((-1)/2). Is (-3 - (-2681)/(-14))*(-2)/t composite?
False
Let v = -81 - -81. Suppose v = 2*w + a + a - 1988, 0 = 4*w + a - 3967. Is w prime?
True
Let y(t) = 12*t**3 + 4*t**2 + 2*t - 21. Let z be y(-5). Let k = z - -2962. Is k a prime number?
True
Let r = -48 - -85. Is (-5 + 7)*r/2 prime?
True
Let a = -16824 - -24271. Is a a prime number?
False
Suppose 0 = -1528*k + 1539*k - 172997. Is k a composite number?
False
Suppose -2*r - 4 = -3*r. Let j(d) = -2*d**3 + 95*d**2 - 15*d + 65. Let u be j(47). Suppose -h = 4*k - u, -r*k - 2*h + 777 + 797 = 0. Is k prime?
False
Let a(l) = l**2 - 9*l - 10. Let t be a(8). Let x = 93 - t. Is x composite?
True
Is (8/12)/((-6)/(-276813)) a composite number?
False
Suppose -2*k = -4*q - 4970, 2*k + 0*k + 2488 = -2*q. Let x = q - -2720. Is x a prime number?
False
Let c(d) = 43*d - 66. Is c(11) prime?
False
Let c = 27 + -21. Let j be (157/(-2))/((-1)/c). Suppose -4*k - j = -3*d, -4*d - 19 = 2*k - 647. Is d a composite number?
False
Suppose -4*u + 2*u + 274 = 0. Let d = -63 + u. Is d a prime number?
False
Let t(v) = -11743*v + 116. Is t(-5) a prime number?
True
Is (-3 - 0)/((-9)/8523) a composite number?
True
Suppose -4*h = 5*q - 2084, -q + 531 = h + 10. Is h a prime number?
True
Let d(g) = -9383*g - 12. Is d(-1) composite?
False
Suppose -3*a + a = -38. Suppose n - 27 = -4*n - k, 3*n = -2*k + a. Suppose -n*x + z + 2020 = -1363, 0 = -5*x + 2*z + 3381. Is x composite?
False
Let f(k) = 47*k - 16. Is f(10) prime?
False
Is 2070590/18 + (-118)/(-531) a prime number?
False
Is (-32 + 35)*9406/6 a prime number?
True
Suppose -10 = 4*b + 3*r, -3*r = -3*b - 2*r - 14. Let f = b + 5. Is -1 - (-253 - (2 - f)) a prime number?
False
Let u = 1287 - 2580. Is (-5)/(5/u) + (1 - 1) prime?
False
Let p(b) = 206*b**2 + 2*b + 1. Let y be 40/15 + 2/(-3). Suppose -y*c + 2 = -4*c. Is p(c) composite?
True
Let k(w) = -942*w + 23. Is k(-5) a composite number?
False
Let u(k) be the first derivative of -k**4/4 + 5*k**3/3 - k**2/2 + 7*k + 4. Let q be u(5). Is 502 + -4 + (-2)/q composite?
True
Let s be -9*1/3*-3. Let u(n) = 105*n + 13. Let w be u(s). Is (-6 - -7)/(2/w) prime?
True
Is ((-1)/(-2))/(6 + (-125935)/20990) a composite number?
False
Let h = 256 - 159. Is h a prime number?
True
Let z(t) be the second derivative of -t**6/80 + t**5/30 - 7*t**4/12 + 5*t. Let l(h) be the third derivative of z(h). Is l(-15) composite?
False
Suppose 0 = -p - 2*p. Suppose -3*f + 7 = -g - 2*f, p = 4*g + 2*f + 4. Let o(m) = 62*m**2 - m - 4. Is o(g) a prime number?
True
Let b be 58/(-8) + (-2)/(-8). Let l be -2*2 + (2 - b). Suppose -d + 954 = l*d. Is d a composite number?
True
Let q be -2*((-32)/20)/((-6)/15). Let d(u) = -25*u + 1. Is d(q) a composite number?
True
Let r = -28 - -11. Let l = r + 15. Let f(b) = 88*b**2 + 3*b + 1. Is f(l) composite?
False
Let b(v) = v + 14. Suppose 5*a + 44 = -11. Let s be b(a). Suppose -2*i - h + 216 = 0, -2 = s*h + 4. Is i composite?
False
Let d(j) = -j**2 - 17*j + 4. Let v be d(-17). Suppose -g + b = -112, v*b + 3 = -1. Is g composite?
True
Let j(q) = q**3 + 8*q**2 - 9*q - 8. Let r be j(-9). Let o = r - -10. Is (5/o)/((-10)/(-220)) a prime number?
False
Suppose 0 = t - 2*o - 145, 0*o - 725 = -5*t + 3*o. Suppose 35*f = 36*f - t. Is f composite?
True
Suppose 2 = -2*n - 4. Let t(f) = 36*f + 2. Let i(y) = -71*y - 5. Let r(j) = n*i(j) - 5*t(j). Is r(6) prime?
False
Let i(u) = -7*u + 1. Let k be i(1). Let t(j) = -j**2 - 20*j - 48. Let c be t(-17). Is 1*(k + c) - -392 composite?
False
Suppose -3*x = m - 4*m - 17505, 3*m + 6 = 0. Let s = x + -2376. Is s prime?
True
Suppose -2*q + 20 = -4*r, 0*q + 5*r + 25 = 5*q. Suppose -3*d + 0*c = -3*c - 1440, q = 4*d - c - 1917. Is d composite?
False
Let r = 5437 + -3201. Suppose x = 5*x + r. Let a = 996 + x. Is a prime?
False
Is (3/(-3))/((-34)/785570) a composite number?
True
Let o be (32/6)/(4/2094). Let q be o - 0 - (2 - -2). Suppose -2707 = -5*y + q. Is y a composite number?
True
Suppose 21*d = 27*d - 2724. Suppose 57 - d = -2*q + 3*y, -15 = 3*y. Is q prime?
True
Let x be 4/2 - (4 + -4). Let v = 2 - x. Suppose v = 2*d - 551 - 23. Is d a composite number?
True
Let k be (5 + -2 - 3)*(-1)/(-2). Suppose -5*n + 4*y = -3591, k*n + 2880 = 4*n + 4*y. Is n a composite number?
False
Suppose 0 = -3*f + 2*g + 1117, -f - f + 742 = -2*g. Suppose f = 8*d - 5*d. Suppose -h - 28 = -2*o + d, 0 = -5*o - h + 386. Is o a prime number?
False
Let f(c) = -c**3 + 8*c**2 - 4*c - 16. Let s be f(7). Let h(d) = d**3 - 4*d**2 - 6*d + 1. Let b be h(s). Is (b/(-10))/((-6)/(-17445)) a composite number?
False
Let u be 105/28*(-8)/3. Let q = -5 - u. Suppose -2*x - 165 = -q*r - 4*x, 3*r + 2*x = 95. Is r a prime number?
False
Suppose -2*t - 44930 = -4*p, 21*p - 2*t = 22*p - 11235. Is p a prime number?
False
Let n(c) = 4176*c - 323. Is n(4) prime?
True
Let x = -5857 - -17006. Is x prime?
True
Suppose -35*s + 4*m = -33*s - 41370, -4*s + 82714 = 5*m. Is s a composite number?
False
Let g(t) = 2422*t + 61. Is g(3) prime?
False
Suppose o + 43 = 2*d, 6 = -0*d - 3*d. Is 1/(-1) - 4*o*15 a prime number?
True
Is 16437/4 - (-21)/(-84) a prime number?
False
Let v(r) = -r**3 - 8*r**2 + 10*r + 9. Let y be v(-9). Suppose 1893 = -y*o + 3*o + 5*k, 0 = 4*o + 4*k - 2524. Is o composite?
False
Let x be (-12 + 1)/(1/(-20)). Let k(a) = 2*a**2 - 19*a - 23. Let o be k(12). Let b = x + o. Is b prime?
True
Suppose -2*y - 395 - 13 = 0. Let i = -65 - y. Is i prime?
True
Suppose 7*u = 4*u + 2*c - 1, 5*u - 5*c = -10. Suppose u*l = 4*f + 3, 0*l + 2*