 6)/(-6). Which is greater: 4 or c?
4
Let u be (-5)/(-28)*598/115. Which is greater: u or 0?
u
Suppose 0 = -4*f + u - 51, 0 = 2*u + 16 - 6. Let b = f + 9. Let s be ((-1)/b)/(2/10). Is 2/27 not equal to s?
True
Let p be (-457)/345 - 12/(-27)*3. Is p > -1?
True
Let w = -28.997 + -0.003. Let j = -186.6 - -187.6. Which is bigger: w or j?
j
Suppose 0 = -12*o + 19 + 17. Suppose -6*f - o = 3. Are f and 16 nonequal?
True
Let o(b) = -195*b**3 + 3*b**2 + 2*b + 1. Let z be o(-1). Which is bigger: 198 or z?
198
Suppose 6*a - 4 = 2*a + n, -3*a - 4*n + 22 = 0. Let f be (-26)/(-13) + -1 + -1. Is f greater than a?
False
Suppose 6*o = 2*o + 28. Let m(f) = -f**2 - 11*f - 3. Let d be m(-10). Is d equal to o?
True
Let g be 7 + (3 - (8 + 7)). Do -7 and g have different values?
True
Let f be (((-2)/10)/((-20)/(-1275)))/1. Which is greater: -14 or f?
f
Let b = 1 - -1. Let s = -300 + 299.76. Is b at most s?
False
Let u be (-2)/(6/(-27)) + -3. Let f(o) = -2*o - 2. Let q be f(u). Let n be (-10 - q) + 1 + -5. Is 4/5 smaller than n?
False
Let j = -6 + 5. Let k be (-16)/(j/(-2)*-4). Let w be 4/(-10) - 4/(-5). Is k not equal to w?
True
Suppose 0*l - l = -14. Suppose 5*g = -l + 4. Let c be (-43)/15 + 5 + g. Which is greater: c or 1?
1
Let b(m) = -2*m + 13. Let p be b(6). Which is smaller: 2 or p?
p
Let a be -5*(3 - (0 + -3))/2. Let q be (-4)/(-6)*a/(-340)*-2. Which is greater: 0 or q?
0
Let f(g) = -g**2 - g + 2. Let y = 13 - 14. Let c be 0*y/(-4)*4. Let a be f(c). Which is bigger: 10/3 or a?
10/3
Let y = 422.9 + -364. Is y <= 0?
False
Let g be (4 + 1 - 3)/(-5). Let n = 21 + -22. Which is smaller: g or n?
n
Let u = -7 - -4. Suppose 2*a + 10 = -c, 4*a + 11 + 9 = 2*c. Let y(p) = p**2 - 2*p - 4. Let s be y(c). Which is bigger: s or u?
u
Let c be ((-8)/576*12)/((-1)/(-860)). Is c at least as big as -143?
False
Let n = -46 - -34. Let w = n + 16. Do 4 and w have the same value?
True
Let y be (232 + 6)*(0 + 204/40). Let p = y - 1218. Is p greater than or equal to -3?
False
Let k = -8/775 + -79769/5425. Do -15 and k have the same value?
False
Let w = -1.057 + 9.047. Let h = -8 + w. Which is bigger: h or -1?
h
Let i be 2 + 2 + -7*4. Let n = 19 + i. Is -2 at most n?
False
Let c = -0.72 - -0.7. Let p = -15.18 - -15. Let a = p + c. Is 1 less than a?
False
Let z be (1 + 2/(-6))*(-14 - -13). Does 17/7 = z?
False
Let y(n) = -n**2 + 11*n + 16. Suppose 0 = -z - r - 4*r, 0 = 5*z + r - 24. Suppose -5*m = -2*k + 19, -k - 4 = z*m - 21. Let g be y(k). Which is smaller: -2 or g?
-2
Let s be ((-25)/10)/((-2)/(-8)) - -1. Let m be 3/s - (0 - (-75)/(-279)). Which is smaller: 0 or m?
m
Let g be 1/(-3) - 15/9. Let x = -436/55 + -61341/220. Let q = x - -284. Which is smaller: g or q?
q
Suppose 168 = -5*x + 2*d, -d - 22 = x + 6. Which is smaller: -2/7 or x?
x
Let h = -597/19 + 42083/1349. Let v = h - 163/852. Is v <= 0?
True
Let n be 45*((-14)/10 + 1). Suppose 9*q - 27 = 27. Suppose q*v - 8*v - 4 = 0, -5*v - 5 = -5*u. Is n bigger than u?
False
Let d = -65084/11 - -5922. Is 6 >= d?
True
Suppose -3*p + 7 = m - 4, -15 = -m - 5*p. Suppose 0*k + m*k - 5 = 0. Let a = -0.1 - 0. Is a less than k?
True
Suppose -3*d - 50 = -3*h + h, -118 = -4*h - 3*d. Suppose 0*q = 7*q - h. Which is smaller: -1 or q?
-1
Let a(h) = h**3 - h**2 + 4*h + 5. Let k be a(0). Let u be 1/k - 238/1015. Which is smaller: u or 1?
u
Let m = 22 - 15. Let n(j) = j**3 - 7*j**2 - 2*j + 15. Let x be n(m). Let k be 1 + (45/(-51))/x. Is -1/2 at least as big as k?
False
Suppose -4*a = -4*l - 0*l - 8, 0 = -4*a + 12. Let y = -7589/93 + 245/3. Let w = 17/217 + y. Which is smaller: w or l?
w
Let u be (13 + -16)/(1/(-13)). Is u at least 34?
True
Let v be (-3)/15*2 + 168/(-5). Suppose 4*c = -4*c - 264. Is c <= v?
False
Let t = -24 + 14. Let o(p) = -p**3 - 11*p**2 - 9*p + 10. Let d be o(t). Let f(g) = -g**2 - 3*g - 1. Let b be f(-2). Are d and b unequal?
True
Let o = -20 + 19. Let t be o/(-2) - (-172)/(-312). Is t greater than -1?
True
Suppose 0 = 4*u + 3*p - 33, -u + 0*u + 15 = 3*p. Let v = u - -10. Is v less than or equal to 17?
True
Let x be ((-24)/340)/((-9)/75). Is -2/15 bigger than x?
False
Suppose -5 - 4 = -3*v. Suppose -2 = v*q - 5. Are q and 0 equal?
False
Let x be 18/22*20/(-6). Let o(g) = -3*g**2 + 8*g + 8. Let i be o(5). Let q = -29 - i. Which is greater: q or x?
q
Let s be 2 - (0 + (2 - 3)). Suppose 2*n + 15 = s. Let a be ((-15)/n)/((-4)/8). Which is smaller: a or -1?
a
Suppose 0 = -3*t, -2*t = -2*v - 6*t + 30. Let l = v + -33/2. Is l at least as big as -2?
True
Let i = 4.4 + -23.4. Let b = -2.6 + -18.4. Let l = b - i. Which is greater: l or -1?
-1
Let k = 0.06 - -0.64. Let u = -4 + 13. Let n = 9 - u. Is n at most as big as k?
True
Suppose -c = 4*c - 910. Let u = -1282/7 + c. Let d = 58040 + -58041. Which is smaller: d or u?
u
Let c be (1 + 85/(-82))/9. Let a = c - 1463/3198. Let h = -5/39 - a. Which is bigger: -1 or h?
h
Let z = -14.07 + -50.93. Is 0.06 not equal to z?
True
Let t = -127 - -250. Is t not equal to 124?
True
Let n(g) = -7 + 13 - g**3 + 3*g**2 - 10 - g. Let c be n(3). Is -9 <= c?
True
Let r be (-2)/(4 - 66/15). Suppose -2*g - 3 = -r. Which is smaller: g or -1/170?
-1/170
Let d = 17/5 - 59/10. Suppose -18 = -2*x + 8*x. Which is bigger: x or d?
d
Let f be 0 - (32/(-6))/(-4). Let g = 2 + 91. Let w = g + -94. Which is bigger: f or w?
w
Suppose 4*m + i = 48, 2*i + 23 + 13 = 3*m. Suppose 0 = -3*n - 3*f, 5*n + f = -0*f + m. Let s be -20 + 6 + 16 + (-2)/(-2). Do s and n have the same value?
True
Let c = 36 - 34.98. Let h = 0.02 - c. Let g = h - -1.1. Which is smaller: -0.13 or g?
-0.13
Let p = 52.7 - -13.3. Which is smaller: p or -1/3?
-1/3
Suppose 16*j = 4*j + 648. Let c be 6*(j/336)/(3/(-4)). Which is smaller: c or 0?
c
Suppose -5*d - 3*s - 165 = -9*d, 3*d - 3*s = 126. Suppose -7*w = 6*w - d. Is 2 greater than or equal to w?
False
Let o = -810 - -813. Which is smaller: o or 33/20?
33/20
Let r(c) = -51*c - 358. Let q be r(-7). Is -2/1275 equal to q?
False
Let x be 1275/34340*((-6)/10 - -1). Does 0 = x?
False
Let b = 113 + -113. Suppose 5*r - 5*w - 220 = b, -166 = -2*r - 2*r - w. Is -0.2 smaller than r?
True
Let w be (-40 + (-6)/(-2))*-7. Let u = 766/3 - w. Which is bigger: u or -3?
-3
Let n be 1*(5/(-5) + 1 + 0). Let m(t) = 4*t**3 - t + 1. Let g be m(1). Let c be (g/(-10))/(81/15). Are n and c equal?
False
Let t(m) = -3*m. Let u be t(-5). Let n be 9/24*25/u. Suppose 0 = -2*j + 3*y + 17, 6*y - 3*y = -4*j - 11. Is n equal to j?
False
Suppose 2*w + 4 = -2*l, -4*l - 9 = 5*w - 0*w. Let r be -3 + -449 - 3/1. Let b be (-2)/7 + (-165)/r. Which is greater: l or b?
b
Suppose -2*x = -3*o + 3, -x + 3*o - 3 = -3*x. Let d be 1/(x + -1 - 0). Let n = -2.7 + -2.3. Which is smaller: n or d?
n
Suppose 4*f - 721 = 3*h, -5*h - 273 = -f - 80. Is f less than 177?
False
Let c = 331 + -331. Let t = -1699397 + 39098281/23. Let y = 528 - t. Is y smaller than c?
True
Let g = -3 - -2. Let l(u) be the third derivative of u**6/60 + u**5/60 - 5*u**4/24 - 5*u**3/6 + 42*u**2. Let c be l(-2). Is c not equal to g?
True
Suppose -4*p + 6*g + 6 = g, 5*g + 5 = 5*p. Let w be (12/(0 - -3))/((-2)/(-3)). Let r be w + p/(4/12). Is 3 > r?
False
Let b = 177 - 176. Are b and 53 nonequal?
True
Let s(d) = -2*d**2 - d + 1. Let p be s(1). Suppose 9*z - 24 = 6*z. Let u be ((-21)/(-28))/(p/z). Which is bigger: -1 or u?
-1
Let y = 51.91 - 52. Is y less than or equal to -3/2?
False
Let d be (-427)/68 + (3/4 - 0). Let n = 6939/1258 + d. Which is smaller: 1 or n?
n
Let a(t) = -t**3 + 1. Let b be a(1). Suppose -3*w - 2*w - 5 = b. Let m = 211/828 - 3/92. Is m less than or equal to w?
False
Suppose r + 15 - 43 = 0. Suppose 9*b + r = 5*b. Which is smaller: -9 or b?
-9
Let v = -110 - -110.051. Let w = 3.051 - v. Which is bigger: w or -2?
w
Let q = -2 - -5. Let i be 20/(-15) - q - -2. Suppose 0*r + 3 = -3*r. Is i greater than r?
False
Suppose 0 = 5*g - 2*g - 54. Let a = g + -32. Is a less than -14?
False
Let j be 4/16*-194*4/2. Let h = j - -72. Is h less than -25?
False
Let t = 26 - -21. Which is bigger: t or 44?
t
Let n = -5 - -8. Let r be 3/(-2)*2/n. Let v be (6/(-5))/(5 - 84/30). Which is greater: v or r?
v
Let v be (-9)/6*6/(-9). Let x be (2/(-6))/(v/9*-3). Which is greater: x or 12/11?
12/11
Suppose -2253*p = -2249*p + 8. Are -3 and p equal?
False
Suppose 2 = 3*y - m, -3*y + y - 5*m + 24 = 0.