01/570. Let a = j - 6925/25878. Is 1 >= a?
True
Let p be (-60)/80 - (-23201)/30940. Which is smaller: 1 or p?
p
Suppose -3*d + 84 = -r, 3*r + 123 = 4*d - 2*r. Let j be (-144)/d*(-3)/2. Let i(v) = -v**3 + 8*v**2 + v - 3. Let a be i(j). Is 56/9 at least a?
True
Let d(s) = 49*s + 1562. Let o be d(69). Which is bigger: o or 4944?
4944
Let t = 36571/36 - 1016. Is 1 > t?
True
Let h = -2109 + 1787. Which is smaller: -324 or h?
-324
Let g be 4/38 + 121440/(-5700). Which is greater: -20 or g?
-20
Let u = -6176 + 3101. Is -3074 less than u?
False
Let x be (22/(-8)*-2)/(2/4). Suppose -7*k = -x*k + 380. Is 96 at most as big as k?
False
Let q = -9690 - 1053. Is -10742 greater than or equal to q?
True
Let a(o) be the first derivative of -17*o**2/2 - 54*o - 127. Let s be a(-3). Are s and 25 non-equal?
True
Let v be 14 + -8 - ((-4)/2 + -8 + 4). Are v and 1715 non-equal?
True
Let r be (-2)/7 - 4/(-14). Let a = 53213 - 30253. Let t be 12/(-21) - (-35856)/a - 1. Is t bigger than r?
False
Suppose -74*j + 151*j - 140679 = 0. Is 1826 less than or equal to j?
True
Let q = -198 + 543. Let r(z) = 20*z + 126. Let h be r(11). Which is bigger: q or h?
h
Let t = -9017 - -17987. Do 8968 and t have the same value?
False
Let n be (1 + -1 + -1)/((-95)/(-1235)). Is -406/33 less than n?
False
Suppose 24 = 5*c + 4. Let w be (c/4 + -3)*1. Let y be (w/(-46))/(1/(-4)). Is y != 0?
True
Let l = 27157 - 27157. Are -1/35417 and l nonequal?
True
Let i = 1788 + -1787. Which is bigger: i or 2/25459?
i
Suppose 2*g = -g - 6. Let h be (-5)/(649/22 - 17). Are h and g nonequal?
True
Suppose 2*t - 347 = 3*o, t + 833 = 6*t + 4*o. Let g = 168 - t. Which is smaller: 5/24 or g?
g
Let y be (-4668)/168*36 - (-8)/(-84)*-3. Which is greater: -998 or y?
-998
Let w = 4.27 + 0.53. Let m = w + -3.8. Let l = -24 - -27.2. Does m = l?
False
Let c(g) = -g**3 + 7*g**2 + 9*g - 12. Let a be c(8). Let y(v) = -9*v + 8. Let m be y(4). Let h be m/8*2*1. Which is greater: h or a?
a
Let n be (-1 + -11 + 2)/((-13)/13). Let y be (8/n)/(6/2205). Is y less than or equal to 294?
True
Suppose 4*r + 123 = 51. Which is smaller: r or 12?
r
Let c(a) = 2*a**2 + 74*a. Let f be c(-37). Let d(s) = 8*s - 26. Let m be d(f). Suppose 5*u - 4*o = -138, 10 + 8 = -u - 4*o. Is u smaller than m?
False
Let o = 29/6218 + 37431983/80834. Which is bigger: o or 462?
o
Let a(j) = -2*j**3 + 171*j**2 + 84*j + 185. Let y be a(86). Which is smaller: -30 or y?
-30
Let y be ((-5)/8)/(265/(-106))*-4. Is y < 1/55?
True
Let h be (6/(-26))/((-51)/126 - 12/(-21)). Is 72/11 at most as big as h?
False
Let x be (((-9)/(-2))/(-3))/(18/(-48)). Let d(p) = 4*p - 8. Let g be d(x). Let n = -2/157 - -167/785. Which is bigger: n or g?
g
Suppose 0 = -m + 2*y + 1 - 2, m + 2*y = 11. Is m >= 0.087?
True
Let n = -4.3 + 4. Let l = n - -0.5. Let z be 981/(-270) - (-6)/(-14)*28/(-40). Which is smaller: z or l?
z
Let z = 1866 + -1776. Which is greater: z or 96?
96
Suppose -84*t + 86*t = -552. Let z be 2823/t + (-1)/(-1). Let s = -34/23 - z. Are s and 9 unequal?
True
Let b = 4411/248 + -377/31. Is 0.32 at least b?
False
Suppose -4*t + w = 25 + 12, -2*w = 2*t + 6. Let i be 30/50 + 7/((-70)/6). Is i != t?
True
Suppose 4*c - 4*s + 8 = -0*s, -4*s + 13 = c. Let p = -374 + 955. Let q = p - 14517/25. Which is bigger: c or q?
c
Let l be (4/(-3*24/(-54)))/(107*-17). Which is bigger: l or 0?
0
Let h be ((-47112)/(-76) - 11) + -1. Let v = h + -608. Let o = 6 - 4. Is v < o?
True
Let s(l) = -l + 8. Suppose 5*y = -2*q + 42, -7*y + 2*q - 2 = -8*y. Let w be s(y). Let b be (-5)/60 + (13/(-6) - w). Is -0.2 greater than or equal to b?
True
Let n = 3083 - 3237. Which is bigger: n or -155?
n
Let q = -73756 + 2286027/31. Which is greater: -13 or q?
-13
Let u = -588 - -5287/9. Let x be ((-48)/15)/(1/5). Let z = -18 - x. Is z at least as big as u?
False
Let k(i) = -i**3 - i**2 - i - 15. Let z be k(0). Let a be z/(-10)*-16*1 + -3. Let d = -10 - a. Is d smaller than 18?
True
Let z(x) = 2*x**2 - x - 1. Let r be z(1). Suppose -5*y + r*g - 2*g + 11 = 0, -10 = -y - 3*g. Which is bigger: -1/69 or y?
y
Let u = -16.7 + 17.8. Let n = 1 + u. Which is greater: n or -1/4?
n
Suppose 0 + 0 = -5*k + 245*k. Which is greater: k or -1/528?
k
Let d(x) = x**2 - 2*x - 13. Let g be d(-4). Let p be g/(-7 + 8)*4. Is p > 44?
False
Suppose 736 = -104*f - 152 + 264. Which is smaller: f or -246/35?
-246/35
Let r = -696 + 692. Which is bigger: 8 or r?
8
Let b be 60 - (1 - 5 - -4). Let c be (-1)/(-4) - 15/b. Suppose c = 3*t - t - 8. Which is smaller: 25/7 or t?
25/7
Let n = -16719.02 - -16698. Is 4 at most as big as n?
False
Let b be (1/(-2))/(-2 + 0). Let g be (5 - (0 + -3))*(-4)/(-8). Let w be 705/47*(g/(-10) - -1). Is w less than or equal to b?
False
Let v(i) = i + 81. Let g be v(0). Let c = g - 199/3. Is c > 15?
False
Let y = 0.08 - -12.92. Let t = 62 - 69. Let n = t + y. Is -4/5 smaller than n?
True
Let q = -2.93 + -0.07. Let g = -1 - q. Let d be (-1006)/(-112) - (-7 - -15) - (-13)/91. Is d less than g?
True
Let y(b) = b**3 - 8*b**2 - 79*b + 172. Let x be y(14). Does x = -13?
False
Suppose b = -12*b + 130. Suppose -b*c - 7*c = -c. Let y be (-2 + c)/6 - (-20)/6. Which is bigger: y or 25/7?
25/7
Let n(c) = 10*c + 132. Let x be n(-13). Suppose 10 = -2*k, x*d + 4*k + 110 = 10. Which is smaller: d or -41?
-41
Let p be 0/1*(0 + 1). Let m(c) = -25*c + 227. Let b be m(9). Suppose -3*r - 4*i - 27 = 0, b*r + 7 + p = i. Does r = -5?
True
Let r be ((-30 + 3)*-2)/(-6 - -4). Let f be (-2)/14*63/r*3. Which is greater: f or 1/29?
f
Suppose -4*l = -3*l - 22. Suppose 0*d - 3*v = -2*d - l, -3*v + 38 = -4*d. Suppose i + 40 = -3*i. Is i at least as big as d?
False
Let f = -676 + 720.8. Let q = -44.5 + f. Let o be (-14)/4*24/77. Which is smaller: q or o?
o
Let z(f) = -176*f - 474. Let j be z(9). Which is smaller: j or -2059?
-2059
Let k(m) = -m**3 - 9*m**2 - 2*m + 21. Let d = -44 - -35. Let z be k(d). Let l = z + -46. Which is bigger: -6 or l?
-6
Suppose 6*z = 10 + 26. Suppose -z*x + 10 = -11*x. Which is greater: x or 3?
3
Let y = -25 - -76. Let t be (2/(-8))/((-9)/72). Suppose 0 = -3*o - 4*d - y - 67, -o = t*d + 40. Are o and -39 equal?
False
Let u(r) = -r + 14. Let d(m) = m**3 + 7*m**2 - 5*m + 17. Let n be d(-8). Let j be u(n). Suppose 7*x + 14 + j = 0. Is 4 at most x?
False
Let s be 5 + (4 + -3)*4. Suppose s*p - 8 = 8*p. Let v be p/12 + 156/171 - 2. Is v not equal to 0?
True
Let b = -1275 - -1410. Let y be -1354*(-2)/20*-1. Let x = y + b. Which is smaller: -0.1 or x?
x
Suppose 5 = 5*l - 4*d - 51, 59 = 5*l - d. Suppose -3*p - l = 0, 3*p - 35 + 128 = -3*n. Let b(u) = u**3 - u**2 - u - 26. Let w be b(0). Which is greater: n or w?
w
Let n = -1101 - -1098. Let s be (-4)/6 + 44/(-6). Let b be (n/4)/((-20)/s). Do b and 0 have different values?
True
Let w = -3427 + 3695. Which is bigger: w or 270?
270
Let g be 0*(2 + 12/(-4)). Suppose -4*p + 9*p - 85 = g. Suppose 17*d - 45 = 14*d. Is d greater than p?
False
Suppose -7*a - 6203 - 853 = 0. Let b be (-1)/(182/a + (-1)/(-8)). Suppose 0 = 6*t - b. Is t bigger than 3?
False
Let m(p) = p**2 + 4*p + 5. Let z be m(-5). Let x be (-74)/580 - z/50. Let g = 1507/174 + x. Is g < 8?
False
Let s(x) = -4*x**3 - 8*x**2 + 11*x + 14. Let c be s(5). Which is greater: -629 or c?
-629
Let m be (-2 - (-1 + -1))*-1. Suppose -2*q - 4*h + 434 = m, -4*h - h = 4*q - 880. Let j be 1*(-40)/q*6/8. Is j smaller than 4?
True
Let q be (-3)/1*49818/7866. Suppose 4*l + 25 = 9. Are q and l unequal?
True
Let y be -4 - (-8 - 3) - 3 - 883. Let p = 851 + y. Is -22 != p?
True
Let x = -1/21 - 3/35. Let b = 13.4 - -2.6. Let n = b + -16.1. Is x smaller than n?
True
Let d = -548 - -619. Suppose 7 = -5*j + 7. Suppose j = -y - 16 + 87. Is y < d?
False
Let z be ((-47)/(-94))/((-1)/2). Let r be (-150464)/23256 + (-2)/19. Let a = -56/9 - r. Which is greater: z or a?
a
Suppose 236*u - 455 = -193*u + 832. Which is smaller: u or -2173?
-2173
Suppose 60*i = -43 - 49 + 152. Which is smaller: -2823 or i?
-2823
Let h(r) = 158*r - 1020. Let g be h(17). Is 1667 at least as big as g?
True
Let x = -0.123 + -21.877. Let m = 22 + x. Is m smaller than -134/3?
False
Let v = 0.52 + -50.52. Let a = 0.0641 - -50.0359. Let f = v + a. Which is greater: -3 or f?
f
Suppose -5*j = 3*h - 1365, h = 2*h - 3*j - 455. Suppose h = -30*b + 37*b. Which is bigger: b or 63?
b
Let x 