6 + 6/(-39)*1. Do k and -51 have different values?
True
Suppose 30 = 9*r - 7*r. Suppose -3*k + r = 27. Is k equal to 1?
False
Let j = -6 - 19.5. Let l = j + 24.39. Let t = 0.11 + l. Is t at most -2?
False
Let o = -91.5 - -58. Let y = -32 - o. Is y greater than 2?
False
Let t be 5/(5/(-6)) + 28. Is t less than or equal to 20?
False
Suppose -5*v + x + x + 1 = 0, -2*x - 11 = 5*v. Let p be v + 5 + (-3 - -1). Let j be (4 + -6)/(p + -4). Which is bigger: 7 or j?
7
Let u = -14.4 - -16. Let i = -127 - -125.38. Let c = u + i. Which is smaller: -0.2 or c?
-0.2
Let b = 4588 - 766178/167. Is -1 equal to b?
False
Let j(p) = -p**2 + 4*p - 2. Let g be j(3). Let x(a) = -a**3 + 14*a**2 - 15*a + 17. Let o be x(13). Let c be g + 0 + 2/o. Which is greater: c or 2?
2
Let j be (-658)/(-10)*(24/(-28))/(-3). Which is smaller: j or 20?
j
Let m be 19/285*-6*(-5)/4. Let n be (0/1 - -1) + -1. Is n equal to m?
False
Let i be 4 - 442 - (1 + 1). Is i greater than or equal to -440?
True
Suppose 5*y - 3*y = -2*y. Suppose y = 10*a - 9*a - 1. Which is greater: 4/37 or a?
a
Suppose 2 = 2*a, 2*a + 575 = -3*x + 190. Is x equal to -128?
False
Suppose -246 = -4*k - w, w = -2*k + 6*w + 134. Let d = k + -47. Is d >= 13?
True
Let q = 28.3 - 27. Let f = q - 1.2. Let k = 8.1 - 1.1. Which is smaller: f or k?
f
Let k = -3 - -8. Let c = k + -5.2. Let u = 13/16 - 103/48. Are c and u non-equal?
True
Let j = -42278/1529 + 304/11. Which is smaller: j or 2?
j
Let h = -173/3 + 52771/915. Let q = h - 1226/915. Is q != -2?
True
Let m be -4 - (2/8 + (-15)/(-40)*-14). Let k be (-10)/4*1/(-10). Which is smaller: m or k?
k
Let w(j) = j**3 - 3*j**2 + j + 2. Let b be w(4). Let q(i) = i**2 + 14*i - 13. Let f be q(-15). Suppose -f*r + 65 - 23 = 0. Which is greater: r or b?
b
Let n be -3 + (-6673)/7 - 1. Let o = n - -959. Let u(l) = l**3 - 5*l**2 + 6*l + 2. Let p be u(3). Is o smaller than p?
True
Suppose 0 = -i - 5*m - 7 + 18, 4*m - 12 = -4*i. Is i at least 4/17?
True
Suppose 0 = 4*n - 2*x + 20, 21 - 5 = -4*n + 4*x. Let t be (n/(-3))/(42/81). Which is bigger: t or 5?
5
Let u(j) = -j**2 - 13*j - 12. Let g be u(-14). Let h = g + 44. Is 18 not equal to h?
False
Suppose 0*w + 2*w - 2 = 2*q, -2*q + 4*w - 2 = 0. Let f = 3 + q. Let j = -975 + 984. Is j at most f?
False
Let z be ((-744)/(-150) - 5)*-115. Let r(y) = -y**2 + 6*y - 4. Let g be r(4). Is z greater than g?
True
Let o be (-2)/(-5) - (-96)/10. Let k(w) = w**2 + 6*w + 9. Let d be k(-3). Suppose -3*q = 3*j - 6, -q + d*q = -3*j + o. Are q and -2/21 equal?
False
Let j be ((-13)/(-429))/(4/(-8) + -1). Is 2 at most as big as j?
False
Let h = -2.9 - -2.71. Let s = h - 0.12. Is -2/5 at most s?
True
Let y = -13.979 - -14. Let o = 24.979 + y. Which is greater: 0 or o?
o
Let m(b) = -b**2 - 18*b - 37. Let u be m(-15). Suppose 13 = 5*o - 4*z, o - 2*z = -3 + u. Is 3/28 at least o?
False
Let l be (9 - 188/20)*(-460)/(-16). Is l bigger than -2/3?
False
Suppose -3*y = 3, -5*i = -0*y + 5*y - 30. Suppose 3*p - 7*n + 1 = -2*n, 4*n = 5*p - i. Let s be -1*2 - (-32)/5. Is p at least as big as s?
False
Let m = -0.0259 + -0.0741. Which is bigger: m or -40/19?
m
Suppose -4*a + 4 = 0, 0 = -0*h + 2*h - 3*a - 1. Suppose -1 = -f - 2*b, h = -2*f - b + 1. Let p = 83 + -663/8. Is f equal to p?
False
Let w = 1 - 3. Suppose 0 = -0*n - 5*n - i + 19, -2*n - 10 = -4*i. Suppose 3 + 4 = t - 2*h, n*h = 2*t - 9. Which is greater: w or t?
w
Let j = 16 - 17. Let a = -624 + 46175/74. Which is greater: j or a?
a
Suppose -4*r = -3*r - 4. Suppose -7 = -r*n + 5. Let s be -3 - (126/(-15))/n. Is 1 not equal to s?
True
Suppose 26 = 4*k - 30. Let l be (-4)/1*k/(-21). Suppose 0*g + 2*g = 0. Is l <= g?
False
Let q(k) = k**2 + 17*k + 44. Let r be q(-14). Let o be (6/(-585))/(r/(-50)). Is o >= 1?
False
Suppose -1 = -26*n - 53. Let z = 0 + -0.4. Is n less than z?
True
Suppose 77*k - 81*k - 8 = 0. Let r be ((-404)/66)/k + 3/(-1). Which is smaller: r or 0?
0
Let r be (243/12)/((-1183)/16). Let s = -604849/169 - -3579. Let b = r - s. Is -1 equal to b?
False
Suppose 4*y + 2*u - 14 = 0, -3*y + 2*u + 3 = 10. Let s be 152/(-26) + (-1 - -7). Is s > y?
False
Let d = 2.52 + -0.69. Let q = d + -1.1. Let x = q - -0.27. Which is smaller: x or -3?
-3
Let i = 1578 + -1458. Which is bigger: 2/3 or i?
i
Let y be (-3)/((-385)/28 + 7). Let j = 67150 - 471294/7. Let b = j + 178. Are y and b unequal?
True
Let o(i) = -2*i**2 - i + 2. Let y be o(-2). Let q be 1/(-1 - (-6 - y)). Which is greater: q or 4/11?
q
Let u(z) = z + 38. Let l be u(0). Let y be l/16 + -1 - 1. Let q = -5/8 + y. Which is bigger: 0 or q?
0
Let z be (-27)/(-6) + -2 + -4. Let s(n) = n - 1. Let t be s(4). Suppose t*u = 3*y + 6, 3*y - 8*y + 4*u = 11. Does y = z?
False
Suppose -q - 255 = -4*u, q + 5*u + 118 = -173. Do q and -273 have the same value?
False
Let i = 2/23 + -31/92. Let p = -3488/77 - 1675/11. Let g = p + 198. Which is smaller: i or g?
i
Suppose -119 = -h + j, 12 = 5*h - 3*j - 581. Is h at least 118?
True
Suppose -7*j = -0*j + 1617. Let d be (j/(-35) - 6)*4/(-6). Does d = 56?
False
Suppose -2*m - 5*t = -1, -5*m + 0*m + 4*t = 47. Let n(h) = -h**2 - 6*h + 5. Let x be n(m). Let j(g) = g**2 - 11*g - 14. Let a be j(12). Is x smaller than a?
False
Let d = -6857/120 + 288/5. Which is greater: 1 or d?
1
Let o = 1439 + -1441. Which is bigger: o or -6/5?
-6/5
Let d be -14 - 4*(-181)/52. Let p = 2 + -3. Which is greater: p or d?
d
Let s = 641 - 91660/143. Let d = 45/286 - s. Let o = d - 65/154. Is 1 equal to o?
False
Let u = -6 - -1.5. Let y = -5.5 - u. Is -2.7 bigger than y?
False
Suppose 0 = 2*t - 5*o - 83, 3*t + 2*t - o = 173. Let q(k) = -4*k**3 - k**2 + 3. Let g be q(2). Let a = t + g. Does -2/11 = a?
False
Let f = 10797/10 + -1080. Let h be 0 + 1 - 0/2. Which is bigger: f or h?
h
Let l(z) be the second derivative of z**4/12 + z**3/6 - 3*z**2/2 - 6*z. Let s be l(-3). Suppose 2*x - s*x - 12 = 0. Which is bigger: x or -13?
x
Let q(a) = a**2 + 9*a - 71. Let w be q(-12). Which is smaller: -21 or w?
w
Suppose 5*z - 3 = -d, 39*z + 3*d - 9 = 43*z. Is z at most as big as -2/1877?
False
Suppose -5*i + 173 = -87. Suppose 4*m - 138 = 2*p, -13 - i = -2*m + 5*p. Which is smaller: m or 36?
m
Let j = 1.79 - -0.21. Let a = -33 - -34. Is a greater than j?
False
Let j = -5656 + 5656. Let m = -0.3 + 0.4. Which is bigger: j or m?
m
Suppose -r - 4 = -16. Let n be (-20)/195 - (-4)/r. Suppose -3*g = -0*g. Which is greater: g or n?
n
Suppose -32 + 127 = 19*f. Is f at least -9?
True
Let l = 11054/11 + -1005. Let p = 1/4 + -3/4. Is p >= l?
False
Let f = 8344/507 + -278834/50193. Let d = f + -124/11. Is d < 1?
True
Let j = 3.43 - 4.53. Which is smaller: j or 9?
j
Let k be (3/((-4)/((-40)/(-15))))/2. Is k < 7/54?
True
Let h = -5.014 + 0.014. Which is smaller: 5 or h?
h
Let h = -95 + 97. Let m be 6/(-4) - -2 - 0. Which is greater: h or m?
h
Let q = -3 - 9. Let z be (6/7)/(q/(-84)). Suppose -k - z = 2*k. Does -4 = k?
False
Let s be 14/(-21)*(-2 + -1). Suppose s*j + 1 = j. Let q = -11 - -43/4. Which is bigger: q or j?
q
Let t(u) = u**3 + 17*u**2 + 17*u + 18. Let i be t(-16). Suppose 2*q + 20 = 2*d, 1 = -4*q - 2*d - 27. Let o = 9 + q. Is i at most as big as o?
False
Suppose -5*w + b - 16 = 3*b, -2*b = 6. Let u be 0 + ((-8)/1 - w). Let c = u - -2. Is c at most -1?
True
Let w(i) = -2*i. Let m(y) = 15*y + 20. Let f(x) = -m(x) - 6*w(x). Let z be f(-4). Let d = -2 + -4. Is d bigger than z?
True
Suppose 6*t = -17 + 65. Let a(n) = n**2 - 12*n + 39. Let l be a(8). Is l less than or equal to t?
True
Let x = -19/306 - 1/18. Suppose 49 = -4*i + 3*a, 2*i - 4*a + 17 = -15. Let d = 10 + i. Is d smaller than x?
False
Suppose -1862 = 58*b - 9*b. Are -46 and b nonequal?
True
Let h be ((-2)/(-2) + -1)/1. Let c = 313876/2735 + -254/4923. Let z = c + -344/3. Is z <= h?
False
Suppose y + 1 = 3*c + 14, 0 = -y - 4*c - 8. Suppose y*f - 40 = 100. Is 34 != f?
True
Let k = 2.8 + -2.6. Let h = -0.22 + k. Are h and 1/5 non-equal?
True
Suppose 14*u + 756 = 854. Do 64/11 and u have the same value?
False
Let k = -15.4 - -19. Let g = k + -1.6. Are g and 2/3 nonequal?
True
Let a = 155.9 - 155.4. Which is smaller: 215 or a?
a
Suppose -2*c - 3 = -9. Suppose c*d + 267 + 150 = 0. Let j = 697/5 + d. Which is smaller: 1 or j?
j
Let k = 2 + -3. Let l be (-50)/(-4)*50/125. Suppose g - 5*o - 32 = -11, 15 = -5*g - l*o. Is k <= g?
True