3*y, -k + 2 = 2*y + 13. Which is bigger: 13/74 or k?
13/74
Let c = 719 - 718. Is 109 less than or equal to c?
False
Let n = -81 + 87. Let m be 6*((-10)/(-3) + -2). Which is smaller: m or n?
n
Suppose 3*g - 5 - 1 = 0. Suppose 5*u - g*u - 6 = 0. Let a be u/(-18) + 8/36. Which is smaller: a or 1?
a
Let f be -3 - (2 + 1 + -10). Suppose -f*c - 40 = 40. Let o = 0.73 - 0.73. Is c bigger than o?
False
Let k = -2/723 + 277/13014. Is 2 at least as big as k?
True
Let q(v) = -3*v**2 - 28*v - 10. Let c be q(-9). Is c greater than -3/113?
False
Suppose 4*o - 134*o + 179 = 49*o. Suppose -3*a - 2*w - 8 = -8*a, a + 1 = 3*w. Let u be a*(-2 + (-21)/(-10)). Are u and o unequal?
True
Suppose 0 = 7*v + 75 + 2. Let j = 9 + v. Which is greater: j or -1/5?
-1/5
Suppose f + 4 = d - 0*d, 2*f + 9 = d. Let a be 11 - 2 - 15/f. Suppose -4*u - 8 = a. Is -5 greater than u?
False
Suppose 0 = -5*z - 49 - 46. Let s = z + 20. Is 1 at least as big as s?
True
Let o(v) = 3*v**3 + v. Let y be o(1). Let c be (6/(-10))/(y/(-20)). Let q be 2 + (-32)/24 + 2/(-21). Is c at least as big as q?
True
Let p(w) = w**2 + 9*w + 2. Let l be p(-11). Suppose -2*n = -s - 8, 0 = -4*s + 5*n - l - 2. Is s at least as big as -8/3?
False
Let i = 93 - 540. Do i and -447 have the same value?
True
Suppose -4*b - 3*p + 12 = 0, 2*b + 2*p + 1 = 7. Suppose -12 = -h - 3*x, b*h = -5*x + 19 + 13. Let w be 5/(-15)*3*-10. Which is smaller: h or w?
h
Let a be (-224)/21*(-230)/(-280). Which is smaller: -9 or a?
-9
Suppose 4*z = -5*p - 17, 0 = 3*z + 4*p + 5 + 8. Let r be (-40)/(-6) - (-1 + 2/3). Suppose 13 = -r*a - 15. Which is smaller: z or a?
a
Suppose -9*l + 273 = 3. Which is bigger: 28 or l?
l
Suppose -2*y = 2*w + 10, 4*w - 10 = 3*y - y. Suppose -2*z = 3*q, z = 4*q - 409 + 431. Which is smaller: q or y?
y
Suppose -879 - 501 = -3*k - 4*y, 3*k - 3*y - 1401 = 0. Does 464 = k?
True
Let v = -0.12 + -7.88. Let r = 11 + v. Let g = 2.8 - r. Which is bigger: 1 or g?
1
Suppose 8 = -r + 17. Suppose -3*y - 6 = r. Let p be 14 - y/((-10)/(-8)). Which is bigger: p or 17?
p
Suppose -4*f = -f + 6. Let x be -2*(f + 17/8). Is x smaller than -14?
False
Let b(y) = -10*y**3 + y. Let h be b(1). Let p be (-2 - 0)*1/h. Suppose 16*l = -13*l - 17*l. Which is smaller: p or l?
l
Let r = -1.047 + -0.033. Let c = 17.08 + -17. Let k = r + c. Is -1/7 smaller than k?
False
Let h be 2*(-2)/4 + 0. Is h <= 4?
True
Let c = 7811/42 + -186. Let m(j) = j**2 + 4*j - 6. Let q be m(-5). Which is bigger: q or c?
c
Let k = 154.9 + -141. Let z = k + -3.9. Which is smaller: z or 0.3?
0.3
Let c(b) = 8*b**2 + 3*b - 31. Let i be c(10). Suppose 7*z - 169 = -i. Is -90 >= z?
True
Let t(r) = r**2 - 7*r + 2. Suppose 7*f - 16 - 33 = 0. Let p be t(f). Which is greater: p or 0?
p
Let n = 64 + -63. Which is greater: n or -179?
n
Let f = 55174838/435 + -634234/5. Let o = -127549/14268 - f. Let v = o + 4/41. Which is bigger: -1 or v?
v
Suppose 8239 = -23*t + 12*t. Is t < -749?
False
Suppose 46 = 2*i + 3*t, -2*i - 3*t = t - 48. Suppose i*r = 30*r - 810. Which is greater: 82 or r?
82
Let h = 39 + -37. Let l be (h/425)/(3/15). Is 1 at least l?
True
Let y = -1034 - -989.9. Let d = 44 + y. Is d at most 1/6?
True
Let m = 8810381/6430 - -1/1286. Let l = -1366 + m. Is 5 at most as big as l?
False
Let k = -116819/132 + 885. Suppose 8*b = 4*b - 4. Is k equal to b?
False
Let k(d) = d - 17. Suppose 2*x - 5*x + 4*y = -20, y + 39 = 5*x. Let h be k(x). Suppose 5*n = -b + 2, -6*b + 2*b - n - 30 = 0. Is h bigger than b?
False
Let b(v) = -v**3 - v**2 + 2*v - 1. Let z be b(-2). Which is smaller: z or 2/17?
z
Let z(x) = -x**3 - 5*x**2 - x - 4. Suppose y + 1 = -0*y. Let q(n) = 4*n**3 + n. Let i be q(y). Let h be z(i). Is h <= 1?
True
Let y be (-172)/33 + 1 + (-220)/(-330). Is y greater than or equal to -3?
False
Let r = 363 + -289. Which is smaller: r or 71?
71
Suppose 0 = -2*s + k + 9, 19 = 4*s - k - 0. Let r(u) = -9*u - 10. Let v be r(-5). Let z be 3*(4/10 - (-21)/v). Which is bigger: s or z?
s
Let h(z) = 10*z**2 + 6*z - 5. Let u be h(-6). Which is smaller: 320 or u?
u
Let m = -127 - -180. Let h = 1069 + -1016. Is h > m?
False
Let j = 70.8 + -71. Let x = 123 - 92. Is j at most as big as x?
True
Suppose 0 = -28*m + 30*m - 4. Let n be (m + (-15)/6)/(25/(-10)). Which is smaller: n or 0?
0
Let y be 4 - (-1)/2*-6. Let t = -29629/7 - -4203. Let b = t - -30. Which is bigger: b or y?
y
Let m = 241 + -989/4. Suppose -r = 2*r - 5*t + 18, -3*t - 24 = 4*r. Which is smaller: m or r?
m
Let w = -0.561 - -2.841. Is 0.2 <= w?
True
Let s = 1.03 - -1.18. Let q = s - 2.2. Which is bigger: -4 or q?
q
Let h = 35 - 35.58. Let f = h - -0.38. Is -0.1 less than f?
False
Let c = -255/4 + 64. Which is smaller: c or 0.316?
c
Let g be (263/5)/(40/(-50)). Which is greater: g or -65?
-65
Let g be (-1)/2*(-35)/((-1365)/(-26)). Is g less than or equal to 288?
True
Suppose -g + 43 = -35. Let c be 10/(-12) - 13/g. Which is greater: c or 1/54?
1/54
Let g be -1 + (-3)/(-1) + -39. Let k = -34 - g. Suppose 0 = -r - 0*b - b - 6, 13 = -k*r - 2*b. Which is smaller: 6/19 or r?
r
Let t(n) = 2*n**2 - n + 18. Let x be t(-21). Which is smaller: x or 920?
920
Let o be 36/78*94/4. Let t = -11 + o. Which is smaller: t or 0?
t
Let b = -741 - -717. Do b and -0.05 have different values?
True
Let k be 0 - (-4)/(-3)*312/(-16). Let h be 10/(4 - -1) - k/(-1). Is 28 >= h?
True
Let o(p) = -2*p**2 - 19*p - 53. Let u be o(-5). Suppose 5*c - 7 - 3 = 0. Let s be (c - (1 + 11)) + 1. Which is greater: s or u?
u
Let p = 1.66 - 1.76. Is -2/133 at most as big as p?
False
Let c = 9 + -8. Let v be 5/1 + -3 + -1. Let n = v + c. Which is bigger: n or 3?
3
Suppose 7*w - 27 - 127 = 0. Which is greater: w or 27?
27
Let d be 2*(6030/(-4))/9. Are -334 and d equal?
False
Let n(c) = -11*c + 8 - 27*c**3 - 19 + 9*c**2 + 26*c**3. Let l(a) = a**3 - 9*a**2 + 12*a + 11. Let j(x) = 5*l(x) + 6*n(x). Let s be j(8). Are 4 and s non-equal?
True
Let g = -1081 + 927. Is g >= -154?
True
Let o(l) = -l**2 + 10*l + 23. Let m be 5/(-15) + 34/3. Let z be o(m). Let y be (-1*z)/(-4) - 1. Is y at least as big as 2?
True
Let g = -2 - -2. Suppose g*p + 13 = -p. Let s = p - -12. Are 1/3 and s non-equal?
True
Suppose 0 = 4*x - 2*h - 212, -10*x + 3*h = -11*x + 46. Does 425/8 = x?
False
Let n = -2 + -2. Let r = n - -6. Suppose -4 = p - r. Which is smaller: -5 or p?
-5
Let p = 0.15 - 2.15. Let d = -0.5 - -0.5. Let t = p + d. Which is greater: t or -2/9?
-2/9
Suppose 5928 = -239*a + 258*a. Is 1865/6 at most a?
True
Let t = 1647/14 - 229/2. Let q = -128/63 + t. Is 1 not equal to q?
True
Let h(c) = -c**3 + 3*c**2 + 5*c + 2. Let p be h(4). Let q(v) = -v - 2. Let j be q(-6). Is j > p?
False
Let x = -442 - -418. Is x > -23?
False
Let b = 0 - -1. Let u(l) = -l**2 - 5*l + 2. Let i be u(-5). Suppose -3*s = i*s. Are s and b nonequal?
True
Let o be (-11)/52 + (-16)/(-104). Which is smaller: o or 1?
o
Let z(l) = l**2 + l - 9. Let t be z(0). Let s be ((-3)/t)/(3/(-6)). Is 2/61 at most s?
False
Let c = 25 - 27. Let p be c + 8/3 + 5/15. Do -9 and p have the same value?
False
Let q = -274355/16401 - -184/11. Which is smaller: 1 or q?
q
Let s = 149 - 134. Does s = 9?
False
Suppose o + q - 13 = -5, 4*q = 5*o - 67. Is o bigger than 12?
False
Let z be (561/(-54)*1)/(6/(-328)). Let s = z + -568. Which is smaller: s or 1?
s
Let f = 233 - 230. Which is greater: -0.04 or f?
f
Let g = 6.3 - -13.7. Let f = 7 + g. Which is smaller: f or -2/5?
-2/5
Let l = -205 + 202. Which is smaller: 63 or l?
l
Let u be 914/26 + 24/(-156). Let f = u + -29. Is f at most as big as 11?
True
Let m be (-336)/80 - 2/(-10). Let o be (39/(-27) - -1)*(m - -1). Let t(a) = a**3 + 5*a**2 + 3*a - 4. Let i be t(-4). Is o greater than i?
True
Suppose -3*o = -6, z - 20 = -4*o - 11. Which is greater: z or -36?
z
Suppose 3*f - 108 = -30. Let s = f - 27. Is s bigger than -1/11?
False
Suppose -4*g + 5*p - 5 = 0, -p + 1 = -g - 0. Suppose -7*o + 37 = 2*m - 2*o, -m + o + 8 = g. Let t = m - 10. Which is greater: 1/10 or t?
t
Let i = -513334/35 - -14669. Is 1 at most as big as i?
True
Suppose 2*q - 10 = 5*m + 29, -3*q + 3*m + 36 = 0. Suppose -4 + 11 = -q*o. Which is smaller: 2/69 or o?
o
Let t(y) = -11*y - 2. Let r be t(-3). Suppose 0 = -0*h - 3*h - 2*a + 24, 3*a = -4*h + r. Let q be 11/(-14) + h/35. Is 0 greater than or equal to q?
True
Let l = -50 - 25. Let w be