-7*h**2 - 7*h - 11. Let p be j(8). Let u = 12877/25 + p. Is u at most 0?
False
Suppose -2*q = 5*h - 12 - 31, q - 11 = -h. Let r be (-10)/4 + (9 - h). Is r greater than 0.03?
False
Let x be (-1)/7 + (-1579)/21483. Let u = 2/341 - x. Is -12 less than u?
True
Suppose 5*i = 3*h - 4*h, 0 = h - 5. Let q = 41 + -413/10. Is i bigger than q?
False
Suppose 0 = r + 2*r - 5*u + 6, -4*r = u + 8. Let f = 40223/4 + -10111. Let z = f + 55. Which is greater: r or z?
z
Let r(z) be the second derivative of -z**4/12 - z**3 + z**2 + z. Let f be r(-6). Suppose -w = w + f. Which is smaller: 3/8 or w?
w
Let n be (1 - 1/(-1)) + 4. Suppose n*l = l + 60. Is l bigger than 12?
False
Let s = -0.05 - 0.05. Let a = s - -0.1. Let v = -4 + 4.4. Which is smaller: a or v?
a
Let c be 1*4 + (-300)/70. Let z(v) be the first derivative of v**2/2 - v - 2. Let t be z(0). Is t at least as big as c?
False
Let t be 1 - (2/2 - 0). Let w(h) = h + 8. Let l be w(-5). Let v be l/(-6) - (-1)/2. Does t = v?
True
Suppose -5 = -4*j + 31. Let v(w) = w**3 - 10*w**2 + 10*w - 6. Let o be v(j). Suppose 4*n - 1 = o. Is 0 at least n?
False
Let o(c) = -c**3 + 6*c**2 + 7*c - 9. Let y be o(7). Let q be y/2 + 4/8. Is -4 > q?
False
Let h be 32/(-9) + 10/5. Suppose m + 3 = 1. Which is bigger: m or h?
h
Let p be (6/(-9))/((-2)/(-3)). Which is greater: p or -2/33?
-2/33
Let u be (-23)/(-3) + 4/12. Which is bigger: 9 or u?
9
Suppose -4*o + 8*o = 3*a + 15, -20 = 5*a - 5*o. Do -10/7 and a have different values?
True
Let g be ((-2)/(-2) - 2)/1. Let j be 5/(-10)*2*g. Let t = 1 - 1. Which is greater: t or j?
j
Suppose 0 = -p + 5 + 15. Suppose 2*v = 4*f + 22, -2*v + 5*f + p = 2*f. Is 5 not equal to v?
True
Let f be (-4)/(-6)*9/(-21). Which is bigger: f or -1?
f
Let c(m) = 3*m**2 - 12*m + 2. Let z be c(3). Let q(v) = -v**2 + 3*v + 3. Let a be q(5). Is z bigger than a?
False
Let j(n) = 1 + 3*n - 4*n**2 - 7*n - 2*n**2 + 5*n**2. Let g be j(-5). Let t = g - -5. Are t and -0.1 non-equal?
True
Let k(c) = -c**3 + 8*c**2 + 6*c + 15. Let l be k(9). Which is smaller: -3 or l?
l
Let g = 1 - 1. Suppose 17 = 3*r + j, g = -5*r + j + j + 10. Let o be (-38)/(-56) + (-1)/r. Is o at most -1?
False
Let j(k) = 2*k**3 - 2*k - 1. Let x be j(-1). Let z be x/(-6) + (-92)/264. Are -2 and z equal?
False
Let w be -6 + (-5)/(25/10). Which is smaller: -2/15 or w?
w
Suppose 3*o = 5*r - 4*r + 185, 0 = 5*r + 3*o + 1015. Let n be ((-6)/(-4))/((-6)/r). Let i be n/(-20) - (-2)/(-4). Is -4 > i?
False
Suppose -x + 5*x + 4*q = 0, 0 = -5*x - 2*q - 9. Let p(t) = 7*t**3 - 1. Let f be p(1). Let j = f + x. Is j >= 2?
True
Suppose 0 = m + m - 4. Suppose -10 = -5*x - 0. Suppose 3*k - 11 = -x*j, j - 4*k + 16 = 5*j. Which is greater: m or j?
m
Let g = -8.92 + 9. Let v = -0.92 - g. Is -1/3 at most as big as v?
False
Let a be (6/4)/(3/(-4)). Let j be (1 + -1)/(0 - a). Suppose -z = 3, 2*t - z - z - 4 = j. Which is greater: 1 or t?
1
Let z(p) = 6*p - 41. Let c be z(8). Which is smaller: 9 or c?
c
Let f = 1.1 - 7.1. Let s = 7 + f. Is s at most as big as -4?
False
Suppose -4 + 3 = v. Which is smaller: v or 5/11?
v
Let k = -0.74 + 0.7. Let l = -0.96 + k. Suppose -2*m = 0, -4*m + 0 + 5 = 5*v. Which is greater: l or v?
v
Let b(i) = -i**2 + 6*i - 2. Let f be b(4). Let v be 4/((-3)/f*2). Do -3 and v have different values?
True
Let a be (-3)/6*((1 - -12) + -1). Which is greater: a or -5?
-5
Let g = -6 - -51. Suppose 8*s = 3*s - g. Does s = -8?
False
Let d = 17275/22 + -785. Let z = 21/44 - d. Let q be 0/(8/(-2)) - -1. Which is greater: q or z?
q
Let l = -2.4 + 1. Let z = 0.6 - l. Let x = z + -2. Which is greater: -1 or x?
x
Let p = 0 - -0.1. Let m = -291/2 + 341/4. Let l = m - -60. Which is bigger: p or l?
p
Suppose 3*x = -2*d - 29, -2*d - 15 = -5*x - 42. Let n(b) = 9*b - 9. Let l(q) = 5*q - 5. Let c(u) = x*l(u) + 4*n(u). Let k be c(1). Which is smaller: k or -2/9?
-2/9
Suppose 4*t - 2*b - 2 = 0, -t - 2*b - 22 = -7*b. Suppose 4*u - 1 = t. Which is greater: u or 1/4?
u
Suppose -8 = 4*i - 0. Let r be i*(90/(-33) - -3). Which is bigger: r or -2?
r
Let k(r) = -26*r - 8. Let z(w) = 9*w + 3. Let v(s) = 6*k(s) + 17*z(s). Let d be v(2). Which is smaller: d or -2?
d
Let b be 2/(-5) + (-4)/(-10). Let i = -1 - -5. Suppose i*z + b*z + 4 = 0. Which is smaller: z or -1/4?
z
Let q be 2/(((-64)/(-12))/(-4)). Is 0 at least q?
True
Let x = -2.58 + 7.54. Let n = x - 0.06. Let m = 5 - n. Which is bigger: m or -1?
m
Let t be ((-20)/75)/((-28)/(-10)). Do 3 and t have the same value?
False
Suppose 10 = 2*b + 2*j, -2*b = -3*j + 8*j - 25. Suppose 11 = 3*x - 1, 5*u - 47 = -3*x. Let g = 8 - u. Is b bigger than g?
False
Suppose 5*r + 0*v = 3*v + 39, 3 = -v. Let b be 2/r - 80/24. Let w = -10 - -6. Do b and w have the same value?
False
Suppose 4 - 12 = 4*v. Is 10/11 bigger than v?
True
Suppose -2*j + 3*j + h = 79, j = 2*h + 67. Are j and 76 unequal?
True
Suppose 0*h = -h - 15. Is h > -16?
True
Let u = -3 + 2. Let y be (2/4)/(1/4). Let w(o) = -o + 1. Let q be w(y). Is u smaller than q?
False
Let h = 24.12 + -24. Which is greater: 0 or h?
h
Suppose 3*w = -1 - 11. Let s be 3/w*2/(-9). Is s less than 0?
False
Let u be (-8)/(-6)*216/(-306). Is 0 greater than or equal to u?
True
Suppose -a + 31 = -6*g + g, -5*a + 11 = -g. Let h(j) = -1 - 7 - 1 - j. Let t be h(g). Which is smaller: t or -2?
t
Let y(t) = 3*t + 2. Let b be y(0). Are b and -1 nonequal?
True
Suppose 46 = 5*h - h - 3*b, 3*h + 2*b - 43 = 0. Is h smaller than 14?
True
Let s be 2*-2*1/(-4). Let l be (s - -1) + (-3 - -6). Let j = 8 - 4. Which is smaller: l or j?
j
Let g = -0.04 + 3.04. Let m = -14 + 12. Which is smaller: m or g?
m
Suppose j - 2 = 5*g + 27, -2*j = -8. Let r be 3/(-2) - (-216)/(-48). Is g at least r?
True
Let v(y) = y - 1. Let l be v(4). Let t = -2/11 - -37/22. Which is smaller: l or t?
t
Let m be (1 - 0) + 28/(-49). Let b = 8 + -6. Suppose -b*r = 2*r. Is m at most as big as r?
False
Let p(i) = -i**3 + 7*i**2 - 6*i. Let l be p(6). Suppose -15 = 5*k + 5. Is l at least as big as k?
True
Suppose -5*n = -2*z - 20 + 74, -2*n - 8 = 0. Is 0 equal to z?
False
Let i(p) = -p**3 - 3*p**2 + 10*p - 2. Let k be i(-5). Suppose -4*l = 3*y - 32, -2*l - 74 = -4*y - 2. Let z be 2/y*1/k. Are -1 and z equal?
False
Let k be (-18)/(-45)*(-5)/(-7). Is -12 greater than k?
False
Let r = -0.25 + 6.85. Let i = r - 11.3. Let j = 5 + i. Is 1/4 at most j?
True
Suppose -h - 122 = -5*m + h, -3*h = 3. Suppose 3*g + c + 19 - 5 = 0, 2*c = -3*g - 10. Let s be 2/m - g/9. Which is bigger: s or 0?
s
Suppose -12 = -4*g - 5*u, 2*g = -3*g + 4*u + 56. Suppose 0*j - 2*y = 3*j - 18, -5*j - 5*y + 30 = 0. Let t be j*(-2)/g*2. Is -1/2 less than t?
False
Let c = 1 - 0.9. Let w = 62.7 + -63. Which is smaller: c or w?
w
Let v = 23.2 + -23. Which is smaller: v or -1/5?
-1/5
Suppose 2*c - 9 = -2*v + 45, -c = 3*v - 83. Suppose -25 = -0*o - 5*o + 4*s, v = 3*o - 5*s. Let b be (-1 + 0)/(2 - 1). Do b and o have the same value?
False
Suppose 4 = -3*o - 4*p - 0, -p = o + 1. Suppose o = -4*f + u + 8, -5*u = 3*f - 10*u - 23. Let b = f - 3. Is -0.1 smaller than b?
False
Suppose 5*p - 3*u - 8 = 0, -5*u - 3 = -4*p - 7. Suppose -p*l - 4*k - k = -40, l - 5*k = 35. Let c be (-1*l/6)/(-1). Are c and 4 nonequal?
True
Let u = 1088 - 51133/47. Let f = u - -20/423. Which is greater: 0 or f?
f
Let j = -0.56 - 2.74. Let y = 2.3 + j. Which is bigger: 2 or y?
2
Let l = 88792/65 + -1366. Is 0 smaller than l?
True
Suppose 0 = 2*l + 3*l - 5. Let z be ((-20)/25)/(3 - l). Is z greater than 1?
False
Let b be 4/(-1) + (-9 - 8). Which is greater: -20 or b?
-20
Let p = 0.07 - 0.07. Is -12 equal to p?
False
Let x be 5*(2 + (-1)/1). Let a be (1/(-5))/(2/x). Let o = -363/5 + 73. Which is greater: o or a?
o
Suppose -5*y - 7 = -2. Let c be y/(-4) + 24/32. Let q be 6/7 - (-2)/(-7). Is c != q?
True
Let f be 0 + 32/((-6)/(-3)). Suppose -3*o - 4 + f = 0. Which is smaller: o or 2?
2
Suppose -7*g = -3*g. Let i(h) = -h**2 - 10*h - 5. Let a be i(-9). Suppose 5 = -g*o + o - 2*d, -5*o - a*d = 45. Which is smaller: o or -4?
o
Suppose 0 = -5*g - 3*h + 1, 5*g + 0 = -5*h + 5. Suppose 20 = 4*x - 0*x. Suppose 0 = x*q, 0*y - 4*y - 8 = -3*q. Is y less than g?
True
Let x(q) be the second derivative of q**5/20 + 11*q**4/12 + q**3/3 + 3*q**2 + q. Let j be x(-11). Are -17 and j non-equal?
True
Let k = 18 - 25. Which is bigger: k or -0.3?
-0.3
Supp