- 13. Suppose -3*q = -d + 4. Do q and i have the same value?
False
Let u(q) = -2*q**2 - 10*q - 2. Let s be u(-5). Let f be s*1*(-1)/28. Which is smaller: f or 0?
0
Let p(r) = -4*r - 36. Let w be p(-8). Let b be ((-75)/(-20) + -4)*(0 + w). Are b and 2/31 nonequal?
True
Suppose 7*s = -2*a + 2*s + 11, -2*a + 4*s + 20 = 0. Let n = -6 + a. Let d be -1 + 5 + 2 + n. Is d at most as big as 7?
False
Let h = -84.6 + 8.6. Let j = h - -73. Which is greater: j or -4?
j
Let r = 0.13 - 5.13. Let i = r + 6. Let y(c) = 2*c - 13. Let l be y(6). Which is smaller: l or i?
l
Let o = -724 - -724. Let i be 2 + 11/(-4) + 0. Is o greater than or equal to i?
True
Suppose s = 3*s - 6. Let m(z) = 5*z**2 + 25. Let j(l) = 14*l**2 + 71. Let p(d) = -6*j(d) + 17*m(d). Let v be p(s). Does 8 = v?
True
Suppose -6*j + 15 = 15. Let k(n) = -n**3 - 8*n**2 - 8*n - 2. Let y be k(-7). Suppose 6 = -y*d + d - 2*i, j = -4*d + 4*i + 24. Do d and 1 have different values?
False
Let j(n) = n**3 - 18*n**2 + 15*n + 20. Let g be j(17). Let w be (-35)/g + 6/(-4). Is w bigger than 1?
False
Let v be 1/(-6)*3 + 0. Let u = 46 - 36. Let a be 2/(-2) + u + -5. Which is smaller: a or v?
v
Let i be (2/12)/(300/(-30200)). Is i equal to -17?
False
Let p = 14366/9 - 1596. Which is bigger: p or 423/5?
423/5
Suppose 137 = 16*t - 487. Which is bigger: 115/3 or t?
t
Let j = -12175/8 + 1520. Let s = -37/24 - j. Which is smaller: -8 or s?
-8
Let d = 362/85 + -1/17. Which is smaller: 8 or d?
d
Let x = -12.6 - 1.4. Let j = x - -16. Let s = -7 + 6.9. Which is greater: j or s?
j
Let i = -0.1494 + 10.2794. Is i at most as big as 0.1?
False
Let v be ((-1)/4)/(5/(-20)) + -1. Do -1/4 and v have different values?
True
Suppose 2*m + 8 = 0, -4*m = -4*l - 573 - 411. Is -249 less than l?
False
Suppose 0 = 16*c + 8*c - 168. Which is smaller: c or -6?
-6
Let w = 30 + -17. Let n(x) = x**3 + 13*x**2 + 4*x - 18. Let u be n(-12). Let j = -66 + u. Is w greater than j?
True
Let g = -2.68 + 2.18. Let b = 0.03 + -0.13. Is g less than or equal to b?
True
Let h(q) = q**2 + 5*q + 2. Let x be h(-5). Let m(u) = u**3 + 14*u**2 + 47*u + 69. Let s be m(-10). Is x less than s?
False
Let c be 84/18*((-21644)/152 - -1). Let f = 660 + c. Which is bigger: -1 or f?
f
Let s(x) = x - 13. Let h be s(10). Let l be 2/(-22) - (-544)/(-187). Is h < l?
False
Suppose 4*r = -z + 44, 0 = 6*r - r - 2*z - 55. Which is smaller: 65/6 or r?
65/6
Let y = 346240439/13218084 - 2/367169. Let d = y + -105/4. Suppose 26*j = 23 + 3. Is j greater than d?
True
Suppose -z + 4675 = 3*z - 3*v, 2*z - 5*v - 2355 = 0. Suppose -3*p - 3 = 0, 439 = -4*x - 2*p + z. Let s be x/(-187) + (-4)/34. Is -2 greater than s?
False
Let m = -5 - -5.26. Let d = -1.26 + m. Which is greater: -8 or d?
d
Let r be 8 - (1 + 7 + 4). Which is smaller: r or -82/15?
-82/15
Suppose 0 = 2*b + 23 + 43. Let a = -38 - b. Let i be 18/(-20)*a/(-6). Is 0 equal to i?
False
Let u = 1 + -2. Let j be ((-6)/77)/(3/21). Let l = j - -29/33. Is u at least l?
False
Let y(z) be the first derivative of -z**4/4 + z**3/3 - z**2/2 - 2. Let w be y(2). Let c = 105 - 111. Is w > c?
False
Let g = 1.6 - -11.4. Let v = -2.8 + -9.2. Let j = g + v. Which is smaller: -21 or j?
-21
Let r be 20*((-16)/(-5))/(-4). Let k be -1*(0 + 1 + -2) - r. Which is greater: k or 0?
k
Let c = -77 - -42. Let h be c/(-294)*(-8)/30. Is 1 smaller than h?
False
Let x(r) = 27*r + 135. Let i be x(-10). Is i not equal to -134?
True
Let w = -145 + 205. Let m be 3/3 + (0 - 51/w). Is m equal to 1?
False
Let d be (-192)/(-480) - 323/(-5). Is d > 0.06?
True
Let h = 18514 + -92957/5. Let q = h - -77. Which is smaller: -2/23 or q?
q
Let x = -6 - -12. Suppose 0 = 2*y + 2*y. Suppose y = n + 1 - 6. Is n <= x?
True
Let m = -2076.9 - -2077. Let o = -43 + 42.47. Let q = o + 0.5. Is q at most m?
True
Let x = -4.7 - -0.7. Which is smaller: x or -2.1?
x
Let j be (-12 + 5250/440)/(1/(-164)). Are 11 and j nonequal?
True
Let h(g) = g**3 + 12*g**2 - 14*g + 10. Let j be h(-13). Let d = j + -23. Are 5/22 and d equal?
False
Let u = 740.9 + -741. Does u = 0.623?
False
Suppose v + 10 = -2*v + b, 3*v + 5 = 2*b. Let p be -4*6*8/24. Which is greater: p or v?
v
Let b(r) = -r**3 + 16*r**2 - 28*r + 2. Let k be b(14). Let v(c) = c + 10. Let j be v(-7). Suppose -5*t + j*i = -37, 2*t + 1 = -t - 4*i. Which is bigger: t or k?
t
Let t(r) = 6*r - 1. Let x be t(1). Let q = 8 - x. Suppose -2*b = 3*c - 20, -q*c = -0*c - 4*b - 14. Is 1 > c?
False
Suppose 5*v + 2*w = 8, 4*w + 0 + 6 = v. Let b = 3 - v. Suppose -6 = x - b. Is x > -4?
False
Let l = 30 - 31. Let p = l - -12. Suppose 6*u - 2*u = 40. Which is bigger: u or p?
p
Let l = 87 + -130. Which is smaller: -45 or l?
-45
Let k be 3/4 + 41/(-60). Suppose -3*w - 2*j - 78 = 16, w - 3*j = -24. Let c = -29 - w. Which is smaller: c or k?
k
Let t = -27 + 25. Let z be -1*(-2 + t) - 6 - -2. Which is bigger: -9/23 or z?
z
Let h = 153 - 439. Is 1 less than or equal to h?
False
Suppose -14 = x - 3*c, -x + 5*c = 2*x + 26. Let a = x - -11. Let r = -11 + a. Is r less than or equal to -2/9?
True
Let c be (0 + (-24)/(-126))/(2/9). Let p be 8/6*(-15)/(-10). Is p not equal to c?
True
Let d(q) = q**2 - 7*q - 10. Let i be d(8). Let o(b) = -b**3 - 4*b**2 + b - 5. Let j be o(-5). Let k be 1/j - (-4)/(-6). Is k equal to i?
False
Suppose 0 = 2*d + 4*y - 30, 3*y + 77 = 5*d + 15. Suppose -36 = -17*c + d*c. Which is greater: c or 11?
11
Suppose 25 = u - 78. Let s be (-6)/(-15) - u/(-5). Is s <= 19?
False
Let b be (-1 + 3/(-2))*4. Let k be -9 + 4/b*-5. Let t = -22 - -15. Is t at least as big as k?
True
Let d = -2/472573 + -126649122/104438633. Let u = d - -15/13. Is -0.1 greater than or equal to u?
False
Let y(t) = 2*t + 2. Let n be y(4). Let l = 678 + -678.3. Which is smaller: l or n?
l
Suppose -28 + 148 = -12*i. Which is greater: i or -7?
-7
Let g(z) = -z**2 - 15*z - 34. Let b be g(-8). Suppose 0*s - 5*s + 25 = 0, -o = -s - 16. Is b equal to o?
False
Let d be 2/9 - ((-3795)/216)/(-11). Do -2 and d have different values?
True
Suppose -486 = 6*k - 12. Let t = k + 83. Let z(m) = -m**3 + 4*m**2 - m - 1. Let x be z(3). Which is bigger: x or t?
x
Let r be (1 + -2)*8/(-2). Suppose 0*s + 2*o + 8 = s, 0 = 5*s - 4*o - 28. Let c = s + -2. Which is smaller: c or r?
c
Let j be (-1)/(-3 + 2) - -46. Suppose -4*g = -v - 186, -9*g + 6*g + 136 = v. Which is smaller: g or j?
g
Let x = -53645 + 6169217/115. Which is smaller: x or 1?
x
Let n be (8/2 - 1)/1. Let h(y) = -6*y + 10. Let f be h(1). Is f less than or equal to n?
False
Let g(r) = -7*r - 13. Let v be g(-4). Let k = 21 - v. Which is smaller: 0 or k?
0
Let i be ((8/3)/((-26)/39))/(-10). Do i and -1 have the same value?
False
Suppose -u + 3*u = 3*u. Suppose -5*o + 2*h = 8, -5*h = -u + 5. Let s(v) = 2*v - 1. Let j be s(4). Is o equal to j?
False
Let p = -15/46 - 4/23. Suppose -4*w - 430 + 362 = 0. Which is bigger: p or w?
p
Let v = 1.2 + -1.209. Let b = v + 0.239. Suppose -6*q = -3*q - 4*c - 13, 12 = -3*c. Which is bigger: q or b?
b
Suppose 42 = 2*k - 0. Let n = -12 - -32. Let q = k - n. Which is bigger: q or -2/9?
q
Let l(a) = -3*a - 24. Let r be (0 - -1)*(-8)/1. Let t be l(r). Is t at most as big as 5/12?
True
Let u(p) = -30*p - 6. Let x be u(-4). Let s = x + -100. Suppose 52 = 7*k - 3*k. Are s and k unequal?
True
Let f(c) = c**2 + 9*c + 19. Let y be f(-7). Let z = -0.3 + 1.3. Let k = 2 - z. Do y and k have the same value?
False
Suppose 21 = 2*i - 3*r - 4, -5*r - 39 = -3*i. Let w be -1 + ((-676)/(-504) - i/28). Which is smaller: -1 or w?
-1
Let w be (65/75 + (-6)/(-45))/1. Is 6/161 at most as big as w?
True
Let x be (-184)/690*(-5)/18. Is x at least -6?
True
Let j = 1105 - 1105.2. Is j >= 130?
False
Let h(c) = -6*c**3 - 17*c**2 - 16*c - 4. Let f(l) = l**3 + l**2 + l + 1. Let u(g) = 5*f(g) + h(g). Let r be u(-11). Is r equal to 1/40?
False
Suppose -246 - 219 = -5*d. Which is bigger: d or 461/5?
d
Let q = -16.3 + 10.3. Let z = 1.4 - -4.5. Let l = z + q. Which is greater: l or -4?
l
Let n = 8 + -6. Suppose -5*p - y = n, -9 + 3 = 4*p + 3*y. Let k = -368/11 - -372/11. Is p at most as big as k?
True
Suppose 2*r + 768 = 4*a, -587 = -3*a + 26*r - 30*r. Is 196 bigger than a?
True
Suppose 323*j = 318*j + 20. Is j at least -5?
True
Let q = -33 + 53. Let j = 23 - 3. Is q at least j?
True
Let s be (50/70)/(1/7). Suppose 2*i - 4*z + 7 = -z, 4*i + s*z = 