3)/(-18)). Let s be 0*(-3 - -1 - p). Let j be ((-2)/(-30))/(((-126)/(-27))/(-14)). Which is smaller: s or j?
j
Let k be (-5790)/390 - (-5 - (-4)/1). Which is smaller: k or -13?
k
Let b = -608 - -607.94. Are -6.2 and b unequal?
True
Let u(d) = d**3 + 15*d**2 + 10*d - 15. Let z be u(-14). Let i be (-3)/z*3/9. Let a = i - -47/246. Which is bigger: a or 5?
5
Suppose -5*r - 3*f + 76 = 0, -2*r - 3*f = -0*r - 34. Which is greater: 55/4 or r?
r
Suppose -5*h + 39 = 4*p, 2*h - 4*p + 5 = 15. Let u = 12 + -14. Is h > u?
True
Let p(x) = 93*x + 8. Let k be p(1). Is k less than or equal to 106?
True
Let p be (-20)/(-2) + -123 + 113. Which is smaller: p or -2/117?
-2/117
Suppose -7 = 7*x - 70. Suppose 3*k - 3 = 2*k, -z - 4*k + x = 0. Suppose -10 - 4 = 3*o + q, -3*q - 10 = o. Which is greater: z or o?
z
Let a = 54 - 149. Let y = -91 - a. Let p = -4 - -10. Which is smaller: p or y?
y
Let c = -26549/23730 + -1/3955. Let n = c + 16/7. Let j be (1 - -1) + -1*1. Is n less than or equal to j?
False
Let t = 16336159748/11846669 - 81/200791. Let v = t - 1379. Is v greater than -2/9?
True
Suppose 5*u - u + 250 = -5*z, -4*z + u = 200. Let m be ((-126)/(-4))/((-5)/8). Let k = z - m. Which is smaller: -15 or k?
-15
Let j be -16*3/(3 + -6). Suppose -p = 3*q + 12, 4*p + p - 4*q = j. Suppose 0 = 3*r + 2*g + 19, 0*g + 2*g - 8 = p. Is -1/4 less than or equal to r?
False
Let z be -2 + (0 - -2)/1. Let a(b) = -b**2 + 6*b. Let k be a(6). Suppose 4*p = -4 - k. Which is bigger: z or p?
z
Let u be ((-7)/14)/(2/(-4)). Let c be (-5 - -3) + u - -4. Let z be (-2)/10 - c/135. Which is smaller: z or 2?
z
Suppose 5*k - v + 70 = 0, 2*k = 6*k + v + 65. Let p be (-9)/k + (-54)/40. Is 0 at most p?
False
Let t be (-2 - (-240)/117)/((-1185)/45). Which is smaller: t or -1?
-1
Let o(c) = 6*c - 1. Let f be o(1). Let l be 4/6 - 30/(-9). Suppose 5*b - f*w + 2 = 7, -5*b - 4*w = l. Which is greater: b or -1?
b
Let h = 394 - 395. Is -2/531 greater than or equal to h?
True
Let i = 12.5 - 62. Let d = -6.5 - i. Which is bigger: d or 0?
d
Suppose -4*u - 4 = 2*m, 0 = -4*m - 6*u + 11*u - 8. Which is bigger: -11 or m?
m
Let f = -12307916/1615 + 7621. Which is smaller: f or -1?
-1
Let h(s) = -s**3 - 15*s**2 + 32*s - 35. Let q be h(-17). Which is smaller: -6/271 or q?
q
Suppose 0 = -x - 6*x + 35. Suppose -x*q + 5*r = -20, -4*q = 2*r + 2*r. Which is greater: q or 3?
3
Let t = -68 + 70. Suppose 0 = 2*m - 5*g - 23, -t*g + 0*g - 22 = -4*m. Does m = 4?
True
Let j = 1329 - 1087. Which is greater: j or -1?
j
Let r(f) = -2*f**2 - 4*f. Suppose 3*v = -2*v - 10. Let g be r(v). Is g greater than or equal to -4/19?
True
Let x(v) = -5*v + 56. Let y be x(12). Is -14/29 less than or equal to y?
False
Let b = -18 - -25. Suppose 0 = -b*m + 3*m + 4. Let p be 10/44*(-6 + (16 - 6)). Is p < m?
True
Suppose 0 = z + 4*k + 38 + 39, 5*k = 5*z + 360. Let n = z + 75. Is 15/8 greater than n?
False
Let r be (-23)/(-4) - (-18)/(-24). Suppose -r*u - 4*b = -1 - 6, 3*u = -b. Let f = u + 5. Is 3 smaller than f?
True
Suppose 4*k - 16 = 0, -x + 0*x = -k - 1. Suppose -4*w - 1376 = 4*t, -t - 18 = -x*w + 296. Let c = t - -13220/39. Which is bigger: c or -1?
c
Suppose -24*x - 46*x = 9*x. Let b = -300/11 + 27. Which is bigger: b or x?
x
Suppose o - 4*t = -20, -4*o + 3*t + 0*t = 93. Let l be (-6)/o - (1 + (-33)/28). Which is bigger: -1/3 or l?
l
Let j(h) = -h. Let i be j(-3). Suppose -3*l + p + 37 = 0, -3*p = -2*l + 2*p + i. Let c be -2 + (l - 3 - 3). Is c > -1?
True
Let f be (-3)/(-4)*(-472)/(-5). Let b = 71 - f. Let x = 41 + -42. Is b > x?
True
Let w = -193 + 191. Is w equal to -14/15?
False
Suppose -35 = -44*z + 51*z. Is -50/13 > z?
True
Let j be (41/(-7) - -5) + (-130)/28. Suppose g + 15 + 12 = 4*q, 2*g - 11 = -5*q. Which is greater: j or g?
j
Let m(h) = -8*h**2 - 12*h - 59. Let p be m(-8). Is p greater than or equal to -475?
True
Let r be (-6 - -5)*(-2)/(-20). Let v = -3.861 - 0.039. Let k = -4 - v. Does r = k?
True
Let g = -453/175 - 2/175. Is 1 at least g?
True
Let y = 5 - 13. Let w = 123 - 130. Is y <= w?
True
Let m = 0.9 + -0.82. Let w = -5.92 - -6. Let p = m - w. Is 1 at most p?
False
Let k be 13/4 - (-1)/(-4). Let b = -45 + 51. Let z be (b/(-8))/(65/(-20) + 3). Is z greater than k?
False
Let i be 1 + 0 + ((-55)/(-18) - 5). Let k = -86/9 + i. Is k at most 0?
True
Let p(h) = h**2 - h - 14. Let x be p(6). Let c = 6 - x. Is c at least as big as -12?
True
Suppose 3*r - 12 = -0*r. Suppose r*h + 5 = 3*c, 2*c - 3 = -h + 4*h. Is c != 3?
False
Let o be (-2 - -1) + 3*2. Suppose i = -o*s + 19, -3*s = i + 2*i - 9. Let f be -1 - 0/(i - 0). Is -1/2 != f?
True
Let v = -1 + 4. Suppose 8*y - v*y - 50 = 0. Let q = -106 - -115. Which is smaller: q or y?
q
Let o be 2 + (-5 - -3) + 2. Let v be o/14 + 3 + (-88)/28. Which is smaller: 1/37 or v?
v
Let f = -1 - 22. Let u = 23 + f. Is u at most as big as -37?
False
Let j be 3/2*32/456. Let p = 3/19 - j. Let v be (-9)/(-7) - 4/14. Is v at most p?
False
Let g be 12/2*3/6. Suppose 2*c - 2*i = -4 + 2, -8 = 2*c - 5*i. Is c less than or equal to g?
True
Let f be (-7 + 8)/((-3)/(-48)). Suppose -33*c + f = -35*c. Is c bigger than -5?
False
Let k = -1.38 + 2.18. Is k less than or equal to 1/2?
False
Let v = -305 + 525. Which is smaller: v or 0.1?
0.1
Suppose -3*d - 1260 = f - 3774, -5*d + 4*f + 4190 = 0. Is d >= 840?
False
Let i(p) = 5*p - 16 - 2*p + 8*p - 6*p**2 + 7*p**2. Let c be i(-12). Let h = 0 + c. Which is greater: -2 or h?
-2
Let l = 319 + -265. Suppose -x = 4*o - 39, 2*x - 84 - 6 = -5*o. Is l at least as big as x?
False
Let j be 5 + 466*(-3)/54. Is j at least as big as -20?
False
Let y = -34 + 23. Let c = y + 15. Suppose -18 = 2*t - 5*w, -5*t + 5*w = 19 - c. Are t and 0 unequal?
True
Let q = 353/260 + -72/65. Which is smaller: q or -5.91?
-5.91
Let g(t) = t**3 - 6*t**2 - 2. Let c be g(6). Let m be 2/(-7) - 52/14. Let b be ((-9)/(-6))/((-15)/m). Does c = b?
False
Let o = -15 + 31. Suppose 0 = -17*k + 13*k + o. Let t be ((-2)/(-4))/(2/20). Is t < k?
False
Let y be 4/(-6)*12/(-76). Does -3/7 = y?
False
Suppose 27 = 2*i + 2*b - 7*b, -5*i - 5*b = 20. Let w(z) = -285*z**3 - z**2. Let j be w(1). Let x = -1999/7 - j. Which is smaller: i or x?
x
Suppose -2*m + 2 = 5*p + 16, p + m = -7. Let a be 6/(-4)*4/(-62). Is p less than a?
True
Suppose -4*a = 4 - 16. Suppose 2*x + 5*n + 20 = x, -a*n = 12. Suppose x*c = 3*c - 24. Is 8 equal to c?
True
Let l be 6*(-15)/6*(-49)/(-21). Which is greater: l or -28?
-28
Let m(a) = 13*a - 21. Let v be m(4). Suppose v = -i - 4*z, -4*i = -2*z + z + 90. Is -24 less than or equal to i?
True
Let a = 1871 - 3247. Which is greater: a or -0.1?
-0.1
Let f be 4/6 + 34/(-51). Let r = 14027/66 - 425/2. Is r greater than f?
True
Let t be 0/12 - (99/(-24) + 4). Is t <= -2/167?
False
Let p(z) = 3*z**3 + 49*z**2 + 17*z + 15. Let y be p(-16). Is 2/31 greater than or equal to y?
True
Let r = 25 + -14. Let s be -3 + 1 + 0/(-4). Let j(l) = l**3 + 5*l**2 + l + 1. Let g be j(s). Is r at least g?
True
Suppose 7*a = -3*b + 4*a + 24, -b + 12 = -a. Which is smaller: b or 19?
b
Let b be 513/(-20) + (-8 - 148/(-20)). Which is smaller: -25 or b?
b
Let u = 43672 - 219168/5. Let b = -161 - u. Is 0.1 at least as big as b?
False
Suppose -5*o - 10 = w, -3*o + 5*w = -0*o - 22. Let r = 9766/481 + -265/13. Is o less than r?
True
Let x = 0.9 + -0.1. Let j(r) = 835*r - 3340. Let g be j(4). Is g less than x?
True
Let n = 187 - 99. Suppose 5*o - 132 = -i - 48, -357 = -4*i + o. Which is smaller: n or i?
n
Suppose 2628 = -6*a - 0*a. Let s = a + 1328/3. Let q be (2/4)/(2/16). Is q at least s?
False
Let f = 15563/7 + -2250. Let h be 1/(78/(-81) + 1). Let s = f + h. Is s not equal to -1?
True
Let b = 1.095 - 0.095. Let a = 2 - 3. Are b and a equal?
False
Let z be 126/8 + 1/4. Let c be ((-2)/(-7)*-18)/(2/(-7)). Which is smaller: c or z?
z
Let l(n) = -n**2 + n + 2. Let g be l(-1). Is g less than -12/95?
False
Let m be (668/334)/(36/22 + -1). Is m less than 4?
True
Let f = -31 + 30. Let q be 1*((-3)/6)/f. Let x = 10.1 + 1.9. Is x > q?
True
Let r be -1 - (5 - 4 - (-2 - -6)). Which is bigger: 0.53 or r?
r
Let h be (48/(-28))/(152/(-84)). Let y = 49/152 - h. Which is greater: y or -2?
y
Suppose 0 = -160*h + 158*h - 26. Which is smaller: -10 or h?
h
Let f be (-1)/(-5) + ((-124)/20 - -5). Let j(v) = 37*v**2 + 5*v + 6. Let a be j(f). Which is bigge