3845 = 0. Suppose 3*s = h + 452. Is s a prime number?
False
Let k = -422 + 3108. Suppose -4*q - 3*t = -2*q - k, -5*q + 2*t = -6677. Is q a prime number?
False
Suppose -42 + 24 = -3*c. Let d be c/(-8)*-8*71. Let h = -128 + d. Is h a composite number?
True
Let f = 114 - 210. Is 1009*(f/(-72))/(4/3) composite?
False
Let g = 105505 - 50162. Is g composite?
False
Is 0 - -141011 - ((-225)/15 - -9) composite?
True
Let t(d) = 66*d**2 + 730*d + 223. Is t(-42) prime?
False
Let d(o) = 2614*o + 293. Is d(29) a composite number?
False
Let c(k) = -k + 16. Let v be c(9). Suppose 4*x + v*b = 4*b + 10526, 0 = -b - 2. Suppose 4*g - 24669 = -x. Is g a prime number?
False
Let r = -215834 - -455967. Is r prime?
False
Let w = -195355 + 329642. Is w a composite number?
False
Suppose -2*i = -2*c - 0*c - 14, 0 = 4*i - 5*c - 31. Suppose t = 2*p - 4721, i*p = 5*t + 5274 + 4165. Is p prime?
False
Suppose -5*a + 4 = -6. Suppose -5*v - 8 = 3*q - v, v + a = -2*q. Let o(p) = -p**3 - 2*p**2 - p + 751. Is o(q) a composite number?
False
Is (-258376)/(-7) + 21/(129 - -18) prime?
False
Let v(k) = 459807*k**2 + 14*k - 15. Is v(1) a prime number?
False
Let l be (-6)/(-16) - (-33)/(-88). Is 3787 + (-36 + l)/(-6) composite?
False
Suppose 4*w - 54 = -2*w. Let p(s) = -5*s + 49. Let z be p(w). Suppose 408 = -6*h + 7*h - 2*d, z*h = -4*d + 1572. Is h a composite number?
True
Suppose 2*u - 341248 = -3*d, 2*u - 341262 = 219*d - 215*d. Is u prime?
True
Suppose -p + 42817 = 4*z - 2132, -p = z - 44952. Is p a composite number?
False
Suppose 0 = 7*w - 1129991 + 353418. Is w prime?
True
Is 2/(-4)*-10 + 47 + -47 - -14076 a composite number?
False
Let f = -239 - -241. Let v(h) = 3472*h - 17. Is v(f) prime?
False
Let n(c) = 1560*c**2 - 5*c. Let j(m) = 1559*m**2 - 6*m + 1. Let h(l) = 2*j(l) - 3*n(l). Let o be h(-1). Let d = -922 - o. Is d a prime number?
True
Let n be (-13)/((-585)/100) + 4/(-18). Suppose 8871 = n*g - 8261. Is g prime?
False
Let r(y) = -528*y - 13 + 73*y - 130 - 192*y - 11. Is r(-4) a prime number?
False
Let n be -3 - 1675/(-5) - 7. Suppose -321*t + n*t - 988 = 0. Is t a composite number?
True
Suppose 0 = -170*m - 1596722 + 5774812. Is m a prime number?
False
Let c(i) = 81*i**2 - i - 11. Suppose 5*u - 3*q + 45 = 0, -38 = 4*u - 3*q + q. Is c(u) a prime number?
False
Let y(w) = 503*w**2 + 2*w + 34. Let z be y(7). Suppose 0 = -4*c - n + 24693, -z = -4*c - 6*n + 3*n. Let r = c - 3438. Is r a prime number?
False
Suppose 5*g + 1785 = 12*g. Suppose y - 5*m - 150 = 109, 0 = -y + m + g. Is y composite?
True
Suppose 88 = -g + 90. Suppose -5116 - 1066 = -g*o. Is o a prime number?
False
Let c(u) = -13131*u + 3083. Is c(-20) prime?
True
Is (24123/(-34) + -9 + 0)*68/(-6) a prime number?
False
Let w(n) = -14*n + 77 - 39*n - 125*n - 126*n. Is w(-10) a prime number?
False
Suppose 2*v + 9 = -p - 3*v, 3*v + 12 = 0. Suppose -3 - 11 = -5*b + i, 4*i = 5*b - p. Suppose -b*q + 4*a = -582 - 597, q - 5*a = 382. Is q a composite number?
False
Let c = -270 - -301. Suppose c*j + 14565 = 46*j. Is j a prime number?
True
Suppose 530*v - 2*z = 521*v + 2293135, 0 = 3*v + 2*z - 764357. Is v a prime number?
True
Let o = 31490 - 12543. Is o composite?
False
Suppose 5*b = 12556 + 5659. Let y(j) = 30*j**2 - 29*j + 9. Let r be y(9). Let n = b - r. Is n a prime number?
False
Suppose 28*s = 26*s + 10. Suppose -4*j + 11193 = b, 5*j = s*b + 14347 - 70437. Is b composite?
False
Suppose -2*q - 3414 = 6*p - 210868, -4*p = -32. Is q prime?
True
Let n(j) = 777002*j**2 - 8*j + 23. Is n(1) composite?
True
Is (498951/(-36))/((-8)/32) a prime number?
True
Let s(z) = 4686*z**2 - 3*z + 2. Let w(h) = -h**2 + h. Let o(x) = s(x) + 3*w(x). Is o(-1) composite?
True
Let r be (-30)/20 - (-22)/4. Suppose -5*j - 4*a = -3*a - 1645, r*j - 3*a = 1316. Is j a composite number?
True
Let k = -18086 - -42601. Is k a composite number?
True
Let v(k) = 60*k**3 + 10*k**2 - 14*k - 1. Let c(m) = m**2 - 8*m + 11. Let y be c(7). Is v(y) prime?
True
Suppose -279 = 17*w - 18*w. Suppose 1421 + w = 10*i. Suppose 0 = t - i - 137. Is t a composite number?
False
Let b(g) = 9*g**3 + g**2 - 104*g - 417. Let c be b(-4). Suppose -12 = t - 38. Let k = t - c. Is k composite?
False
Suppose -x = -0*x. Suppose 48*n = 161 - 17. Suppose -30 - 395 = -n*d - z, x = d + 4*z - 149. Is d prime?
False
Let h = -416 - -408. Is (-225014)/h - (-4)/16 a prime number?
False
Let z be -245 + 250 - (-12)/2*3/6. Let b(c) = -2*c**2 - 23*c + 5*c**3 + 2*c**3 - 5 + 10*c**2. Is b(z) a prime number?
True
Let x(v) = -5*v**3 - v**2 + v + 1. Let r(a) = -6*a**3 - a**2 + a + 1. Let q(l) = -4*r(l) + 5*x(l). Let k be q(0). Is (k + -671)*9/(-18) a composite number?
True
Let w(s) be the second derivative of 347*s**3/2 - s**2/2 - 15*s - 1. Is w(2) a composite number?
False
Suppose -3*j = -0*j - 12. Suppose j*t + 460 = 5*g, -3*g = 3*t - 0*t + 318. Let k = t - -187. Is k a composite number?
True
Let x(d) = -d**2 + 2*d + 5. Let n be x(3). Is -1262*((-51)/(-34) - (n + 0)) composite?
False
Let v(b) = -b**3 + 8*b**2 + 3*b - 21. Let q be v(8). Suppose 5291 = q*x + 3*d + 128, 8605 = 5*x + 2*d. Is x prime?
True
Suppose 3*s = 17*s - 42. Suppose i + 3477 = s*n + 6*i, 2*n = -3*i + 2318. Is n prime?
False
Let f(g) be the third derivative of -379*g**4/24 - 4*g**3/3 + g**2. Suppose 3*n = -2*m + 16, -2*n - 25 = -3*m - 40. Is f(m) a prime number?
False
Suppose 7*j - 51 = -10*j. Suppose 1 - 9 = -4*k, 0 = h - j*k - 695. Is h a composite number?
False
Is (-1 - -9) + (-85 - -26158) a prime number?
False
Let y(p) = -3*p - 25. Let i be y(-10). Suppose -c = -i*o - 9044, -4*c - 3*o - 12898 = -49051. Suppose -4*j + c + 3533 = 0. Is j a prime number?
False
Suppose 3*n = l + 37, 3*n - 8*n = -l - 63. Let w(p) = -n*p + 13*p - 6 + 12*p**2 - 1 - 6*p. Is w(5) composite?
False
Is (1013/6078)/(2/3703743*9/12) a prime number?
True
Suppose 5*c = -4*b + 5454, 5*b - 4*c - 6801 = -2*c. Suppose 11*h = 12*h - b. Is h prime?
True
Suppose -3*l + j + 428024 = 0, -5 = -5*j - 30. Is l composite?
False
Let l(s) be the first derivative of -s**2 + 2*s - 34. Let b be l(0). Suppose 0 = -b*p + 5*p - 5*m - 1669, 0 = m + 2. Is p composite?
True
Suppose -766*w + 1521*w - 769*w + 1004878 = 0. Is w a composite number?
False
Suppose 3*y + c + 3 = 0, -4*y + 0*c = -2*c + 14. Let b(k) = -45*k**3 + 3*k**2 + 2*k + 1. Let t be b(y). Suppose 0 = -h + t - 16. Is h a prime number?
True
Let v(t) = -33*t - 264. Let i be v(-8). Suppose 5*w + 28*w - 583242 = i. Is w a prime number?
False
Suppose 3*v + v + 20 = 0. Let n(d) = -143*d - 1. Let u(h) = 9*h + 1. Let j(g) = n(g) + 2*u(g). Is j(v) a composite number?
True
Let q(d) = 31*d**2 - 12*d**2 + 27 + 24*d**2 + 28*d + 3*d**2. Is q(20) a prime number?
False
Let m(n) = 2*n**3 + 3*n**2 + 7. Let d be m(3). Let y = d + -80. Suppose -8657 = y*p - 19*p. Is p composite?
False
Let p(r) = -5*r**2 - 16*r. Let v be p(-3). Suppose 2*i - v*i = -3347. Is i prime?
True
Let j = 128 + -127. Suppose -12 = -11*v + 14*v, x = -v - j. Is x + -7 + 2 - (-373 - 0) composite?
True
Suppose 0 = d - 3*u - 1572103, 22*d - 2*u - 6288452 = 18*d. Is d a composite number?
True
Suppose 0 = -3*j + 20*j + 17. Is j/(-5) + (-1489398)/(-185) prime?
False
Let n(i) = i**2 - 14*i + 85. Let d be n(16). Suppose -f - 4*t + 361 = 0, 0 = -4*f + 5*t + d + 1285. Is f a composite number?
False
Let b(q) = -24*q - 22. Let p be b(-4). Let i = 78 - p. Suppose 0 = 4*f + i*v - 2368, -6*v + v = -5*f + 2910. Is f prime?
True
Let s be (6/(-9))/((-2)/6) + 10. Let x be 3*4/s - 3 - -2. Is (293 + x)*(-3 - -12 - 4) a prime number?
False
Suppose -268*w + 22922597 = -5020959. Is w prime?
False
Suppose 2 = 2*s, 0 = 3*y - 8*s + 9*s - 21373. Let r = 16641 - y. Is r a prime number?
False
Let x = 51094 + -26728. Is x/10 - (-2)/5 a prime number?
True
Let p = -1099 + 415. Let c = 2611 + p. Is c a prime number?
False
Let m(p) = 14*p**2 + p + 1. Let n be m(-1). Let i be ((-12)/n)/((-54)/252). Is 4 + -2 - (-6956)/i a prime number?
True
Suppose -12*t + 9*t = 5*y - 2603, 0 = 2*y - 4*t - 1062. Is y prime?
True
Let i(d) = -863*d - 101. Is i(-6) composite?
False
Let j(b) = -3*b**3 - 3*b**2 - 8*b - 8. Let r be j(-5). Let a = r - 185. Suppose -c + 5*x + 107 = 0, -3*c + 5*x - a = -4*c. Is c prime?
True
Is (-26)/247 - 33885845/(-95) composite?
False
Suppose -45138 = o - z, -2*z - 103873 - 121852 = 5*o. Let g = -25