True
Let r = 1.2 - 1.08. Let v = r + -0.12. Which is bigger: v or -2/3?
v
Let p(g) = -g**2. Let z be p(1). Let s be z - (2 + 0 + -13). Let j be 2/s - 38/(-10). Which is smaller: 3 or j?
3
Let c = 2 - 3. Let v be (-49)/(((-1)/3)/(-1)). Let k = -1031/7 - v. Is k less than c?
False
Let b = 1.4 - 2.4. Suppose -2*a = -3*a - 13. Is a greater than or equal to b?
False
Let y be 2/(-8) + (-2)/56. Let i = 1.3 - -1.4. Let k = i - 0.7. Is k at least y?
True
Let b = -18 + 19. Let w be (-5 + 4)/(b/2). Is -7 > w?
False
Let k be (-4)/(-16) - (-1 - -1). Let o(p) = p**2 - 9*p - 12. Let w be o(11). Let a(z) = -z + 9. Let u be a(w). Which is greater: u or k?
k
Suppose -r + 0*r = -2. Suppose w = -r*w. Let b = 1/4 - w. Which is greater: -2 or b?
b
Let q = -1 - -1. Suppose 2*r - 7*r + 20 = q. Suppose -3*z - 11 = -5*d + 3*d, 0 = d + r*z + 11. Which is bigger: d or 2/9?
d
Suppose -10 + 4 = -5*g - 3*u, -g = -3*u + 6. Suppose s - 2*s - 2 = g. Is s not equal to -3?
True
Let f be 4/(-6) + (-7)/(-42). Let b(h) = -h**2 - 3*h + 2. Let v be b(-3). Suppose -5*m = 5*o - 10, 5*o - v = -0*o - m. Are o and f non-equal?
True
Let r = 2 + -2. Let j = -0.3 + r. Which is bigger: j or 1?
1
Suppose 0 = -0*y + 5*y - 15. Let v(k) = 2*k**2 - 4. Let f be v(-2). Is f at least as big as y?
True
Suppose 3*h - 10 = -1. Is h > 3?
False
Let q(y) = 3*y**3 + 18*y**2 + 29*y + 15. Let h(z) = z**3 + 6*z**2 + 10*z + 5. Let r(i) = -11*h(i) + 4*q(i). Let t be r(-5). Do t and 8 have the same value?
False
Suppose a = 4*a. Suppose 0 = -z - a*z - 6. Which is smaller: -5 or z?
z
Let u = 122 - 116. Does 1 = u?
False
Let b = -2 + 5. Is b at least as big as -7?
True
Let f be -3 - -4 - (-3)/(-2). Is f > 1/4?
False
Let m be (-377746)/2744 + (3 - 2). Let w = m + -30/343. Let j = w - -136. Is j < -2?
False
Let u = 11 + -30. Is 0.1 bigger than u?
True
Let r = 16 - 15. Which is smaller: r or 2/63?
2/63
Let j = 14 + 3. Is 18 at most j?
False
Suppose w = -5*u - 6, -3*w = 3*u - 6*w. Which is smaller: 1/7 or u?
u
Let p be (10/(-4) - -3) + 1/(-2). Are p and -1/22 equal?
False
Let v be 2*5*18/(-8). Let t be ((-1)/(-21))/(-3*(-4)/5726). Let d = t + v. Which is smaller: -1 or d?
-1
Let s be 43*-4 + 5 + -2. Let j = 2365/14 + s. Which is greater: j or -1?
j
Let u = -16 + 40. Let g be u/9 + (-6)/9. Suppose 2*h + 0*h = -5*r + 1, 8 = 2*r - 3*h. Is r != g?
True
Let z = -22 - -22. Let n be 7/48 - (-4)/(-12). Which is smaller: n or z?
n
Let p be -1 - (2 - 21/3). Suppose 3*b = 2*w + 10, 0 = -0*b + 2*b + p*w - 12. Suppose 0 = -b*t - 0*t. Is -1 equal to t?
False
Let b(c) = -c + 16. Let d be b(20). Let a be 76/10 + 2/5. Suppose 4*g - 5*w = a + 1, 14 = -g - 2*w. Is d <= g?
True
Let d be (-2)/(-32) + 0/15. Which is smaller: 1 or d?
d
Let s be (-2 + 2/2)/(-1). Let b(m) = -m**3 + 4*m**2 - 2*m - 1. Let c be b(3). Suppose -5*l - d + 14 = 3, -c*l + 5 = d. Which is smaller: s or l?
s
Suppose -39 = 8*k - 11*k. Is k != 23/2?
True
Let k = -3.9 + 1.9. Suppose 3*y - 4*f - 9 = -4, -5*y + 1 = -3*f. Is y > k?
True
Let g = -0.07 - -0.14. Let x = -0.93 - g. Let c = 0 - 1. Is c less than or equal to x?
True
Let b = -2 + 2.3. Let h = b + 0.7. Let q = 2 + h. Do 0.1 and q have the same value?
False
Let i(s) = s + 9. Suppose 24 = -6*w + 3*w. Let t be i(w). Suppose 0 = 2*x - 4*x. Which is bigger: x or t?
t
Suppose 4*q + 2 - 10 = 0. Suppose -3*x = -z - q*z - 3, 10 = 2*z + 4*x. Are 2/57 and z equal?
False
Suppose -2*r + 7 = 3*p, 3*p + 0 = r + 1. Suppose -l = l - r. Which is bigger: l or 2?
2
Let r = -237/65 - -19/5. Let x = -4 - 0. Let p = -4 - x. Which is greater: p or r?
r
Let d = 126 + -125.9. Is 31 equal to d?
False
Let k = 27 - 28. Are -3/7 and k non-equal?
True
Let l be 7*(-3)/3 - -4. Let v = 0 + -1. Let h be v/21*-3*l. Do 0 and h have different values?
True
Let v = -17 + 16.8. Let i = v + 0. Is i greater than or equal to -3?
True
Let k be (6/(-15))/(1/(-10)). Let d = 10 + 0. Suppose -r + 2*z = 1 + 4, 3*r - 5*z = -d. Which is smaller: k or r?
k
Let v = 7 + 0. Which is smaller: v or 2/5?
2/5
Let d = 2/477 + -1465/8109. Which is smaller: d or 1?
d
Let i = 0 + -1. Let x be (36/32)/(9/(-12)). Which is bigger: i or x?
i
Let l = 24159/4 + -5997. Let t = l - 43. Which is bigger: t or 1?
1
Let q be 992/80 - 6/(-10). Is 14 < q?
False
Let d be 4 - (-15)/(-1 - 2). Which is smaller: -4/3 or d?
-4/3
Let i = 3/25 - 8/25. Which is bigger: 1/8 or i?
1/8
Let d(f) = -f**2 + 4*f + 1. Let n be d(4). Let o = -1 + n. Let p be ((-1)/(-6))/(4/(-3)). Is p != o?
True
Let w(k) = k**3 + 4*k**2 + 2*k + 1. Let u be w(-3). Suppose -v + 0*v = -u. Suppose -12 = 66*c - 70*c. Which is bigger: c or v?
v
Let z(j) = j**3 + 4*j**2 - 6*j. Let y = -2 + -3. Let t be z(y). Suppose -t = -0*v + 5*v. Are -2/27 and v nonequal?
True
Suppose -4*q = 27 - 315. Is q at least as big as 73?
False
Suppose -2*m = -4*w - 32, 0 = -m - 4*m - 3*w + 28. Is 8 >= m?
True
Let m(d) = -2*d**3 - 2*d**2 + 2*d. Let o be m(-2). Suppose -o = -n + 1. Is n at most 3?
False
Let h be (4 - 5)*(0 - -1). Let a be -1 - 502/(-20) - 1. Let w = 23 - a. Which is bigger: h or w?
w
Let u = 1 + 2. Suppose 3 = 3*h - u. Suppose 2*d = -5*w + 18, 4*d = -h*w + 6 + 14. Is w less than 4?
True
Let a be (0 + -8)*3/6. Let q be 3 - (a + -1 + 0). Which is smaller: 9 or q?
q
Suppose -2*x = -5*x + 33. Suppose 4*z + l + 37 = 0, -2*z - 3 - 3 = -2*l. Let a = x + z. Is 2 <= a?
True
Let p = -44 - -45. Let m be (-2 - -3)*(-18)/22. Let x = m - -61/88. Is p greater than or equal to x?
True
Let b = 188/285 + -2/15. Let a = b - 21/76. Are -1 and a nonequal?
True
Let d = 772 - 25471/33. Let f be (27/66)/(2/(-4)). Let k = d + f. Which is bigger: k or -1?
k
Let q(d) = -d - 2. Let y be q(3). Let l(b) = b - 5. Let x = -9 - -9. Let t be l(x). Is t < y?
False
Suppose -5*m = q - m - 51, -19 = -q + 4*m. Is 35 bigger than q?
False
Let d = -1.69 - -1.69. Is d > 1/4?
False
Suppose -9*j + 3*j = 48. Which is greater: -9 or j?
j
Let a = -1 + 0. Which is bigger: 10 or a?
10
Let l be 0 - (-4 - (-2 - 0)). Suppose 4 = y, -l*r - r + 15 = 3*y. Let i be 3/9 - (-8)/(-6). Does i = r?
False
Let a be (-78)/(-5)*(-1 + 14/4). Do -2 and a have the same value?
False
Let g = 2.8 + -3. Let a = 1 - -15. Let h = a - 14. Which is smaller: g or h?
g
Let c = -1 - -5. Let l = 9 - -9. Let z be 32/(-18) - c/l. Is z greater than or equal to 0.4?
False
Let l = 3/4 - 13/12. Let s = 8 - 9. Is l != s?
True
Let i(q) be the second derivative of q**5/20 + q**4/3 + q**3/3 - q**2/2 - q. Let h be i(-3). Suppose -3*g = -4*g + h. Is 2 != g?
False
Let g = -5129/8 - -640. Do -1 and g have different values?
True
Let j be (-10)/5 - (-2 - -4). Let m(u) = u + 3. Let o be m(-6). Which is bigger: j or o?
o
Let q(v) = -v + 2. Let o be q(-7). Suppose 4*n - o = n. Which is greater: 1 or n?
n
Suppose -4*w = 12, 4*w = u + u - 24. Let o be (-3)/u*(-4)/(-2). Which is smaller: o or -1/9?
o
Let z(o) = o + 8. Let k be z(-8). Suppose k*y = 2*y. Does y = 0?
True
Let f be (4/30)/(1/(-5)). Suppose 2*k = i + 4, 3*k - 2 - 4 = i. Which is bigger: f or k?
k
Let o = -3838/2405 + -2/481. Is o equal to -1?
False
Let u = -12 - -9. Does u = -4?
False
Suppose 3*p - 50 = -5*o, -p + 4*p - 4*o = 41. Let m be 0 - ((-6)/p + 0). Do -1 and m have different values?
True
Let k be (-4 - 14/(-3))/(6/99). Which is bigger: 8 or k?
k
Suppose 3*b - 83 = 2*v, 0 = 6*b - 7*b + 2*v + 33. Is 51/2 at least b?
True
Suppose -6*r - 24 = -2*r. Which is greater: r or -7?
r
Let j = -19 + 17. Let i be j + 3 + 2/(-4). Which is smaller: i or 0?
0
Let c = 0.3 + -0.2. Let b = c + -1.1. Let y = 1136/7 + -162. Which is bigger: b or y?
y
Let h(i) = i**2 - 3*i + 1. Let a be h(3). Let u be (a - 2)*(-4)/(-6). Let p be (-1)/(-3) + 3/(-63). Is p != u?
True
Let x(r) = r**3 + 2*r**2 + 2*r + 1. Let j be x(-1). Is j at least -1?
True
Suppose -3*p = 2*p + 5. Let s = 1303/10 - 130. Which is smaller: s or p?
p
Suppose -5*p + 25 = -10*p. Let g(n) = -n**2 - 4*n + 5. Let q be g(p). Let s be 1/16*(-2)/1. Is s <= q?
True
Let p = 102 + -201. Which is smaller: p or -98?
p
Suppose 4*h - 3*h - 4 = 0. Let i be h/14 + 8/(-28). Is -3/4 greater than i?
False
Suppose -2*l + 4 = 2*o, -o - 2*l + 13 = -2*o. Is o less than -4?
False
Suppose -5*s + 5 = -5. Suppose -4 = -f - s. Let r be (3/(6/f))/(-1). Is -1 != r?
False
Suppose -5*m + 24 = -2*n - n, 4*m = -4*n. Which is smaller: m or 9/4?
9/4
Let h = 14 - 6. S