 + 0. Let f be 3/(-2)*(-520)/36. Let p = -22 + f. Is q bigger than p?
True
Let r be 3/(-2)*(-12)/(-18). Let f = -4264/27 - -158. Is f smaller than r?
False
Let h(r) = -2*r**2 - 11*r + 5. Let y be h(-8). Let j = 66811/1924 + 12/481. Let q = j + y. Is 1 less than q?
False
Let x(j) = 2*j + 5. Let y be x(-4). Let c = y - -2. Suppose 4*s = -5*p + 2*s - 4, -3*p + s = 9. Which is bigger: p or c?
c
Suppose 4*g = -12, -5*p - 4*g - 66 = 11. Let v(z) = -z**2 - 14*z - 12. Let q be v(p). Is q less than or equal to 2?
True
Let d = 53/3 + -55/3. Suppose -12 = z - 3*b - 4, -5*b + 14 = -2*z. Is z smaller than d?
True
Let k = 0 - 0. Suppose k = z - 0*z - 1. Are z and 9/5 equal?
False
Let v(s) = s**3 + 2*s**2 - s + 3 + s**2 - 2*s. Let y be v(-4). Is y < -0.05?
True
Suppose -3*o - 2*b = -4, -2*o + 15 = 3*o - 5*b. Are o and 2/3 equal?
False
Suppose -3*l - v - 15 = -3, 9 = -4*l + v. Which is smaller: l or -13/5?
l
Let x be 0 + (-1)/2*2. Let v = 20 - 5. Let m be 1*-2 + v/12. Which is greater: m or x?
m
Let g be 3/4*(-8)/(-6). Suppose -l = l + 8, -l = p - g. Is p less than 5?
False
Suppose -5*i = 0, 4*o - 2*o - 4*i + 4 = 0. Let l(c) = -c**3 - 6*c**2 + 6*c - 9. Let d be l(-7). Does d = o?
True
Suppose -3*a - 30 = 7*u - 3*u, -10 = a + 5*u. Let c = a - -9. Which is smaller: 0 or c?
c
Suppose -3*b - 31 = -7. Which is smaller: b or -10?
-10
Let x(r) = r**2 - 3*r - 12. Let n be x(5). Let g be n/6 - 1/(-5). Are g and -1 non-equal?
True
Suppose -3*o + 4 = -35. Which is smaller: 3 or o?
3
Let l = 15283/730 + 85/73. Let n = -22 + l. Is n greater than 1?
False
Suppose -5*q - 34 = 3*p, 4*p + 4*q + 47 = 7. Let v be 10/p - 2/(-2). Let s = 2.9 - 3. Which is smaller: s or v?
v
Let h = 41 + -24. Is 17 greater than h?
False
Let c(f) = f - 5. Let m be c(5). Let g = 1 - m. Let z be 2/(-4) - 1/(-14). Which is smaller: g or z?
z
Let l = -1 - -1.1. Let x = 0.3 - l. Let p = -0.2 + x. Is 0 greater than p?
False
Let b(w) = -w**2 - 7*w - 3. Let l be b(-6). Let q be -3*l*2/(-3). Let a be 2/q - 8/(-12). Which is smaller: -1/6 or a?
-1/6
Let x be (4 - 2 - 0)*(1 + -2). Which is bigger: x or -8/3?
x
Let n = -100 - -100. Which is bigger: -2/17 or n?
n
Suppose 4*s - 3*s - 3 = 0. Let f(t) = 2*t - 26. Let a be f(13). Is s at least as big as a?
True
Suppose 3*h = 9, -4*y + 2 = -4*h + 6. Suppose -2*x - 12 = 2*x + y*v, x + 4*v - 4 = 0. Is -4 greater than x?
False
Let x = 1123/7 - 160. Let b(i) = 2*i - i + 0 + 1. Let z be b(-1). Is x less than z?
False
Let o = -683/404 + -6/101. Let t(l) = -l**2 + 38*l - 167. Let h be t(33). Which is smaller: h or o?
h
Let w be ((-2)/9)/((-30)/18). Is 2/7 at most as big as w?
False
Let w = -11 - -16. Suppose 8*f - w = 3*f. Is f bigger than 0?
True
Let n(o) = -o - 1. Let q be n(5). Let k = q + 4. Let v be (k - 0)*6/16. Which is smaller: -2 or v?
-2
Let j(k) = k**3 + 2*k**2 - 2*k - 3. Let c be j(-2). Let i be c/2 + 15/(-18). Let n be (-1)/(1/1 - 2). Which is smaller: n or i?
i
Suppose 9*g = 5*g - 8. Is -9/5 at least g?
True
Suppose j = 2*j + 3. Let p be (j/(-4) - -3)*-4. Is -15 != p?
False
Let b be 5/7 + 12/42. Which is smaller: 1/5 or b?
1/5
Suppose 5*k + 0*k = 0. Suppose k*o - 3*o = -24. Suppose -v + 0*t + 3*t = 7, v + 2*t - o = 0. Which is bigger: 3 or v?
3
Suppose 0 = 6*c - 5*c - 7. Suppose 28 = 5*r - c. Let t = 0.2 + -0.1. Which is smaller: t or r?
t
Let m be 0/(-4)*(1 - 0). Suppose b + 6*v - 2*v + 23 = m, 0 = b + v + 8. Is 1 less than b?
False
Suppose 5*j - 2*j = 15. Suppose -j*l - 26 = -3*l. Is -13 smaller than l?
False
Let k be -3 - -6 - -1*2. Suppose 0 = 3*j - 7*j - 5*v - 5, -3*j + k*v = -5. Which is smaller: -1 or j?
-1
Suppose 6*y - 2 = 4*y. Let f be 2 - 1*y/(-1). Suppose f*u + l + 27 = 4*l, 5*l = -5*u - 15. Is -6 < u?
False
Let k = 139 - 138.981. Are -2 and k equal?
False
Let t = 0.11 - -0.01. Let a = t - 9.12. Let w = -7 - a. Which is smaller: -2 or w?
-2
Let x = 2 - -6. Let o be (8/(-12))/(x/9). Suppose 4*c = -3*p - 10, -4*p + 3*p - 4 = 2*c. Is c less than o?
True
Let j(w) = -w - 6. Let l be j(0). Let a = -52 + 47. Which is smaller: l or a?
l
Suppose 2*n = -5*v - 154, -3*v + 4*n = n + 84. Let q be 24/(-14)*v/(-40). Which is greater: -1 or q?
-1
Let j = -1 + 5. Which is greater: j or 0.02?
j
Let z = 15 + -4. Let j = z + -9. Is j greater than 5?
False
Let s = 81/4 - 20. Is s less than or equal to -0.9?
False
Let u = -87 - -87.2. Which is greater: u or -0.04?
u
Let i(m) = m**2 + 5*m - 6. Let y be i(-6). Let q be (-2)/(-4)*(-4 + y). Let c be (-2)/18*(q + 0). Is c less than or equal to 1?
True
Let c be (6/3)/(-1) - -10. Let b(n) = 183*n. Let r be b(-1). Let o be r/(-27) + (-8)/(-36). Is c equal to o?
False
Let p be (-56)/((-8)/(-2))*1. Which is bigger: p or -15?
p
Suppose -4*i + 0*i + 4 = 0. Let l = -3 + i. Do l and -1 have the same value?
False
Let l be -3*1 + 16/6. Suppose -10 = -2*f - 3*i, -f - 2*i = -6*f + 25. Suppose -x - f*y = -0*x - 19, 2*y = -2*x + 6. Does x = l?
False
Suppose -3 = -3*r, -4*x + r - 5 = -0*r. Which is smaller: -5/4 or x?
-5/4
Let w = -12 - -8. Let j be (2 + w)*(-6)/4. Let f = 677/7 - 97. Is f bigger than j?
False
Let x(n) = n + 2. Let o be x(-2). Let m be (-4)/18 - 38/(-36). Is m equal to o?
False
Let t = 7 + 9. Let v = -17 + t. Which is smaller: 0.12 or v?
v
Let m = 43 + -115. Let l = -359/5 - m. Which is smaller: l or -1?
-1
Let c = -181/2346 - 1/102. Is c equal to -1?
False
Let b(v) = -v**3 - 7*v**2 + 8*v + 4. Let w be b(-8). Suppose -2*q - 444 = -w*q. Let p = q - 1996/9. Is p less than -1?
False
Suppose -2*p + 306 = 4*y, -y = -2*p - 3*y + 316. Is p not equal to 162?
True
Suppose 5*c - 10*c - 35 = 0. Which is smaller: c or -0.2?
c
Let n = -11 + 17. Let i = -68/11 + n. Which is smaller: -1 or i?
-1
Suppose 5 = 2*v + 5*x + 17, 4*v - 2 = 3*x. Is v <= 2/69?
True
Let c be (-78)/(-27) + (-4 - -1). Is c < 0?
True
Let l = -19 + 21. Are l and 7/3 non-equal?
True
Let a(x) = 1 + 2*x - 6*x + x**3 + 3*x. Let h be a(1). Suppose 0 = k - 3*k. Which is greater: k or h?
h
Suppose 2*n - 3 = -4*v + 19, 5*v - 20 = 5*n. Is n at most 1/43?
False
Let b(y) = y**3 - 5*y**2 + 4*y + 2. Let t be b(4). Is t greater than 2?
False
Let c be ((0 - 3) + 5)*-3. Let k be ((-3)/9)/(2/c). Is k smaller than 3?
True
Let l(t) = -t**2 - t + 3. Let n be l(0). Is n > 7?
False
Let n(r) = r**2 - r + 1. Let y(x) = -x**3 - x**2 - 6*x + 4. Let w(z) = -5*n(z) + y(z). Let q be w(-6). Which is bigger: 4 or q?
q
Let t = 3 + -17. Which is bigger: -13 or t?
-13
Let k be (1 + 1)/((-4)/10). Let u(w) be the first derivative of w**2/2 + 4*w - 15. Let m be u(k). Do -3/4 and m have different values?
True
Let d = -3 + 4. Let j = 289/8 - 36. Is d at most j?
False
Let z be 4/(-1*1 - 0). Suppose 5*d - 6 = 7*d. Is d less than z?
False
Let a = 61/140 + -3/20. Is -1 equal to a?
False
Suppose 0 = -2*k + 3 + 1. Let s = 2 + k. Is 1 greater than s?
False
Let c = -1 - -1. Let o = c - 3. Let a = -3 - o. Do a and -1/3 have different values?
True
Let z(g) = -2*g + 12. Let y(b) = 2*b**2 + 2*b + 1. Let t be y(-2). Let m be z(t). Is m equal to -4?
False
Let c = 7.1 + -8. Let o = 0.1 - c. Suppose -32*g + 11*g = 0. Is g at least o?
False
Let j = -147.2 + 147. Let u = -0.1 - 0.1. Let x = -1.2 - u. Is j greater than x?
True
Suppose -4*d + 461 = 377. Let w be 118/6 - (-1)/3. Do d and w have different values?
True
Let q be 0/(1/(0 + 1)). Let k(r) be the second derivative of r**3/6 + 7*r**2/2 + 2*r. Let b be k(-6). Which is greater: q or b?
b
Let o be ((-6)/(-4) + -1)*0. Is -3/7 bigger than o?
False
Let n be 1/3*-3 - 3. Is n smaller than -19/5?
True
Let a = 24 + -41. Let c = 16 + a. Is -12/5 greater than or equal to c?
False
Let n = -346 - -10381/30. Which is smaller: n or -1?
-1
Suppose -x + 0*x = 0. Let k = -23 + 14. Let n be 4 + -3 - k/(-15). Which is smaller: x or n?
x
Suppose -6*o + 4*f + 17 = -3*o, 3*o + 3*f + 18 = 0. Let s = 263 - 5263/20. Let l = s + -13/180. Which is bigger: l or o?
l
Let o = 12 + -24. Is -12 != o?
False
Let t = 839 + -14259/17. Does 2/3 = t?
False
Let t be (0 - 729/(-90))/((-2)/4). Which is bigger: -1 or t?
-1
Let h = 28 - 26. Let o(l) = -3 + l + 0 - 1. Let a be o(5). Which is bigger: a or h?
h
Let u = 4.05 + -0.05. Let v = u - 4. Let t = -0.4 - v. Is 0.1 > t?
True
Let b be (-9)/(-1) - (-1 + 2). Let p = 17 - b. Suppose 0 = 4*g + 3*w - 2, -5*g + 4*w - p = 2*w. Which is smaller: 0 or g?
g
Let a(