r?
True
Let j be (7380/(-13325))/((-2)/10). Let b = -1 + 4. Suppose 2*l + 2 + 16 = 4*k, 0 = -4*k - l + b. Which is smaller: j or k?
k
Let n be 555/21 + (-7 - 230/(-35)). Suppose 19*o - 1995 = n*o. Is -285 at least as big as o?
True
Let s = 9214 - 18429/2. Which is bigger: 605 or s?
605
Let j be 662/4*(-1)/(-6). Let b = j + -76/3. Let o be (-2 - -2) + 2/1. Which is smaller: b or o?
o
Suppose -2*p = 10*k - 6*k - 12, -3*k = -3*p + 9. Is 20/121 >= k?
False
Let q = 5887 - 5920. Which is smaller: q or -29?
q
Suppose 60*i = -105*i + 36*i + 645. Let j(z) = 2*z**2 - 3*z + 2. Suppose 2*c - 13 = -3*c + o, 0 = -4*o - 12. Let k be j(c). Is k less than i?
True
Suppose -5*d = -8*f + 10*f + 42, 0 = -d + f. Which is bigger: -321/68 or d?
-321/68
Let c(q) = -12*q - 20. Let j be c(6). Let r be (-23)/j + (-11)/(-52). Let m = -1 - -1. Is m greater than or equal to r?
False
Let p be (84/15)/((-4)/(-10)). Suppose 0 = p*f - 15*f + 8. Suppose 12*g = f*g + 16. Which is greater: g or 7?
7
Let m = 3.42 - -47.38. Let p = m - 47. Let j = p + -3.9. Is j at most as big as 7/4?
True
Let a be 1739/((345/(-75))/(-23)). Is a less than 8694?
False
Let a(p) = 11*p + 12. Let f(t) = -t**2 - 16*t + 3. Let g be f(-16). Let c be a(g). Do 45 and c have the same value?
True
Let k = -289706302371772393/90526701429164 - 29207952/370640431. Let j = 195220/61 + k. Let t = j - -1/572. Is t greater than 1?
False
Let d = 1506 + -1138. Let o = d - 1103/3. Suppose -4*k = 2*m - 4*m + 22, 5*k = -3*m + 22. Is o at least as big as m?
False
Let a be (34/(-3))/((-40)/(-180)). Let f(z) = -5*z + 5. Let b be f(-6). Let s = a + b. Which is bigger: -14 or s?
-14
Suppose -19 = -s - 5*f, 5*f - 15 = -4*s + 16. Suppose s*h - 80 = -h. Let g be h/12*(-76)/(-16). Which is greater: g or 7?
7
Suppose y + l - 224 = 0, 0 = 2*y - 5*l - 91 - 357. Suppose 5*z = z + y. Let r = 56 - z. Which is bigger: r or -10/9?
r
Let v(r) = -r**3 + 5*r**2 + r + 14. Let h be v(6). Let n be h/(-234) + (-7)/((-315)/(-10)). Which is greater: 2.1 or n?
2.1
Let k(m) = -22*m**2 + 873*m + 285. Let i be k(40). Let s(q) = 4*q - 1. Let o be s(-6). Is o greater than or equal to i?
False
Let f be 0 + 1 - -2 - -476 - -4. Suppose 5*i = 5*x + 480, i - f = -4*i + 4*x. Let u = i - 118. Which is smaller: -3 or u?
u
Let n = 17.9 - 17. Let y = -6047 + 6046.9. Which is bigger: n or y?
n
Suppose 0 = 4*l - 2*d - 110, -3*l + 3*d + 31 + 50 = 0. Suppose -4*g = -2*i + 8, i + 3*i = 4*g + l. Suppose -19*u - 15 = -4*u. Which is smaller: i or u?
u
Let d = -167617/25300 + -15/1012. Is d bigger than -8?
True
Suppose 4*j - 6 = 4*k + 34, -3*j = 5*k + 34. Let u be (-2)/(-6 + 8) + -2. Let g be 3 + u + (-1)/((-1)/(-9)). Are g and k equal?
False
Let a(j) = -17*j - 2. Let r be a(-1). Let n = 15 - r. Let q be n*(2/(-3) + 5/(-15)). Which is greater: 1/15 or q?
1/15
Let c = 4018 + -4246. Is -683/3 equal to c?
False
Suppose -n + 513 = -4*j, -3*j - 51*n + 47*n - 399 = 0. Which is smaller: j or -140?
-140
Suppose 90*h - 12 = 87*h. Suppose -h = 5*p + 106. Which is smaller: p or -45/2?
-45/2
Let u(v) = v**3 + 111*v**2 - 32827*v + 734. Let q be u(-245). Let p = 17932 + -15457381/862. Is q smaller than p?
True
Suppose -b - 39 - 29 = -4*h, -193 = 5*b + h. Let g(f) = -f**2 + 8*f + 10. Let n be g(9). Let z = -42 + n. Is z < b?
True
Let l(b) be the first derivative of b**2/2 - 8*b - 87. Let n be l(10). Let w = -87 + 1143/13. Which is greater: n or w?
n
Let z be 8/(-10)*1320/348 - -3. Let x = 28.45 + -28. Let r = x + -0.55. Is z equal to r?
False
Let d be (-16 + 102/6)/(2 - (-1 + 2)). Is -0.792 bigger than d?
False
Suppose -5 + 1 = -g. Suppose 0 = -9*z + g*z. Let l be 44/(-52) + (-1 - -2). Which is greater: l or z?
l
Let r be (3 - 22)/(1/(-1)). Suppose 47 + 241 = 4*z. Suppose -z = -6*w + 2*w. Which is greater: r or w?
r
Let k be 1 + (-11 - -3) + 14. Let j be (-17)/k - (-44)/(-88). Is -2 equal to j?
False
Suppose 23*w - 5635 + 3335 = 0. Which is greater: 1688/17 or w?
w
Let a = 104.41 - 4.41. Let b = a + -99.87. Is -2/11 less than or equal to b?
True
Let x = 791503/264 + -8992/3. Let d = x + -10/11. Let l be 8*(430/(-220) - -2). Is d smaller than l?
True
Suppose -r - 300 = t + 358, 2*t - 3*r = -1321. Let m = t + 4637/7. Let f = 9 - 5. Is f greater than m?
True
Suppose 0 = -3*d + 4*i + 7807, 4*i = -0*d - d + 2597. Let m be (-12)/(-36) + (-885)/d. Which is bigger: m or -1?
m
Let q = -68.27 - -68.462. Are q and -2/31 equal?
False
Suppose 218 - 138 = 2*k. Suppose f - 2*j - 5 = 34, 3*j + 3 = 0. Are k and f equal?
False
Let u(i) = -22*i - 37. Let z be u(-7). Let y = z - 116. Let d be y/((-3)/12) - -4. Is -1/16 greater than or equal to d?
False
Let q = -11/1272 + -1019/29256. Which is greater: q or -318?
q
Let m = 7774 + -8101. Which is smaller: m or 16?
m
Let q = 633 + -360. Let d = 273 - q. Let k be (-2)/3 + (-5 - -5). Are d and k nonequal?
True
Let h(l) = 11*l + 6. Let p(q) = 5*q + 3. Let c(y) = -6*h(y) + 13*p(y). Let n be c(-1). Suppose 0 = 4*k + 20, -n*r - 5*k - 35 = -2. Is r greater than 2?
False
Let g be (-4)/(-14) + 176/(-567). Suppose -2*o - 23 + 7 = -4*m, -4*m = -4*o - 16. Which is bigger: o or g?
o
Suppose -2*m = -2, 2 + 1 = -2*k - m. Let u be k/8*(-4)/(-50)*-5. Which is greater: u or -1?
u
Let y = 0.844 - 5.444. Do 62 and y have the same value?
False
Let d(m) = m**3 + 8*m**2 - 10*m - 9. Let x be d(-8). Let y = -75 + x. Let h be -9 + 12 + y/(-2). Is h bigger than 5?
False
Let j = 529/8 - 66. Let h = 57 + -34. Suppose -8*y = h*y. Is j > y?
True
Let b be -6 + -333*(-10)/15. Let k = -1510/7 + b. Is -10 greater than k?
False
Let o = 3/2792 - -1094449/13960. Let h = -78 + o. Are 35 and h equal?
False
Let o = -3856150/71 + 54312. Let m be (-6)/5*15/6. Let f = m - -4. Is o smaller than f?
True
Let k = -883 - -786. Suppose 0 = -5*a + 32 - 512. Which is smaller: k or a?
k
Suppose -5*j + 16 = 29 - 23. Is 202/121 != j?
True
Suppose 0 = -3*v - 2*k + 2, 2*v + 5*k = k - 4. Suppose 4*r = 3*m + v, -12 - 6 = -5*r - 4*m. Let f be (-5 - -2)*r/6. Is 4/11 > f?
True
Suppose 2*t - x = -3*t - 8, -3*x + 12 = -3*t. Let k be (-4)/30 - 1164/(-7920). Which is smaller: t or k?
t
Let h be (-12)/18 + 6 + 182/(-42). Which is bigger: h or -4/14025?
h
Let w(t) = -t - 20. Let z be w(12). Let i = -30 - z. Do 3/4 and i have different values?
True
Let p = -8279 + 8568. Is p at most 292?
True
Let f = 206258/21 + -9825. Which is bigger: f or -2?
-2
Let z(n) = 4*n - 34. Let h(u) = -8*u + 69. Let l(b) = 3*h(b) + 7*z(b). Let w be l(9). Suppose 0 = -w*f - x + 23, f - x = 3*f - 8. Is 29/5 greater than f?
True
Suppose 45 = -11*q - 10. Let u = -397 + 592. Let r be (-7)/(35/u) + q. Which is bigger: r or -43?
-43
Let q = -724 - -12303/17. Which is smaller: 56 or q?
q
Let v = -158.4 - 1046.6. Let g = v + 1207.108. Let f = g - 0.108. Is -2 not equal to f?
True
Let v = -107 + -89. Suppose -2*d + 3*g = 389, -21*g + 23*g + 786 = -4*d. Do d and v have different values?
False
Let m be 1/(-3) - 18704/210. Suppose 2*r + 4*l = -221 + 53, 0 = r + 4*l + 80. Is r at least as big as m?
True
Let v be (-54)/297 + 2*(-36)/88. Is -6/973 != v?
True
Suppose -74 = -j + 2*j. Suppose 0 = 2*f - 6, -22*u = -24*u + 2*f - 156. Is j greater than or equal to u?
True
Let l(a) = -2775*a + 2874. Let y be l(3). Do y and -5452 have the same value?
False
Let g(r) = -r**2 - 107*r - 1740. Let n be g(-20). Which is smaller: -3/1966 or n?
-3/1966
Let y = -423 - -426. Suppose -s = y*b - 4, 4*b + 4 = -0. Which is greater: s or 6?
s
Let f be 2/14 + 9/35. Let h = 6.04 - -213.96. Which is greater: h or f?
h
Let j = 1161 - 1225.7. Let r = j + -8.3. Let b = 75 + r. Are 1 and b equal?
False
Let l = 9.38 - 2.48. Let k = l - 6.8. Which is greater: 5.2 or k?
5.2
Let l(z) = 144*z + 42. Let x be l(12). Let o be 1/(-4) + x/40. Let d = 41 - o. Which is bigger: d or -13/5?
-13/5
Let d = 126 - 97. Suppose -29 + d = -5*w. Which is smaller: -2/517 or w?
-2/517
Let p be 16/2*3/183. Let x = p - -647/183. Is x less than or equal to 3?
False
Let f(z) = -2*z**3 - 5*z**2 + 44*z + 144. Let i be f(-4). Do i and -780 have the same value?
False
Let s be 6 + (-27)/((-540)/2656). Is s less than or equal to -1?
False
Let k be 7/((-49)/(-14))*-5*(-5873)/14. Is 4195 at most as big as k?
True
Suppose -1815 = -3*g - 3*n, -5*n = 16*g - 15*g - 569. Which is smaller: 605 or g?
605
Let g be (-25)/(-2)*(-17 + 2