 g = -0*z - 1025, -5*g = 20. Let r = -152 - z. Is r a prime number?
True
Let b be (12/4)/(-1) + -12. Let f be (-4)/(-20) + (-27)/b. Suppose -f*d = -18 - 56. Is d composite?
False
Suppose -5306 = -11*c - 3*c. Is c a prime number?
True
Suppose -208 = -2*g - d + 1246, 0 = -2*g + 2*d + 1454. Let v = g - 342. Is 4 + 1*(v - 0) prime?
True
Let h(z) = z**3 - 12*z**2 + 6*z + 6. Let b = -6 + 14. Let y be h(b). Let u = -119 - y. Is u prime?
True
Let o(p) = -1339*p**3 - 4*p**2 - 15*p - 9. Is o(-2) composite?
True
Suppose 3*v = 6 + 6, 4*p = -2*v + 10284. Suppose a - 2*a + 2*b + 639 = 0, 5*b = -4*a + p. Is a composite?
False
Suppose -10498 - 52834 = -4*a. Is a composite?
True
Let y(q) = 3*q**2 - 4*q + 2. Suppose 2 = -2*k + 4, -3*k = 4*x - 27. Is y(x) prime?
False
Let t be (-2)/4*(-52 + 16). Let m = t + 127. Is m a prime number?
False
Suppose -2*u + 2 + 8 = 0. Suppose -6*b = -3*s - b - 11, 2*b - u = s. Suppose -6*f + s*f + 381 = 0. Is f composite?
False
Let s(m) = -2*m**3 + 15*m**2 + 5*m + 4. Let a be s(8). Is (a/(-35))/((-4)/(-154)) a composite number?
True
Suppose 2*o - 12 = -2. Let n be 1 + -1 + (6 - 1). Suppose o*v - 175 = -3*l - 2*l, -2*v = -n*l - 70. Is v a prime number?
False
Is 392719/21*1 - (-142)/1491 a prime number?
True
Suppose -40 = -2*b - 3*b. Let f = 13 - b. Suppose -f*v + 3 = -42. Is v prime?
False
Let o(u) = u**2 - 12*u + 4. Let n be o(12). Suppose z + 6 = 2*t, 4*z + n = -0*z + 3*t. Suppose 5*r = -z + 197. Is r prime?
False
Let t(c) = -c**2 - 3*c + 5. Let y be t(-4). Let l be -7 + (1 - 12/(-4)). Is l + y + 78 - -3 prime?
True
Let u(a) = -a**2 + 5*a + 8. Let d be u(6). Let j(t) = 10*t - 11 + 13*t + d*t. Is j(6) a prime number?
True
Let j = -211 + 509. Suppose -j - 1272 = -2*a. Is a a prime number?
False
Suppose -3*h - 4*q - 85 = -0*q, -4*q = -5*h - 195. Is (-21)/h - 484/(-10) composite?
True
Suppose 19*x - 635405 = -58888. Is x composite?
True
Let u = 227 - 225. Let d be -3 - -1 - (-93)/1. Suppose -u*g + d = -1. Is g prime?
False
Let z(q) = 48*q**2 + 7*q - 13. Let p(y) = -24*y**2 - 3*y + 6. Let r(h) = -5*p(h) - 3*z(h). Let m be r(-13). Is 2/8 - m/12 composite?
False
Let s(j) = -47*j + 14. Let r be s(5). Suppose 5*x = h + 365, -5*x = 3*h - 419 + 74. Let v = x - r. Is v composite?
False
Suppose 1736 = -8*o + 9*o. Suppose 2*v + o = 7614. Is v a composite number?
False
Let q(s) = 175*s**2 + 21*s + 13. Is q(11) a composite number?
False
Suppose -5*s - 1254 = -r, 71 + 2425 = 2*r + 2*s. Is r a composite number?
False
Is (-29937)/(-17)*(-2)/(-6) prime?
True
Suppose 0 = 5*s - 3*j - 12, 3*j + 14 - 2 = -4*s. Suppose 972 = 2*x - z - 1467, s = 4*x - z - 4873. Is x a prime number?
True
Let s(l) = 343*l**2 + 2*l + 2. Is s(1) a composite number?
False
Let x(b) = 11*b**3 - 9*b**2 + 5*b + 5. Let a be x(6). Suppose 3*z - 2*r = -4, -4*r + 7 = -1. Suppose -5*f - t + 2*t + 2078 = z, a = 5*f - 4*t. Is f prime?
False
Let h(l) = 129*l**2 - 8*l + 3. Let y be h(4). Suppose 7*t + y = 12*t. Is t composite?
True
Let x = 37 + -22. Is (-110)/x*93/(-2) a composite number?
True
Let g(n) = -155*n**3 + 6*n**2 - 15*n - 19. Is g(-6) prime?
True
Suppose -45*i + 50*i = 3565. Is i a composite number?
True
Let h(q) = q**3 + 2*q**2 - q + 3. Suppose p = -r - 11, 3*p - 15 = 4*r + r. Let i be h(r). Let g = 88 - i. Is g composite?
False
Let y be -2*((-20)/(-8) - 4). Is 5/(-15) + 1042/y a composite number?
False
Let j(l) = -l**3 - 11*l**2 - 10*l - 6. Let b be j(-10). Let y be (-2)/3*(b + 0). Suppose 5*o - 3*o + 5*v - 8 = 0, 0 = -v - y. Is o composite?
True
Let c(g) = 532*g**2 + 7. Is c(4) composite?
True
Suppose -2*x = -7*x + 525. Let l = 254 - x. Is l composite?
False
Suppose -5*d + 30 = 10. Suppose -5*p - d*a = -p - 128, 4*p = -3*a + 126. Is ((-284)/12)/((-2)/p) a prime number?
False
Let c(b) = b**2 - 6*b + 5. Let i be c(-8). Suppose -3*x + i = -a, -x + 5*x + a = 149. Let l = -24 + x. Is l prime?
False
Let t(j) = 12*j - 13*j + 35*j**2 + j - 9. Is t(4) a prime number?
False
Suppose -7*t + 11*t + 2479 = 5*j, 487 = j - 3*t. Is j prime?
True
Let z be (3/1 - 3)*-1. Suppose 154 = 3*g - 2*u - 87, 2*g - u - 160 = z. Suppose 3*q = g + 26. Is q composite?
True
Let n(u) = 266*u**2 - u - 2. Is n(-1) a prime number?
False
Let x(d) = -d**3 - 6*d**2 + 14*d - 6. Let v be x(-11). Suppose m = 6*m - v. Is m a prime number?
True
Let l(r) = -8 - 8 + 14 - r. Let x be l(-9). Suppose x*o = 4*o + 471. Is o prime?
True
Let i = 19643 + -11562. Is i composite?
False
Let z(d) = 3*d + d - 3*d**3 - 21 + 12*d**2 - 7*d + 2*d**3. Is z(11) a prime number?
True
Suppose 12*d = 24*d - 104604. Is d a prime number?
False
Is 35/(-7) + (-9)/((-18)/5168) a composite number?
False
Let v be ((-2658)/(-4))/((-10)/(-20)). Suppose 0 = 5*f - 2*f - v. Is f composite?
False
Suppose 5*o = 5*h + 95, 0*h + 73 = 4*o - 3*h. Let u be (692/o)/((-1)/(-4)). Let q = u - -144. Is q a prime number?
True
Let a = 19326 + -7820. Is a/10 - 10/25*-1 composite?
False
Let k(r) = 27*r**2 - 5*r - 1. Is k(-7) a prime number?
False
Let i be 18/12 + -2 - 10/(-4). Let b(x) = 30*x**3 + 4*x**2 - 3*x + 1. Is b(i) a prime number?
True
Suppose 427*n - 429*n = -45118. Is n a composite number?
True
Suppose 83 = 5*x - 112. Let k = -21 + x. Let t = k - -1. Is t prime?
True
Let y = -89 - -92. Suppose 9*q - y*q - 1218 = 0. Is q a composite number?
True
Suppose -3*i - 15033 = -90840. Suppose i = 4*s + 4*x + 1257, -5*s + 2*x = -30043. Is s a composite number?
False
Let q = 26 + -20. Is -149*(q/(-3))/2 composite?
False
Suppose -18887 = 7*z - 57030. Is z composite?
False
Suppose -11 = 4*q - 51. Let j(k) = 6*k**2 + 8*k + 27. Is j(q) a prime number?
False
Suppose 0 = -7*u + 2370 + 17. Suppose -2*o + 3*o - 2*m - u = 0, 4*m = -20. Is o composite?
False
Let h = -19 - -25. Let q be (135/6)/((-3)/h). Is (-5439)/q - 8/(-60) composite?
True
Let c be (-237)/9 + 4/3. Let k = 248 + c. Is k a composite number?
False
Suppose -7534 = -3*n + s + 10696, 3*s - 3 = 0. Is n prime?
False
Suppose 0 = -3*k + 4*u - 88, 4*u + 20 = 9*u. Let h = 445 - k. Is h composite?
True
Is (-5 - -7)/(2/6943) a composite number?
True
Let x be 1 + 1*-1 - 88407/(-19). Suppose -14*l = -x - 4517. Is l composite?
True
Suppose 4*g + 15 = 9*g, 0 = 2*n - 4*g - 1766. Is n composite?
True
Let c = 31669 - 21608. Is c a prime number?
True
Let c = 91 - 33. Is -2 + -4 + 1 + c a prime number?
True
Let c(b) = -534*b - 95. Is c(-10) composite?
True
Is 15/40 + 1 + 1135738/16 composite?
True
Let o be -3 + 3 + 214 - -2. Suppose -8*u = -6*u - o. Let r = u + -55. Is r a composite number?
False
Let b(j) be the second derivative of 4*j**5/5 + j**3/6 + j**2/2 + 2*j. Suppose 2 + 2 = 4*t, 11 = 4*c + 3*t. Is b(c) a prime number?
True
Let w(z) = -z**3 + 11*z**2 - 9*z - 6. Let k = 47 + -40. Is w(k) a prime number?
True
Suppose 4*a + w = 3, a = -0*a - 2*w + 6. Is -1*(-797)/(1 - a/(-4)) prime?
True
Let u be (1/1)/((-1)/(-3)). Let g = 265 - 185. Suppose -g = -b + u. Is b composite?
False
Is 13738/5 + 8/(80/(-6)) prime?
False
Suppose 2*g - b + 4*b - 19 = 0, -18 = g - 4*b. Suppose -c = -4*h - 7, 2*c - 1 = 4*h + 9. Is (-83)/(2*h/g) composite?
False
Suppose 3*b = 5*x + 40, 5*b + 3*x + 2*x = 0. Suppose 0 = 3*f - b*f. Suppose f = -u + 137 - 40. Is u a prime number?
True
Let x be ((-136)/(-12))/((-6)/(-621)). Suppose 5*z - 2*z = x. Is z a prime number?
False
Suppose 5*t = -460 + 3460. Let d = t + -181. Is d prime?
True
Is ((-32)/64)/(3/(-47418)) a composite number?
True
Let h = -21 - -25. Let u be -4*3*h/(-12). Suppose -1357 = -u*a - 4*m + 151, -2*a - m = -756. Is a prime?
True
Suppose -9 + 33 = 2*n. Let d be 1/(1*4/n). Suppose 4*a + 282 = 2*c, -c + d*a + 59 + 78 = 0. Is c a composite number?
False
Suppose 0 = -5*g - 15*g + 18100. Is g prime?
False
Suppose 0*k - 7*k - 14 = 0. Is 3138/k*(-231)/63 a composite number?
True
Suppose 0 = 10*a - 10852 - 878. Suppose -2872 = -5*h + a. Is h a prime number?
True
Let w = -41 - -47. Let b(k) = k**3 - 8*k + 11 + 0 - 2 - 4*k**2. Is b(w) a composite number?
True
Let y be 327/2*(-28)/(-21). Let n = 413 + y. Suppose -20*s + n = -19*s. Is s a composite number?
False
Let v(k) = 157*k - 589. Is v(48) composite?
False
Let g = 107 - -277. Suppose 0 = o + 2*q - 96, -4*o + 3*q = 6*q - g. Let a = o + -61. Is a a composite number?
True
Let l = -237 + -349. Let s = 1133 + l. Is s a prime number?
True
Suppose 17 = 2*x + 3*z, -1