 f(a). Which is greater: 0 or y?
0
Let v(g) = 25*g**3 - g**2 + 2*g. Let s be v(-2). Let m be s/735*(-1)/4. Let p = -10/49 + m. Which is smaller: p or 2?
p
Let z = -26 - -28. Suppose 0 = 5*u - 3*m - 1, z*u - 5*m = 8. Which is smaller: -2 or u?
-2
Let q = 0.6 + -0.3. Let c = q + 25.7. Let h = c + -25. Is 0 at most h?
True
Let q(x) = 12*x + 56. Let c be q(-5). Which is greater: c or 101?
101
Let f = 26 + -21. Suppose -2*i - 8 = -n + 6*n, -f*n - 5 = 5*i. Let g be (-1 + -1)*1/n. Is 0.3 at least as big as g?
False
Let m(v) = v**2 + 9*v + 23. Let x be m(-10). Let a be (12/27)/((-55)/x). Let q = -0.1 - -0.1. Does q = a?
False
Suppose 3*u - 4*p = -1, -4*u + 13 - 7 = 2*p. Are u and -6/145 unequal?
True
Let z = 0.24 - 0.34. Let f = -0.32 - -13.32. Let t = 12.92 - f. Which is smaller: z or t?
z
Let p be (13/10)/((-40)/(-1300)). Which is greater: p or 42?
p
Let c be (-1)/2 + (-522)/(-36). Let i be (-3)/2*(-16)/312*c. Are i and 2 nonequal?
True
Let s be ((-6)/2)/(3/2). Let a be 2/((-1343 - -4)*-1). Let w = a + -16082/9373. Which is smaller: s or w?
s
Let y = 47 + -28. Let f = y - 20. Which is smaller: f or 0.28?
f
Suppose 0 = -2*f + 8 - 4. Let q = 3/40 - -379/280. Which is smaller: f or q?
q
Let f = -1.3 - -7.3. Let p = 3 - f. Let v = p - -3. Are v and 1/5 unequal?
True
Let n be 420/(-94)*(-51 + 52). Which is smaller: n or -4?
n
Suppose -m + 6 + 17 = 0. Suppose -3*i + f - 13 = 0, 5*i + f + 4 + m = 0. Is -23/5 >= i?
True
Suppose 54*d - 59*d - 10 = 0, 4*d + 828 = 5*k. Is -2/5 > k?
False
Let x be (-49 + (1 - -1))/(12/(-12)). Suppose -x*r = -46*r - 8. Is r bigger than 8?
False
Let j = -9447/8 - -7357/8. Which is smaller: -262 or j?
-262
Let m be (1/1*0)/(-193 + 192). Which is bigger: m or 19/28?
19/28
Let z(f) = -f**2 - 6*f + 11. Let h be z(-7). Suppose 0 = h*i + i. Suppose -5*b + 6*b - 2 = i. Is b greater than or equal to -2/3?
True
Suppose -o = 4*l + 109, -3*o + 94 = -4*l - o. Let d = l + 36. Is d greater than or equal to -1?
True
Suppose -2*j + 3*v = v + 106, 4*v = j + 68. Let p = j + 47. Which is smaller: -3/23 or p?
p
Let h be (-1)/(12/(-8) + 2). Let m = 2 + h. Is m not equal to 0.2?
True
Let c(q) = q**2 + 21*q - 23. Let i be c(-23). Let x be (i/(-46))/((-1)/12). Is 13/2 less than or equal to x?
False
Let n = 1075.03 - 1080. Let r = 5 + n. Let j = 0.13 - r. Is -1/9 >= j?
False
Suppose 38*b + 65 = -163. Let y be 4/18 - 1496/252. Is b bigger than y?
False
Let y(o) = o**3 - 5*o - 7. Let t be y(3). Is t less than or equal to 66/13?
True
Let k(r) = -r**2 - 10*r - 13. Let p be (51 + -30)*((-1)/(-1))/(-3). Let q be k(p). Suppose -5*c + 28 = 4*i, -i + 1 = -c - 4*i. Is c <= q?
True
Let x(u) = -7*u**2 + 46*u - 69. Let r be x(5). Is -52 greater than or equal to r?
False
Suppose 5*p + 4*c = -264, -2*p - 2*p + 5*c - 203 = 0. Let s = p - -52. Let v = -3/169 + -37/7436. Which is smaller: s or v?
v
Let g = 9977/13 - 767. Let m(j) = -j**3 + 6*j**2 - 6*j + 4. Let n be m(5). Which is smaller: n or g?
n
Let l = -1822532/9 - -202939. Let d = -437 + l. Is -2 at most as big as d?
True
Let a be (-3)/(-18) + (-3)/18 + 0. Which is smaller: 18/19 or a?
a
Let l = 7.17 - 7.05. Which is smaller: 6 or l?
l
Let y(l) = -7*l - 25. Let s be y(-8). Suppose s - 27 = -o. Is -2 <= o?
False
Suppose -1 = s - 5, 0 = 4*u - 5*s. Let r be (136/60)/(6/u) - 3. Do r and 0 have the same value?
False
Let f = 0.033 + 0.067. Let d = -4 - -2.8. Which is bigger: f or d?
f
Let a be (-7 - -4) + (-5)/(-1). Let t be a + -1 - 4/(-4). Suppose -t*m = -4*m + 10. Are m and 6 equal?
False
Let o be 171/(-195) + 1*2/(-10). Let k = o + 124/91. Which is greater: k or 0?
k
Let v = 14199 + -99587/7. Do v and -28 have the same value?
False
Let a be -1*2/10*-4. Let i = -7.8 + 0.8. Let o = -6 - i. Which is smaller: a or o?
a
Let h(c) = 19*c**2 + 232*c + 232. Let q be h(-1). Which is bigger: q or 20?
20
Let n(q) = 76*q + 321. Let h be n(-5). Is -60 at least as big as h?
False
Let x(q) = q - 16. Let d be x(13). Let p = d + -2. Is p less than -8?
False
Let q = 1267/3 + -16531/39. Which is bigger: -1 or q?
-1
Let y be 1 + 19 - (2 + 0). Suppose l = 18 - y. Are l and 2 unequal?
True
Suppose 0 = -s - 51 + 1. Which is smaller: s or -49?
s
Let q = -3 + -3. Suppose -14*i + 12 = -10*i. Suppose -i*h = 5*x + 25, 19 = 3*h - 8*h + 3*x. Is q >= h?
False
Let s be (-8)/(-9) + (-2 - 8) + 14. Is 6 less than s?
False
Let z be 18/(-4)*4/6. Let t be -39*(z + (-10)/(-3)). Let r = -16 - t. Which is smaller: 0 or r?
r
Let c = -282/715 + 4/11. Suppose 4*r - 169 = 5*r - q, -4*r - 3*q - 697 = 0. Let p = -173 - r. Is p < c?
True
Let c(f) = f + 2. Let n be 6/14 - (1212/(-42))/(-2). Let s be c(n). Which is smaller: s or -6?
s
Let s(o) = -2*o. Suppose k = 6*k + 35. Let p = k - -6. Let i be s(p). Which is smaller: i or 1?
1
Let u = -316 + 316.3. Which is smaller: -4 or u?
-4
Let v = -200 - -101. Let k = v - -101. Which is bigger: k or 14?
14
Suppose -6 = -81*x + 75*x. Is -7/75 smaller than x?
True
Suppose -19 = u + 5*l, 0*u + 3*l - 30 = 4*u. Let g = 523 + -499.1. Let t = -24 + g. Is u not equal to t?
True
Let b be (-1 - -16)*(-6)/15 + 4. Let u be ((-324)/(-8))/(1/b). Is -81 at least as big as u?
True
Suppose 2*c + 3 = -3*j, 65*c - 69*c - 5*j - 7 = 0. Let l = 0.2 + -0.2. Let v = l - 0. Are v and c non-equal?
True
Let q = -4494 + 58350/13. Do -6 and q have the same value?
False
Let p(z) = -5*z + 60. Let x be p(14). Is x at most as big as -10?
True
Let a = 2.5 + -2.6. Let b = -136 - -75. Is a >= b?
True
Suppose 2*n = -0*n + 20. Let y be -25*(4/n + 0). Let o be (8/y)/(21/15). Is -1 not equal to o?
True
Let w(u) = -u - 34. Let t be w(32). Is t at most -66?
True
Let w(y) = y**2 + 10*y + 4. Let r be w(-5). Let m = 7 + r. Let f be ((-4)/(-14))/((-2)/m). Do 3 and f have the same value?
False
Let y = 0.95 + 0.05. Let u = y + -0.94. Let j = u - -0.94. Which is smaller: -7 or j?
-7
Let z be 2 + (-1 - (1 - -1)). Let c(o) = 2*o**2 + o. Let v be c(z). Let j = -294 - -3233/11. Which is greater: v or j?
v
Suppose 0 = 4*n + 133 - 13. Let o be -14 + 1 - (-5)/n. Let m = o + 13. Which is bigger: 1 or m?
1
Let q = 368.6 - 369. Let m = -1 + -0.4. Let h = q - m. Which is greater: h or -0.5?
h
Let c(b) = b**2 + 20*b + 19. Let z be c(-16). Let x = z + 39. Is -9 equal to x?
False
Suppose -2*k - 3*k + 5 = 0. Let b be (-4)/(k/(-26)*-4). Is b at least as big as -24?
False
Suppose 4*p - 4 = j + 7, -3*p - 5*j + 14 = 0. Is 8 less than p?
False
Let j be 4/(-8) + 85/206. Let u = j + 521/3605. Suppose 7*n + 9 = 2. Which is smaller: u or n?
n
Suppose -689 = 11*j + 521. Which is smaller: -0.2 or j?
j
Suppose 3*h + 60 = -3*f - 18, 6 = -f + 4*h. Let t be (-4 + 5)/((-2)/f). Do 11 and t have the same value?
True
Suppose -5*k - p = 26, 0 = -3*k + 4*p + 13 - 47. Let n(i) = i**2 + 6*i + 4. Let w be n(-7). Suppose 5*h + w + 9 = 0. Does k = h?
False
Let k = -4510/8643 + 36/67. Is k at most 1?
True
Let y(p) be the first derivative of p**3/3 - 3*p**2 - 8*p - 3. Let l be y(8). Let u = l + -14. Are u and -6 unequal?
False
Let l be (-6)/((-54)/321)*-3. Are -107 and l nonequal?
False
Let n be 10/(-25) + 390/(-25). Let p = n - -24. Let c be (-6)/12 - (-5)/p. Which is bigger: c or 0?
c
Let u = -132 - -133. Let a be (-2)/48*10*1/5. Which is smaller: a or u?
a
Let r = 77 - 127. Let q = r + 55. Is q equal to 0.04?
False
Let l = 4547/3 - 1468. Let g = l - 48. Is -40 greater than or equal to g?
False
Let k = 0.28 + -0.17. Let f = -0.01 + k. Is 0.37 != f?
True
Let t(y) = -2*y**3 + 39*y**2 + 19*y + 16. Let r be t(20). Let b = -1393/3 + 460. Is b <= r?
True
Let n be (2 - 1)*1*3. Suppose 9 = -n*r, 2*o + 4*r = -0*r - 2. Let l be 2*(3 + o/(-2)). Are 7/3 and l nonequal?
True
Suppose 1229*l - 1207*l - 88 = 0. Suppose 5*t - 23 - 52 = -5*b, -57 = -5*t + 4*b. Which is bigger: t or l?
t
Suppose 12*z + 224 = -4*z. Which is greater: z or -13?
-13
Let b = -48.08 + 47. Let v = -27 + 26.92. Let u = b - v. Are u and 3 equal?
False
Let m = -19 - -24. Suppose -m*q - 40 = -5*t - 3*q, t + 5*q = -19. Is 8 >= t?
True
Let d be ((-5)/15)/(2/(-30)). Let t be 1 + ((-198)/d)/3. Let i = t - -437/35. Which is smaller: i or 1?
i
Let z be (520/(-14))/(6/(-91)) + 1. Let l = -14109/25 + z. Suppose -k - 2*i - 9 = -4*k, -3*k + i + 6 = 0. Which is bigger: k or l?
k
Suppose -5*z + 108 = -4*m, -2*z - 5*m = -44 + 14. Let p(s) = s**2 + 2*s - 28. Let c be p