alue?
False
Let l(y) = 5*y**2 + 5*y - 5. Let v(a) = -14*a**2 - 15*a + 15. Let f(m) = -17*l(m) - 6*v(m). Let h be f(2). Is h at least as big as -0.4?
True
Suppose 4*p - 586 = -566. Is 0 at most p?
True
Let f = 239 - 238.01. Let d = -0.1 - -0.09. Let c = d - f. Do -8 and c have the same value?
False
Suppose 4*f = -a - a + 36, -3*a = f - 29. Suppose 0 = -a*g + 7*g + 12. Let b = g + -6. Is b less than or equal to 6?
True
Suppose n + 0*a + 2 = -a, n - 2*a = 10. Let l be (0 - n)*1 + 8. Let h = -2 + 9. Is l >= h?
False
Let y(i) = -3*i**2 - 18*i + 4. Let w be y(-6). Suppose 38 - 10 = -w*p. Are p and -0.1 nonequal?
True
Let w(p) = -13*p - 496. Let n be w(-39). Is n less than -57?
False
Let u = 45979/5 + -9250. Which is smaller: -55 or u?
-55
Let q be (9 - (1 - -2)) + 0. Which is greater: -13 or q?
q
Let q = -901 - -919. Which is bigger: 14 or q?
q
Suppose 0 = -3*p - l + 2, -p - 5*l - 3 = 1. Suppose -3*f = 4*q - 15 - 12, 4*q = 4*f + 20. Let b be ((-4)/q)/((-134)/(-6)). Is p greater than b?
True
Let j(d) = -d**2 - 14*d + 44. Let r be j(-19). Are r and -205/4 non-equal?
True
Let m be 0 + ((-1)/(-3) - 340/948). Which is bigger: m or -1?
m
Let d(z) = -z**2 + 7*z. Let m be d(7). Let v(h) = h**3 + h**2 - h + 2. Let l be v(m). Is 16/9 < l?
True
Let v = -1.1573 + 0.9173. Let u be (-4)/(-5) + (-4)/10. Are u and v equal?
False
Let s be (72/14)/((-6)/(-21)). Suppose 3*v + s = -24. Let y = v - -13. Which is greater: y or -1/4?
-1/4
Let b = 38 + -113. Let s be (-2)/3 + b/(-72). Let u be (-12)/8 - 3/(-2). Which is greater: u or s?
s
Suppose 4*g + 11 = 3*d - 4, 5*d = 2*g + 11. Let q be 1*1/(d - 0). Let p be 22/253 - (-576)/(-276). Are q and p equal?
False
Let n = 6.07 + -6. Let d = n + 0.43. Let t = d + 1.5. Are 0 and t nonequal?
True
Let n = 22.5 + -20.9. Is -1/5 equal to n?
False
Let g(l) = 112*l - 200. Let n be g(3). Is n < 135?
False
Let t = 48 + -44.1. Let r = -0.08 + 0.18. Which is greater: t or r?
t
Suppose -5*z = 4*m - 29, 0*z + 3*z + 3*m - 18 = 0. Suppose 11*v - z = 6*v. Let h(s) = -2*s**2 + 2*s - 2. Let b be h(v). Is b > -6/11?
False
Let h = -3.403 - -1.203. Which is greater: 2/7 or h?
2/7
Let z = 1056 + -777. Is z greater than or equal to 276?
True
Suppose -4*z = 3*w - 16 + 5, 0 = 5*w + 5*z - 15. Let m be 9*-2*1/(-3). Suppose -m*h = -h - 10. Which is greater: h or w?
h
Let r(q) = -5*q + 2. Let i be r(0). Suppose -i*o - 12 = 22. Do o and -17 have different values?
False
Suppose -3*x + 72 = 4*v, -4*v = x - 3*v - 23. Let g = 1 - x. Which is smaller: g or -18?
g
Let o be (-8 + 4)*2/2. Let t be (26/(-52))/((-4)/(-80)). Which is greater: t or o?
o
Let q = 0.78 + -0.98. Let s = -12.76 - -12. Let c = 0.7 + s. Do c and q have different values?
True
Let r = 992 - 10942/11. Let i = 2 - 6. Is i less than r?
True
Suppose -3*l - 3 = -0*l. Let v = 12024/1082725 - -2/6187. Is v at most as big as l?
False
Let m = 28.061 + -0.061. Let c = m + -38. Do c and -1 have different values?
True
Let v(a) be the second derivative of -a**3/6 - 5*a**2/2 + 9*a. Let m be v(6). Which is greater: -9 or m?
-9
Suppose -2*p = u - 4 - 3, 0 = -3*u + 3*p - 6. Suppose 4*n + 2*r + 5 - 3 = 0, r + u = 0. Let a be (n/11)/(2*1). Is 2/13 bigger than a?
True
Let k = 175747/67 - 2623. Do 0 and k have different values?
True
Let v be (2 - (0 + 2))/4 + -1. Which is smaller: v or -26/61?
v
Let y be (-6)/20*(21/(-7) + 4). Let v be (-2)/(-9) - (-11)/(-9). Is y at least v?
True
Let s(n) = 5*n**2 - 3*n - 1. Let f be s(-2). Let c = f + -29. Let m be -2 - (-3 + 0/c). Is -2/41 > m?
False
Let i = -2388871/120 + 99384/5. Let f = i + 61/2. Let m = -14 - -14. Which is greater: f or m?
f
Let s = 67785/66619 - 221/217. Which is greater: s or 1?
1
Let y = -111.8 + 263.6. Let h = y - 152. Is h at most 2.6?
True
Let o be 3/6*4*(-5649)/841266. Let i = 3/577 + o. Do -1 and i have different values?
True
Suppose 24 - 4 = -5*b. Let g(j) = -6*j - 12 + 30 - 21. Let o be g(b). Is 20 less than or equal to o?
True
Suppose 0 = -4*x + 4, -5*h + 14*x = 17*x - 23. Is 48 != h?
True
Let g be (-2)/(-1) + 8640/(-6). Let h be g/680 + (-30)/(-50). Let n = 30/17 + h. Is n greater than or equal to -1?
True
Let v be 10/50 - (-744)/(-170) - -4. Let t(b) = -b**2 + 4*b - 6. Let o be t(4). Let u(j) = -j**3 - 6*j**2 + j + 5. Let i be u(o). Which is smaller: i or v?
i
Let n = -382 + 384. Is 0.135 greater than or equal to n?
False
Let k = -22 - -18. Is -23/6 bigger than k?
True
Let f be 26/16 - (8 - 6). Is -0.6 smaller than f?
True
Suppose -o = 2*i - 3, -4*i - 2*o + 6 = -i. Let u = i - 2. Let l = -41 - -207/5. Is l equal to u?
False
Suppose -o = 2*o - 6. Suppose 4*t + 7*h - 8 = 3*h, o = t - 5*h. Suppose b + b = 0, -t*r + b = 0. Which is greater: -1 or r?
r
Let b = 23 - 8. Suppose -3*p + 22 = -5*h, 0*h + 3*h = -b. Let w be (-2)/21 - 55/84. Is p at least w?
False
Suppose -2*j + 6 = 0, 3*j - 2*j - 3 = -2*h. Which is bigger: h or -2/27?
h
Let s = -5 - -12. Let p = -16.233 - -0.033. Let c = p - -16. Which is smaller: s or c?
c
Let b(o) = o**3 - 3*o**2 - o + 5. Let r be b(3). Suppose -5*f + j + 62 = 0, -3*j + j = r*f - 20. Is f at most as big as 11?
False
Let y(v) = v**3 + 12*v**2 + 11*v + 2. Let n be y(-11). Suppose 7 - 5 = n*k. Are k and -1/17 equal?
False
Suppose -44 + 8 = 3*u. Suppose -5*w - 125 + 45 = -5*n, -4 = n - 5*w. Let h = u + n. Is h != 9?
False
Let p be -4*-22*9/(-810). Is -2 at least p?
False
Let s = -44 - -81. Let m = -42 + s. Is m < -5?
False
Suppose -526 = -2*x - 2*t, -3*x - 7*t + 799 = -2*t. Let h = -11/10862 + 30761305/119482. Let u = x - h. Which is bigger: 2 or u?
2
Let u be ((-1606)/(-63) + -4)*6/(-8). Let r = -95/6 - u. Is r at least 0?
True
Let m = 2036/21 + -290/3. Let r = -0.6 - 0. Let o = r + 0.63. Is m greater than o?
True
Let f = 148/7 - 2348/119. Let c(a) = -14*a - 54. Let x be c(-4). Is x at least as big as f?
True
Let o(t) = t**3 - t**2 - 3*t + 9. Let d be o(3). Suppose 2*c = 5*w - 5 - 14, -4*w + d = -3*c. Suppose 6*a + 6 = 4*a. Is c at least as big as a?
True
Let a(z) = 2*z**2 - z + 11. Let m be a(7). Which is greater: 103 or m?
103
Suppose 6 = 2*u - 3*t, 4*t - 16 = -0*t. Suppose 0*q = u*q + 36. Let n(f) = -f**2 + 4. Let l be n(3). Is l > q?
False
Suppose -3*y + 2*x + 2 = 0, 3*x - 3 = 3*y - 0*x. Is 3 != y?
True
Let r be (-13551)/(-306) - 2/17. Which is smaller: r or 43?
43
Let s = 3266 - 3248. Which is bigger: s or -14?
s
Let x be (63 - 3)/(((-60)/25)/6). Which is bigger: -152 or x?
x
Let q = 157.8 + -145. Let h = -13 + q. Which is greater: h or -0.1?
-0.1
Let i = 18 - 20. Let j = -21 + 23.6. Let w = j + -3. Is i at least as big as w?
False
Let t be 2/((-2)/13 - 456/247). Let g(k) = 5*k**2 + k. Let o be g(-1). Let v be (-6)/(-4) + 2/o. Are v and t equal?
False
Suppose -q = -5*u + 217, -2*q - 3*u - 482 = -u. Let t = 5689/24 + q. Let n be (-3 + 1)*4/8. Which is greater: t or n?
t
Suppose 5*u = 10*n - 14*n + 136, 0 = -4*u + n + 113. Do 39 and u have different values?
True
Let j(a) = 3*a**3 - 9*a**2 + 2*a - 15. Let q be j(4). Which is smaller: 42 or q?
q
Let g = 206 - 237. Are -30 and g nonequal?
True
Suppose 4*v = -2*d + 2, -v + 3*v - 13 = -5*d. Are -1/75 and v equal?
False
Let g(a) = -a**3 + 7*a**2 - 15*a + 8. Let d be g(6). Let h = d + 47. Which is smaller: -0.17 or h?
-0.17
Let r(v) = 43*v + 9. Let l be r(-2). Let j = -27 - l. Is j at least 49?
True
Let s be (2/(-10))/((-324)/900). Which is smaller: 0 or s?
0
Suppose -3*y + 3 = -6. Let b be (-9675)/2415 + (y - -1). Let h = 178/2737 + b. Which is bigger: h or 1?
1
Suppose 2*d - 13*d = 154. Let f be (1 - d)/5 - 2. Let v(s) = s**2. Let n be v(0). Which is smaller: n or f?
n
Let p = 24 - 21. Suppose -p*r + 10 = 1. Suppose r = -2*j - j. Which is bigger: j or -10/13?
-10/13
Let o = -9 + 4. Let p be o/(-2) + 1/(-2). Let m be 18/8 + (-1)/p. Which is bigger: m or 2?
2
Suppose -4*c = -0*c - 12. Suppose -2*p + 12 = c*g + 2*g, p = -4*g + 12. Which is smaller: p or -5/2?
p
Let g be 1/(-3)*(-39 - 6). Let c = g + -13. Let s be 1 - 0 - (2 + -2). Are c and s nonequal?
True
Let t = 1561/74 - -52/37. Is t >= 24?
False
Suppose -2*f + 6 = -4*f. Let w be (5/140)/(3/(-15 + f)). Is w at most as big as 0?
True
Let m = 79507/203 - 2738/7. Which is smaller: 1 or m?
m
Suppose 0 = -5*b - 5, 3*f = -2*f + 3*b - 17. Let w be 2/f + (-20)/8. Let d = w - -9. Which is greater: 8 or d?
8
Let v = 227 - 248. Is