 derivative of l(c). Is g(2) prime?
True
Suppose -139*j = -143*j + 11952. Let h = 5083 - j. Is h a composite number?
True
Let x = 8437 + -5982. Let f be (-250)/75*(-15936)/10. Let k = f - x. Is k a composite number?
False
Is 414938*(3 + 45/(-18)) a prime number?
True
Let f = -18452 - -45259. Is f a prime number?
False
Let b be (-2)/(-30)*5*-3*12. Is b/28*-12475 - 8/(-14) composite?
False
Let i(n) = 13*n**2 + 1. Let l be i(1). Is (-75)/(-175) - (-15940)/l a composite number?
True
Suppose -78*t - 180 = -80*t. Suppose -15*n + t - 510 = 0. Let f(z) = -z**2 - 41*z + 27. Is f(n) composite?
True
Suppose 3*r + 12 = 3, 5*r = -5*q + 617380. Is q prime?
True
Suppose -f - 4 = 0, -2*f - 1 = -2*u + 13. Suppose 4*c + 4*i + 0*i + 28 = 0, -4*c = -u*i + 7. Let g = 23 + c. Is g a composite number?
False
Let p = -20 - -24. Suppose o = 6*r - r + 18, -p*o = -3*r - 21. Is (86 - o)/(2/22) a prime number?
False
Suppose -4*l + 157996 = -3*y, -l - 17364 = y - 56870. Is l composite?
True
Let p(g) = 5227*g**3 + 362*g - 362. Is p(1) prime?
True
Let v be 155/(-10) + (-3)/2 + 1. Let y(g) = 28*g**2 + 26*g - 13. Is y(v) prime?
False
Suppose 13 = -4*m + 37. Suppose m = g - 83. Is g composite?
False
Let f = -115 - -18344. Is f a prime number?
True
Let z(m) = 2 + 7 + 116*m - 4 + 480*m + 28*m. Let o(w) = 2*w**3 + w**2 - w. Let p be o(1). Is z(p) prime?
False
Let c be 9 + (-75)/8 - (-38)/16. Suppose 8*n - 16570 = -c*n. Is n a composite number?
False
Let v = 22151 - -702. Is v a prime number?
True
Let u = -327510 - -546841. Is u composite?
True
Let m(u) = 1449*u + 88. Let r be m(10). Suppose 4*p - 19469 = -27*s + 22*s, -3*p + s = -r. Is p composite?
False
Let w(s) = 3*s - 12. Let g be w(20). Suppose h - 6 + g = -3*a, -5*a + 2*h - 70 = 0. Is (a/6)/(10/(-30)) a prime number?
True
Suppose 0*w + w = 4*m + 53, -w + 5*m + 54 = 0. Let c be 2 + 4/14 + (-14)/w. Suppose -1282 = -c*o + 532. Is o a composite number?
False
Let a(x) = x**3 - 13*x**2 - 11*x - 8. Let q be a(14). Suppose 7*p - 57 = q. Suppose -6*l = -p*l + 3479. Is l prime?
False
Let p(j) = -j**3 - 3*j**2 + 8*j - 177. Let b be p(-17). Suppose -4*t + 3151 = -b. Is t a composite number?
False
Let r(f) = -19*f**3 + 3*f**2 - 5*f + 5. Let d be r(5). Let z be (-2)/(-3) + (-2 - d/(-6)). Let w = -201 - z. Is w prime?
False
Let d(n) = 51*n**2 + 104*n - 71. Is d(-30) a composite number?
False
Let r(u) = -4*u**3 + u. Let w be r(-1). Is (w/5 + 272776/140)/1 a composite number?
False
Suppose -7*t + 21*t - 494452 = 3822. Is t a composite number?
False
Suppose -4*q + 17 = 1. Suppose q*z = -3*s + 16, -s - 4*s - 4*z = -24. Suppose t + 1442 = 5*u, 2*u + s*t - 895 + 305 = 0. Is u a prime number?
False
Let d(s) = 2708*s - 124. Let g be d(-9). Is g/(-18) + 9/81 prime?
True
Let d = 2118 - 2283. Let f be (-366)/(-8) - 2/(-8). Let n = f - d. Is n a composite number?
False
Let o(h) be the second derivative of 119*h**3 - 83*h**2/2 + h + 13. Is o(6) prime?
True
Let h(x) be the second derivative of 9/4*x**4 - 26*x + 0 - 9/2*x**2 + 8/3*x**3. Is h(8) a composite number?
False
Let a = -2362 + 3759. Is a prime?
False
Suppose -6*b + 39 = 7*b. Let q be (81/(-18))/b - (-12082)/(-4). Let l = -1155 - q. Is l composite?
False
Let u(y) = 423*y - 1414. Is u(5) a prime number?
True
Let v(k) = -k**3 - 5*k**2 - k + 12. Let u be v(-4). Suppose u = 5*y + 4*g - 37481, -7 - 5 = -3*g. Is y a prime number?
False
Suppose -63*c = -60*c - 22521. Let h = c - 4610. Is h prime?
True
Let o(w) = 10*w**3 + 17*w**2 + 18*w - 9. Let m(p) = 7*p**3 + 11*p**2 + 12*p - 6. Let c(i) = 7*m(i) - 5*o(i). Let j be c(-7). Is -106*(0 + 22/j) composite?
True
Let r = -3330 + 19631. Is r composite?
False
Let u(w) = -92*w**3 + 4*w**2 + 2*w + 1. Suppose -2*t = -6*t, 2*t - 3 = b. Is u(b) composite?
True
Let d(r) = 12*r + 138. Let s be d(-11). Is s + 118706/42 + (-4)/(-6) a prime number?
True
Let z be ((-125)/10 + 8)/((-6)/8). Let u(o) = 46*o**3 - 12*o**2 + 13*o + 17. Is u(z) a prime number?
False
Let s = 347269 - -30348. Is s a composite number?
False
Suppose 7*f + 0*f = -7. Is f + -1 + (5 - 9 - -8749) a composite number?
True
Let g = -9 + 11. Suppose 3*h - 8479 = -g*o, 3*o + 2828 = h + 2*o. Is h a composite number?
True
Suppose 4 = -11*n + 7*n, -1 = -4*v + 5*n. Let h(b) = -5398*b**3 - 3*b**2 - 6*b - 2. Is h(v) a prime number?
True
Let l = 122 + 463. Suppose -3*h = -753 - l. Suppose h + 249 = 5*c. Is c composite?
False
Suppose 0 = 3*n - 5*o + 8, 17*o - 16 = 2*n + 19*o. Let d(r) = r**3 + 13*r**2 - 11*r - 11. Is d(n) prime?
True
Let k be 3 - (1 - 15/21)*28. Is ((-56304)/(-40) - (-3)/k) + 2 a composite number?
False
Let o(r) be the first derivative of 10*r**3/3 + 6*r**2 - 17*r + 9. Let g = 13 - 5. Is o(g) prime?
True
Suppose 0 = 13*h - 9*h - 5636. Suppose -137 - h = -o. Is o composite?
True
Suppose -25 = 8*z - 6*z + 5*i, 5 = 3*z - i. Let n be (-12337)/(-9) + (-2)/(-9). Is 1*(n/3 - z) a composite number?
False
Let f = 2643 + -11232. Let p = 19250 + f. Is p a composite number?
True
Suppose 2*h - 38 = 36. Let z = 44 - h. Suppose 0*w + z*w - 3409 = 0. Is w a composite number?
False
Suppose -2*j = 5*g - 3, 6*g - 3*g = 3*j - 15. Suppose -j*o + 6*o - 4 = 0. Suppose 0 = -o*y - 3*h + 1916, 0*h + h + 2863 = 3*y. Is y prime?
False
Suppose 49*c = -26*c - 43*c + 5134652. Is c prime?
False
Let b(j) = 14*j**2 + 4*j + 23. Suppose -7*a - 33 - 37 = 0. Is b(a) composite?
True
Let l(d) = 146*d + 49. Suppose 3*n + m - 35 = 0, -93*m + 2 = -92*m. Is l(n) a composite number?
True
Suppose 3*t = -5*h + 34268, -2*h + 6*h = -2*t + 27416. Suppose 23042 + h = 6*r. Suppose -5*s + 7594 = -n + 1360, 5*n = 4*s - r. Is s a prime number?
False
Let d = 348 - 175. Let t = 1866 - d. Is t a prime number?
True
Let r = 205476 + 79225. Is r a prime number?
True
Is ((-8)/16)/((-4)/(-3171992))*-1 a prime number?
False
Let u(s) = 26*s**3 + 7*s**2 + 5*s + 3. Let x be u(6). Let k = x - -202. Is k prime?
False
Suppose 5*x = -2*x. Suppose d - w = x, -d - 8 = -5*w + 4. Is (387 - 3/d) + 3 composite?
False
Suppose -15*z = -40*z + 1624525. Suppose -b + 4 = 0, -4*g + 5*b - 13829 + z = 0. Is g composite?
True
Suppose 20*c = -2*s + 23*c + 108892, -7*s - c = -381145. Is s a prime number?
True
Suppose -4*k - 20 = 0, u + 5*k = -28 + 10. Let t(p) = 374 + 545 - u*p - 242 + 11*p. Is t(0) a prime number?
True
Let d(i) = -i**3 + 9*i**2 - 8*i + 18. Let z be d(8). Let o(q) = -5*q**2 + q**3 - 4*q**2 + 25 - 5*q**2 - 27*q. Is o(z) a prime number?
False
Let d(k) = 519*k + 134. Let q(p) = 1038*p + 268. Let g(z) = 13*d(z) - 6*q(z). Is g(23) composite?
False
Let z(n) = n**2 - 1. Let a be z(-1). Suppose a = -13*k + 16*k - 669. Suppose -4*y - 4*p + 448 = 0, -2*y - p + k = -0*y. Is y composite?
True
Is (35/((-210)/(-9)))/((-6)/(-116924)) prime?
True
Suppose o = -5*z + 20, 9*z = o + 4*z + 10. Suppose 0 = -2*h - 4*i + 1674, -h - o*i = h - 1672. Is h a composite number?
True
Suppose 4*i = -2*l + 5090, i + 6*l - 166 = 1101. Suppose a = 4*a - 18. Suppose 3*w = -2*q + 2*w + i, 0 = -2*w + a. Is q a composite number?
True
Suppose 4*k = -x + 2385 - 531, x = -k + 465. Suppose 2*c - k = c. Let m = c - 252. Is m prime?
True
Let k(z) = -z**2 + z - 1. Let i(c) = 21*c**2 - 8*c + 19. Let j(o) = i(o) + k(o). Let u = 75 + -62. Is j(u) prime?
True
Suppose 2*s + 49*g = 46*g + 855487, g = 5*s - 2138760. Is s prime?
True
Let v(p) = p**2 + 2*p - 1. Let b be v(1). Let s be (4 - b) + (-3)/(-3). Suppose 0 = -3*n - 5*q + 4758, 5*n - 4764 = 2*n - s*q. Is n a composite number?
True
Let l be 19361 - (8 - 4) - (3 + -1). Suppose l = 15*c + 7550. Is c composite?
False
Let w be (-18 + 8)/(-20)*(-146)/(-1). Suppose -81*t + w*t = -31736. Is t a prime number?
True
Let v be (34341/15)/(-1) + (-18)/30. Let k = v - -3407. Is k prime?
True
Let g be 1 + 633/(-12) - (-3)/4. Let v = -42 - g. Suppose v*b - 3*b = 4458. Is b a composite number?
False
Suppose 2*i - 610423 = y, -276*i + 274*i - y + 610413 = 0. Is i a prime number?
True
Is (-108)/(-684) - 2137456/(-38) composite?
False
Suppose 5*k - 3*k - 2*h - 16 = 0, -20 = -3*k + h. Suppose -26265 = -3*l - 4*q, 2*q - k*q = -l + 8771. Is l composite?
True
Let m(x) = 105*x**2 + 67*x + 1699. Is m(-30) a composite number?
True
Let m = -11 - -13. Suppose 0 = -0*g - g - m*v - 4, -2*g + 3*v = 1. Is (0 + g)/2*-259 prime?
False
Let z be ((-50)/20 - 2)*8/6. Is 4822/z*(-6)/(-4)*-2 prime?
Tru