b?
True
Let p(f) = 8*f**2 + f + 1. Let a be p(-1). Suppose 2*g + 2*g = a. Let z = g + -5. Which is smaller: -2 or z?
z
Let o = -0.18 - 6.82. Let g = 7.8 + o. Do g and 0 have the same value?
False
Let p = 2/173 + 169/346. Let x(c) = c**2 + 7*c + 2. Let s be x(-7). Is s less than p?
False
Suppose -v = 4*v + 105. Let u = -19 - v. Is -1/2 at least u?
False
Let w(h) = 3*h + 1. Let d be w(1). Suppose -o - d*n = -9, -5*n = 2*o - 4 - 14. Let i = o - 11. Is -2 > i?
False
Let b = 35 + -173/5. Is -5/6 greater than b?
False
Let q = -11.94 - -12. Are q and -2/5 nonequal?
True
Suppose -4*d + 0 = t + 7, 0 = -5*d - 15. Suppose -3*r + 3*h = 2*h - t, -15 = 5*r + 3*h. Which is greater: 2 or r?
2
Let l = 5.7 + -1.7. Let t = 5 + -8. Let k = l + t. Which is smaller: k or 2?
k
Let m(s) = -s**2 + 5*s + 2. Let g be m(4). Suppose 0 = u - g*u. Let y be (0 + u)*2/(-2). Which is smaller: 2/3 or y?
y
Let k be 20/3*5/20. Let s = -1 + k. Do -1/3 and s have the same value?
False
Let q be 48/(-28) + (-10)/35. Which is greater: -3 or q?
q
Suppose -3 + 19 = -2*u + 2*l, 2*u = 3*l - 14. Let s be (-8)/u*5/1. Let o be ((-2)/s)/(0 + -1). Is 1 not equal to o?
True
Let d(a) = a**3 + 7*a**2 + 7*a + 8. Let v be d(-6). Let j be (7 - 6) + v/(-5). Which is greater: 1 or j?
1
Let w be 120/77 + 18/(-63). Is w greater than or equal to 0?
True
Let q be ((-2)/(-28))/(2/(-570749)). Let b = q - -20378. Let z = b - -23/4. Is 1 smaller than z?
False
Let m = -1 - -4.8. Let x = 4 - m. Which is bigger: x or -2/5?
x
Let x(p) = -p**2 - 3*p + 13. Let c be x(-5). Is -2/7 not equal to c?
True
Let u be 4/38 + 250/(-570). Does u = 14?
False
Suppose 4 = 3*r - r. Suppose k - h - 2 = 5, -r*k + h = -10. Which is smaller: 1 or k?
1
Let a = 0.07 + -0.23. Let y = 1.16 + a. Which is smaller: -3/8 or y?
-3/8
Let q = -0.079 + 0.079. Which is smaller: q or -1/19?
-1/19
Suppose -24 = -4*k + 4*y, k - 4*y - 8 = -y. Suppose -4*t = -k*t + 1. Is t greater than 1/3?
True
Let k = -56 + 62. Is 2 at least as big as k?
False
Let w(s) = 7*s + 3. Let y be w(-2). Are y and -11 non-equal?
False
Suppose -3*c = b - 28, -3*c - 2 = -b + 2. Let d be (-3 + b/12)*-3. Is d at most as big as 6?
True
Let f = -35 - -71/2. Is -57 at least as big as f?
False
Let f(j) = j**3 - 6*j**2 - 1. Let l be f(6). Suppose 39 = 5*i + 34. Which is smaller: i or l?
l
Let a = -0.3 - -0.1. Let l = 2.8 - a. Let v = -4.9 - -5. Is l at most as big as v?
False
Let d = 4/65 + -422/4745. Suppose -1 + 0 = f. Does d = f?
False
Let s = -125 + 122. Which is smaller: s or 2/3?
s
Let z = 32.2 - -10.8. Is 0.1 >= z?
False
Let q be ((-27)/12)/((-3)/8). Let f be -2*q/4 - -2. Let a be (9/24)/(9/4). Is a < f?
False
Let r = 6 - 5. Is r less than 2?
True
Suppose 2*m = 2*u - m + 10, 4*u = -3*m - 20. Let w = 0 + u. Let t be (-4)/(-3)*9/(-2). Which is smaller: w or t?
t
Let j be 2/((-2)/(-5)) - 4. Which is smaller: 2/25 or j?
2/25
Let p = 4 - 2. Suppose 0 = -2*u - p*u. Is u bigger than 0?
False
Suppose 3*s = m + 2, -m = -6*m - 10. Suppose 3*l = -s*l. Suppose 6*q = 3*q - 3*g - 18, -q = 2*g + 11. Which is smaller: l or q?
q
Let s be (-4)/10 + 2/30. Let u(v) = -v**3 + 10*v**2 - 10*v + 8. Let b be u(9). Let r = 2 + b. Which is smaller: r or s?
s
Let j(d) = 4*d**2 + 13*d - 2. Let n(w) = -w**2 - w. Let z(o) = -j(o) - 3*n(o). Let y be z(-10). Which is greater: y or 5/4?
y
Let b = -5311/13 - -409. Are b and 1 equal?
False
Suppose 0*x = x. Let s(h) = -h**3 - 11*h**2 + 11*h - 11. Let r be s(-12). Which is smaller: x or r?
x
Let j be 249/(-5082)*-6 - (-4)/(-14). Which is smaller: j or 1?
j
Let w be 18/(-60) + 2/5. Which is bigger: w or -1?
w
Let d(a) = 2*a + 12. Let x be d(-5). Which is bigger: 0 or x?
x
Let y = 24 - 12. Which is greater: y or 11?
y
Let a = 4 - 2. Let c = -46 + 64. Let u be (3/c)/(1/a). Is u less than or equal to 1?
True
Let q = 10 + -5. Let v = -4 + q. Which is greater: v or -1?
v
Suppose -3*j + 5*c + 19 = 5, 0 = 5*j - c + 6. Do -0.1 and j have the same value?
False
Let b = 1139/99 + -97/9. Which is greater: 0 or b?
b
Let o(i) = -11*i - 8. Let j be o(-3). Does 0.1 = j?
False
Let k be ((-36)/105)/((-12)/(-30)). Is k at least -1?
True
Let b = 0.053 - 0.153. Let s = 0.1 - 0.2. Let t = b + s. Do 0.1 and t have the same value?
False
Let z = 1014/11 - 92. Which is greater: z or -1?
z
Let n be (-9)/(-36) - (-15)/4. Let q be (-14)/91 - n/(-26). Which is greater: -1/4 or q?
q
Suppose 0 = -4*t + 3*u + 29, -5*t - 5*u + 13 = -4*t. Let h(c) = c**3 - 8*c**2 + 4. Let r be h(t). Is r at most as big as 3?
False
Let p = -0.23 + 0.07. Let s = p - -0.16. Is s greater than 0.1?
False
Let l be 462/(-119) + 7 + -3. Let d(i) = -i - 1. Let n be d(0). Is l < n?
False
Let y be (-7 + 1)/(7/(105/10)). Which is smaller: y or -7?
y
Let p = -25 + 16. Let l be (-4)/2 - 15/p. Which is bigger: l or -0.1?
-0.1
Let o be 119/(-28) + 1/4. Is o at most -3?
True
Let w = 5 + -5. Suppose 0*q = q. Suppose w = 2*x - q*x. Which is bigger: 1/3 or x?
1/3
Let p be 2/(-4)*(1 + 0). Suppose 4*g = 4 - 12. Which is greater: p or g?
p
Suppose 4*w = 8*w - 16. Let b be ((-4)/8)/(5/w). Which is smaller: 2/13 or b?
b
Let p = 12 + -1. Suppose -p*o + 25 = -6*o. Let s(l) = 2*l**2 + 2*l. Let n be s(-2). Which is greater: n or o?
o
Suppose -2*b + 5*m - 21 = 18, 2*m = 5*b + 45. Let n be (-8)/20 - b/5. Let k = 2/13 + 9/26. Which is greater: k or n?
n
Let v = -12 + 2. Let h = v - -17. Which is greater: 6 or h?
h
Let z be ((-10)/(-320))/(2/12). Is -1 > z?
False
Let a = 12 + -14. Let c = 2 + a. Let z = 0.3 + 0.7. Which is bigger: z or c?
z
Let z = -0.11 + -0.09. Is -2/9 < z?
True
Let n(c) = -2*c**3 - c**2 - c - 1. Let j be n(-1). Let p be 1/((j/(-4))/(-1)). Which is bigger: 2 or p?
p
Let i(c) = -3*c**2 + 2*c - 1. Let b be i(1). Let p be 3/(-1) - 7/b. Is p <= 0?
False
Let r(p) be the first derivative of p**2/2 - 7*p + 4. Let b be r(7). Is b at most 1?
True
Suppose 4 - 5 = u. Which is smaller: u or 18/13?
u
Suppose 3*b = -0*b - 3. Let d = -5 - -87/17. Is d greater than or equal to b?
True
Let q be 0*4/(2 - 6). Let s = 64/105 + -10/21. Which is smaller: s or q?
q
Let o be (2 + 1)/((-42)/4). Is -1/16 < o?
False
Suppose 2*x = -3*x - 20. Let c be (x/(-10)*1)/(-2). Is c smaller than 1?
True
Suppose 2*f - 4*f = -6. Suppose 3*m + f*a + 0 - 3 = 0, -4*m = -2*a + 26. Let p = -9 + 5. Does p = m?
True
Let i be (-106668)/434 + 12/(-42). Let u = 246 + i. Which is smaller: 0 or u?
u
Let b = -0.8 - -0.74. Let l = b + 0.66. Let s = l - -2.4. Is s at most as big as -2?
False
Let s = 80.9 + -81. Is s bigger than -65?
True
Suppose b + 0 + 16 = 3*x, 3*b = -3. Suppose 4 = -t + x. Suppose -4*k = -4*n - 24, -3*n - 6 - 8 = -k. Which is smaller: t or n?
n
Let v = -4.4 + 4. Let z = v - -0.2. Let t = 17 - 18. Which is bigger: t or z?
z
Suppose 3*m = -m - 20. Let o(c) = -c**3 - 5*c**2 + c + 2. Let h be o(m). Which is greater: 0 or h?
0
Let x = 53 + -74. Which is smaller: -20 or x?
x
Let i be 15318/(-45) + (0 - 0). Let t = i + 338. Which is greater: t or -2?
-2
Let v = -109/3 - -37. Let f(n) = -n**3 + 3*n**2 + 4*n. Let z be f(4). Which is smaller: z or v?
z
Let x = -4956/11 - -450. Let n = x + 1/22. Let y be -5*((-24)/15 + (-6)/(-3)). Is y bigger than n?
False
Let j be (-8)/(-20) + 3/(-20). Let b = -9 - -18. Let x = b + -7. Which is greater: x or j?
x
Let n = -0.33 - -0.23. Is n bigger than -3?
True
Let h = -4 + 6. Let y = -5 + 8. Let b(t) = t - 3. Let k be b(y). Do h and k have the same value?
False
Let b be ((-1)/(-3))/(2/6). Let l be 1/(2/10) - b. Suppose 0 = l*v - 0*v - 4. Which is bigger: v or 0?
v
Let q = -22 + 25. Let l be q/6*(-12)/(-20). Suppose 0 = -2*u - 4 + 2. Is l < u?
False
Suppose 4*z + 4 = 0, 4*z = 2*g - 6 - 12. Which is greater: g or 8?
8
Let u be -2 - -2*(-4)/(-6). Let l = 7 + -9. Which is smaller: l or u?
l
Let y = 5 + 0. Suppose n - d + 4 = 0, 0 = n - y*d + 2 + 6. Which is greater: -5 or n?
n
Let s(o) be the third derivative of o**4/12 - 2*o**3/3 - o**2. Let v be s(3). Let f be (-2)/4 - (-10)/4. Is v at least as big as f?
True
Suppose x + 124 = 5*x. Is 31 < x?
False
Let i(h) = -3*h - 13. Let f be i(-7). Suppose -38 + f = 5*s. Which is smaller: s or -4?
s
Let g = -42 - -169/4. Is g less than -1?
False
Suppose j + j + 6 = 0. Let h be 10 + -2 + j + 2. Let l be (-23)/h - 12/(-42). Is l at most -3?
True
Let y = 59 - 57. Is 6/23 at least as big as y?
False
Let