i
Suppose 11 = 3*g - 2*g. Let n = -8 + g. Suppose n*h = -h. Is -5/13 greater than or equal to h?
False
Suppose -3*x + 4*v = -20, 5 = -3*x + 7*x - v. Suppose m + d + 32 = x, 0 = m - 5*d + d + 22. Do -30 and m have the same value?
True
Suppose 11*b - 465 = 30. Let j = b - 32. Is j < 13?
False
Let f be 22 + -28 - 312/(-54). Which is greater: 43.4 or f?
43.4
Let y = -29 - -29. Suppose y = 5*r + 2*m - 0*m - 18, 0 = 3*r - 4*m - 16. Let a be 1 - -4 - (4 - 3). Is a > r?
False
Suppose -2*k - 3 = 9. Let q(m) = m**3 + 5*m**2 - 6*m + 3. Let a be q(k). Suppose -j = 5, a*s + s + 9 = -j. Which is smaller: -4 or s?
-4
Let s be (-92)/(-3) - 108/162. Which is bigger: 28 or s?
s
Let n(u) = 2*u**2 + 24*u - 22. Let i be n(-14). Is i at most as big as 310/9?
True
Let v = 32 + -21. Suppose 19 + v = 3*w. Which is smaller: 11 or w?
w
Let n = 5 - 16. Let g = -4 - n. Suppose o = 3*i - 10, 0*i = 2*o + 3*i - g. Which is greater: 1 or o?
1
Let v = -35 + 27.4. Which is greater: -0.1 or v?
-0.1
Let w(c) be the second derivative of c**4/6 - 4*c**3/3 - 5*c**2/2 + 12*c. Let y be w(6). Suppose 1 = y*q - 18*q. Which is smaller: 1/31 or q?
1/31
Suppose 0 = -3*r + r + 78. Let m be (-101)/33 + r/13. Is m equal to 0?
False
Let o = 1.22 + -1.32. Which is smaller: o or -2/113?
o
Let t(k) = -k**3 - 5*k**2 + 6*k + 1. Let a be (-3 - -3)/((-1)/(-1)). Suppose 3*o - 5*o - 12 = a. Let l be t(o). Which is smaller: 4/3 or l?
l
Let j be -2 - 0 - 39/(-3). Suppose -5*x - j = 14. Let r(k) = -4*k**2 + 10. Let y be r(-2). Is y less than or equal to x?
True
Let k be (-3)/(1 + -2*1). Let z(v) = 37. Let p(d) = -d + 1. Let c(w) = 4*p(w) - z(w). Let r be c(-9). Are r and k unequal?
False
Suppose 0 = 4*c + c - 20. Suppose -20 = 3*b - c*v, 5*b - 2*v + 10 = -0*v. Which is smaller: -2/51 or b?
-2/51
Suppose 5*k = 6*k + 1. Let l be (-2)/(-6)*(k - 2). Which is greater: l or 0?
0
Let i = -1 + 3. Let n = 1.2 - 1.23. Let z = 1.03 + n. Is i at least as big as z?
True
Let m = 255 - 254. Is -1/921 >= m?
False
Let i be (-2)/6 + 2/30. Suppose 2*v - 4*y = 3*v + 17, -5*y - 21 = v. Are v and i equal?
False
Let b(c) = 2*c**2 + 4*c + 3. Let g be b(-2). Let l be g + -1*9/3. Let p(i) = i**2 + 2*i + 7. Let x be p(l). Which is greater: 11/2 or x?
x
Let v = -33.9 - -4.9. Let n = -28.91 - v. Which is smaller: n or 1?
n
Let g = 537 + -536.07. Which is greater: g or -2?
g
Let q(i) = i**3 - 6*i**2 + 4*i - 1. Let t be q(5). Let o be t/(4/(-2)) + 9. Let b be (-2)/o*(-12)/(-6). Is b smaller than 0?
True
Suppose 1 = -h + 4. Suppose 4*f + 0*b - 4*b + 100 = 0, h*f + 4*b + 89 = 0. Which is bigger: -26 or f?
-26
Let z = 604 + -632. Is z less than or equal to 0?
True
Suppose y - 16 = -2*i, -5*i + 37 = y + y. Suppose y = 3*c - 2*c. Is 5 < c?
True
Let o = 9 + -8.98. Let z = 0.08 + o. Is z >= 1/2?
False
Let o(n) = 4*n**3 - 5*n**3 + 7*n**2 - 3 + 4. Let m be o(7). Let l = 95256/11 + -8660. Is l equal to m?
False
Suppose -4*c = -4*i + 4, -i = -2 + 1. Let k(a) be the third derivative of a**4/12 - 13*a**3/6 + 8*a**2. Let d be k(6). Which is smaller: d or c?
d
Let t = 63793/21 + -3037. Do -2 and t have the same value?
False
Let h(u) be the second derivative of -u**3/6 + 9*u**2/2 - 8*u. Let l be h(5). Let s = 6 + -3. Is s at most l?
True
Suppose -37*c = -257 - 113. Which is smaller: c or 0.02?
0.02
Suppose 33*c = 30*c + 309. Let y = -386340/7 - -55088. Let q = y + c. Do q and 0 have the same value?
False
Let n = 0.04 - 25.44. Which is smaller: n or -0.1?
n
Let x = -3 + 18. Let y be 5/x + 8/(-18). Suppose r = -3*r. Is y at most as big as r?
True
Let f be -2 - (-1 - (-1 - -5)). Suppose -2*o = f - 21. Let w be 2/o - (-10)/(-45). Are 10/7 and w non-equal?
True
Let b(u) = -u**2 - u + 3. Let p be b(-4). Let f = 1093 - 5506/5. Is p at least as big as f?
False
Let n(k) = k**3 - 7*k**2 + 16*k - 11. Let l be n(4). Which is smaller: 4 or l?
4
Let t = -155 + 341. Let n be (-4)/(-10) + t/(-15). Let j = n + 131/11. Which is bigger: 1 or j?
1
Let g be ((-4)/12)/((-1)/6). Suppose -2*q - 5*h = -6*q + 96, -3*h = g*q - 26. Which is greater: q or 17?
q
Suppose 6 = i + 2*i. Suppose -i*a + p = -4, -3*p - 12 = -4*a - 2*p. Suppose a*j = 3*j. Which is bigger: j or -2/7?
j
Let j be (-274)/(-22) + 1 + (-294)/42. Which is smaller: j or 6?
6
Suppose 4*k - 18 = -6. Suppose 0*m = -3*f - 3*m + 18, -5*f + 28 = k*m. Which is greater: f or 6?
6
Let g = -19.5 - -19.1. Is 0.7 at least g?
True
Let u be 20/9 + (-2)/9. Suppose -u*g = -1 + 7. Is -3 at least as big as g?
True
Suppose 33 + 198 = 33*x. Suppose -5*u + 22 = 3*o + o, -3*u + 9 = o. Suppose -q + 3*h + 18 = 3*q, -q = -u*h - x. Which is bigger: q or 1?
q
Let x = -1752 + 2494. Is 743 at most x?
False
Suppose u - 20 = -24. Suppose 0 = a - 1 - 2. Suppose -2*l - 9 = y, -4 = a*l + 5*y + 6. Is u != l?
True
Let q = -23/30 + 8/5. Let p = q - 1/3. Is 1 >= p?
True
Let j(d) = -d**3 + d**2 - d + 1. Let w be j(0). Let s be w*(-2 + 0 - 9). Is -11 at least as big as s?
True
Let u be 6/(-7 - -13)*-10. Which is greater: -12 or u?
u
Let d be (-8)/5 - (-3385)/(-25). Is d <= -139?
False
Let a be (82/6)/((-3)/9). Let i = 26 + a. Is i greater than or equal to -14?
False
Suppose -124*f + 288 = -112*f. Let a(q) = q - 2. Let v be a(0). Is f at most v?
False
Let p be (-231)/121 - 4/22 - -2. Let t = -450/13 + 15032/429. Let g = p + t. Is 0 at least g?
False
Let f = 11.48 + 0.92. Is f less than 2/7?
False
Suppose 4*x + 76 = 5*o, -2*o - x = -16 - 4. Suppose o = -n - n. Suppose 4*y = -3*p - 25, -3*y = 2*p - 6*y + 11. Is n smaller than p?
False
Let f = 8 - 6. Let k(g) = -123*g + 57*g + 65*g - 5. Let h be k(-8). Which is bigger: h or f?
h
Let p = -386/7 + 55. Which is bigger: p or 28?
28
Let p be 15/(-21) + (-120)/(-168). Does -3/130 = p?
False
Let m be -1*3/(-3)*1 + 2. Suppose c = -5*v - 78, -12 = c + m*c. Is -15 > v?
False
Let g be (18/24)/(10/8). Let s be (-28)/(-15)*(-10 - -2). Let x = 58/5 + s. Is g greater than x?
True
Suppose 3*g + 18 = -18. Let x be (g/(-18))/(4/(-42)). Let o be (-18)/x - (3 + -1). Is 0 not equal to o?
True
Let u be (-6)/(-10) + 2 + -2. Let f = 2339.4 + -2338. Is f > u?
True
Let h = -1052 - -1623. Which is smaller: -0.1 or h?
-0.1
Let y = 1814 + -8523/5. Let w = 110 - y. Is 0 not equal to w?
True
Suppose 0*d + 3 = d. Let j = 88 + -84. Which is smaller: d or j?
d
Suppose -5*f + 3*r + 8 = -5, -3*r = -3*f + 3. Suppose 23 + f = 4*n. Is 7 bigger than n?
False
Let f = -8 - -14. Let y = 3 + f. Let j = y + -14. Is j at least as big as 0.1?
False
Suppose -266*a + 270*a = 0. Which is greater: a or -31?
a
Let k be (-24)/((-10)/25*(-15)/(-21)). Which is greater: k or 333/4?
k
Let m = 50 - 59.2. Let x = -9 - m. Which is smaller: x or -0.18?
-0.18
Let a be 106/(-4)*(-3 - (-1 - 4)). Let f = -90 - a. Which is bigger: f or -38?
f
Let o(c) = -30*c**2 - 158*c + 20. Let u be o(-7). Is u at least -345?
True
Let c(p) = 3*p - 8. Let i be c(-7). Let u = -29 - i. Is u < 1/12?
True
Let j be ((-3)/324)/((-14)/28). Which is bigger: j or 1?
1
Let j(l) = l**3 + 6*l**2 - l - 6. Let p be j(-6). Let z be (1 - p) + (-20)/10. Let u be ((z - -1) + 3)/3. Is u > -1?
True
Let c(v) = 7*v - 133. Let m be c(19). Are m and 6/61 unequal?
True
Let r(h) = -h - 1. Let l(c) = -c**3 - 7*c**2 + 7*c + 13. Let j(n) = -l(n) - 6*r(n). Let q be j(-7). Is 2/63 != q?
True
Suppose 11863 = -52*m - 18193. Which is bigger: -579 or m?
m
Let t be (-216011)/(-38)*2/27*3. Let j = -1265 + t. Which is smaller: j or -3?
-3
Let m = -127 + 106. Which is bigger: -25 or m?
m
Let v = -366.01 - -368. Which is smaller: -1 or v?
-1
Let o be (58/(-4))/((-135)/270). Is -2 smaller than o?
True
Let o(a) = -a**2 + 30*a + 29. Let q be o(31). Is q less than -14?
False
Suppose w - 5*v = -w + 2665, 2*w + 5*v = 2675. Suppose 3*b - w = 3*u, 3*b - u + 0*u - 1341 = 0. Let n = 12994/29 - b. Which is smaller: n or 1?
n
Suppose -4*c - 14 = 3*u + 9, 0 = 4*u - 3*c + 64. Suppose 2 - 17 = -5*s. Let d = s - 16. Is u at least d?
True
Let k = -19 + 16. Let q = 12 + -12. Let v = -5 + q. Is v at most k?
True
Let k(n) = -7*n**2 - n - 13. Let j(m) = -20*m**2 - 2*m - 38. Let r(a) = -6*j(a) + 17*k(a). Let i be r(3). Is 1 >= i?
True
Let w = -19/2 + 9. Let i = 4 + 0. Suppose -2*z + 16 = -4*x, 1 = i*x + 4*z + 5. Is x bigger than w?
False
Let r = 506.9 - 571.91. Let n = -65 - r. Is -2/3 <= n?
True
Suppose -2*f + 0*f + 102 = 0. Let k = -52 + f.