 4 - 6. Which is smaller: h or j?
j
Let z be ((-6)/(-4))/((-18)/(-56)). Is z smaller than 6?
True
Let s be (5/5)/((-1)/(-7)). Let h = 10 - s. Suppose -5*d + x = -x + 19, h*d = 3*x - 15. Is d at least -3?
True
Let w be (-1)/(-1 + (-32)/(-34)). Suppose -6 = -5*g - 2*x - w, 2*g + 5*x = 4. Are g and -3 equal?
True
Let j be 4/((-3)/((-9)/6)). Let l(f) be the second derivative of f**5/20 - 7*f**4/12 - 4*f**3/3 + f**2/2 + 2*f. Let i be l(8). Which is greater: i or j?
j
Suppose 3*d - 1 = 11. Let z be -17 - (-3)/((-9)/(-6)). Let i be (-10)/z + d/(-7). Is i < 1?
True
Suppose 0 = 5*b + 12 - 62. Suppose -4*g - 6 = 2*i, -3*i - 5*g + 4 = b. Let k be (-16)/(-7) - 6/21. Are i and k nonequal?
True
Suppose 2*q - o + 7 = -0*o, -4*o = -3*q - 23. Let j be (1/(-6))/(1/2). Which is bigger: q or j?
j
Suppose 2*g + 18 = -5*j, -3*j + 2*g = g + 2. Let b(r) be the third derivative of -r**4/12 - 3*r**2. Let x be b(1). Is j less than x?
False
Suppose 3 = 4*u - 9. Suppose 5*f - h = 3*f + 7, 16 = 4*f - 4*h. Is f not equal to u?
False
Suppose -y + 1 + 4 = 0. Suppose 3*t = -3*o + 4*t + 7, -5*o = y*t - 45. Let b be 5*2*(-4)/(-10). Is o bigger than b?
False
Let x = -5 - -3. Suppose -6*w = -3*w. Is w greater than x?
True
Suppose 0*b + 5*b = 0. Let g = b - 2. Let n = 3 - 3. Which is greater: n or g?
n
Let a = -29 + 18. Let v(z) = z + 12. Let o be v(a). Are o and 3 non-equal?
True
Let f = 51 + -46. Is 5 at least f?
True
Let z(u) = -u**3 + 5*u**2 - u + 7. Let j be z(5). Let p(r) = 3*r**2 + 7*r - 4*r**j + 3 + 2*r**2. Let h be p(-6). Is -3 at least as big as h?
True
Let l be 8/6 - 6/9. Let x be -1 + (-21)/15 + 2. Is x at least l?
False
Let w be -2 + -2 + 4 + 2. Let b = 0 - 0. Are b and w non-equal?
True
Let q = -243/5 + 49. Suppose -20 = 4*x - 5*o + 2*o, x - o + 6 = 0. Is x > q?
False
Let j = -85 - -928/11. Is 0 at most as big as j?
False
Let d = -0.306 + 0.356. Let f = 1 - 2. Is f at most as big as d?
True
Let x = 4 + -7. Let k = -2 - x. Let y be (2*(-2 - -3))/k. Which is bigger: y or 4?
4
Let y(l) = l + 1. Let a(t) = -4*t - 5. Let m be (-2)/(0 + 2) + 4. Let c(g) = m*y(g) + a(g). Let h be c(-3). Is h at most 0?
False
Let y = -3/115 - 557/690. Is 1/3 < y?
False
Suppose -5*w = -t - 5, t - 5 = w - 2. Suppose w = -c + 2*c. Suppose 2*u - 12 = c*q, -1 = q + 2. Which is bigger: 5 or u?
5
Suppose 26 + 11 = -4*b + u, u - 47 = 5*b. Is -8 at most b?
False
Let s = 5540/17 + -326. Let m = 0 + 0. Which is bigger: m or s?
m
Let x = -0.11 - 0.89. Is -6 > x?
False
Let c be 4/(-10) + 386/(-10). Is c bigger than -41?
True
Suppose -6 = -3*w - 0. Suppose 3*s + 4 = -w. Let z be (-1)/2 + 135/(-54). Is s != z?
True
Let f(y) = y**3 + 0*y**3 + 1 - 2*y**3 + 5*y**2. Let p be f(5). Which is smaller: -4 or p?
-4
Let v = -32/585 - -2/585. Is -1 less than or equal to v?
True
Suppose -36 = k - 5*y - 4, 4*k - 3*y = -60. Which is smaller: -9 or k?
k
Let k(l) = -2*l - 7. Let g be (-4)/10*(1 - -9). Let v be k(g). Which is greater: 2/25 or v?
v
Let z = 0 - -0.1. Let p = -1.5 + -4.5. Let i = p + 5.9. Is i less than or equal to z?
True
Let r = 1 - -2. Suppose -3 = -5*u + 7. Let c be -1*((-8)/u - -2). Do r and c have the same value?
False
Let d be (1/(-2))/((-3)/258). Does 2 = d?
False
Let o = -0.12 - -2.22. Let f = 2 - o. Let b = -1 - -2. Is b > f?
True
Let h be 1/3 - -10*(-7)/336. Let p be (-1)/2 + (-3)/(-2). Which is smaller: h or p?
h
Let r(n) = -6*n**3 + 7*n**2 - 3*n - 1. Let k(l) = -5*l**3 + 6*l**2 - 2*l - 1. Let w(u) = 5*k(u) - 4*r(u). Let c be w(2). Suppose 9 + c = 3*q. Is q at most 3?
False
Let i be 12/(-10)*10/(-16). Suppose -5*p + 0*p + 10 = 0. Which is bigger: p or i?
p
Let k = -372 - -4098/11. Let c be (-4)/6*-3*23/46. Which is smaller: c or k?
k
Let m(g) = g**2 + 5*g - 5. Let q be m(-5). Let y be (q - -4)*24/(-2). Suppose -y = -4*w - 5*r, -3*w - 2*r = -r + 2. Which is smaller: -1 or w?
w
Let g = 21 - 19. Suppose g*z - 5 = 4*a + z, 4*z = 3*a + 7. Is a at most as big as -4/21?
True
Let r = -9 - -335/37. Is -1 greater than or equal to r?
False
Let g be (-11)/6 + (-16)/(-12). Suppose 0*n = x + 2*n - 6, 4*x - 3 = -n. Which is smaller: g or x?
g
Let g = 6927/2 + -3399. Let s = g + -63. Is 2 not equal to s?
True
Let p be (-1)/1 + 4 - (-18 + 18). Which is bigger: p or 14/5?
p
Suppose -2 + 6 = 2*y. Is 2 at least y?
True
Let n = -11 + 16. Suppose -d + j = n*j - 1, 4*d = 2*j + 4. Let l be 2 - ((-2)/3 + 2). Is d greater than l?
True
Let c be (-2)/(-5) + (-66)/15. Let y be (8/6)/c*3. Let a be 32/18 + -1 + y. Which is smaller: 2/3 or a?
a
Suppose 4*j + 5*t = -6, -j - 4*j + 13 = -4*t. Let r = -2 + j. Which is bigger: 0.2 or r?
0.2
Suppose -6*b = l - b - 26, -3*b = -l - 6. Let y = l + -5. Which is bigger: 3/7 or y?
y
Let j = 0.12 + 0.58. Let d = 0.4 - j. Are -0.2 and d equal?
False
Let h(t) = 3*t - t - 7 + 11. Let r be h(6). Suppose w + 3*w + r = 0. Is -4 != w?
False
Let i = 0 - -1. Let t = -114 + 572/5. Which is smaller: i or t?
t
Let k(q) = -12*q**2 - 4*q + 4. Let a be k(1). Do a and -11 have the same value?
False
Let j = 0 - 0. Let s be (-4)/18 + (-10)/(-45). Let m = -1 + s. Which is bigger: m or j?
j
Let c = -32 + 0. Which is smaller: -34 or c?
-34
Let a = 2.3 - 2.4. Is 8 >= a?
True
Let l = 36/19 - 49/76. Which is greater: l or 0.07?
l
Let t(f) = f + 7. Let v be (3 + -2)*(-3 + 0). Let i be t(v). Which is smaller: i or 3?
3
Let p = 0.06 - 4.06. Let r = -7.5 + 11.6. Let n = p + r. Which is smaller: n or -2/5?
-2/5
Suppose -11*p - 30 = -6*p. Let i be (-7 - p) + 1/4. Is -1 less than i?
True
Let a be 3/(-1 + (2 - 0)). Suppose 2*f = -22 - 8. Let o = -14 - f. Which is greater: o or a?
a
Let d = -68 + 30. Let m be d/18 - (-2)/18. Which is smaller: m or -16/7?
-16/7
Suppose -2*p + 4*u - 5*u - 14 = 0, 5*p - u = -42. Does p = -0.7?
False
Let k = 20 + -28. Let v = 2 + k. Which is smaller: v or 2?
v
Let l be (-3)/(((-8)/6)/4). Let y = l + -7. Which is smaller: 10/7 or y?
10/7
Let q be 0 + ((-36)/(-21))/3. Which is greater: q or 1?
1
Suppose -x - 17 = -3*h, -h = -3*x - 12 + 1. Suppose -1 = -5*u + 9, 4*l + 8 = 4*u. Suppose 0 = -6*i + i - h, j - i = l. Is -2 less than j?
True
Let q(n) = n**2 + 4*n - 13. Let w be q(-6). Is -4 smaller than w?
True
Suppose 1 - 3 = -z. Let g = 2 - -1. Suppose c = g*c + z. Is c != -2?
True
Suppose -9 = -2*l + 45. Let b be 9/l + (-46)/3. Which is smaller: b or -14?
b
Suppose -3*i = h + 3*h + 16, -15 = 3*h + 3*i. Is h greater than -5/13?
False
Let w = 72 - 72. Let b = -938/13 - -72. Which is smaller: b or w?
b
Suppose 2 = 3*g - 4*g. Suppose -f + 0 + 1 = 0, 0 = 2*p + f - 13. Let u be (-14)/12 + 1/p. Which is bigger: u or g?
u
Let z be 2/(3 - 5) + 196. Let p be 4/z*65/(-26). Which is greater: 0 or p?
0
Let p = -0.4 - -0.44. Let o = p + 0.36. Let r = o - 0.2. Which is smaller: -1/2 or r?
-1/2
Let q be 9/15 + (-4)/15. Let p = 212/3 - 69. Which is smaller: p or q?
q
Suppose 5*p = 4*l + 6, -2*p - 30 = 3*p + 5*l. Suppose 55*z - 57*z - 6 = 0. Which is greater: p or z?
p
Let m be ((-13)/5 - -2)*-5. Let u be (-86)/(-6) - 1/m. Suppose 0*h - u = -3*h + o, -25 = -5*h + 2*o. Which is greater: h or 3/2?
h
Suppose 3*b + 11 + 7 = 0. Do -7 and b have different values?
True
Let d = 11 - 17. Is -1 less than d?
False
Let h be 7/5*9/((-63)/(-2)). Let d be (-44)/10 - (-4)/10. Let v be d/14 - (-9)/7. Is v <= h?
False
Let w be (-8)/(-2) - 14/3. Let q = -17 - -11. Which is smaller: w or q?
q
Let m = -70 - -73.2. Which is smaller: -1/4 or m?
-1/4
Let m = -1/1442 - -152857/7210. Let k = -21 + m. Do k and -1 have the same value?
False
Let w be ((-3)/(-39))/(1/6). Which is smaller: w or 0?
0
Let l = -65 + 326/5. Let a = 72 + -502/7. Which is bigger: a or l?
a
Let j(w) = w**3 + 20*w**2 + 31*w - 41. Let g be j(-18). Is g equal to 50?
False
Let s(x) = x - 9. Suppose 2*l - 3 = 5. Let r be s(l). Let d = r + 6. Is 1 greater than d?
False
Let q be (-9 + 11)/((-2)/(-8)). Is -2 at most q?
True
Let m = -23 + 33. Suppose -m = -j + 3*h, 3*j - 3*h - 15 = h. Which is greater: j or 2?
2
Let b be (-3)/(-2)*(-4)/(-3). Let q = 2 - b. Is q greater than 1/7?
False
Let a = 0.1 + -0.2. Let z = -82.9 + 87. Let c = z + a. Which is greater: c or 0.1?
c
Let z = -5 - -4.9. Let p = z - -0.6. Let r = -0.3 + p. Is r less than 2/3?
True
Suppose f = -3*p - 20, 3*p + 2*f = -9 - 16. Let x(o) = o**2 + 6*o + 2. Let b be x(-4). Let g be (-52)/12 + (-2)/b. Which is greater