h is bigger: 1/6 or n?
n
Suppose 5*k - 5*z - 7 = 23, 3*k - 22 = 5*z. Let j = 9 - 8.2. Let q = -1 + j. Which is bigger: q or k?
k
Let n(p) be the first derivative of -p**4/4 - 16*p**3/3 + 17*p**2/2 + p + 35. Let i be n(-17). Which is smaller: 24/17 or i?
i
Let y = -135 - -88. Let n = y + 1221/26. Is n greater than or equal to 0?
False
Let p(z) = z**3 + 6*z**2 + 4*z - 5. Let c be p(-5). Suppose c = 5*a - 22 + 12. Suppose h - a = -h. Which is greater: 10/7 or h?
10/7
Let v = -218 + 222. Which is bigger: v or -0.2?
v
Let k be (-6)/(-4) + (-3)/(-6). Let z be (1 - 2/4) + 78/(-364). Is k >= z?
True
Let b = 16 - 8. Let h = b + -9. Let o = h - 4. Are 1 and o nonequal?
True
Let a be -2*3/(-6) + -1. Suppose a*f = 2*f. Suppose y + 1 = -f. Is y < -3/8?
True
Let n = 9 + -19. Let s = 6.9 + n. Let w = -3.2 - s. Which is bigger: w or 12?
12
Suppose -417*h = -415*h - 6, 7 = -4*v - 3*h. Suppose 14 = -t + 3*x, -5*t + 11 = -6*t + 2*x. Let c be t + 0 + 0 + 0. Which is smaller: c or v?
c
Let t = -25 + 21. Let o = -3.9 - t. Is 0.66 > o?
True
Let a = -792 - -782. Is -2 at most a?
False
Let h = -42 + 44. Suppose 4*o = o + h*k - 1, -o + 3*k = 5. Does o = 1/31?
False
Let i be 8/6 - 13702/9579. Is 1 greater than or equal to i?
True
Suppose -2*i + 11*i = 684. Is 76 less than or equal to i?
True
Let l(t) = -10*t + 341. Let f be l(34). Which is bigger: -6/323 or f?
f
Let x be (3 - 2)/(2 + -3). Let n be 28/(-546)*x/1. Suppose 0 = -4*h + 2*h. Are n and h unequal?
True
Let v = 4 - 3.9. Let r = -0.16 - -4.06. Let b = r + v. Which is bigger: -1/3 or b?
b
Let q be 8/(-40) - (-195)/50. Do q and 3 have the same value?
False
Let u = 3040229/1890 - 8043/5. Is u < -1?
False
Suppose -4*g = -24 + 12. Suppose -3*a = g*d - 57, -2*a = 2 + 6. Is 21 > d?
False
Let t = 87 + -87. Which is smaller: t or -261?
-261
Suppose -5 = -0*d + 5*d. Let y be (d - 104/6) + (-3)/(-9). Suppose 4*r = 9 + 3, 0 = 5*k - 2*r + 101. Is y < k?
False
Let v be 0 + -3 + 74/18. Let h be 1*(3 + 69/(-21)). Are v and h nonequal?
True
Let j be (-104)/2 + 1*-4. Let s be (2 - (3 + j/44))/(-1). Which is greater: s or 1?
1
Let q = 2961/3250 - -3/250. Is 2 bigger than q?
True
Suppose 14 - 2 = 3*n. Let p be n*-1 - (-8 + -1). Let q = 1439/390 + -3/130. Which is smaller: q or p?
q
Let v be ((-12)/7)/((-16)/(-112)). Let t be (-48)/v - (-4)/(-1). Which is smaller: 4/23 or t?
t
Suppose 2*h = -2*h - 4*n + 492, -4*h + 3*n = -513. Is 123 less than or equal to h?
True
Suppose i + 2*h = -8, 0 = 3*i + 4*h + 16 - 2. Let l be 15/40*i/24. Which is smaller: 1 or l?
l
Let g(z) = -2*z**2 - 3*z + 22. Let r be g(0). Suppose -a - 2*l + 17 = -r, 37 = a + 3*l. Which is smaller: 0 or a?
0
Let s be ((-1691)/38)/((-1575)/8). Let n = 2/525 - s. Suppose 2*g - 3 = 4*g + 5*j, 3*g + 5*j = -2. Which is bigger: g or n?
g
Let q = 65179 - 168487712/2585. Are q and 0 non-equal?
True
Let w(p) = 3*p + 18. Let n be w(0). Suppose -14 - n = 8*k. Let v(f) = -f**2 - 10*f - 19. Let o be v(-8). Which is greater: k or o?
o
Let t = 40 - 20. Let j be 0 + t/6 + -3. Let k(o) = o**2 + 9*o + 7. Let x be k(-8). Which is greater: j or x?
j
Let a = -19.74 - 2.83. Let z = -0.43 + a. Is 0.1 less than or equal to z?
False
Let n(m) = m**3 - 8*m**2 + 8*m - 6. Let z be n(7). Let j(c) = -6*c - 14. Let w be j(-3). Suppose 0 = -3*l + 10 - w. Which is bigger: z or l?
l
Let t be ((-3)/(-2))/(((-4455)/234)/(-33)). Let v(s) = -s**2 - 7*s - 5. Let u be v(-6). Which is greater: t or u?
t
Let a be -2 + 0 + -11 + 4. Let j be (-1557)/81 - 2/a. Let m = 28 + j. Which is greater: m or 1?
m
Suppose -2*z + z = 420. Let q be 16/40 + 1*178/z. Is q smaller than 0?
True
Let z be (-3)/(-6)*(-2 - (-16)/6). Is z < 4.9?
True
Let v(h) = -6 + 1 - 1 + 1 + 4*h. Let x(t) = t**2 - 1. Let q be x(-2). Let j be v(q). Which is greater: 8 or j?
8
Let n = 78.87 - 79. Let p = 0.074 + 0.356. Let s = n + p. Is s < 3/4?
True
Let n(m) = 2*m + 3. Let r be n(4). Let b = r - -3. Suppose -5*p - 3*c - c + 75 = 0, -5*c = 0. Is p less than or equal to b?
False
Let x = -68.54 - -68. Let o = 0.44 + x. Which is smaller: o or -17?
-17
Let w be (2451/304 - 8)/(2/18). Which is smaller: w or 2?
w
Suppose -4*u + 348 = -4*b, -5*u + 213 = -2*u + 9*b. Is u equal to 72?
False
Suppose 10*a = 9*a - 40. Let r be a/10*6/(-8). Is r smaller than 2?
False
Let f be ((-105)/(-30))/(2/684). Which is greater: f or 1198?
1198
Let b = 47 + -46. Is b smaller than -83?
False
Let d(r) = -r**3 + 14*r**2 + 15*r + 3. Let t be d(15). Suppose -f + 4*j = -12, -2*f - 2*j = -t*j - 3. Which is smaller: f or -1?
-1
Let q = -86/67 - 2959/670. Which is smaller: q or -7?
-7
Suppose 6 = -2*t - 12. Let q(r) = -r**2 + 12*r - 28. Let p be q(9). Which is smaller: t or p?
t
Let k = 67 + -32. Let m = k + -36. Suppose 3*g + 3*r + 18 = 0, 2*g - 4*g = 3*r + 7. Which is smaller: m or g?
g
Let k(m) = -m**2 - 14*m - 11. Let c be k(-13). Suppose c*n - 3*t + 2*t = 0, 3*t = -2*n. Let g be (-1)/(-3*(-1 + n)). Which is smaller: g or 1?
g
Let d be 112/10 + 12/(-60). Let j = d - 8. Let o be -2 + 2 + 1 + j. Is o != 2?
True
Suppose 3 - 43 = -2*a. Suppose 7*r = 3*r + a. Is 7 bigger than r?
True
Let w = 120/17 + -3994/561. Are 0.4 and w nonequal?
True
Let i be -8*((-308)/48)/11. Let p(d) = 2*d**2 - 6*d + 6. Let j be p(3). Is j greater than i?
True
Let c(a) = -a**3 - 9*a**2 - 8*a + 4. Suppose -5*z - 2*h - 30 = 0, z - 2*h + 2 + 16 = 0. Let n be c(z). Suppose n*r + 0 + 4 = 0. Are -2 and r unequal?
True
Let w(c) be the third derivative of c**4/8 - 7*c**3/3 + c**2. Let p be w(6). Suppose -2 - 10 = -p*q, l + 4*q - 12 = 0. Which is smaller: -2/5 or l?
-2/5
Let p = -68 + 80. Let o be (-3)/(-150)*p/3. Is 3 greater than or equal to o?
True
Suppose 0 = 3*o + 5*g - 15, 0*o = -o + 5*g - 15. Let d = 390 + -5463/14. Which is smaller: o or d?
d
Let r = -231 - -232. Suppose 6*b - 2*b - i = 10, 0 = 5*i + 10. Let q = b - 1. Is q not equal to r?
False
Suppose 2*w + 4*p = -p - 99, -3*p = 4*w + 205. Does -105/2 = w?
False
Let i be (0/(-25))/(-1 + 2). Which is bigger: i or -25/29?
i
Let j(p) = -2*p + 41. Let f be j(9). Which is smaller: 9 or f?
9
Let b be ((-354900)/55)/(-15) - 2/11. Is b at least 432?
False
Let g(j) = j**2 + 7*j - 1. Let u be g(-3). Let l = -17 - u. Let z = l - 7. Are -11 and z equal?
True
Let w = 41 + -35. Suppose w*c = c. Which is smaller: -3/11 or c?
-3/11
Let s = -2101/18 + 237/2. Let j = 4 - 1. Which is smaller: j or s?
s
Let l = 20.2 - 40. Let w = -6.8 - l. Is w bigger than -0.1?
True
Let l(c) = -c**3 - c**2 + 11. Let r be l(0). Suppose 24 = 2*t - 4*t. Let u be (-171)/(-15) + t/(-20). Which is smaller: r or u?
r
Let g = -0.1 - -0.2. Let r = -1 + -4. Let v = r + 4.1. Which is bigger: g or v?
g
Let l(h) = -28*h - 111. Let b be l(-4). Is b not equal to -5/201?
True
Let t = -0.4 + -0.1. Suppose -5*b - 68 = 247. Let w = -63 - b. Is t <= w?
True
Let d = -6 - -6.05. Let c = -0.55 - d. Let u = c + -1.2. Is 0.1 at most as big as u?
False
Suppose -f - w = -3, -5*f + 27 = 4*w - 5*w. Suppose 0*s + f*s - 10 = 0, 3*d = 4*s - 122. Is d bigger than -38?
False
Let w(l) = -4*l + 39. Let g be w(19). Let a be (1/(-4))/((-2)/286). Let m = g + a. Which is smaller: 0 or m?
m
Let a = -138/7 - -136/7. Let m = -1 + 6. Suppose -c + 1 = -4*v, -10 = 5*c + m. Which is smaller: a or v?
v
Let v(w) = -w**3 - 20*w**2 - 44*w - 31. Let m be v(-17). Are -148 and m equal?
False
Let t be (-38)/4 + 9/6. Let z(w) = w**2 - 3. Let v be z(3). Let d be (v - 2) + 5 + t. Which is smaller: d or 3?
d
Let b be ((-630)/(-156) + -4)*2. Is 0 not equal to b?
True
Let c = 2441/6 + -406. Let f = -68/5 - -14. Is c greater than f?
True
Let s(o) = -o**3 + 4*o**2 - 2*o - 3. Let h be s(3). Suppose h*p = -p. Let g = -49/3 + 925/57. Is p at least as big as g?
True
Let h be (3 + (-4 - -14))/(3 - 2). Let j = 12 - -1. Is h less than or equal to j?
True
Suppose -16*f + 21*f = 70. Which is smaller: f or 12?
12
Let n = -361 + 361.1. Which is smaller: n or -0.3?
-0.3
Let w = -172 - -162. Is w at most as big as 8?
True
Suppose -3*c + 3*m = -3 + 18, 3*c + 4*m - 34 = 0. Let u = 6 + -1. Suppose -u*g = -3*p - 6, 5*p + 3*g - 15 - 9 = 0. Which is greater: p or c?
p
Suppose -217 = -5*o - 2*h - 2*h, -2*h + 129 = 3*o. Which is smaller: 42 or o?
o
Suppose 3*b = -7 + 19. Suppose -a + 5*a = -b. Let j be (2/55)/(a/(-30)). Is 2 equal to j?
False
Let o = 1486/33 - 30010/429. Whi