hich is smaller: 0 or c?
0
Let v(l) = l + 1. Let i be v(7). Suppose -r + 4 = 3*f, -3*r - 7 = -2*f - i*r. Let g be f - -22*4/(-56). Does 0 = g?
False
Let q = -162.5 - -121. Let s = q - -39. Is -1/4 at most as big as s?
False
Let a(i) = -i**2 + 8*i - 2. Suppose -5*l - 100 = -0*l. Let s = l + 29. Let k be a(s). Which is greater: k or -12?
k
Let o = -1037.08 + 557.17. Let n = o - -478. Let h = -0.09 + n. Is h equal to 1/5?
False
Let q = -174880/11 + 15944. Let u = q + -576/11. Let o = u - -71/11. Are o and 1 equal?
False
Let v be 1/(3/6 + (-2)/(-4)). Let w be (-4)/22 + (-3070)/55 + v. Do -55 and w have the same value?
True
Let x = -1317.1 + 1317.3. Let n = 0.3 + -1.3. Is x at most n?
False
Let y = -26.5 + 27. Let a be 4/(-18) - (-252)/405. Let k = 11/15 - a. Which is smaller: y or k?
k
Suppose 6*q - 4*q + 4*r + 12 = 0, 3*r = 2*q - 2. Suppose -2*p - 2*p = 0. Suppose d = -p - 3. Is d > q?
False
Suppose 0 = x - 3*c - 2*c + 15, 0 = -c + 4. Suppose 2 = x*n - 3. Which is bigger: n or -3/8?
n
Let f be (-16)/(-2)*(-2)/(-4). Suppose 51 = 8*b - 13. Suppose -4*y + 32 = -2*g, -f*y = -2*y - b. Which is bigger: -9 or g?
g
Suppose 2*k - 6*k - 28 = 0. Let b = k - -4. Suppose v + 6 = 3*v. Which is bigger: v or b?
v
Let n = 1/78 + 271/156. Let z be (-2)/(-5)*(13 + -3). Let x = 6 - z. Which is greater: n or x?
x
Suppose -a - 2*k + 27 = -7*k, 3*a - 31 = 5*k. Let w be (-39)/7 - (-9)/105*-5. Let s = a - w. Which is bigger: 7 or s?
s
Suppose 0 = 972*k - 982*k - 2990. Which is smaller: k or -3?
k
Let v = 3677/7 + -525. Which is smaller: 41 or v?
v
Let d(v) = -v**3 - 3*v**2 - 3*v - 3. Let o be d(-3). Let k be (o/(-2))/(-3)*3. Let h = -4 - -3. Do k and h have the same value?
False
Let o = 28669/94 + -305. Let z = 3/151505 - 28938301/42724410. Let i = z - o. Which is bigger: -2 or i?
i
Let n be 21/(2 - (1 + 0)). Let x be 4/(-14)*n/(-15). Suppose 0 = -v - 4*y - 11, -14 - 5 = -4*v + 5*y. Is x > v?
False
Let p be 2/6*((-524)/70 + 8). Which is bigger: p or 1/3?
1/3
Suppose 0 = -4*i - 4*q - 0*q + 28, -2*i - 5*q + 17 = 0. Suppose -4*b + 4*c + 13 = c, 2*c + i = 0. Which is smaller: b or -4/11?
-4/11
Let s = 2237 + -1568139/701. Which is bigger: s or 1?
1
Suppose -24 = 5*v + 111. Let h = -22 - v. Is h at least as big as 5?
True
Let t = -5.73 + 0.13. Let l = -2 - t. Let n = l - 0.6. Is -1 > n?
False
Let z = -1377 + 1377.2. Let b be 4/(-10) + (-22)/70. Which is smaller: z or b?
b
Suppose -2*p + 6 = p. Suppose 15 - p = d. Let q = 12 - d. Do q and -11/5 have different values?
True
Let f = 40 + -85. Let j = -19 - f. Let l = 26.9 - j. Which is bigger: l or -1/4?
l
Let j = -18 - -16. Let n = -14 - -10. Let b = -7 - n. Which is greater: b or j?
j
Let t(s) be the first derivative of -s**2/2 + 8*s + 8. Let q be t(9). Which is smaller: q or 1/19?
q
Let k = -27 + 84. Let v = k + -60. Let p = 0.98 + -1. Which is greater: v or p?
p
Suppose -5*x + 55 = 5*d, -2*x = -5*x - 4*d + 38. Suppose -3 = -x*h + 3. Let k be 16/(-18)*(-4)/48. Is h != k?
True
Suppose 384 = 4*d + 668. Which is bigger: -73 or d?
d
Suppose -5*h - 5 - 10 = 0. Let p be (-97)/66 - ((-6)/h)/12. Is -3 != p?
True
Let w(u) = -u**2 - 5*u - 3. Let z be w(-4). Let r = -10.55 - -1.15. Let a = r + 10. Is z < a?
False
Let r = 20.41 + 6.49. Let x = r - 27. Is 70 at least as big as x?
True
Let s(b) = 3*b**2 + b + 11. Let r be s(3). Is r at least 39?
True
Let c be 2 + ((-8)/(-28)*7)/(-2). Let p(l) = l**3 - 7*l**2 + 6*l. Let t be p(6). Is c greater than or equal to t?
True
Let f(p) = p + 8. Let x be f(-2). Let t be ((-26)/351)/((-8)/x). Suppose -n + 6*n = 0. Are n and t equal?
False
Let f(g) = -15*g - 7 + 10*g + 6*g. Let r be f(10). Suppose 0 = 5*q - 2*b - r*b, 2 = 4*q - 5*b. Which is bigger: q or -3/5?
-3/5
Let u = -58 + -6. Which is greater: -129/2 or u?
u
Let y be 0/(-2) + (0 - -3). Suppose -14 = v - y*v. Let h = v - 7. Is 3/7 smaller than h?
False
Let y = 89125/14 + -6363. Which is bigger: 4 or y?
4
Suppose 3*w = 10*w. Suppose -5*m = -w*m - 10. Which is smaller: m or -10/7?
-10/7
Let u be 204 + (-1 - (-24)/15)*-5. Which is greater: u or 200?
u
Let b = 2/213 + 23/5112. Let g be 1/(-3)*(-47 - -44). Is b at most as big as g?
True
Let h = 1 - -2.7. Let z = 3 - h. Let r = 0.3 + -0.4. Which is greater: r or z?
r
Suppose v - 5 = -3*g, 5*g - 3*v + 6 = 33. Let t be (3 - 5) + g - -20. Let h = t - 11. Is 9 > h?
False
Suppose 73 = 4*o - 5*l, -31 = -3*o - l - 0*l. Let c = o + -28. Do c and -16 have different values?
False
Suppose 15*k - 11*k - 384 = 0. Which is smaller: k or 98?
k
Let i(b) be the first derivative of -b**3/3 - 5*b**2 - 8*b - 2. Let z(f) = f - 19. Let c be z(10). Let o be i(c). Is o bigger than -1/3?
True
Let z = 1 - 2. Let j be 18*(-12)/36 - 27/(-5). Is z at most as big as j?
True
Let x = 1 - -1. Let n = x - 2. Let d = -6789/35 + 972/5. Is n greater than or equal to d?
False
Let n(x) = x**3 + 14*x**2 + 8. Let d be (42/(-9))/2*6. Let m be n(d). Suppose 2*v = 20 + m. Which is bigger: v or 15?
15
Suppose -3*h + 6 + 3 = 0. Suppose -5*r + 2*b + 210 = -h*b, -2*b = 4. Is 0 greater than r?
False
Suppose -3*g = v - 19, 1 + 3 = 4*v. Let f(x) = x**3 - x**2 + x - 1. Let i be f(2). Suppose -i*z = z + g. Which is smaller: z or 1/16?
z
Let i = -79 + 24. Let c = -56 - i. Are -0.25 and c equal?
False
Let z = -9 - -14. Suppose 4*b + k - 2 = -0*b, -5*b - z = 5*k. Is b > 2/111?
True
Let u = -231 - -251. Suppose 0 = -5*w - 2*o + 120, -4*o = 3*w - o - 81. Is w less than u?
False
Let t(g) = -83*g + 493. Let l be t(6). Which is smaller: -86/23 or l?
l
Suppose 56 = -5*p + 21. Let l = 653 - 659. Is l smaller than p?
False
Let l = -43595 - -43599. Let y = 25 + -17. Is l >= y?
False
Let f(c) = 4*c. Let l be f(-4). Let z(v) = -v**2 + 3*v + 53. Let g be z(10). Is g at most as big as l?
True
Let o = -125802/689 + 2380/13. Which is bigger: 1 or o?
1
Let w = 738.03 + -741. Are w and -0.1 equal?
False
Let l = -0.46 + 0.468. Let f = 0.022 + l. Which is smaller: f or 0.1?
f
Let d be (-1178)/(-10) + (11 - 12). Let p = 48462/415 - d. Which is smaller: -1 or p?
-1
Suppose 4*a + 148 = -y + 4, 5*y - 180 = 5*a. Which is greater: a or -38?
a
Let b(a) = a**3 - a**2. Let s be b(0). Let m = -4067/13 + 313. Which is bigger: m or s?
m
Suppose 2*u - 4*j - 24 = -j, 2*j = 2*u - 22. Let m be (4 - 1 - -30)/(1 - -2). Is u > m?
False
Let j be (4/2)/(-2) + 3. Let q be ((-172)/(-32))/(j/(-22)). Let d = 59 + q. Which is bigger: d or 1?
1
Suppose 25*s = 24 + 526. Are s and 22 equal?
True
Let p(v) = 111*v + 716. Let b be p(-7). Is -63 not equal to b?
True
Let q = 238 - 238.1. Which is greater: -14/5 or q?
q
Let m = 0.68 - 0.23. Let y = m + 0.15. Is y > 1?
False
Let m be 2 - ((-51)/1 - -1). Suppose 4*o + m = 4. Let v(r) = -r - 1. Let i be v(10). Are i and o unequal?
True
Suppose -4*t - 5 - 31 = 0. Suppose 0 = -4*j + 3*q - 16 - 10, 0 = -3*j + q - 17. Let x be j/(-3) - t/(-3). Which is bigger: x or -1?
-1
Let s = 31 - 19. Let g = s + -10. Let m = 1 - g. Is m at most 2/11?
True
Let n be (-2)/2664*(26 + -29). Which is bigger: n or 1?
1
Let i(g) = g**3 + 9*g**2 + 4. Suppose -80 = 5*u - 35. Let j be i(u). Let d be j/(-6) + (-8)/(-21). Which is smaller: d or 1?
d
Let w be (-2)/(-2) + 1 + 7. Let n = 0 + w. Is 43/5 < n?
True
Let z be -1 - 1 - (-2 + 0). Let l be (-74)/10434*(-2 - -1). Which is smaller: l or z?
z
Suppose 13 = -2*h + 9. Let m = 3 - h. Are 3 and m nonequal?
True
Let u = 134531/148 - 909. Which is smaller: 4 or u?
u
Let z = -33 + 32.36. Let v = -0.9 - z. Let u = 1.76 + v. Which is bigger: u or 1?
u
Let d(w) = -w**2 + 1. Let m(b) = 4*b**2 + 2*b - 7. Let r(y) = 3*d(y) + m(y). Let q(k) be the first derivative of r(k). Let i be q(2). Which is bigger: i or 7?
7
Let k = -50 + 51. Let p(f) = 2*f + 2. Let m be p(k). Which is smaller: m or -1?
-1
Let d(g) = -3*g - 6. Let h be d(-2). Let n(s) = s**3 - s**2 + s - 42. Let l be n(h). Let m be 11/l + 9/21. Is 1 greater than m?
True
Let u(l) = -474*l**3 - 2*l**2 + 3. Let i be u(1). Let a = i - -1402/3. Which is smaller: 1 or a?
a
Let q = -21 - -20.72. Let j = q + 2.28. Which is greater: j or -6?
j
Let z(q) = 2*q**2 + 17*q - 148. Let s be z(6). Let h(i) = 5*i**2 - 4*i - 3. Let r be h(-2). Does s = r?
False
Let j = 131 + -32. Let p = 93 - j. Let m = 0 - 0. Which is smaller: p or m?
p
Let c = -1625 + 1604. Is 12 greater than or equal to c?
True
Let i = 1 + -0