*w**2 - 372*w - 2588. Is k(-7) a prime number?
True
Suppose 16*h - 1521275 = -12*h + 3121041. Is h a prime number?
False
Let k(h) = 31*h - 34. Let u be k(11). Suppose 280 = 4*z + 2*o, 2*o = -3*z - 98 + u. Let v = -36 + z. Is v composite?
True
Suppose 0 = -12*c + 6*c + 84. Suppose -c = 4*p + 22. Is ((-3)/p)/(3 - 11912/3972) prime?
True
Suppose 4*o = 4*m - 168, 3*m - 4*o - 57 = 72. Let i(g) = g**2 + 58*g - 176. Is i(m) a prime number?
True
Let r be (-1 + 15/(-9))/((-10)/(-15)). Is (-2)/r*45303*102/153 a prime number?
True
Let a(z) = -571*z - 120. Let k be a(-10). Let f = k + -3881. Is f a prime number?
True
Suppose -5*t = -2*s - 6 - 971, 0 = -4*t + 3*s + 783. Let i be -80*(52/t - (-2)/(-3)). Suppose -i - 31 = -2*x + f, -f - 1 = 0. Is x composite?
False
Suppose -5*d + 200 = 215, 4*u = 2*d + 853666. Is u composite?
True
Suppose 4*w = -4*h + 8863 + 15329, 0 = 4*h - 4*w - 24160. Let r = h - 3807. Is r composite?
False
Let y(c) = -94*c**2 - 4*c - 3*c - 91 + 95*c**2. Is y(38) prime?
True
Suppose -2*f + 5*z + 430072 = 0, 61 = -z + 67. Is f a prime number?
True
Let b = 1836 - 2976. Let o be b/(-9)*(-18)/(-5). Let u = 3421 - o. Is u composite?
True
Let h = 452 - -8851. Let a = -3036 + h. Is a composite?
True
Let u be (1/(-3))/(3/(-99)). Let o be 35/u + 24/(-132). Suppose -2*p = 3*p + 15, -o*p - 3251 = -2*s. Is s composite?
False
Let k(z) = -z**3 - 43*z**2 + 451*z + 194. Is k(-125) prime?
False
Let l = 13 - -3. Let f(g) = 4*g + 20. Let i be f(-4). Is 1560 + 9/12 + i/l composite?
True
Let k be ((-315)/(-6))/7*(-16)/(-6). Let m be (5/k*2)/(2/300). Suppose -315 = -6*u + m. Is u prime?
False
Let u(r) = 15*r + 20 + 37*r**2 - 17 - 16 + 4*r**2. Let p(q) = 82*q**2 + 29*q - 25. Let d(f) = 6*p(f) - 11*u(f). Is d(3) prime?
True
Is -7 + (11 - 16) - -1701274 prime?
False
Let q(m) = -157*m + 404483. Is q(0) prime?
True
Suppose -6*x + 35 + 43 = 0. Suppose -17*a + 32 = -x*a. Is 18544/6 + -9*a/(-216) a prime number?
False
Suppose 16*h = h - 328290. Let b = -15020 - h. Is b composite?
True
Let t = 269123 + -124540. Is t a composite number?
False
Let l(w) = 74*w**2 + 4*w + 14. Let c be l(15). Suppose 0 = 4*t - 0*t - c. Is t composite?
True
Let v be (-64501)/(-2) - (92/(-8) + 11). Let b = -15440 + v. Is b a composite number?
False
Let u = -5295327 + 9399880. Is u a composite number?
False
Let v = 134 - 125. Suppose 0 = v*r - 6*r - 12. Suppose c + 4 = -1, -3*h = r*c - 1225. Is h a composite number?
True
Let a(b) = 2148*b**3 + 6*b**2 + 7. Let d(n) = -2147*n**3 - 7*n**2 - 8. Let r(c) = -7*a(c) - 6*d(c). Is r(-1) a composite number?
False
Is 3439214/20 - (9/(-30) + 0) composite?
True
Let u(n) = 70216*n + 5585. Is u(3) a prime number?
True
Let y = 191 - 189. Suppose -2*f - 4*c = f - 14297, 5*c = y*f - 9516. Is f a composite number?
True
Let j be 1362/(-12)*(4 - (4 + 2)). Suppose 338 = -0*u - u. Let t = j - u. Is t prime?
False
Suppose 7 = o - 2. Is ((-15)/o)/(-5)*5583 prime?
True
Let u(s) = -4*s**2 + 4 + 5*s**2 - 85*s**3 + 84*s**3. Let n be u(2). Suppose 4*t = k + 1020 - 3, -3*t + 5*k + 767 = n. Is t composite?
True
Suppose 12*s - 8*s + 160 = 0. Suppose -15 - 480 = -5*c. Let d = c + s. Is d prime?
True
Suppose -2*r - 2152*k + 29393 = -2147*k, -44092 = -3*r - 5*k. Is r a composite number?
False
Let a(t) = -2*t + 9 - 7*t**3 + 6*t**3 - 8*t**2 + 4*t. Let o be a(-8). Let q(f) = 8*f**2 - 5*f - 8. Is q(o) composite?
False
Suppose 0*i - 4*i = 12, -5*o - 3*i + 1 = 0. Suppose -2*f - 478 = -o*p, -f + 5*f - 1186 = -5*p. Suppose 1243 + p = v. Is v a prime number?
True
Suppose c + 179369 = 3*w, 5*c - 94648 = -2*w + 24954. Is w prime?
True
Suppose 31*w - 14*w = -2*w + 1313071. Is w a prime number?
True
Let z = -5411 - -27834. Suppose -3*p + 51956 + z = 0. Is p a prime number?
True
Suppose 3*g = 3*i + 340488, 32766 = 3*g + 4*i - 307757. Is g a prime number?
True
Let y(r) = -2*r - 11*r + 8 + 18 - r. Let b be y(15). Is ((-19)/2)/(-2*(-2)/b) a composite number?
True
Let t = 3 + -31. Let w be 8/28 - 76/t. Suppose -c + 762 = -w*y + 5*y, 0 = y - 4*c - 363. Is y a composite number?
False
Let k = 92 - 90. Let p be (25707/(-22))/(1/2) + k. Let y = 484 - p. Is y a prime number?
True
Let a(t) = -6*t - 44. Let r be a(-8). Suppose -v + 2*g + 1982 = 3*g, 0 = 2*v + r*g - 3970. Is v composite?
False
Suppose -3*h + 0*z = 4*z + 140, 197 = -4*h + 5*z. Let y = 60 + h. Let v = y + 43. Is v prime?
False
Let c(z) = 1036*z - 3. Let r be c(8). Suppose 0 = -4*j + 9*j - r. Let l = -1130 + j. Is l a prime number?
False
Suppose 98*i - 106*i + 2108072 = 0. Is i a composite number?
True
Suppose -2*k + 14 = 5*t, 27*k = 28*k + 3*t - 6. Is 81447/k + (-6 - -3)/12 prime?
False
Suppose -3*r - 3*i - 30 = 0, 5*r - 5*i = 13 - 63. Let t be 30/25*r/(-4). Suppose -7*v = -t*v - 3260. Is v prime?
False
Let m(k) = -k**3 - 8*k**2 + 4*k + 16. Let o be m(-8). Let y(g) = -g**2 - 24. Let p be y(o). Let c = p + 594. Is c a prime number?
False
Let a = 182846 - 29983. Is a a prime number?
False
Let n(r) = 2*r + 92. Let w be n(20). Suppose w*t - 5668 = 128*t. Is t composite?
True
Suppose 150848 + 17104 = 32*x - 521936. Is x a prime number?
True
Let p = -1178974 - -1695647. Is p a composite number?
False
Suppose -510 = 2*k - 4*k. Let l = 1867 + -1743. Let y = k - l. Is y composite?
False
Let x(r) = -5*r**3 - 10*r**2 + 12*r + 4. Let b be x(-9). Suppose -3*a = 4*y - 10885, -3*y + 4*y - b = -4*a. Is y a prime number?
True
Let o be 8/(-10)*(-34 + (3 - 4)). Suppose -4*c + 44 = 4*m, 2*c + 3 = -m + o. Let u = 21 + c. Is u a composite number?
True
Is 7 - (4/(-20)*2 + (-893840)/25) a prime number?
False
Let m be (100/(-15))/(-1 - 4/(-3)). Suppose 4*c = -2*a - 16, 5*c + 1 = 3*a + 3. Is (-6144)/m - c/(-10) prime?
True
Suppose -351 = -10*d + 69. Suppose 0 = 4*o + d*x - 39*x - 23698, 3*x = 6. Is o prime?
True
Suppose -156*q + 192*q - 339860 = 815488. Is q prime?
False
Suppose 796596 = 4*y - n, -2*y + 430134 = -3*n + 31856. Is y a prime number?
True
Suppose 2*m = 4, -3*m + 121 - 34 = -v. Let g = 69 + v. Is (-4 + -53)*52/g composite?
True
Let z = -168 + 238. Let m be 1/((-7)/2) - (-20)/z. Suppose m*f + f = 3*i + 1635, 4*i = 2*f - 3274. Is f prime?
False
Let d(z) = 4*z + 19. Let j be d(-6). Let b be (2/(-10))/(j/31925). Suppose m - 235 = f + 85, 4*m = f + b. Is m a composite number?
True
Let w be 8 + 7/(21/(-15)). Let h be (2/3*w - 3)*-2. Suppose 5*r + 1166 = 5*j + 4086, -h*r = 3*j - 1183. Is r composite?
False
Let j(p) = -p**2 - 8*p - 9. Let k be j(-1). Let a(u) = -740*u**3 + 2*u**2 + 3*u + 1. Is a(k) composite?
False
Let q(l) = 858*l**2 - 435*l + 161. Is q(12) prime?
True
Suppose -5*i - 3939278 = -4*k, -4*k - 8*i = 3*i - 3939246. Is k a prime number?
True
Suppose -20 = 5*l - 3*h + 4, -6 = 3*h. Is (-383530)/(-42) + 4/l prime?
False
Let i(u) = 1410*u**2 - 21*u + 80. Let w be i(5). Is w/20 + (-9)/(-12) a composite number?
True
Suppose -k - 17059 = -8*k. Is k composite?
False
Let t(v) = -571*v + 20. Let x(n) = 4*n**2 + 38*n + 15. Let y be x(-9). Is t(y) a composite number?
False
Suppose -2*h - 7 + 2 = -t, 4*h = 3*t - 13. Suppose -t*m - 11967 = -6*m + l, 11967 = 3*m - 2*l. Is m a prime number?
True
Suppose -9*h = -16*h + 35. Suppose 0 = -3*l + 5*w + 1010, h*l - 4*l - 336 = w. Is l composite?
True
Is (16 + -18)*(-3501337)/14 a composite number?
True
Let y(n) = -3*n**3 + 11*n**2 + 228*n + 15. Is y(-28) a prime number?
True
Is (-36)/216 - (337526/18)/(4/(-6)) prime?
False
Let v(w) = 9*w - 152. Let p be v(17). Suppose 4*y + 3512 = -d - 2*d, -4636 = 4*d - 4*y. Is 2/(3 - p) - d a prime number?
False
Suppose p = 40220 - 7935. Suppose -5*u = -2*d - p, 2*u - 32285 = -3*u + 5*d. Is u prime?
False
Suppose 0 = 3*s + 4*u - 28 - 74, 3*s = -u + 111. Suppose s*h - 195715 - 233647 = 0. Is h composite?
False
Suppose -4*p = -7*s + 841327, 3*p = 2*s - 45066 - 195315. Is s prime?
False
Let a(c) = 16 + 2 - 21*c - c**2 + 9*c. Let w be a(-13). Suppose -4*f - 299 = -w*f. Is f a composite number?
True
Is (-3)/((-96069)/115218 + (-10)/(-12)) a prime number?
False
Let z(x) = 1448*x**3 + 14*x**2 - 5*x + 78. Is z(5) prime?
False
Let v(p) = 502*p**2 - 75*p - 384. Is v(21) composite?
True
Let o = 152 - 140. Suppose -o*i = -23 - 1. Is (3304/(-24))/(1*i/(-6)) a prime number?
False
Suppose 0 = -2*o - 4*u + 29770, -2*o - 4*u + 29794 = -6*u. Suppose 0 = 27*k - 174026 - o. Is k a composite number?
Fal