h is smaller: w or u?
u
Let y(k) = -k**2 - 5*k - 6. Let p be y(-4). Let l(n) = -3*n**2 + n + 2. Let q be l(-1). Are q and p nonequal?
False
Let x = -0.06 + -0.94. Which is greater: 2/25 or x?
2/25
Let n = -123 - -126. Let z(d) = -2*d**3 + d. Let q be z(-1). Is q smaller than n?
True
Suppose -3*g + 0*g = 4*q + 6, 2 = -2*q - 2*g. Let y be (-10)/(-3) + q + 0. Is y greater than 5?
False
Suppose 0 = -3*s - 0 + 6. Let c = -5 + 11. Let y = c - 8. Which is greater: s or y?
s
Let s = -5 + 6. Let f be 104/(-6)*(-12)/10. Let y = -3006/145 + f. Are y and s non-equal?
True
Let d = 0.06 - -5.94. Let o = -2 + d. Let a = -2.1 - -2. Are o and a nonequal?
True
Let q be (-6)/(-2) - 10/6. Is q < 2/3?
False
Let n be -4 - (1 - 548/52). Let q = n + -1931/351. Does q = -1?
False
Let j be (-16)/(-28) - 1290/126. Is -10 at most j?
True
Let z = 1/22 - 47/66. Which is smaller: -46/9 or z?
-46/9
Suppose q = -4*q. Suppose q*z = z + 4. Let t = z + 5. Is t less than 1?
False
Let s = 0.03 - -0.08. Let f = -2.66 - 2.45. Let x = s + f. Which is greater: -1 or x?
-1
Let v = -0.8 - 2.2. Let h = v + 2.9. Is h >= 2/3?
False
Let x = -47 - -142/3. Is x < 0.7?
True
Let u(r) = -7*r - 27. Let p be u(-7). Is 24 > p?
True
Suppose -3*g + 5 = 4*m - 0, 4*m + 1 = -g. Suppose -h = g*d + 12, 4*d - 2*h = -d - 20. Which is smaller: d or -5?
-5
Suppose -4*z + 9 = 1. Suppose -9 = -z*f + 1. Let l(d) = d**2 - 5*d + 1. Let s be l(f). Is s != 1?
False
Let j = 1074 + -106325/99. Let b = j + -302/495. Is -1 at least as big as b?
False
Let m = 14 + -14. Suppose -t - 1 + 4 = m. Do t and 1/6 have different values?
True
Suppose 11*d = -l + 6*d + 2, 4*l + 5*d + 7 = 0. Let z(j) be the first derivative of -4*j**3/3 + j**2/2 - j - 1. Let g be z(1). Which is smaller: g or l?
g
Let b = 39.5 + -40. Is -7 less than or equal to b?
True
Let l(q) = 20*q**2 - 20*q + 20. Let w(f) = 7*f**2 - 7*f + 7. Let b(u) = -6*l(u) + 17*w(u). Let i be b(1). Let c be (-3 + 1 - -3)/i. Which is greater: 1 or c?
1
Let n = 6 - 3. Suppose 3*s - n*u = 2*u + 17, 5*u + 22 = -2*s. Let k(o) = -o**2 + 11*o - 20. Let g be k(2). Is g less than or equal to s?
True
Let n(v) be the first derivative of v**4/4 + 10*v**3/3 - 13*v**2/2 - 14*v - 3. Let a be n(-11). Is a < 8?
False
Let a be 4/5*(-6)/8. Let c be 0 - 1 - (1 - 3). Let p be ((-1)/c)/(-1)*-2. Is a >= p?
True
Suppose 6 = -a + 4*a. Let t be -2 + (-2)/a*0. Let v(u) = u - 4. Let o be v(4). Are t and o nonequal?
True
Let x = -0.2 + 0. Let s = x + 0.1. Let n = 140/3 + -47. Is n < s?
True
Let x = -1377 + 5553/4. Which is smaller: 0 or x?
0
Suppose 4*g - g = -y - 286, 2*g + 174 = -4*y. Is g >= -98?
True
Let r = 0.22 + -0.52. Which is smaller: r or 0?
r
Let v(l) = 5*l**2 - l. Let o be v(6). Let q be o/120 + (-1)/4. Which is greater: 0 or q?
q
Let w = -91 + 90. Does w = -6?
False
Let g be 116/(-78) - 6/(-39). Does 0 = g?
False
Suppose 2*y - 8 + 0 = 0. Suppose -2 = 3*g - f, -4*g = -2*g + y*f + 20. Let q(t) = 2*t - 21. Let j be q(9). Which is smaller: g or j?
j
Let j = -20 - -55. Let f = 1/1076 + -110831/3228. Let z = f + j. Is 0 at least as big as z?
False
Let s be (-88)/12 - (-2)/(-3). Let o be 3/90*s/(-2). Let m be (3/(-18))/(2/(-12)). Is o at least m?
False
Let p be ((-4)/12)/(2/6). Let k be (p/2)/(4/8). Suppose -3*x + x + 2 = 0. Is k greater than or equal to x?
False
Let b be 8/(-2) + -13 + 1. Is b < -16?
False
Let l = -61/4 - -15. Suppose 0 = -5*x - 0*x - 20. Let m be (-5)/x + 3/(-12). Which is greater: m or l?
m
Let c be (-15)/(-5) - (2 + 12). Which is greater: 0 or c?
0
Let i = 3/53 - -203/159. Which is bigger: i or 0?
i
Let x = -33/50 + 4/25. Is x smaller than -3?
False
Let o = -484494504/6983 + 69382. Let h = o + 460868/34915. Let v = h - 188/15. Is 1 less than or equal to v?
False
Suppose 3*u = -3*p - p - 9, 5*u - 4*p + 15 = 0. Are u and 1 nonequal?
True
Suppose -6*u - 35 = -u. Let i = -3 - u. Which is bigger: i or 3?
i
Let u = -67 + 667/10. Is 0 less than u?
False
Let h(a) = -3*a**2 - 7*a + 5. Let b(i) = -i**2 - i - 1. Let n(k) = 2*b(k) - h(k). Let d be n(-6). Let t = -4 + d. Is -4 >= t?
True
Suppose -6*p = -4*p - 3*q - 101, -4*p + 3*q + 193 = 0. Which is smaller: p or 45?
45
Suppose 0*r - 2*r = 4. Let s be (-1)/(1/3) - r. Let u be (3 - (-5 + 4))*(-2)/(-40). Are u and s nonequal?
True
Let o be ((-12)/(-2))/((-3)/(-4)). Let y be 2/(o/(4 - 2)). Is y equal to -1?
False
Let h = -2 - -10. Let q = h + -12. Are q and -1/3 unequal?
True
Suppose -5 = -q + 8. Let x(v) = v**3 + 2*v + 12. Let j be x(0). Is j at least q?
False
Suppose -4*r = -20, -43 = 3*f - 2*r - 0*r. Do -11 and f have the same value?
True
Suppose 0 = -p + 4*p - 5*r - 16, 6 = -3*r. Let f be 2*(-3 - 15/(-6))*-3. Which is smaller: f or p?
p
Let m(f) = -f - 4. Let r be m(-11). Suppose 2 = -d + 4*x, 2*d - r + 2 = -x. Suppose 9 = -d*y + 3*z, 2*z = -y + 5*z - 9. Which is smaller: 2/13 or y?
y
Suppose -3 + 7 = 5*f + 2*h, 2*h = f + 4. Let g = -12675973/57042 - 3/6338. Let l = 222 + g. Is f not equal to l?
True
Let h be ((-44)/(-16))/(-11)*(-1 + 1). Let l = 335/2414 - 3/142. Which is smaller: l or h?
h
Suppose 0 = v - 6*v - 5. Suppose 3*g = -14 - 25. Let h be g/10 - v/(-5). Is h >= -1?
False
Let n = -18 + 18. Is -1/2 less than or equal to n?
True
Suppose -6*u + 8 = -2*o - u, -2*o = 2*u - 6. Suppose 0 = -2*s + 4*y + 2, -s + 3 = 2*s + 5*y. Do s and o have the same value?
True
Let o = -6 - -3. Is -1/3 less than or equal to o?
False
Let s = -46 - -52. Is s at least as big as -0.4?
True
Let l = 4.9 + -5.9. Let u be (-1)/(-3) + 116/(-276). Which is smaller: l or u?
l
Suppose 9 + 15 = 4*r + 3*x, -2*r + 14 = 2*x. Suppose 4*j = -2*l - 6, -3*l - l = -r*j + 1. Is 2/5 not equal to j?
True
Let w = 155 + -1859/12. Are w and 1 equal?
False
Suppose -7*g = -5*g + 8. Let j be 2 + -1 + g/2. Which is bigger: j or 0?
0
Let g be (-3 - -2*1)*3. Let m be 1/2 - 1/2. Which is greater: m or g?
m
Let f = 1/629 - 5043/6919. Let u = 541 + -543. Which is bigger: u or f?
f
Let c = 28 + -16. Let s be 2/8 - 3/c. Is 1 <= s?
False
Let h = 8 - 2. Suppose -i - h = -4*i. Suppose -7 = -3*l + c, -c + i*c + 1 = -3*l. Is l < -1/4?
False
Let z be 2 - ((1 - -2) + -2). Suppose -16 = v - 13. Let q be z/v - (-17)/(-3). Is -5 <= q?
False
Suppose 4*x - 3 = -15. Let a be 17/x + (-8)/(-12). Let q = -14 + 8. Is q at least as big as a?
False
Let k = 3 - -1. Let r(i) = i**3 - 3 - 2*i**3 + k + 4*i**2. Let h be r(4). Is 1 at least as big as h?
True
Let g be (-92)/138 - (4/6)/2. Which is bigger: -12/29 or g?
-12/29
Suppose -4*o = o - 65. Let k = o + -14. Which is smaller: k or -3/4?
k
Let t be (9/75)/(9/6). Which is smaller: 0 or t?
0
Let l = 0.02 - 7.02. Let q = 5 + l. Is 2 less than q?
False
Let l = 74 - 99. Which is smaller: -26 or l?
-26
Let z be 1 + (-8)/3 + 2. Which is smaller: 1 or z?
z
Suppose 29 + 1 = 3*j. Let w be 17/5 + (-4)/j. Suppose -w*i + 3 = -v, 4*i - 3*v = -1 + 10. Do -1 and i have the same value?
False
Let r = -3 + 6. Suppose 0 = 2*u - r*u. Suppose 3*w - 4*w - 1 = u. Which is smaller: 3 or w?
w
Suppose o = -3*r, 0*o + 4*r + 32 = 4*o. Suppose -5 = -z - 2*i + i, -2*z - o = -2*i. Is -0.1 greater than or equal to z?
False
Let w = -0.4 + 0. Let t = -2.6 + w. Let f = t + 2. Are -0.2 and f equal?
False
Let r be (-74)/(-286) - 2/11. Let a(b) = b**2 - 11*b - 26. Let t be a(13). Is r <= t?
False
Let x = -4.9 + -1.1. Let z = -0.4 + 1.4. Is x < z?
True
Suppose 30 = -4*x + 54. Is 37/5 <= x?
False
Suppose 6*i - 10 = 4*i. Suppose 0 = -4*l - l + i. Which is greater: l or -2/11?
l
Suppose 4*h - 2*g + 2 = 0, 0*g = 5*h + g + 6. Let p(y) = -4*y**2 + y + 1. Let t be p(h). Let c = t - -2. Which is smaller: -3 or c?
-3
Let t(y) = -y - 4. Let p be t(-4). Let r be 6/(-18) - (-26)/(-3). Let z = r - -10. Which is greater: p or z?
z
Let u be 2/4*2/3. Let q = -0.2 - -0.1. Which is smaller: q or u?
q
Let r = 5 - 11. Let g = r + 8. Let t = g - 5. Does 0.1 = t?
False
Let n(b) be the first derivative of -b**2/2 + 7*b + 1. Let k be n(5). Let v = 26 - 28. Do k and v have the same value?
False
Suppose -2*l + 2*a + 2 = -12, 3*l - a = 19. Which is bigger: -3/8 or l?
l
Let r be (-70)/133*2/6. Let c = -3/19 + r. Is c < 2/5?
True
Let u = 3239/868 - -4/217. Let f = 113/28 - u. Does 1 = f?
False
Let x be (2/(-10))/((-11)/(385/(-28))). Are -7 and x non-equal?
True
Suppose 3*y + y - 20 = -4*j, 0 = 5*y + 3*j - 17. Are y and 1/6 