- 4/6. Suppose -6*t + k*t + f = 0. Is t prime?
False
Let x = -2447 - -3958. Is (x/3)/((-4)/(-12) - 0) prime?
True
Let t(c) = 2*c**2 - 46*c - 151. Let q be t(-3). Is 5114/(q - (-1 - -4)) composite?
False
Let u be (24/(-60))/(1/(-20)) - 5. Suppose -x = -u*v + 2*v + 3571, 0 = 2*v + x - 7142. Is v composite?
False
Let g(v) = -v**2 - 9*v - 18. Let r be g(-4). Suppose r*w + 3*w = 5675. Is w a prime number?
False
Let u(i) = -150*i**3 - 2*i**2 - 3*i + 8. Let v = 113 - 116. Is u(v) a prime number?
True
Let m = -12930 - -20859. Let t = m - 1786. Is t composite?
False
Let v(r) = -r**2 + 7 + 4 - 5*r + 2 + 3. Let t be v(-7). Suppose -5*p = 10, 5*x = -t*p - 73 + 1084. Is x composite?
True
Suppose -s = -6*s. Suppose s = 4*n - 474 - 1766. Let y = n + 581. Is y a prime number?
False
Suppose -v + 3*v - 4*i - 34 = 0, -v + 12 = -3*i. Suppose 21*r = v*r. Suppose 2*t - 1174 - 88 = r. Is t a prime number?
True
Let i(p) = p**3 - 5*p**2 + 10*p - 7. Let g be i(4). Let r(k) = 87*k + 58. Is r(g) a composite number?
True
Let a(k) = 72*k + 13. Suppose 4*j - 23 = -7. Is a(j) a composite number?
True
Suppose -11*g + 2 = -10*g. Suppose 2*v - v - 327 = 4*p, -4*p - 658 = -g*v. Is v prime?
True
Let v be (-4)/30 - -1*(-6)/(-45). Let a(z) = z**3 + z**2 - 3*z + 222. Let u be a(v). Is (-1 - u)*(7 + -8) a composite number?
False
Let s = 88 + -90. Let t(w) = -108*w**3 - 2*w**2 + 6*w + 15. Is t(s) a prime number?
True
Let m = 2709 - 7258. Let s = -2833 - m. Suppose -s = -6*t - 138. Is t a prime number?
True
Suppose -4*d + t = -420283, -5*d + 4*t + 219799 = -305552. Is d a prime number?
True
Let f be (6/(-9))/((-6)/(-27)). Is (821/f)/(2/(-12)) prime?
False
Let z(w) = -250*w - 37. Suppose 6*n - 16 + 4 = 0. Suppose n*x - 6 = -26. Is z(x) a prime number?
False
Suppose -a + 20 = 5*r, 5 = 5*r - 4*a - 15. Suppose -r*f + 2*g + 10 = -20, -5*f = g - 27. Let c(x) = 3*x**3 - 5*x**2 - 6*x + 7. Is c(f) composite?
False
Is 1 + (-11749104)/270*5*5/(-2) composite?
True
Suppose 4*v - 14673 + 72247 = 3*k, 0 = -5*k - 5*v + 95945. Suppose 0 = -3*z + k + 24151. Is z prime?
True
Let b(p) be the third derivative of 253*p**5/120 + p**4/12 + 2*p**3/3 - 13*p**2. Let h(l) be the first derivative of b(l). Is h(3) composite?
False
Let a be ((-12)/10)/((-4)/(-220)) + 0. Is 273 - a/22*(-2)/(-6) prime?
False
Suppose 8410*v - 4070535 = 8389*v. Is v composite?
True
Suppose -10*w - 51 = -13*w. Suppose 0 = 5*c + 4*z + 32, 0*z - z + w = -5*c. Is 3602/14 - (-1)/14*c a prime number?
True
Let q be (-2 - 177/6)*-4. Let f = q - 24. Let m = -47 + f. Is m composite?
True
Suppose 22*s = -2*z + 20*s + 94932, z - 47501 = 4*s. Is z a composite number?
True
Let p be ((-20518)/4)/(5/(-20)). Suppose 2*f = 2*d + p, 0 = f - 2*d - 3*d - 10259. Is f prime?
True
Let i(j) = 180*j**2 - 132*j - 581. Is i(44) composite?
True
Is 149/((-15)/(-66480)*16) a composite number?
True
Is (-4)/(-6)*(-38 - -29 - 286878/(-4)) prime?
True
Let a = 42 + 120. Suppose -25*q = -175*q + 450. Suppose 198 = 2*j - g - a, -5*g = -q*j + 547. Is j composite?
False
Suppose 3*t + 74*v = 75*v + 10925, -5*v - 3651 = -t. Is t a prime number?
False
Suppose 48*z - 27*z = -16*z + 4689787. Is z prime?
True
Suppose 5*w + 49 = 5*l + 14, -5*l = 2*w + 21. Is w/3*23208/(-32) + -3 a composite number?
False
Suppose 0 = 3*w + 3*c - 0*c + 4296, 3*c = 6. Let y = 77 - w. Is y prime?
True
Is (-782074)/(-8) + 0 - 77/308 a prime number?
False
Let c(q) be the second derivative of 22*q**5/5 + q**4/12 + q**2/2 + 6*q. Let a be c(-2). Let s = a + 1022. Is s a composite number?
True
Let a be 3*-4547*(-46)/6. Suppose -a = -21*r + 38282. Is r a prime number?
True
Suppose 69*q + 53975301 = 252*q. Is q a prime number?
True
Let f(h) = 45890*h - 59. Is f(5) a prime number?
False
Let b = 6949 + 11685. Suppose -4*o = 2*d - b, d = -3*o - d + 13975. Is o composite?
True
Let a(f) = 21*f**2 + 6*f + 11. Suppose 19*c - 20 = 15*c. Suppose c*n + 0*j - 32 = -j, n - 3*j = 0. Is a(n) a prime number?
False
Suppose 2*s = -2*m + 27 - 11, 3*m - 5*s - 32 = 0. Suppose c - 11011 = f, -5*c - 8*f + m*f = -55071. Is c prime?
False
Let w(d) = 13*d**2 - 2*d**3 + 10*d - 97 + 118 - d**3. Let b be w(-10). Let a = -988 + b. Is a composite?
True
Let o(n) be the second derivative of n**3/6 - 4*n**2 - 14*n. Let m be o(3). Let y(u) = 51*u**2 - u - 7. Is y(m) a prime number?
False
Let h = 2456607 - 1437754. Is h a composite number?
True
Is (-416)/65 + 7 - ((-4549124)/10 - -6) a composite number?
False
Let o = 354 + -348. Is o/((-528)/(-311944)) + (-2)/(-11) composite?
True
Let z(j) = 5*j - j**2 + 113*j**3 + 0 - 9*j - 1 + 7*j**2. Is z(2) prime?
True
Suppose -42*s + 47*s + 4*u = 677779, 0 = 3*s + 5*u - 406657. Is s prime?
True
Let b(u) = 5*u + 147. Let z be b(-29). Suppose 0 = -c - 0*n - 5*n + 10341, z*n = 5*c - 51813. Is c a prime number?
False
Let q(r) = 83*r**2 - r + 7. Let w(x) = -x**2 - 1. Let l(n) = q(n) + 6*w(n). Let j be l(2). Suppose 0 = -4*h - 2*z + 322 - 92, 5*h - j = 4*z. Is h composite?
False
Let c(z) = -4 - 2*z + 1 + z**3 - 5*z + 8*z**2 + 2*z. Let n be c(-5). Suppose 100*t - 8115 = n*t. Is t composite?
True
Suppose -21*g = -19*g - 28082. Let c = g - -6382. Is c composite?
True
Let j = -33 - -36. Suppose p + 12 = 3*m + m, 4*m + j*p + 4 = 0. Suppose 0*n + 758 = m*n - 5*t, -3*n - 3*t + 1137 = 0. Is n composite?
False
Let b(f) = f**2 + 12*f - 28. Let g be b(-15). Let o = g + -12. Is 23/(-1*o/(-55)) prime?
False
Let d = -32281 - -62914. Is d a prime number?
False
Suppose -4*w + 2702438 - 812875 = 5*v, -4*v + 1511642 = -w. Is v prime?
True
Suppose 5*w + 2072 = w. Let v be (-39156)/42 + 1 - (95/35 + -3). Let s = w - v. Is s a composite number?
True
Let s be 16/(-104) - 21413/(-13). Suppose 3*p = 2*p - 910. Let n = s + p. Is n a prime number?
False
Suppose -367868058 = 499*q - 802*q. Is q a prime number?
False
Let i(p) = -4261*p + 1. Let q be i(-1). Let v = -2623 + q. Is v prime?
False
Let q(f) = f**3 + 4*f**2 - 8*f + 6. Let t be q(-5). Suppose 13*y = -t*y + 402594. Is y prime?
False
Let z be 2/((-4)/(-5 + -15)). Let t be 712*z/(-25)*-5. Let i = t + -957. Is i prime?
True
Suppose 0 = -5*i - 2*k + 38206, i - 9127 = k - 1483. Let j = -2731 + i. Is j prime?
False
Suppose 2*c - 120 = -2*c. Suppose -6*v = -72 + c. Suppose -v*g - 11 = -8*g. Is g a prime number?
True
Let y be (344364/(-9))/((-14)/21). Suppose -y + 11092 = -6*u. Is u a prime number?
True
Suppose -y = 4*y. Suppose -5*t = -6*q + 2*q - 11, y = -q + 2*t - 5. Let x(w) = 337*w**3 - w**2 + 1. Is x(q) a composite number?
False
Let m = 108318 + -56551. Is m a prime number?
True
Let c be 26/(-143) + (-2 - (-31)/(-11)). Let g(f) = 7*f**2 - 9*f + 5. Let n(m) = 13*m**2 - 18*m + 10. Let l(q) = c*g(q) + 3*n(q). Is l(3) a composite number?
True
Is (15930 - 45/3) + -14 a prime number?
True
Let n be (-2)/((-10)/4 + (-8)/(-3)). Is 3/((-15)/(-2708)) + n/20 a composite number?
False
Let d(v) = v + 15. Let g(c) = -c - 16. Let w(x) = 4*d(x) + 3*g(x). Let h be w(-10). Suppose -3*z = -2*a - 2513, 4*a = -z + h*a + 843. Is z composite?
False
Suppose 3*a + 2*d + 82843 = d, -27596 = a + 4*d. Is a/(-20) + (-12)/(-60) a prime number?
True
Suppose -u + 2*n = 3*n + 4, 15 = -5*n. Let t be 0/13 - (1 - 4). Is t + 0 + (2782 + -1 - u) a composite number?
True
Let t(x) = 2*x + 1. Suppose -12 = 4*u - 6*h + 2*h, 5*h = -5*u + 25. Let g be t(u). Suppose 83748 = g*a + 9*a. Is a a composite number?
True
Let p(u) = 279*u - 89. Suppose 2*v + 2*m - 8 = 0, -v - 2 = -2*v - 2*m. Is p(v) composite?
True
Let w(r) = 13*r - 42. Let h be w(6). Let m be 24/h*(-1 + (1 - 8886)). Let a = -2857 - m. Is a a composite number?
False
Let w = 137741 + 46617. Is w a prime number?
False
Let y(b) = -85*b - 32. Let m(p) = 86*p + 31. Let q(v) = 3*m(v) + 2*y(v). Suppose 4*u - 52 = -4*x, -6*u + 2*u + 5*x = -70. Is q(u) a composite number?
True
Let d be (-18)/(-4)*(-272)/(-102). Suppose -19458 = -d*r - 6*r. Is r composite?
True
Let m = -38 - -207. Let a be 2/(-6)*23679/(-9). Suppose -m = 4*s - a. Is s prime?
False
Suppose 0 = 15*m - 61455 - 97260. Is m*(-3 + 1)/(-6) a prime number?
True
Let i(z) = z**2 + 16*z + 13. Let u be i(-15). Let q be (-1)/u*(0 + 0). Suppose q = -o + 5*k + 2218, 127 = o - 3*k - 2085. Is o composite?
False
Let h(a) = -19*a**3 - 18*a**2 - 25*a + 45. Let c be h(-13). Let n = c + -20448. Is n prime?
False
Let h = -4354 - 61