. Let f be (-3)/84*z*6. Which is bigger: f or 0?
f
Let r(p) = 22*p**3 - 2*p**2 + p. Let g be r(1). Let c = g + -12. Let b(j) = j**2 - 10*j + 9. Let h be b(c). Is -1/4 less than or equal to h?
True
Let w = -28 + 26.9. Let p = w - -0.1. Which is smaller: 0 or p?
p
Let t(x) = 5*x**3 - 3*x**2 + 2*x + 1. Let u be t(1). Does 6 = u?
False
Let a = -52 + 1821/35. Is 0 > a?
False
Let g be (2/(-12))/((-10)/80). Is g less than 2?
True
Let x = 10 + -7. Suppose 6 = r + x. Let y be (-3)/(-5)*2/r. Is -1/3 != y?
True
Let r(h) = h**3 + 9*h**2 - 3*h + 9. Let w be r(-9). Let i be 3/(w/32)*-3. Is -8 smaller than i?
False
Suppose 5*y + 1 - 3 = 3*p, -y - 3*p + 4 = 0. Which is bigger: 1/4 or y?
y
Let s(a) = 3*a + 16. Let b be s(-5). Suppose 0 = 3*h + w - 10, -10 - 6 = -4*w. Which is smaller: b or h?
b
Let g be 2/6 - 4/(-6). Let a be g + 0 + (-14)/6. Is 2 not equal to a?
True
Let t be (6/(-255))/((-5)/(-25)). Is 0 at least t?
True
Let f = 39 - 39. Does f = -3/19?
False
Let d be 0/2 + -1 + 2. Let t(m) = 4*m + 1. Let j be t(d). Suppose j*n + 1 = -4. Is n bigger than -2/5?
False
Suppose -3*k = 3*o - 12, -8 = -5*k - o - 0. Which is smaller: 2/33 or k?
2/33
Let c be (1/(-2))/(28/1416). Let x = c - -25. Suppose 0*m + 5*m + 13 = 2*r, 4*m + 10 = 2*r. Which is bigger: x or r?
x
Let w = -172/35 + 33/7. Let q = 48 - 47. Is w equal to q?
False
Let x(w) = -w**3 + w**2 - w + 36. Let r be x(0). Let f be (-4)/18 - (-17)/r. Let b be (-2)/4*-1*2. Which is smaller: f or b?
f
Let t = -2732/19 - -143. Is -2 >= t?
False
Suppose 3*y = -4*t - 17, -2*y + 3*t + 6 + 11 = 0. Is y greater than -2/33?
True
Let v(q) = 4*q**2 - 2*q - 3. Let a be v(-2). Let r = 25 - a. Let x be (r/(-12))/((-8)/6). Which is smaller: -2/3 or x?
-2/3
Let n(i) be the second derivative of i**5/20 + 5*i**4/12 + i**3/6 + i**2/2 - i. Let x be n(-5). Is x at most as big as -4?
True
Let d = -3.3 - 0.7. Let j = 4.1 + d. Is j bigger than -3?
True
Suppose -2 = 2*y + 10. Let t be (-9)/y*2/6. Let r = -0.1 - -2.1. Which is smaller: t or r?
t
Let b(i) = i - 1. Let h be b(0). Suppose -12 = 4*o - 8*o. Suppose o*q = -2*q. Is q at most as big as h?
False
Suppose 2 + 1 = -2*c + 3*z, 24 = 3*c + 5*z. Suppose -2*k - 3 = -c*k. Is 4 greater than or equal to k?
True
Suppose 8*d + 6 = a + 3*d, 4*a = 5*d + 9. Is a greater than or equal to 0.36?
True
Let c be 3/(1 + -4 - (-180)/40). Let o = -1/307 - 132313/1228. Let u = o + 107. Which is bigger: u or c?
c
Suppose -a + 6 = 2*m + m, 5*a - 2*m = 64. Suppose -x = 3*x - a. Suppose y + x*y = -20. Which is smaller: y or -4?
y
Suppose -b = 9 - 40. Is b equal to 31?
True
Let g = 0.6 + -0.9. Let i(s) = -2*s**2 - s - 1. Let b be i(-1). Let v be 2 + (-9)/(-6)*b. Which is smaller: v or g?
v
Suppose 2*u - 5 = u. Suppose l = -c + 5, -l - u = -5*c + 4*l. Let p be 2 - c/(6/5). Are 2 and p equal?
False
Let y = 9 - 5. Suppose -4*i - 16 = -v + 6*v, -i - 4 = -y*v. Let g be i/6*(-9)/(-6). Are g and -1 non-equal?
False
Let k(s) = s**2 - 5*s - 1. Let c be k(5). Let h = 6 - 5. Let n be -1 + h - (-3)/(-9). Is c at most n?
True
Let g(c) = c**3 + 13*c**2 + 13*c + 13. Let y be g(-12). Which is greater: y or 2/5?
y
Let r be 50/(-4)*(-14)/(-7). Which is smaller: r or -27?
-27
Let u = 284723/2 + -17369369/122. Let n = -73588/427 + u. Let c = n - -183. Are -4 and c unequal?
True
Let w be (1 - 0)/(49/(-735)). Let q be (57/(-9) - -1)*3. Which is bigger: w or q?
w
Let y = 4/355 - -1687/7810. Which is bigger: -1 or y?
y
Suppose -4*l + 3*u + 6 = -4, 2*l + u = 0. Let x(m) = 5*m + 1. Let b be x(l). Suppose 0 = 38*v - 41*v - 3. Is v greater than b?
False
Let h be ((-3)/15)/(6/15). Let n = -3/2 + 7/6. Is n at least as big as h?
True
Let t = 1/591 - 2389/14775. Is 1 at most as big as t?
False
Suppose 1 = 3*z - 4*z. Let v be z/(-22*(-2)/12). Which is smaller: v or -1?
-1
Let w be (4/2)/((-8)/(-148)). Which is smaller: w or 38?
w
Suppose 2 = -3*i + 11. Which is bigger: i or 12/5?
i
Let f = 26 - 17. Let o = f + -7. Which is greater: o or -2?
o
Suppose -109*n = -111*n + 4. Which is bigger: 13/6 or n?
13/6
Let y(u) = u**2 - 2*u - 1. Let q be y(2). Let w = -145 - -1597/11. Which is greater: w or q?
w
Let r = -2/79 + -140/711. Is -1 at most r?
True
Let z(v) = v**2 - 10*v + 3. Let m be z(10). Let n be 15/(-25)*(-2)/m. Which is smaller: n or 0?
0
Let s = -7109/11 + 647. Is s equal to 2?
False
Let c be 3 - ((-2678)/169 + (-4)/26). Let r(q) = 20*q**2 + q. Let m be r(-1). Is m > c?
False
Let y(i) = i**3 - i**2 - 10. Let c be y(0). Let t = 14 + c. Let w(x) = -3*x - 30. Let v be w(-11). Is t greater than or equal to v?
True
Suppose 5*y - 3*y - 334 = 0. Let a be (-3333)/(-20) + (-1)/4. Let f = y - a. Which is smaller: 2 or f?
f
Suppose 7*x - 11*x - 20 = 0. Is -6 at least x?
False
Let y = -16.64 + -0.36. Let f = -17.1 - y. Is 4 less than or equal to f?
False
Let j(y) = y**2 + 3*y + 1. Let h be j(-3). Suppose 4*v = g - 34, -3*g - 2*g - h = -v. Is v at most as big as -8?
True
Let f(p) = p**2 + 6*p + 6. Let s be f(-4). Let j be (-4)/(-3)*(-6)/(-356). Let n = j + 81/356. Which is smaller: n or s?
s
Let l be (9/17)/(30/20). Which is smaller: 1 or l?
l
Let q be 4/18 + (-32)/36. Which is bigger: -6 or q?
q
Let f = 13 + -21. Let r = 4 + f. Does -3 = r?
False
Let w(z) = -z**2 - 6*z. Let j be w(-6). Do j and 5/6 have different values?
True
Suppose -4*u = 5*d - 10, -4*u + 2*d = 3*d - 2. Is 0 equal to u?
True
Let q be (-2)/(-9) - (741/108)/(-13). Let m be 1 + (-2)/(-4)*2. Do m and q have the same value?
False
Suppose 3*l - 20 = -l. Let z = 5 - l. Let k = -3 + 3. Is k at most z?
True
Let b(h) = h**3 + 3*h**2 - 4*h - 1. Suppose 3*i + 4*l = l - 21, i - 11 = 5*l. Let p be b(i). Which is bigger: p or -1/4?
-1/4
Let c = 6.22 + -6. Let t = 8.78 + c. Let n = -9.2 + t. Is n != 1?
True
Suppose -8*b - 12 = -4. Which is smaller: b or 2/19?
b
Suppose 2*k + 2*k + 4 = 0. Suppose -13*p + 11*p = 42. Let w be 2/(-12) + (-7)/p. Which is bigger: w or k?
w
Suppose 0 = 4*v + 6 - 2, 5*v - 11 = -4*p. Let a be -2 + p/((-4)/(-3)). Let b be a/4 - (-19)/(-44). Is b greater than or equal to 1?
False
Suppose 3*a = a - 10. Suppose -68*h - 48 = -60*h. Are h and a unequal?
True
Let d be (-55)/(-44)*1/5. Which is greater: -1 or d?
d
Let p be (0 - -6)*(-2 - -3). Suppose 4*a = -5*x + 9*x, 5*x - 3*a = 10. Which is smaller: p or x?
x
Let c be (-2)/(-47) - (1 - 1). Let r be ((-3)/(-3))/((-4)/16*-4). Is r >= c?
True
Let z = 785721 - 11791937/15. Let s = z + 408. Which is smaller: s or 0?
s
Let b be -3 + (-2)/2 + 3. Let m = 11 + b. Let t = 10 - m. Is t less than 2/5?
True
Let g = 4 + -1. Let q = -14 + 8. Let n = q - -5. Which is greater: n or g?
g
Let t(i) = i**2 - 10*i + 11. Let o be t(9). Suppose 0 = -2*n - 5*v - 8, 3*n + o*n + v - 26 = 0. Is n > 6?
False
Suppose -2*a = 3*a + 4*o + 30, 0 = -4*a - 4*o - 28. Let c be 0/1 + 0 + 12. Let q be -2*(27/c + -2). Which is smaller: q or a?
a
Suppose -8 - 2 = 5*g. Let t be (g - (-2 - 1)) + -1. Let x be (3/5)/((-8)/(-10)). Is x at most as big as t?
False
Suppose 23*p - 12*p = -66. Which is bigger: p or 1?
1
Suppose -2*d = -6 - 6. Suppose 5*u = i + 17, 3*u + 2*i - d*i - 17 = 0. Which is smaller: 1 or u?
1
Let c(o) = o**2 + 7*o + 5. Let l be c(-6). Let b be (0 + l)/(7/(-2)). Suppose -2*u = -5*n + 8, -4*u - 3*n = 2*n - 14. Which is bigger: u or b?
u
Let f be -3*3/(-36)*2. Is 0 less than f?
True
Let x = 605/4 + -150. Which is greater: 1 or x?
x
Let i = -1.92 + 1.7. Which is bigger: i or 1?
1
Suppose 3*l + 2*p = -7, -1 = 2*p + 9. Let x = 1 + l. Are x and 5/4 nonequal?
True
Suppose -j - w = -69, w + 84 = j + 5*w. Suppose 3*v + c - j = 0, c = 1 + 3. Let l be v/(-48) - 2/(-8). Which is smaller: 1 or l?
l
Let z be (-4 + 5)*2*-3. Let y(q) = -q - 9. Let h be y(z). Is h smaller than -3/2?
True
Suppose 5*q + 4*y = -0*y + 23, -q + 10 = -y. Let c be (-2 + 1)*3 + 3. Let x be 14/(3 - 1) + c. Are x and q unequal?
False
Let c = 1 - 3. Let a(s) = s**2 + 2*s - 2. Let b be a(-2). Let p be 2/8 - (-1)/b. Which is bigger: c or p?
p
Suppose -2 = -2*a + 8. Suppose -3*k = 5*c - 2*k + 10, a*k + 2 = -c. Is c smaller than -2?
False
Let w be (14/(-119))/(2 - 0). Is 1 not equal to w?
True
Let z be 2/(-36)*(-4)/48. Let b = z - 1303/1512. Which is greater: 0 or b?
0
Let z be (-8)/2 - (-5 + 14). Which is smaller: z or 0?
z
Let l(k) = -k**2 + 7*k - 2. Let s be l(2). Is s less than 8?
False
Let v(r) 