o - s = -33*o. Is o composite?
True
Suppose 8*t - 4*d - 4039 = 5*t, -2*t = -5*d - 2702. Suppose 3165 + t = 2*f. Is f prime?
False
Let q(v) = 3351*v + 1402. Is q(9) composite?
True
Let i be ((-6)/(-4))/(15/20). Let f be 344/(-516)*-1*6/2. Is 5/i + -4 + 1007/f composite?
True
Let x(j) = 21*j**2 + 20*j - 42. Suppose -14*d + 11*d + 36 = 3*r, -5*r + 56 = d. Is x(r) a prime number?
True
Let b(k) = k**2 - 15*k + 4. Suppose -9*t + 4*t = 4*c - 45, -5*t = c. Let z be b(c). Let i(p) = 443*p - 3. Is i(z) a prime number?
False
Suppose 2*f - 70 = 2*w, f - 51 = -4*w + w. Suppose -f*a - 7*a + 200468 = 0. Is a composite?
True
Suppose 0*j = 4*j - 16, 5*l - 455 = -5*j. Let g be (3/6)/(2/856). Let m = g - l. Is m composite?
False
Suppose s = -2*s + 15. Suppose 0 = s*o - 19 + 4. Suppose -v + 170 = -2*m, -3*v + 0*m - o*m = -546. Is v composite?
True
Let a(r) = 2*r + 906*r**2 - 1 + 0 - 154*r**2. Let b(w) = -8*w - 78. Let l be b(-10). Is a(l) prime?
True
Let q be 2*6/24 + (-34)/(-4). Suppose 0 = 12*t - q*t - 4206. Is t a composite number?
True
Suppose 0 = 5*p - 10 - 15, 135 = 4*t - 5*p. Suppose -10552 = t*r - 42*r. Suppose 2*l + r = 8*n - 4*n, n - 1319 = -2*l. Is n a prime number?
True
Suppose -5*a + 3*r - 8049 = 0, -4085 = -5*a - r - 12122. Let w = a + 2797. Is w composite?
True
Let x(r) = 3*r - 3. Suppose -t = 2*h - 3*h, -6 = t - 4*h. Let d be x(t). Suppose -4605 = -0*v - d*v. Is v a prime number?
False
Let k = 90 - 363. Let f = k - -540. Let a = 380 - f. Is a prime?
True
Suppose 27185 - 803595 = -10*z. Is z composite?
False
Let a = -1263 + 1265. Suppose 2 = -4*p + 14, 2*f - 5881 = 3*p. Suppose t + 1472 = g, -3*t = a*g - 6*t - f. Is g prime?
True
Let p = 30442 + -19233. Is p prime?
False
Suppose 4464447 = -32*h + 6387171 + 5783804. Is h a composite number?
False
Let u be 24/(-132) - (-383)/(-11). Is 7/((-147)/u)*7737 a composite number?
True
Let a = -185960 - -377031. Is a composite?
False
Let a be (-9)/72 - (-809)/8. Let s = 158 - a. Is s + -2*(-1)/2 a prime number?
False
Suppose 3*f + 269 = g - 29, 0 = -3*g - 2*f + 883. Let x = -438 + 440. Suppose -x*s + 4*v = g - 2069, -867 = -s - 3*v. Is s a prime number?
False
Suppose 4447 = -22*k + 64551. Let a = k + -573. Is a prime?
False
Is (-3147398)/((-46)/69*3) composite?
False
Is (-4)/(-150) - 206487256/(-35400) prime?
False
Let k(t) be the first derivative of -5061*t**4 - 2*t**3/3 + 6*t**2 + 15*t - 33. Is k(-1) prime?
False
Let a(d) = -88*d - 17 + 92*d + 184*d**2 + 28*d**2. Is a(-8) a prime number?
False
Is 769492/1*(-3)/6*(-49)/98 a prime number?
True
Suppose 5*f - 2*o + 6*o - 2705 = 0, 4*f - 2*o - 2164 = 0. Let c be 28/(-98) - f/(-7). Let y = c + 68. Is y a prime number?
False
Let m be (-520)/(-25) - (-4)/(-5). Is 1*(-1)/10 - (-158782)/m a composite number?
True
Let w(b) = 35*b**2 + 2*b + 12. Let j(i) = 34*i**2 + 2*i + 13. Let s(c) = -4*j(c) + 5*w(c). Let h be s(5). Suppose -14*l + 17*l = h. Is l a composite number?
False
Let v be (-6)/2*-1 + -1. Let a(q) = -3*q**2 + 18 - 34*q + v*q**2 + 14*q. Is a(-15) prime?
False
Let b(l) = 757*l**2 + 2*l + 2. Let d(x) = -758*x**2 - 2*x - 2. Let h(t) = 4*b(t) + 3*d(t). Let v be h(-1). Suppose -v = z - 3*z. Is z prime?
False
Suppose 116916415 = 41*m + 16*m + 20*m. Is m composite?
True
Suppose 501321 = 4*c - 33*f + 38*f, 0 = -4*c + 2*f + 501314. Is c prime?
True
Suppose 3*d - 16443 = -3*j, 5*j - 6*d - 27413 = -3*d. Suppose 5482 = 2*o - g + 6*g, -j = -2*o - 3*g. Is o composite?
False
Let i(k) = 2*k + 0 - 32*k**2 - 1 + 322*k**2. Let g = -7244 - -7245. Is i(g) a prime number?
False
Suppose -5*o + 27625 = 5*l, 0 = -27*o + 28*o - 4*l - 5550. Let r = -3603 + o. Is r composite?
True
Is (-2 - 1)/(-6*(-7 + 25998975/3714138)) prime?
True
Let q be 4 - (3102 - (-5 + 4)). Let f = q + 5930. Is f composite?
True
Suppose 10 = -15*d + 20*d, t + 4*d + 2 = 0. Let c(b) = -2*b**3 - 8*b**2 + 19*b - 4. Is c(t) a composite number?
True
Suppose 12216 = 2*i - 34014. Suppose u - 2*v = 5781, -4*u - v = -0*v - i. Is u composite?
False
Suppose -2*h + 2523 = 3*k - 1977, 2*k = 4*h - 9032. Let s = -1033 + h. Is s prime?
True
Let z = 120 - -48. Let n = z + 5. Is n/(((-3)/99)/((-2)/6)) prime?
False
Is (176709 - 2) + 16 + (-208)/13 composite?
True
Is 3332/(-952)*237268/(-14) a prime number?
False
Suppose w - 32 = 32. Suppose -14*t - w = -18*t. Suppose t*f - 4*f - 2796 = 0. Is f prime?
True
Let x be -26 + 29 + 3/1*871. Suppose 4 = 2*l, 6*j - x = 4*j - 2*l. Is j a composite number?
True
Let i(m) = 47652*m - 87. Let f be i(4). Is -2 - 36/(-16) - f/(-12) composite?
False
Let w = -745 - -700. Is 6*-363*380/w - -5 a composite number?
False
Is 6866588/24 - (-1)/(36/(-30)) prime?
False
Let t = 113058 - 23849. Is t a composite number?
False
Let x(s) = -s**2 + 35*s - 86. Let v be x(32). Is 2/v - (-11712)/40 composite?
False
Suppose -3*d + 8597 = 2*k, -5*d + 4*k + 14341 = k. Let g = 7158 - d. Is g prime?
False
Let c be (-2)/(-11) + (309300/110 - 8). Suppose t = 4*p - c, -818 = -p - 3*t - 117. Is p a prime number?
True
Suppose 26745611 = 209*n - 57646488 - 557414. Is n a composite number?
True
Suppose 9 = -z + 3*q, -1 = z - q - 0. Let k be (-10)/30 - 275/z. Let c = k - -331. Is c a composite number?
False
Suppose -10 = 5*q - 5*c, 3*c + 0 + 10 = -5*q. Let g = 13 - q. Is (-3)/((g/10)/(-3)) a composite number?
True
Let j(r) = 1 + 2*r + 0*r - 2 + 388*r**2. Let k be (10/(-3))/10 - (-8)/6. Is j(k) prime?
True
Let l(u) = 2462*u**2 - 9*u - 13. Is l(6) a prime number?
False
Suppose -z + 11 + 18 = 0. Suppose -m + 0*m = -3*l + 14, 4*m + z = 3*l. Suppose -l*v + 245 = 4*v. Is v composite?
True
Suppose 3 = -2*j + 203. Let t = j + -27. Suppose 77*u - t*u - 4876 = 0. Is u a prime number?
False
Suppose j = 5*z + 80, 6*z - 2*j + 41 = 3*z. Is (-2)/(-8)*6*(z + 10255) prime?
False
Is ((-4)/10)/(10/2499025*-1) a prime number?
True
Let b(j) = 454*j - 389. Is b(22) a composite number?
True
Let o = 2364567 - 1661290. Is o a prime number?
True
Is (9 + -144078 - -7)/(-2 + 0) a prime number?
True
Suppose 0 = 4*g - 2*x - x - 8, -3*g + 3 = -3*x. Suppose i - g*n = -3*i + 33296, -2*i + n + 16654 = 0. Is i prime?
True
Suppose -2*f - 5*p = -7*f - 9450, -5666 = 3*f - p. Is (5 - f/(-4))*(0 - 1) composite?
False
Let b be 2 + -3 - (10 - 14). Suppose 3*i = b*j - 912, 2*i + 1505 = 6*j - j. Is j composite?
True
Suppose 6*g = 9*g - 9. Suppose 5*d - 55888 = -3*z, -5252 + 38788 = g*d + 5*z. Is d a composite number?
False
Let l(v) be the third derivative of 229*v**5/20 + v**4/8 - 7*v**3/6 + 8*v**2 - 6. Is l(-3) prime?
False
Let u be -6 + (-3 - -5 - -3). Is 1 - (-916 + u) - (22 + -27) a composite number?
True
Suppose -2*p - m + 6*m = 21, -2*p = m - 9. Let v(w) = -4*w**2 + 23*w**p + 5*w - 7*w**2 + 14*w**2 + 10. Is v(7) a composite number?
False
Suppose 0 = 204*q - 10402841 - 73891387. Is q a composite number?
False
Let n(k) = -2*k**2 + 5*k + 105. Let w be n(-6). Suppose 0 = -w*l + 5*j + 41688, -l + 34*j = 30*j - 13889. Is l a composite number?
False
Suppose -3*y - 6 = 2*h, h + 3 = 4*y - 0. Let j = 7 + h. Suppose 3*o - 721 = -j*o. Is o a composite number?
False
Let q be (-1904)/(-322) - 10/(-115). Is q + -8 + (-29)/2*-118 a composite number?
False
Let q(d) = 368*d**2 + 72*d + 821. Is q(-10) composite?
False
Suppose -5*h = -5*k - 10984705, -39*h + 40*h = 4*k + 2196917. Is h composite?
True
Suppose -8 - 56 = -4*i. Suppose -l = -5*f + 1222, -2*f - 2*l = -f - 240. Suppose -i = -4*w + f. Is w prime?
False
Suppose -12078 = -25*a + 103247. Let x = a - 2676. Is x composite?
True
Let k(j) be the second derivative of 0 + 61/4*j**4 - 1/3*j**3 + 12*j + 15/2*j**2. Is k(-4) a composite number?
True
Let g be 24/(-84) + (-3336)/(-14). Let h = 821 - g. Is h composite?
True
Let w = -9 - -23. Suppose 7*o - 21861 = -w*o. Is o a prime number?
False
Suppose z - 2*x - 17 = -18, -z + 3*x - 3 = 0. Suppose z*o = 2*l + 2699, 3*o + 6*l = l + 2713. Is o a prime number?
False
Let y = 1396 + -1898. Suppose 4*q - 3*z - 427 = 0, -3*z + 7*z = -q + 121. Let v = q - y. Is v a prime number?
False
Let y(d) = -142*d**3 - 5*d**2 - d - 5. Let j(o) = -285*o**3 - 11*o**2 - 9. Let t(i) = -2*j(i) + 5*y(i). Is t(-3) prime?
True
Let q(z) = 1203*z - 821. Is q(16) composite?
False
Suppose 0 = w - 3*g + 8, w + 3*g + 2 = 18. Suppose -u + 0*u = w*k + 3, 0 = 2*k. Is (-20356)/(-42) + (-1)/u a prime number?
False
Let j(t) = 