 prime?
True
Suppose w - 29 = 5*f - 2, 5*w + 10 = -4*f. Suppose w*p = 408 + 98. Is p a prime number?
False
Let d(s) = 364*s + 3. Let v be d(5). Suppose -3*z + 2*z + 5 = 0, -c + 4*z + v = 0. Is c a composite number?
True
Let h(c) = -10*c**3 - 3*c**2 + 11*c + 11. Let m be h(-6). Let s = m + 312. Is s composite?
False
Let h(x) = 29*x**2 - 5*x + 8. Let s(u) = u**2 + 1. Let m(g) = -h(g) + 2*s(g). Let o be m(4). Let p = o - -597. Is p a composite number?
False
Let j(u) = 2*u + 1. Let i be j(1). Suppose i*x + 3 = -2*r + 18, -2*x - 9 = -5*r. Suppose 306 = r*q - 465. Is q a composite number?
False
Let b(p) = -p + 11. Let w be b(8). Suppose 5*n - w*d = -2*d, -n - d = 0. Suppose 0 = v + a - 37, n = v - a - a - 31. Is v prime?
False
Let o(n) = 187*n + 6. Let x be o(3). Let h be (-1 - x)/(-4 - -2). Let y = h + 503. Is y composite?
False
Let j(r) = -3*r**3 + 16*r - 9. Suppose 0 = -4*a - 38 + 6. Is j(a) a prime number?
True
Is (-6*62570/30)/(2/(-5)) a composite number?
True
Let g = 16 + -8. Suppose 5*j - 2 = g. Suppose j*n + 530 = 4*n. Is n composite?
True
Suppose -57795 - 2515 = -10*g. Is g a composite number?
True
Let w(j) = 23*j**2 - 73*j - 83. Is w(-29) composite?
False
Let i(r) = -r**3 + 10*r**2 + 9*r + 4. Suppose 6*k + 81 = 3*k. Let w = k - -37. Is i(w) composite?
True
Let q(s) = -13*s + 17. Let o be q(3). Is (0 + -1)*o*10/4 prime?
False
Let k(h) = 22*h**3 - 6*h**2 - 19*h + 64. Is k(6) a composite number?
True
Suppose -5*d + 2340 = d. Suppose 2*w - 1283 + 479 = -4*p, -d = -2*p - 4*w. Is p a composite number?
True
Is (1 + -6983)*2*9/(-36) prime?
True
Suppose 5*s = 7 + 18. Suppose 0 = -s*i + y + 636, -7*i + 2*y = -2*i - 637. Is i prime?
True
Let d(k) = -k**3 - k**2 + 17*k - 82. Is d(-17) composite?
False
Let m(g) = g**3 - 3*g**2 + 5. Let v be m(0). Is ((-2)/12)/(v/(-15))*818 a composite number?
False
Let q = -31 + 21. Let z be q/55 + 105/33. Suppose z*m = 2*c + 2*c - 505, 3*m = 2*c - 251. Is c composite?
False
Let s(o) = -o**2 - 3*o + 5. Let w be s(-6). Let p(m) = -207*m + 16. Is p(w) prime?
True
Let d be 1*3 + (-144)/(-6). Suppose 5*z = -5*k + 35, -2*k + d = 5*z + 7. Let r(j) = -j**3 + 9*j**2 + 6*j - 3. Is r(k) composite?
False
Suppose 4*s + 12489 = 4*y - 12279, 0 = -2*y - 4*s + 12366. Is y a prime number?
False
Let k = 913 - 419. Let j = 354 - 233. Let w = k - j. Is w composite?
False
Let g(w) = -765*w - 352. Is g(-3) composite?
True
Let b = -18 - 6. Let m be 2*(-4)/b*282. Suppose -29 = 4*v + 4*x - 113, 0 = -4*v - 2*x + m. Is v composite?
True
Let v(m) = m - 19. Let x be v(12). Let i = x + 12. Suppose 0 = -4*p - i*q + 657, -3*p + 650 = p - 2*q. Is p a prime number?
True
Suppose h + 0 = -2. Let u be (-3)/((-9)/(-6))*h. Suppose 3*k + 119 = u*k. Is k a prime number?
False
Let v(r) = -437*r - 15. Let q be v(-4). Suppose -3*u + q = -172. Is u a prime number?
False
Suppose 6*o + 2 - 8 = 0. Suppose -c = -o - 12. Is c a composite number?
False
Suppose -5*l + 46 = 5*h - 24, -3*h + l + 50 = 0. Let f(v) = 1 - v**2 + 0*v**2 - 2 + 18*v. Is f(h) composite?
False
Suppose 7*q - 25 = -116. Let c = q + 66. Is c prime?
True
Let z(q) = -q**2 + 11*q - 8. Let c be z(9). Suppose -v - 5*l + c*l = -130, 2*l - 569 = -5*v. Is v a prime number?
False
Let d = -8 - -9. Let q be 2/(12/9 - d). Let n = 13 - q. Is n prime?
True
Let k(h) = 2*h**3 + 44*h**2 - 17*h - 6. Let x be k(-18). Suppose -x = -3*v - 3*y, 181 = v - 3*y - 795. Is v prime?
True
Let b = 249 + -156. Let k = 55 - b. Let x = -15 - k. Is x a composite number?
False
Let c(o) = 51*o**2 - 6*o + 151. Is c(10) prime?
False
Let y(w) = 121*w**3 + 2*w**2 + 8*w + 5. Let r be y(3). Let t = r - 1651. Is t a prime number?
True
Let k(w) = w**3 - 17*w**2 + 2*w + 24. Let s be k(18). Let j = s - -563. Is j composite?
False
Suppose 18*v = -264344 + 995378. Is v prime?
False
Let a(j) = j**3 - 2*j**2 + 3. Let q be a(2). Suppose q*t + t + 60 = 0. Is (-356)/(-3) - 5/t prime?
False
Let k(z) = -3*z**3 - 6*z**2 + 14*z. Let p be k(-11). Let w be p + -3 + (2 - -2). Suppose 3*t + 3909 = 5*n + 5*t, 4*n = 5*t + w. Is n composite?
True
Let s = -30 + 33. Suppose g - 2*w = 2*w + 71, -4*w = -s*g + 189. Is g composite?
False
Let q be ((-12)/16)/(9/(-24)). Let c(f) = 2*f**2 - f - 3. Let d be c(q). Suppose -d*a + 292 + 152 = 2*m, 5*a - 739 = -3*m. Is a a composite number?
True
Suppose 3 = -3*x, -8*a + 7*a - 2*x + 6519 = 0. Is a a prime number?
True
Let m = 113 - -8. Suppose -2*d = -m - 2765. Suppose d = p + 2*p. Is p a composite number?
True
Suppose -2*w = 3*b - 2764, 4*w - 3474 = -3*b - 718. Let r = 715 + b. Is r a composite number?
True
Let l(y) = 11*y + 12. Let c be l(12). Suppose c = -3*r - 18. Is 2779/9 - 12/r a composite number?
True
Suppose 5*i = 23608 + 6507. Is i a composite number?
True
Suppose 4*k - 3*k - 6 = 0. Let q(y) = y**2 + 6. Let l be q(k). Suppose 5*g + 4*n - 5*n - 97 = 0, 2*g - 2*n = l. Is g a prime number?
True
Let s(w) = -2*w**2 + 6*w - 13. Let l(j) = -j**2 + 6*j - 13. Let h(m) = 3*l(m) - 2*s(m). Is h(18) a prime number?
True
Suppose 5*c + w = -4*w - 55, 0 = -3*c + 3*w - 15. Let v = c - -123. Is v a prime number?
False
Suppose 2*f - 213682 = -4*o, -5*o + 106832 = -3*o - 2*f. Is o composite?
False
Suppose -2*s - 40 = -416. Is (s + 17)*(1 - 0) a composite number?
True
Suppose 13*b - 9*b = -72. Let f(v) = -20*v - 3*v**2 - 31 + 10 + 2*v**2. Is f(b) a prime number?
False
Let j = 11046 - 3619. Is j prime?
False
Is 2/(-16)*-4*3418 a composite number?
False
Let z = -3167 - -10998. Is z prime?
False
Suppose 2*c - 2 = 0, -3*c = 7*v - 12*v + 38552. Is v a composite number?
True
Suppose -86*w + 113*w - 124038 = 0. Is w composite?
True
Is ((-10)/(-8))/((21/7)/12612) a composite number?
True
Is (-2)/1*145565/(-70) composite?
False
Is -2 - (-979004)/68 - (-2)/(-17) a prime number?
False
Let t = 32 + -26. Is (4/t)/((-36)/(-46062)) a composite number?
False
Let h(r) = r + 2. Let d be h(-11). Let w be (-6)/d - (-4)/3. Let v(t) = 127*t - 3. Is v(w) prime?
True
Suppose -5*c = 9*c - 28. Suppose -5*d - 220 = -4*b, 153 = c*b - 5*d + 43. Is b a prime number?
False
Let f be (-7)/(14/(-8)) - 8. Let q be 10/((6 + f)/(-132)). Is ((-22)/3)/(40/q) prime?
False
Suppose p = -0*p - 29. Let f = p - -426. Is f a prime number?
True
Let n = 3134 - 1441. Is n a prime number?
True
Let s be -1*(1 + -5 + -2). Suppose 2*k + 3*h = s*k - 4320, -1069 = -k - 2*h. Is k prime?
False
Suppose -6*v = -3*v - 6. Suppose 781 = v*s + 299. Suppose -2*u + 5*o = -s, 2*u - 3*o = -2*u + 461. Is u prime?
True
Let k(o) = o**3 + 9*o**2 - 3*o + 4. Let f be (-18)/15*40/(-12). Suppose f*x - 3 = m + 16, 2*x - 34 = 4*m. Is k(m) prime?
False
Let l = 63 - 63. Suppose -c + 3*c - 3878 = l. Is c composite?
True
Let y = 722 - -807. Is y prime?
False
Let d(f) = 12*f**2 + 10*f - 10. Let g be d(1). Suppose g*o = 723 + 1881. Is o a prime number?
False
Suppose 4*z = 3*a + z - 5268, 5*z = -4*a + 7006. Is a prime?
False
Let q(s) = -46*s**3 - 6*s + 1. Let c be q(-3). Suppose 5*z + 278 = -3*f + c, 3*z - 617 = 5*f. Is z a composite number?
False
Suppose -2*g + 20 = 2*g. Suppose 0 = -g*j + 3 + 17. Suppose 0 = -2*h + 5*c - j*c + 19, -3*c = 2*h + 1. Is h a composite number?
False
Let b(d) = -d**2 + 25*d - 47. Is b(20) a composite number?
False
Is (-1)/7 - (-245032)/28 a composite number?
True
Let j(f) = 3*f**3 - 8*f**2 + 5*f + 1. Let d be j(6). Let p = 1230 - d. Is p a prime number?
True
Let l(w) = w**2 - 8*w + 4. Let b be l(7). Let q(n) = -n - 3. Let a be q(b). Suppose 3*g - 190 + 31 = a. Is g a composite number?
False
Let c = -386 - -57. Let f = 826 + c. Is f prime?
False
Let b(a) = 20*a**2 - 75*a - 34. Is b(-35) prime?
True
Let z(q) = -q**3 + 3*q**2 + 8*q - 12. Let s be z(4). Suppose -u - s*u = -4195. Is u a prime number?
True
Suppose -8*d - 4*n = -3*d - 50645, -n = -3*d + 30404. Is d a composite number?
False
Let y(m) = -2*m + 26*m**2 + 6*m - 3*m + 5 - 14*m**2 + 5*m**3. Is y(3) prime?
True
Let a = -17 + 17. Suppose a = -2*h + 1 + 5. Suppose -4*p = -2*c - 3*c - 956, -h*p + 717 = -c. Is p composite?
False
Let x = -4731 + 8324. Is x composite?
False
Suppose 7 = -3*n + 1. Let w be (2/3)/(n/(-12)). Is (-49)/(-1) - (-8)/w composite?
True
Let t(r) = 5*r**2 + 5*r - r - 2*r - 4*r**2. Let p be t(2). Suppose -p*c + 16 = -2456. Is c a composite number?
True
Let q = 784 - -333. Is q composite?
False
Let m be 20/(-12) - -1 - (