t k = -11/3 - i. Do 0.1 and k have the same value?
False
Let s = 17 + -131/8. Let u = s + -1/8. Let i = 17 - 7. Is u != i?
True
Let h = -3 + 5. Suppose o - 1 = -2*r + 4*r, 2*r - 20 = -h*o. Let y be (-3)/(-7) + (-10)/o. Is y at most as big as 0.3?
True
Let n(t) = 5*t**2 + 42*t + 10. Let y be n(-8). Are -9 and y unequal?
True
Let i be (21/2814)/(5/1). Which is greater: i or 1?
1
Let g = -1934 + 1369. Is g greater than -567?
True
Let u = -124 + 123. Suppose -4*x - 2*j + 6*j = -32, 0 = 2*x + 2*j. Let i be (1/4)/((-7)/x). Does u = i?
False
Let d = 5/68 + 61/1020. Let p be -4*(-3 + 4 + -4). Suppose 4*r = 4*h - 0*h - p, 0 = 2*r - 5*h + 15. Which is smaller: r or d?
r
Suppose 0 = -2*q + q + 4. Suppose -2*y - 10 = t, t - q*y = -t + 20. Suppose -3*a - a - 12 = t. Is -10/3 != a?
True
Suppose -8*g = -33*g + 3000. Is g at most 120?
True
Suppose b = 4*b. Suppose b = -2*a + a + 4. Suppose 2*s - f = -4*f - 20, 40 = -a*s + 2*f. Which is smaller: -9 or s?
s
Suppose 2*y - 3 = 4*g + 3*y, -9 = 3*y. Suppose g = 29*i - 31*i - 38. Is i bigger than -4?
False
Suppose 0 = 4*g - 9*g - 90. Let k = 19 + g. Let f = k + -8. Is -6 bigger than f?
True
Suppose 3*o - q + 1 = 2, 5*o - 3 = 3*q. Let y be (-3)/6 + (-1 - 1/2). Let c be (3*-1)/(y + 34/(-4)). Is c at least as big as o?
True
Suppose 0 = h - 5*h - 28. Let a(t) = t**2 + 8*t + 10. Let n be a(h). Let j be n + ((-105)/33)/1. Which is smaller: j or -0.1?
j
Let j = 105/38 - 111061/40166. Which is smaller: 1 or j?
j
Let a(w) = -w**3 - 4*w**2 - w + 1. Let t be a(-4). Suppose -24 - 6 = -t*b. Suppose 26 = b*g + 2. Which is smaller: g or 5?
g
Let x(l) = l - 26. Let v be x(27). Suppose 0 = 3*y + 3*i + i - 11, -4*y = -3*i - 48. Suppose 3*r - n - 20 = 0, -y - 6 = r + 4*n. Which is smaller: r or v?
v
Let j = -1261 + 18871/15. Is -3 > j?
False
Let h(u) = u**3 + 11*u**2 - 10*u + 12. Let n be h(-12). Let t(g) = -g - 24. Let w be t(-14). Is w != n?
True
Let s = -0.18 + -9.82. Let o = -10 - s. Let v = 2.4 - 1.5. Is o at least v?
False
Let c = 991 + -991.15. Are c and 0.2 nonequal?
True
Let b = -0.23 - -24.23. Let c = b + -31. Which is smaller: c or -0.1?
c
Let u = 0 + 0. Suppose u = 3*p + 64 - 13. Which is bigger: -3 or p?
-3
Let d be (-3 - -2)/((-1)/(-7)). Let r = d + 9. Let b be (-2)/(-4) + (-3)/r. Is b less than or equal to -1?
True
Let z = -627 + 6899/11. Which is bigger: 2/17 or z?
z
Let z = -0.04 - 10.96. Let j = z + 29. Are j and 1 nonequal?
True
Suppose 4*t + 1712 = 3*q, -t + 10*q = 7*q + 419. Is -430 <= t?
False
Let o be (-2)/10 - 44/(-20). Suppose o*d = 96 - 30. Let q = d - 67/2. Is -1 > q?
False
Let b(j) = j**2 - 3*j + 5. Let u be b(5). Suppose -u = -3*d, 4*f + 0*f = 3*d - 7. Suppose z + 0 - f = 0. Which is greater: 2/3 or z?
z
Let c = 1096021/309 - 3547. Let p = -287/3399 + c. Let y(w) = -w**2 - 3*w - 1. Let s be y(-2). Is s >= p?
True
Suppose -25*i + 150 = 1575. Is i > -56?
False
Let s be 0 + (-3)/(-21) - (-354)/168. Are 2 and s non-equal?
True
Let o be (-448)/(-3003) - (-10)/(-65). Is 0 < o?
False
Let i = -433 + 424. Which is bigger: i or -0.1?
-0.1
Let n(t) = 30*t - 20. Let k be n(-15). Let u be (8/k)/((-2)/10*2). Let o(q) = q - 2. Let m be o(3). Which is smaller: m or u?
u
Let n(d) = -d**2 + 14*d + 13. Let b be n(16). Let t = 17 + b. Let c be ((-4)/8)/(2/4). Which is smaller: t or c?
t
Suppose 0 = 5*r - 5 + 15. Let y be (-4)/(-1310)*10/r. Are y and 0 unequal?
True
Let d be (5 - (3 + 2))/3. Is -7/53 at least as big as d?
False
Let b(v) be the second derivative of -v**3/3 - 13*v**2/2 - 37*v. Let p be b(-6). Which is smaller: -2/57 or p?
p
Let c = -8 - -6. Let l be (117/(-6))/(7/c). Is 6 less than or equal to l?
False
Let n be 3/1 + 2430/(-72). Which is greater: n or -30?
-30
Let p = 0.081 + 3.019. Is p <= 5/8?
False
Suppose 5*x - 5*h + 0*h - 90 = 0, -5*x - 5*h = -120. Suppose -x = 4*y + 11. Is y < -10?
False
Suppose 5*a + 1557 - 407 = 0. Which is smaller: -231 or a?
-231
Let f = -1.3 - 20.7. Let t = f + 20. Which is smaller: t or -0.9?
t
Let n = -1036022507/220 + 4709180. Let h = n + 147/11. Which is greater: 0 or h?
h
Let j be 939/63 + (-52)/(-546). Suppose 2*c - 47 = -0*c + 5*f, c + f - 13 = 0. Which is bigger: c or j?
c
Let l be (-444)/(-54) + (-20)/9 + 2. Let v(f) = -2*f + 10. Let p be v(l). Is p != -5?
True
Let s = -7/38 + -103/266. Let d be ((56/21)/4)/(6/(-9)). Which is greater: d or s?
s
Suppose 3*l - 3*c = 30, -2*l - 6*c + 2*c = -20. Which is smaller: 6 or l?
6
Let d = 197 + -258. Is -61 > d?
False
Suppose 5*g + 39 = 239. Is g >= 11?
True
Let n = -279 - -307. Which is greater: 22 or n?
n
Let a(s) = s**2 - 15. Let h be a(0). Let p = h - -15. Let q be (-4)/8*(1 - -1). Which is bigger: q or p?
p
Let t be (-52 - -30)*10/24. Are -3 and t unequal?
True
Let s be -1 - 5/(9 + -4). Let d be (3/9)/(s/6). Are d and -3/10 nonequal?
True
Let p(g) = g**3 + 10*g**2 + 11*g + 12. Let q be p(-9). Let x be (q/176)/(18/12). Is 0 > x?
True
Let w = -1680415049529877/18291 + 91871141461. Let n = w - -3930/67. Let f = -2/39 + n. Which is bigger: f or 0?
f
Let i(g) = -g**2 + g + 98. Let k be i(-8). Is -0.1 > k?
False
Suppose -p + 0*p - 46 = -2*m, 2*p + 3*m + 106 = 0. Let z = p + 195/4. Let r be (3/9 + 0)*-3. Is r < z?
False
Let y = 1.11 - 1.19. Which is bigger: -2/97 or y?
-2/97
Let m = 4390 + -1760396/401. Which is greater: 0 or m?
0
Let o = -3.683 + 3.6. Let s = 0.079 + o. Does 0 = s?
False
Suppose 38 = -4*f + 4*t + 42, 3*f - 5*t - 7 = 0. Is f less than or equal to 4/421?
True
Let h be (-1)/(-4 + ((-835)/(-120) - 3)). Let c be 56/h + (-12)/9. Let u = -134 + 9780/73. Is u bigger than c?
False
Let h(i) = -i**2 + 15*i + 4. Let l(k) = -4*k**2 + 61*k + 16. Let f(d) = -9*h(d) + 2*l(d). Let p be f(14). Which is smaller: p or 9?
9
Let h = 40169 - 119369/3. Let i = -383 + h. Let z = 62 - 66. Which is smaller: i or z?
z
Let l(u) = 5*u + 1. Let k be l(1). Let r be (-4)/k*(-9)/(-21). Suppose -2*s - 28 = -30. Is r greater than s?
False
Let p be -3 + 6/3 + 7. Suppose 0 = 3*a - 18 + 3. Let m = p - a. Is m != -1?
True
Suppose 0 = -5*v - 5*b - 10, -5*v - 10 = -b - 24. Let c be v/(-6) + (22 - 22). Which is smaller: 2 or c?
c
Suppose -2*p - 6 = -s, 6*s - 3*s - 26 = 4*p. Let f be s/(-196)*10/(-2). Which is bigger: 1 or f?
1
Let y be 50/18 - 16/(-72). Suppose -j = -5*n - 145, 2*n = -y*n + 2*j - 150. Is -29 < n?
True
Suppose 0 = t + 2*w + 45, -w - 1 = -0. Which is smaller: 4 or t?
t
Let y(j) = j**3 - 9*j**2 - 10*j. Suppose 0 = -5*h + 3*c + 97, -2*h + 3*c + 8 = -38. Let q = h - 7. Let r be y(q). Is r greater than 2/89?
False
Suppose -2*f = 19 + 3. Let n = -89 - -78. Is f smaller than n?
False
Let l = 411/140 + -24/35. Let c = 93 + -92.9. Is c < l?
True
Let g = -658 + 684. Which is greater: g or 31?
31
Let n = -251 - -252. Which is smaller: 19/20 or n?
19/20
Let n = -1.942 + -0.058. Is -47 <= n?
True
Let i = 30271/103566 - -1/2526. Is 0 at most i?
True
Let o be (-12)/(-56)*(4 + 125/(-40)). Let g = 0 + 1. Is g at least o?
True
Let f be ((-2)/(-3))/((-4)/36). Let z be ((-2)/25)/((-1)/(-5)). Which is bigger: z or f?
z
Let n = 965 - 965. Which is bigger: n or -1/394?
n
Let q(y) = -y**3 + 3*y**2 + 8*y - 13. Let t be q(9). Let w = t - -16643/39. Let s = w + 17/117. Which is smaller: s or 1?
s
Let o = -696 + 707. Is 22 smaller than o?
False
Suppose -4*o = -2*d + 120, 5*o - 6 = 7*o. Suppose 28*h = 34*h - d. Is h equal to -3?
False
Let t = -5 + -21. Let g be 4*(0/3 - 7). Let h = t - g. Which is greater: -7 or h?
h
Let x = -272 + 9518/35. Is x smaller than -1?
False
Let s(f) = -2*f**3 + 22*f**2 + 5*f - 71. Let a be s(11). Is -17 > a?
False
Let v be 4/10*(-1 + -4). Let q(i) = -i - 14 + 8*i**2 + 10 - 11*i**2 + 2*i**2 + 2*i**2. Let b be q(v). Does b = 1?
False
Suppose 3*r - 37 = -5*i, -4*r - 3*i = -31 - 0. Suppose 0 = 4*k - 5*p - 59, 2*k + 21 = 5*k + 4*p. Let g = k - r. Is 6 not equal to g?
True
Let n = 15 - 7. Suppose -5*v = -2*t - 2, 3*v - 14 - 4 = -3*t. Suppose -h = 3*p, 6*h - t*h = -5*p + 3. Is h equal to n?
False
Let n = -2.252 - -1.252. Let f be 2/((-14)/1)*3. Is f > n?
True
Let a = -341 - -340. Are a and -225 equal?
False
Let w = -155.7 + 155. Is w greater than 0.1?
False
Suppose 0 = 31*q - 24*q - 98. Is q equal to 13?
False
Let h be (-66)/(-306) + 6/51. Let g be ((-195)/24)/(-5) - 2. Is h smaller than g?
False
Let t be ((-1170)/91)/(-3 - (-34)/14). Is t less than o