 -82082/57 + 1440. Are -3 and a equal?
False
Let l be 21/15 - 4/10. Suppose 0 = 5*v + i - 97, -28 - 59 = -5*v + 4*i. Suppose -3*c = l - v. Is c greater than or equal to 6?
True
Let w be 4*(-4)/24 - (-110)/(-6). Which is bigger: w or -20?
w
Let c = 19/5 + -67/15. Is 15 < c?
False
Let j = 0.25 + 0.05. Which is smaller: -8 or j?
-8
Let r = -1316487/35 + 37617. Let h = r + -14/5. Let g be 1*(0 + 2 - 1). Are g and h equal?
False
Let o be (-1 + (34 - -1))/1. Let z = 54 - o. Let q be (-12)/10*z/(-8). Is q at least 1?
True
Suppose 3*n = 15 - 6. Let c(x) = x - 2. Let q be c(n). Let p be (-4)/(-27)*(-4)/((-24)/(-9)). Is q smaller than p?
False
Suppose -14 - 4 = -h. Let n be (-2)/6 + 6/h. Which is bigger: n or -1/2?
n
Let b = -85/18 + 14/3. Which is smaller: 1 or b?
b
Let d(s) = -s**2 + 7*s - 3. Let g be d(7). Let h be g*(1 + 7/3). Let z = h + 12. Which is smaller: 3 or z?
z
Let b be -1 + (5 + -2)*1. Suppose -q - 5 + b = 0. Let f = 7 + q. Is f > 3?
True
Let d = -61 + 46. Which is greater: -17 or d?
d
Let o be (4/(-20))/((-3)/30). Which is greater: 3 or o?
3
Let c = -65 + 80. Which is greater: c or 12?
c
Suppose -6*t + 6 = -4*t. Do t and 7 have the same value?
False
Let m be (-2)/(-12) + (-7)/6. Let h = 19 + -9. Let q be (-18)/h + 1/(-5). Which is smaller: q or m?
q
Let y be ((-2)/4)/1*0. Suppose 2*q = -3*r - 0*q + 37, r - 35 = 5*q. Let u be 48/63 - 5/r. Which is greater: y or u?
u
Let l = 426 + -2988/7. Is l < -2?
False
Let z be ((-9)/6 - -2)*4. Let l be 0/((-1 - 11)/(-4))*1. Is z != l?
True
Let g(v) be the second derivative of v**5/20 + v**4/2 - v**3 + 7*v**2/2 - 2*v. Let n be g(-7). Let c(d) = -d. Let p be c(-2). Is n at most as big as p?
True
Let p(i) = i**2 - 16*i - 23. Let x be p(18). Is 27/2 <= x?
False
Let y = -248 + 641/3. Let p(l) = l**2 + l - 34. Let h be p(0). Let x = y - h. Which is smaller: x or -1?
-1
Let i = 49/2 + -353/6. Let u = i + 34. Which is bigger: 0 or u?
0
Let r = -345/28 - -81/7. Let c = 2 - 1. Is r greater than c?
False
Let h = 71096123/25 + -2843458. Let n = h - 387. Are -1 and n nonequal?
True
Let y = -579/440 + 9/40. Suppose -5*h + 7*l - 2*l = 0, -5*h - 2 = -4*l. Is h at least y?
False
Let q = 35 - 37. Which is greater: -3/10 or q?
-3/10
Suppose -4*a = -3*l - 32 - 10, 0 = -5*a - 4*l + 37. Suppose -2*x = -x - 11. Is x at most a?
False
Let z(w) = -2*w**2 + 5*w + 3. Suppose -9 = 2*r - 5*j + 8, 5*r = 3*j + 5. Let k be z(r). Let b be (k/21)/((-6)/(-8)). Is -1 bigger than b?
False
Let r = -2.5 + 3. Let l = 3.5 - r. Let v = -2 + l. Is v at most as big as 0.2?
False
Let c = -1 - 3. Let o = -4 - c. Is o != -0.1?
True
Let v be 1685/(-20) - (-2)/8. Let r be (-48)/v*6/(-4). Which is greater: -2 or r?
r
Suppose 25 = -3*j - 5. Let q be (-83)/266 + j/(-35). Let s = 10/19 + q. Which is smaller: -0.2 or s?
-0.2
Let y = 19 + -17. Which is smaller: y or 4/3?
4/3
Let m be (-2)/3*6/(-4). Is 10/11 greater than m?
False
Let k = 5.06 - 0.06. Let h = k - 6. Which is smaller: -0.3 or h?
h
Let n = -0.04 + 0.1. Let o = -3.94 - n. Let d = o - -4.1. Is d < 0.1?
False
Let x = 31 + -463/15. Which is smaller: 0 or x?
0
Let f be (-1 - -5) + (-159)/42. Which is bigger: 1 or f?
1
Let w = 0.04 + 0.06. Let o = 3.9 + w. Is o < 2/5?
False
Let v(y) = -y**2 + 3. Let s be v(2). Which is bigger: -2/27 or s?
-2/27
Suppose 4*l + 4 = 5*l. Let z(p) = -p**3 - 8*p**2 - 8*p - 4. Let h be z(-7). Is h at least as big as l?
False
Suppose v + 6 = -v. Let z be 0/(v/(-1 - 2)). Which is bigger: z or 4/3?
4/3
Suppose -2*k - 3 = k. Let d = 5 + k. Suppose -5*c + 1 = y, -d*y + 7 = -5*y + 3*c. Which is bigger: y or -3?
-3
Let w = -62.7 - -62. Is w greater than or equal to 2/3?
False
Suppose 14*j = 15*j + 17. Suppose -5*w + o - 81 = 0, -3*w = 4*o + 5 + 39. Is w >= j?
True
Let x = 17 - 15. Suppose 0 = 2*z + 4*a - 18, z + 4*a - 8 = 7. Suppose -x*i = z*i. Which is bigger: -1 or i?
i
Let k = -6/197 + 424/985. Let s(m) = -m**2 - m + 5. Let l be s(0). Let a(v) = v**3 - 4*v**2 - 5*v. Let n be a(l). Are k and n equal?
False
Let t = 2 - -2. Are t and 4 equal?
True
Let c = -1.8 + 2. Let y = -14 + 19. Let w = y + -6. Is w > c?
False
Let a = 1.4 - 3.5. Let p = a - -2. Is p at least as big as -1/3?
True
Let k = -6 - -6.4. Which is greater: -0.2 or k?
k
Let g = 9 + -12. Let t be (13/(-4) - g)*3. Which is smaller: 0 or t?
t
Let s = 2 - 6. Suppose 0 = 4*j + 2*d - 22, -5*j + 40 = 3*d + 2*d. Suppose -10 = -j*g + 5*g. Which is greater: g or s?
s
Let v(k) = -k**3 - 2*k**2 - 3*k - 3. Let n be v(-2). Let z = 4 - -1. Suppose 5*x + z = -p - 3*p, 4*x = -3*p - 3. Are n and x nonequal?
False
Let l be 3/90*-4*-3. Is -0.053 equal to l?
False
Let x(w) = w + w**2 + 0*w**2 + 4 - 3 + w**3. Let n be (0*3/6)/(-2). Let r be x(n). Which is smaller: r or 0?
0
Suppose 2*q - 4*q = 0, -q = 4*y - 8. Let u = 1 + 1. Is y at least u?
True
Suppose -3*l - 2*l = 0. Suppose -p = 4*p + w - 23, p - 13 = -3*w. Suppose p*a + 0 = -4. Which is greater: a or l?
l
Let y = 274 - 86. Let h = y - 1314/7. Let l = -2 - -2. Do h and l have different values?
True
Let n(k) = -k**3 + 7*k**2 + 7*k + 2. Let c be n(8). Suppose 3*v + v - 20 = 0, 3*v - 13 = -2*o. Let r(p) = 5*p. Let w be r(o). Is w less than c?
False
Suppose 77 = -b + 4*d, 0 = 5*b - 5*d + 334 - 9. Which is smaller: b or -62?
-62
Let w = -0.78 - -0.8. Let f = 0.22 - w. Which is smaller: f or -2/11?
-2/11
Let z = -101 + 67. Is z at most as big as -36?
False
Let k = -304707 + 108780167/357. Let r = 2/119 - k. Which is bigger: r or 2?
2
Let x = 7 - 4. Let k(y) = -y - 2. Let z be k(-4). Which is greater: z or x?
x
Let g = 2/69 + 124/483. Is g < -0.09?
False
Let h = -1335/7 - -191. Let d = 11 + -8. Is d > h?
True
Let b = -23 - 10. Is b > -32?
False
Suppose -k = 4*k. Let b = 0 - k. Let c be (-4 - (-9)/3)/1. Is b != c?
True
Let d(u) = -2*u**2 - 10*u + 2. Let k be d(-5). Suppose -2*j - 5 = -5*n, k*n + 6 = -j - 1. Let i be 2/4*(-4 - -2). Is n smaller than i?
False
Let y = -19 - -22. Is y not equal to 20/11?
True
Let a(k) = k**2 + 15*k - 15. Let n be a(-16). Which is smaller: 11/7 or n?
n
Let m = 3 - 0. Let r be 22 + m/(-1) - 2. Suppose 0*a - 5*a = 4*g - r, -4*g + 12 = 0. Does a = 1?
True
Let k(u) = u + 5. Let j be k(2). Is j at most 7?
True
Let f = 186 - 1491/8. Let u be 1 + ((-1)/(-1))/(-1). Are u and f unequal?
True
Suppose -4*t = 5*l + 13, 0*t + 19 = -5*l - 2*t. Let p = 9 + -13. Which is smaller: l or p?
l
Let r = -1.3 + 2. Let s = -0.34 - -0.04. Let x = s - r. Which is smaller: 3 or x?
x
Let v be (-2)/5 - 2/(-5). Suppose 3 = 4*w + 5*m - 2*m, 3*w - 15 = 2*m. Let d be (-15)/9 - (-4)/w. Which is smaller: v or d?
d
Let j(n) = n**2 - 6*n - 3. Let b be j(7). Suppose 0 = z + b + 6. Let u be 4/(-18)*6/z. Is 1 > u?
True
Let c = -0.3 + -5.7. Let y = 6 + c. Do 0.2 and y have the same value?
False
Let r(c) = c**3 + 24*c**2 + 24*c + 24. Let z be r(-23). Which is smaller: z or -3/10?
-3/10
Let r = 10/31 + -152/279. Is r at most as big as -0.01?
True
Let c = 8 - 8. Let r = 0.1 + c. Let k = 0.4 + 0.1. Which is smaller: k or r?
r
Let l be -4 - 67*-2*1/(-10). Do 0.1 and l have the same value?
False
Suppose 0*v - 4*v = 4*t + 48, 4*v = -5*t - 58. Which is smaller: t or -9?
t
Suppose 4*z = -2 - 18. Let y be (-2 - 0) + (-11)/z. Which is smaller: y or -1?
-1
Let b = 0.07 + -1.07. Let n be (3/(-12))/((-3)/4). Which is greater: b or n?
n
Let m = -28.8 - -28. Let c = -4.2 + m. Is c <= 1?
True
Let r = -0.74 - 0.26. Let y = 1 - 1. Is r >= y?
False
Let u be 3/34*4/3. Let i(k) = k + 6. Let r be i(-6). Let l = 1 - r. Is u smaller than l?
True
Suppose -3 = -o + 6. Let x = o - 7. Is 2 < x?
False
Let n = -6 + 5.97. Let z = -0.23 - n. Do -0.1 and z have different values?
True
Let o = 1 + -2. Let c be (-5)/(75/9)*o. Which is bigger: c or -2?
c
Let m(n) = n**3 - 3*n**2 + 2*n - 1. Let x be m(2). Is 6/13 less than or equal to x?
False
Suppose i = 5*i. Suppose 2*p - 5*f = -i*f + 10, -3*p = -4*f - 8. Let l = 39/20 - 25/12. Which is smaller: l or p?
l
Let n(f) = f**3 + 13*f**2 - 2. Let q be n(-13). Is -1 smaller than q?
False
Let o = 2/67 + 124/335. Which is smaller: -8.5 or o?
-8.5
Let m = -7/45 - 1/15. Let k(c) = c - 1. Let t be k(4). Suppose 0 = t*o + 6, -o + 0*o = 3*f + 2. Does m = f?
False
Let j = -48 + 48.12. Which is smaller: 2 or j?
j
Let k be (-1 + 0)/(-3*(-4)/18). Which is smaller: -2/5 or k?
k
Suppose d + 5*z = -0*z + 22, 