?
True
Let i = -23 + 24. Is i bigger than -0.18?
True
Let l = -10 - -2. Let a be (44/l)/(2/(-4)). Is a equal to 11?
True
Let g(z) be the third derivative of -z**6/120 + z**5/60 + z**4/24 + z**3/6 - 3*z**2. Suppose 0 = 5*m - 2*m. Let j be g(m). Which is bigger: j or 1/8?
j
Let j = -3 + 2. Let h be (-1)/1 + (-65)/(-55). Which is smaller: j or h?
j
Let a(k) = -k**3 + 9*k**2 - 9*k + 2. Let r be a(8). Let h be 4*(r/4)/(-3). Suppose -z = 3*c, -5*z + h*c = 4*c. Which is smaller: z or -1?
-1
Suppose -4*m = -190 - 22. Let q = m + -213/4. Let a = 0 + 2. Which is bigger: q or a?
a
Let h be 9/(-12) + 62/8. Is 8 != h?
True
Suppose 0 = -2*v + 3 + 3. Let w = v + 0. Suppose -4 = -2*h, 0 = 3*r - 0*r - 5*h + 4. Is r less than w?
True
Suppose 4*d - 7*d - 6 = 0. Is -2 at most d?
True
Let q be ((-1)/2)/(-1 - 0). Which is greater: 0.4 or q?
q
Let m be (-32)/(-56)*7/6. Let n = 4 - 4. Which is bigger: m or n?
m
Suppose 3*f + 2*z = 5, -4*f - 5*z + 11 = -5. Is -1 at least as big as f?
True
Let f = -8 - -5. Let a(b) = 2*b**2 + 4*b - 1. Let n be a(f). Let y = n + -10. Is -4 > y?
True
Let p be (-2)/3*-1*-3. Let w = 1 + 4. Suppose -9 = 3*b + w*j, 2*j = -2*b + b - 3. Which is bigger: b or p?
p
Suppose -3*g = -7*g + 4. Let j = 100504 - 1510712/15. Let h = j - -210. Which is smaller: g or h?
h
Let l = 6 + 0. Which is smaller: l or 3?
3
Let f = -5 + 6. Let r = 6622 - 278087/42. Let k = r + -3/14. Is f greater than k?
True
Let c(y) = y**2 + 9*y + 10. Let l be c(-4). Which is smaller: l or -5?
l
Let x = -12 + 20. Let h be 2/(-4)*x/2. Which is smaller: h or 1?
h
Let y(t) = -t**3 - 4*t**2 - 3*t - 5. Suppose -11 = -h + 3*i, 3*h - i = -0*h - 7. Let w be y(h). Which is smaller: 8 or w?
w
Let y(b) = -b + 6. Let k be y(6). Is k < 3?
True
Let f = 1.2 - 1. Let p = f + -1.2. Let d = 60.8 - 61. Is d at most as big as p?
False
Suppose -3*n = -5*n + 2. Suppose l + 3*q = 14, 3*q - 3 - n = 4*l. Are 7/6 and l unequal?
True
Let s(g) = g - 3. Let f be s(5). Does -1 = f?
False
Let t be ((-2)/(-4))/((-142)/8). Which is smaller: t or -1?
-1
Let m = -23 - -22. Which is greater: 12 or m?
12
Let p be 14/4 + 2/4. Let l(v) = -v**3 - 6*v**2 - 7*v - 5. Let s be l(-5). Which is smaller: s or p?
p
Let l(h) = h**3 + h**2 - 3*h - 2. Let r be l(-3). Let c(j) = j + 10. Let m be c(r). Which is smaller: m or 1/14?
m
Let i = 19/42 - 2/7. Let h(x) = x**3 - 5*x**2 + 8*x - 10. Let n be h(4). Suppose -10*y = -n*y. Do i and y have different values?
True
Suppose -c - 7 = -3*a, 2*c - 1 + 3 = 0. Suppose 3*d = -a*d + 3*m - 10, d + 2 = m. Let p be (1 - -1)/(d + 0). Is -2/11 at most p?
False
Let b be -1 + 3 + 24/(-14). Let c = 16.7 + -16. Let d = c + -0.9. Is b at least as big as d?
True
Suppose t = 3*t + 8. Let m be (-3)/(-9)*3/t. Which is smaller: m or 1?
m
Let f = -0.9 - -0.8. Suppose -1 = m - 0. Is m greater than or equal to f?
False
Let w be ((-77)/42)/((-2)/6). Which is smaller: w or 6?
w
Let s = -6 - -4. Let t = s + 2. Let r = 0.11 - 0.01. Is t not equal to r?
True
Let f = 0.9 - 1. Let w = -0.09 - f. Is 1 greater than w?
True
Let p be (-1)/(3 - (-14)/(-4)). Let a be 7/28 + p/(-8). Suppose a = -3*z - 5*y + 15, -z + 6 = 2*y - 0. Is z at least as big as -0.6?
True
Let c = 4 - -1. Suppose -3*z + c*y = 0, 2*y - 7*y = 0. Let g be ((-4)/(-1))/16*4. Which is bigger: g or z?
g
Let a = 19 - 115/6. Which is smaller: -1 or a?
-1
Suppose -1 = -2*s + 1. Let f be 2/9 + 4/(-18). Suppose 0 = -f*c - 2*c + 10, -2*p - 16 = -4*c. Which is greater: p or s?
p
Let p = -461/11 - -42. Is p >= -1?
True
Let l = -473/6 - -79. Let x = l + 1/3. Which is bigger: x or 1?
1
Let q be (-3 - -4) + 11 - 1. Let j(y) = y**2 + y + 2. Let o be j(-2). Suppose -o*s + a = q, 5*a - 1 = -0*s + 2*s. Which is smaller: -1 or s?
s
Let i(r) = -r**3 - 4*r**2 + 7*r + 5. Let c be i(-5). Let q = c - -3. Suppose 0 = 4*o + 11 - 3. Is o <= q?
True
Let a be (7 + 1)/(12/(-30)). Is -21 at least a?
False
Let v = -9 + -7. Which is smaller: -14 or v?
v
Let w be 1/((-4)/(-176)*4). Is 11 at least as big as w?
True
Let a = 4 - 1. Let d = 5 + -3. Which is greater: d or a?
a
Suppose 0*d - 2*d = 2*k + 4, 19 = -2*k - 5*d. Let o be ((-1)/(-9))/((-2)/(-12)). Which is smaller: o or k?
o
Let v(h) = -14*h + 12. Let z be v(7). Are -86 and z non-equal?
False
Let b be ((-70)/12)/7*(10 + -9). Let o = -1 - 0. Which is greater: o or b?
b
Suppose -2*q = -3*q. Suppose -7 = -3*y - 4*u, -3*y + 22 = 2*u - u. Suppose 3*s - y = 3*t, 0*t - 2 = 4*t + s. Is q not equal to t?
True
Suppose 5*u - 33 = 3*z, 5*u - 18 - 7 = -5*z. Let a = -4 + u. Suppose -2*w = -0*w + a. Which is smaller: w or 0?
w
Let l(p) = -47*p**2 - 2*p + 1. Let r be l(1). Let s = r - -145/3. Which is greater: -3 or s?
s
Let h(f) = -f**3 - 4*f**2 + 4*f - 4. Let w be h(-5). Suppose 10 = -5*j + i, 7 = i + 2. Which is smaller: j or w?
j
Let o = 5.08 - 0.08. Let r = o - 5.3. Which is smaller: r or 2/5?
r
Let y = -6/85 - -229/2040. Is y less than 1?
True
Suppose -3*d + 17 = 5*p - 12, 2*d = 5*p - 14. Suppose -d*h + h = 30. Is -15 smaller than h?
False
Let j(c) = c - 4. Let y be j(7). Suppose 0 = r - y*r - 2. Let f be (r*(2 - 2))/(-1). Is 1 bigger than f?
True
Suppose 3*h = 4*w - 2*h + 44, 0 = 3*h - 12. Let b = w - -14. Let j = b - 4. Is 5 at least j?
True
Let k = 0 - 0. Which is bigger: k or -2?
k
Let w = 56 + -59. Does 2 = w?
False
Let h = 5 - 3. Suppose -2*a - 4*j = -a + 2, 0 = -2*a - 2*j + h. Which is greater: 4 or a?
4
Let n = 0.4 - -3.6. Let o = -2 + n. Let h be (-5)/(-5) - 2/2. Is h less than o?
True
Let b = -21/5 - -5. Is 2 <= b?
False
Suppose 5*s - 2*x = 52, 2*s + 3*x - 10 = 7. Let c be s/4 + 12/(-8). Is c greater than -2/11?
True
Let k(c) = -c**3 - 2*c**2 - 2*c - 2. Let t be k(-2). Let b(g) = -g + 14. Let z be b(10). Which is greater: z or t?
z
Suppose -9 = 2*v + 1, 5*b - 5*v = 50. Let z = 4 - 2. Suppose -z*p - 3*p + b = 0. Which is smaller: p or -1/3?
-1/3
Let i = 0.09 + 0.01. Is i equal to 3?
False
Let o(z) = -z**2 - 11*z - 6. Let n be o(-10). Let h be (18/n)/(1380/33). Let b = 2/115 + h. Which is smaller: b or -1?
-1
Suppose 1 = q + 4*u, -3*q - 3 = -u - 6. Do q and 10 have the same value?
False
Suppose 0 = 5*a - 0 + 10. Which is greater: -0.8 or a?
-0.8
Suppose 0 = 2*v - 5*j + 27, -4*v + 26 = 4*j + 10. Which is smaller: -1/15 or v?
v
Let k(j) = 0 + 4 - 7*j + 0. Let b(u) = -3*u + 2. Let v(w) = 5*b(w) - 2*k(w). Let l be v(2). Which is smaller: -2 or l?
-2
Let g(k) = k - 4. Let t be g(7). Suppose t*c = -15 - 6. Let m = -4 - c. Which is smaller: 4 or m?
m
Let p = -65.8 - -75. Let h = 9 - p. Let w = 1 + 1. Which is bigger: h or w?
w
Let o = -2 - -5. Let y = -2.8 + o. Let z = -0.1 - 0. Is y at least as big as z?
True
Let n = 21 - 23. Which is smaller: n or -1/2?
n
Let j = -30 - -34. Which is bigger: 1 or j?
j
Let x = 0.08 - -0.02. Let u = 0.2 + -0.09. Do x and u have different values?
True
Let h be 2/(-7) - (-20494)/140. Let f = h + -146. Let v = -2 + 2. Is v >= f?
False
Suppose 0*z - 5*z + 35 = 0. Let l be -4 + (-7)/((-28)/36). Which is greater: z or l?
z
Let d = -2.1 + 2. Let w = -0.5 + 0.5. Let r = d - w. Which is smaller: r or -1?
-1
Let g(t) = 2*t**3 + 4*t**2 + 2*t. Let k be g(-2). Let z be k/(-2) + 44/(-18). Which is smaller: z or -1?
-1
Let u = 1.1 - 1. Is -24 smaller than u?
True
Let j = 0.2 - 0.1. Let p = 0.1 - 0.11. Let q = p + 0.31. Do q and j have the same value?
False
Let m be (6/(-9))/(2/(-90)). Let h be -2*m/(-16) - 4. Is 3/8 at least as big as h?
True
Let s = 27 - 21. Is 2 equal to s?
False
Let v = 4 - 8. Let r(o) = -o**3 - 4*o**2 + 2*o + 6. Let c be r(v). Is c at most as big as -2?
True
Let s = 7 - 6. Does s = 2/15?
False
Let q be (1 + 65/(-25))/((-2)/(-10)). Which is greater: q or 1?
1
Let t be 2 - 834/472 - 2/8. Is t less than 1?
True
Suppose 146*d = 138*d + 16. Let p = -9 + 13. Are d and p equal?
False
Let r(w) be the second derivative of -w**5/20 - 5*w**4/12 - w**3/6 + 3*w**2/2 - w. Let z be r(-5). Suppose -g + 2*g - z = 0. Is 7 greater than g?
False
Let y be 9/12*-1*1. Are -2 and y equal?
False
Let l(v) = -5*v + 40. Let m be l(25). Do m and -86 have the same value?
False
Let o be 0 - (-5)/1*(-1)/(-16). Which is smaller: o or 0?
0
Let r be ((-16)/(-10))/((-16)/(-40)). Let m be (-4 + r)*2/6. Which is greater: 2/3 or m?
2/3
Suppose 4*r - 3*h - 65 + 16 = 0, -2*h = 6. Let u be (-96)/50 - (-20)/r. Suppose 2 = 2*s - m - 3, -7 