ent values?
False
Let i(f) = f - 1. Let w be i(-1). Let m be (0 - 4)*1/w. Suppose -m*b - 22 = -3*b + 4*a, -b - 3*a = 13. Is 4/3 bigger than b?
False
Let g be (2/(-324))/(4*(-1)/(-6)). Is g != -1?
True
Suppose 0 = -4*q + g + 24, 2*q + q - g - 19 = 0. Let w be (-1)/q - (-12)/10. Let k be (-42)/18 + (-6)/(-2). Is k smaller than w?
True
Let u(x) = -3*x - 1. Suppose -2 = p - 1. Let d be u(p). Is 4/7 bigger than d?
False
Let y(u) = u**3 - 3*u**2 - 4*u + 5. Let g be y(4). Suppose -12 = g*c - 37. Do c and 5 have different values?
False
Suppose -4*d = -5*n + 24, 2*n + 30 = -5*d - 0. Let l be (3/d)/((-2)/4). Let k be -1*1*(-6)/8. Is k at most as big as l?
True
Let p = 13 - 6. Let m(c) = c**2 - 5*c - 4. Let d be m(p). Is d >= 10?
True
Let b(i) = i**2 - 8*i. Let r be b(7). Let m be (-6)/8 - r/(-28). Is m < -1?
False
Let p = 4 - 18. Let t = -13.6 - p. Which is bigger: -1 or t?
t
Let h = -2 + 3. Let o = 0.5 - 0.61. Let w = o - -0.03. Is h less than w?
False
Let m be 1 - 1*-1*3. Suppose -3*g - 27 = -6*g. Suppose 3*d + g = 0, -s = 3*d - 8*d - 20. Is m at least s?
False
Let a = -0.22 + 0.22. Let q(x) = 4*x - 1. Let i be q(2). Is a at most i?
True
Let n(k) = 2*k**3 - k. Let g be n(-1). Let l be (8 - 0)*g/2. Let p = -48 - -49. Is p at least as big as l?
True
Let v(c) = c**2 - 9. Let b be v(0). Let u(o) = 5*o - 13. Let g be u(1). Which is smaller: b or g?
b
Let o = -4 + 5. Suppose -3*p - 2*a = -16, 3*a = -13 + 1. Let n be 1/(-2) + 6/p. Is o less than n?
False
Suppose -c + 3*p - 67 = -14, 3*p = -9. Is -62 bigger than c?
False
Let x be -6*2/4 - -5. Is x greater than 8/3?
False
Let y(z) = -z - 11. Let f be y(-6). Let o = -1 - f. Is 2 less than o?
True
Let k = 21 + -83/4. Which is smaller: k or 0?
0
Let x = -83/276 - -5/23. Is 0.1 <= x?
False
Let k be (-1)/6 - (-1625)/30. Let t = -154/47 + 10721/188. Let d = k - t. Which is smaller: d or 0?
0
Let p be 22/10 + (-4)/20. Suppose p*c = 4*d - 3*d + 2, -d - c - 2 = 0. Let m = 2 + d. Which is smaller: m or 1/5?
m
Let f(m) = m**2 + 8*m + 1. Let v be f(-8). Let l(u) = u**2 + 3*u - 3. Let x be l(-3). Let b be (-4)/10*x/(-6). Is v smaller than b?
False
Let y(a) = a**3 - 6*a**2 + 9*a - 10. Let w be y(5). Do 1 and w have different values?
True
Suppose 0 = -u - 0 + 1. Let m be 2/(-72) + ((-8)/36)/1. Which is smaller: m or u?
m
Let d = -21364/2885 - -3/577. Which is smaller: d or -6?
d
Suppose -5*g = -b - 23, -g + 2*g + 4*b + 8 = 0. Suppose -2*u + 4*v - 8 = 0, -4*u + 6*v = 2*v + g. Let h = 3 - u. Is h greater than or equal to 1?
True
Let u be 6/4 - 445/310. Let f be 3 + 12/(-2) + 3. Which is greater: u or f?
u
Let u(x) = -3*x + 23. Let b be u(8). Is -1 less than or equal to b?
True
Let n = -0.29 - -0.23. Is n bigger than -2/5?
True
Let f be 0/(-3) + -4 + 8. Suppose -2*m + 4*m + 2*w + 10 = 0, 14 = 2*m - f*w. Let i be (-4)/(-9)*(-3)/10. Is m less than or equal to i?
True
Suppose 0*j = 4*j. Let c be -5*(j + 1 + 0). Let i be (-2)/(-4) + c/2. Which is greater: 0 or i?
0
Let h be -4*(-1)/(-6)*3. Let r = 10 + -13. Is r smaller than h?
True
Let a = -2/53 + 112/159. Let p be -1 - 0 - (2 + -3). Are a and p non-equal?
True
Let y(d) = 2*d**2. Let w be y(-1). Suppose 6 = -0*o - w*o. Let p be (3/(12/(-20)) - -2) + 1. Is o at least as big as p?
False
Let t = 19/2 - 9. Let p = -0.6 + 2.6. Let o = p - 1.9. Is t at least o?
True
Suppose -o = 42*g - 46*g + 9, 5*g = 3*o + 13. Let n be ((-6)/9)/(2/18). Which is bigger: n or g?
g
Let h = 0.6 - 0.4. Let s = 2.8 + h. Let v = 2.9 - s. Which is smaller: v or 3?
v
Let j = 10 + -9. Let o = 0.02 - -2.98. Let g = j - o. Are 2/9 and g nonequal?
True
Let t = -11.8 - -0.8. Let z = t - -16. Is 0 less than or equal to z?
True
Suppose 0 = -w + 5*w. Are w and 7 equal?
False
Let v = -4 - -3.96. Let x = v - 3.96. Let k = 4.1 + x. Which is greater: 1 or k?
1
Let z = -7 + 9. Suppose 0 = -q - 5*j - 5, z*q + 8 = 3*j - 2. Let h = 4 + q. Which is bigger: h or -3?
h
Suppose -4*h + 7*h = 15. Let q = 9 - h. Suppose 5*s = -0*s - k + 5, 5*s + 10 = -q*k. Which is bigger: 4/7 or s?
s
Let y = 2 + 3. Let f = y - 4. Is 2/3 <= f?
True
Suppose -27 = -4*t - 7. Let x = -4 - -10. Is x less than t?
False
Let t be (-3)/2*2/1*-1. Let n = 7 + -3. Is t not equal to n?
True
Suppose 4*o - 3*i + 154 - 36 = 0, 0 = -2*o - i - 54. Let t be o/(-8)*(-9)/(-21). Which is greater: t or 3?
3
Let u = 7/390 + -331/9750. Which is smaller: u or 0.2?
u
Let w = -4 + 3. Suppose -4*l = -l. Let k = l + w. Which is smaller: k or -2?
-2
Let s be 1/(-1)*(-4)/8. Let n be (0 + -3)*12/9. Is s less than or equal to n?
False
Let b = 1 - 0.95. Let g = b + -0.1. Let q = 0.15 - g. Which is greater: 1 or q?
1
Let j be 6/(-2) - (-1904)/644. Which is bigger: 2 or j?
2
Let g(y) = -2*y + 6 + 12*y - y - 6*y. Let t be g(0). Is 5 less than or equal to t?
True
Let i = 64 + -33. Which is smaller: i or -1/4?
-1/4
Let i = -101/126 + -2/63. Which is smaller: i or -2?
-2
Let n = 6.2 + -6.227. Which is smaller: n or -0.1?
-0.1
Let p = -3/5 - -1/5. Which is smaller: 17 or p?
p
Let h be 6/(-15) + 4/10. Let k = 0 + h. Let n be 1/45 + (-1)/(-5). Which is bigger: k or n?
n
Let x = 0.6 + -0.7. Let m = 0 - x. Which is smaller: 0 or m?
0
Let s be (-181)/6 - (5 + -4). Let v = s + 31. Is 0 less than or equal to v?
False
Let j = 0.23 - 0.06. Let a = j - -0.83. Which is bigger: 1.6 or a?
1.6
Suppose -3*a = -8*a - 5. Is 1/23 < a?
False
Let g = 10 - 10. Which is smaller: 3/29 or g?
g
Let s be 12*3/6*1. Let v = -6 + -8. Let u be s/v*(-4)/(-6). Is u at least 0.1?
False
Let i = 6148/15 + -410. Is i bigger than 0?
False
Let x = 1.1 + -1. Let l be (60/48)/((-18)/8). Is l greater than or equal to x?
False
Suppose -5*z = -4*i + 36, -2*i + 0*i = 3*z + 4. Suppose -4*m - 3*t - i = t, 4*t - 4 = 0. Let r(f) = f**2 - 6*f + 6. Let j be r(4). Does m = j?
True
Suppose 7*f = 3*f - 2*h - 12, -2*f + 5*h + 18 = 0. Which is smaller: 0.28 or f?
f
Let u be 0 - (1 - (-2 - -3)). Suppose 5*x - 23 = 77. Let y be -1 - -3 - x/6. Is y != u?
True
Let j = -1.4 - -0.1. Let o = j + 0.3. Let u = o - 0. Is -0.2 > u?
True
Let p = 19 + -22. Let q be (-7 + 4)/(p/2). Is 3 > q?
True
Let i = -2 + 1.9. Are -7 and i nonequal?
True
Suppose -3*u - 4 = -2*m + 3, 0 = 5*m + 5*u - 55. Suppose m = -3*f + 2. Let y be (0 + f)*3/(-9). Which is smaller: y or 0?
0
Let x be (1/(-3))/(49/42). Which is bigger: x or -37?
x
Let q(l) = -l - 7. Let w be q(9). Is -15 <= w?
False
Let n = -22 + 45/2. Is 0.14 at most n?
True
Suppose 14 = -5*q - 1. Let b(u) be the first derivative of -u**4/4 + 2*u**3 + 3*u**2 + 5*u - 3. Let f be b(7). Which is greater: q or f?
f
Let a = 0 - 1. Is -0.06 greater than or equal to a?
True
Let j be 58/(-8) + (-50)/(-40). Which is bigger: -24/5 or j?
-24/5
Let b(r) = 2*r**3 + 3*r**2 + r. Suppose -2*a = -0*a + 4. Let f be b(a). Does f = 0?
False
Let o = -2285/8 + 286. Which is bigger: -1 or o?
o
Suppose -k + 8 + 6 = 3*m, 2*m - k - 1 = 0. Let a = 1 - -2. Let q = 4 - a. Is q less than or equal to m?
True
Let j(o) = -2*o**3 + 3*o**2 + 4*o - 1. Let m be j(-3). Let x be (-1)/2 + m/40. Which is greater: x or 1?
x
Let m be 4*((-4)/(-10) + (-292)/880). Which is greater: m or 0?
m
Suppose 2*z + 4*m - 5 = 5*m, -5 = -3*z + 2*m. Suppose 5*l - 5 = -z*q, 5*l = 5*q - 2 - 3. Let x = -1 + l. Which is greater: x or -2/3?
-2/3
Let h be (-6)/(-4)*(-20)/(-3). Suppose -6*p + p - h = 0. Is -2 >= p?
True
Let h = -21 - -27.6. Let b = 7 - h. Let c = b - -0.6. Which is smaller: 7/3 or c?
c
Let v be 4/(-14) - (-3)/(-21). Let w = 15 + -15. Is v at most w?
True
Let j = 3 - 4. Let f(r) = r**2 + r. Let y be f(1). Let v be (-5)/9*y/5. Which is smaller: v or j?
j
Let j = 1222/2163 - -2/309. Let f = 2 - -4. Let u = 8 - f. Is u less than j?
False
Suppose 3*f - 38 - 226 = 0. Let v be (-124)/f*-2 + -3. Does v = 1?
False
Suppose -t + 60 = 3*t. Let d be t/(-12) + 1/4. Which is smaller: d or -4/7?
d
Let t = -0.01 + -0.09. Which is greater: t or -4/5?
t
Let v = -11.16 + 11. Let x = v + 8.16. Is x at least 1?
True
Suppose 0 = -j + 5*r - 4, -11*r = 2*j - 10*r - 3. Which is bigger: j or 22/17?
22/17
Let q = 9.2 + -9.2. Do q and 0.09 have the same value?
False
Let j(h) = h**3 - 7*h**2 - 7*h - 11. Let l be j(8). Let s be l*(-24)/38 + -2. Is -1 smaller than s?
True
Let c be 0/2 - (-1 + 0). Let j(t) = -t**3 + 4*t**2. Let g be j(4). Let i = g - c. Which is smaller: i or 1?
i
Suppose h + 8 