 than x?
False
Let m = 64 - 65. Let w = 310943/1768 + -1407/8. Which is smaller: w or m?
m
Let z = -124 - 139. Let l = 1364/5 + z. Which is smaller: 10 or l?
l
Let y(g) = -g**3 - 11*g**2 + 147*g - 46. Let p be y(-19). Is p >= 12?
True
Let g = -550 - 781. Is g smaller than -1331?
False
Let c(j) = j**2 - 92*j - 908. Let b be c(-9). Which is greater: 81/76 or b?
81/76
Let i = 7/9101 + -20402/62023315. Is -1 > i?
False
Let c be -4*5/(-40) - (0 + 0). Let f be 2 + 0 + 3 - -11. Let s be 4/f - (2 + (2 - 2)). Which is smaller: s or c?
s
Suppose 77*b - 400 = -2017. Let y(p) = -p + 1. Let i be y(-1). Suppose 0 = u, i*u - u = -2*x - 40. Is b at most as big as x?
True
Let u = 7188 - 7198. Is u at most as big as 0.55?
True
Let a = -2058 + 368384/179. Let f(q) = q**3 + 4*q**2 + 48*q + 88. Let t be f(-2). Which is bigger: t or a?
a
Let x be (-308011)/7315 - (-2)/7. Let w = -540/19 - x. Which is greater: 13 or w?
w
Let m be ((-6)/42*0)/3. Suppose p - 5*p - 16 = 0, m = -2*z + 4*p + 16. Let u be 2 + 1 + (-17)/6. Which is bigger: u or z?
u
Let o be (-730)/(2 + 0) - 6684/(-1114). Which is smaller: -361 or o?
-361
Suppose 41*w - 85*w = -45*w - 74. Let q = 0.09 - -0.21. Is w > q?
False
Suppose 3*o - o - 3*m = -5, -3*o = -m - 10. Suppose 0*a + d - 23 = 4*a, 25 = -2*a + o*d. Let h(u) = -u**2 - 3*u + 12. Let b be h(a). Does b = 2?
True
Suppose 337 + 313 = 26*n. Let z(d) = d**2 - 2*d - 11. Let h be z(-5). Is h < n?
True
Let k be 1 + (-5686)/(-951) - 28*(-2)/(-8). Is k <= -1?
False
Let o(v) = -7*v + 32. Let i(r) = -3*r**2 - 25*r - 4. Let m be i(-8). Let d be o(m). Suppose -d*h + 28 = 3*h. Which is bigger: 5 or h?
5
Let g = -76/599 - 903958/4193. Let r = -216 - g. Which is smaller: r or 0?
r
Let d be (-16*2/(-4) + -8)/1. Which is smaller: 1/26022 or d?
d
Let q be (-20)/(-8)*(-24)/68. Let u(w) = w - 8. Let z be u(6). Which is greater: q or z?
q
Let a be 3*(-4)/((-748)/(-242) - 2/22). Which is smaller: -88/19 or a?
-88/19
Suppose 72 = 7*v + 58. Suppose 0 = -v*t + 3*d - 2, 4*t + t - 2*d = -27. Does -3 = t?
False
Let s be ((-3696)/1760 - 6/(-10)) + (-10606)/(-8). Which is smaller: 1323 or s?
1323
Let x = -0.9 + 0.4. Let p = -0.4 - x. Let h(m) = -m**3 - 134*m**2 - 649*m - 540. Let r be h(-129). Is p smaller than r?
False
Let w = 3.46 - 8.75. Let n = 174.29 + w. Which is greater: n or -1/4?
n
Let x = 163 + -161. Suppose 1 = -x*p - 3*v, -5*p - 71 = -5*v - 6. Which is smaller: p or 1?
p
Suppose k + 2*k = -g + 12, 18 = 3*k + 3*g. Let i(l) = 2*l**3 - 2*l**2 - 4*l + 3. Let j be i(k). Let b = -60 - -88. Is b at least j?
True
Let p(g) be the third derivative of g**4/4 + 2*g**3/3 - 14*g**2. Let b be p(4). Let v = 279/10 - b. Which is smaller: v or -1?
-1
Let d = 217.17 + -217.07. Which is smaller: d or -1/2130?
-1/2130
Let q = 5524 - 4954. Is 569 greater than q?
False
Suppose 2*w + 23 = w - 5*v, 0 = -w - 4*v - 18. Suppose -2*p + p = 4, -p - w = -2*a. Is -2/121 at least a?
True
Let p(c) = 44 + 7*c**2 - c**3 + 3*c - 22 - 10. Let h be p(8). Which is smaller: -27 or h?
h
Let x be ((-24595)/(-20))/((-9)/(-180)*-5). Is -4919 not equal to x?
False
Let v = 0.139 - -0.861. Let z = 9 - -118. Which is bigger: v or z?
z
Let l = -703809 + 20847526387/29621. Which is smaller: 0.1 or l?
l
Let a = -2312 - -2640. Is 1633/5 at most a?
True
Let y = -535 - -533. Let c be (-28)/y*(-4)/48*-6. Is 21 equal to c?
False
Let i(n) = -n**2 + 14*n - 33. Let h be i(11). Suppose -2*u = 3*c - 5*u - 168, h = 3*u + 9. Is 56 smaller than c?
False
Suppose -31*c - 2007 = 3*g - 34*c, 0 = 2*c + 8. Which is greater: -675 or g?
g
Let o = 308 - 309. Let q = 51662/2541 + -428/21. Which is smaller: o or q?
o
Let d = 148 + -86. Let p be d - (0 - 2 - -6). Let v = p + -51. Which is smaller: -5 or v?
-5
Suppose -5*i = 5*p - 20 - 175, -3*i = -3*p + 123. Let m(x) = -4*x + 68. Let f be m(7). Is p bigger than f?
False
Let d(q) = q - 9. Let z be d(9). Let h be 0 - (13 + -13)/(z - 1). Does h = -7/32?
False
Let u = 1314425791/548 + -2398588. Let k = u + 1500353/1644. Let c = 907 - k. Is c less than or equal to -4?
True
Let l(z) = -3*z**3 - 43*z**2 + 3*z + 10. Let a(c) = c**3 + 21*c**2 - c - 6. Let p(f) = 5*a(f) + 2*l(f). Let w be p(19). Which is greater: w or 98/13?
w
Suppose 2*i = -3*i. Suppose -12*s + 6*s + 12 = i. Suppose -40 = s*o + 3*n, -5*o - 4*n - 24 = 62. Is -14 less than o?
False
Suppose u - 27 = -8*i + 3*i, -4*u + 23 = 3*i. Suppose -3*o = 5*q + 20, -3*o - u*o - 20 = 5*q. Suppose 7*m = 4*m - o*m. Is m bigger than 0.04?
False
Suppose -3*r - 160 = w, -2*w + 3*r = -4*w - 326. Suppose 81*v - 77*v = -664. Is w less than or equal to v?
True
Let d = -79440843/28 + 2836612. Let s = d - -4170/7. Let t = s + -36. Is t at most as big as 0?
True
Let k = 236335 - 8272528/35. Does k = -22?
False
Suppose 6*p - 102 = -174. Let i be (20/(-24))/(p + 17). Which is greater: i or -17?
i
Let t = 420 - 3806/9. Let k(o) = 10*o - 65. Let l be k(10). Suppose l*p = -71 - 34. Are p and t unequal?
True
Let h(u) = u**2 + 134*u + 2091. Let j be h(-19). Which is smaller: -1210/13 or j?
j
Suppose 5*i + 2*h = -124, -i + h = -3*h + 16. Let b be (i/60)/((-1)/(-85)). Is -30 < b?
False
Let z be 2/7 - (5 + 935/(-280)). Let g(a) = a. Let k be g(3). Suppose -k + 7 = -4*i. Is z <= i?
True
Suppose 5*w = -5*y - 785, 5*y + 5*w = 8*y + 431. Let h = -162 - y. Is h < -9?
True
Suppose n + 2*z + 302 = 5*n, -3*z - 222 = -3*n. Suppose -20*u - 1354 = 1046. Let w = 197 + u. Is n > w?
False
Let y = -3576 + 2541. Let c be y/(-6) + (-1)/(8/12). Is 170 >= c?
False
Let r be 2891/(-14)*(-42)/(-147). Which is smaller: -71 or r?
-71
Let f be ((-6)/(-15))/(212/(-25)). Let x be 21/954*3362/14. Let o = x - f. Is -2/5 at least o?
False
Let j = 5917 - 5916. Which is bigger: j or -0.0644?
j
Suppose 448*y - 4840 = 468*y. Which is greater: -196 or y?
-196
Let v(z) = -5*z**2 + 19*z + 3. Let m be v(4). Which is greater: m or 1/283?
1/283
Let s = 8706.792 + 24.208. Is 0.1 smaller than s?
True
Let v be (-2)/(-3) - 20/(-15). Let b be ((-24)/20)/(v/(-5)). Suppose 0 = g - 4*a + 22, -3*a - 73 = -91. Is g less than b?
True
Suppose 5*i - 3*x = -319 - 198, 4*i + 4*x = -420. Is -99 < i?
False
Let r = 23967 + -23968. Do -1/17897 and r have the same value?
False
Let y = -58 - -8151. Which is greater: -0.2 or y?
y
Let f(l) = -32*l - 1987. Let w be f(-131). Is w > 6611/3?
True
Let k be 10*(70/(-25) + 1). Let q be ((-7)/3 - 1)/(2/k). Is 175/6 less than q?
True
Let o = -19199 - -19201. Suppose -6 = -y - 2*y. Suppose 3 = -w - y*w. Are o and w equal?
False
Let i = 12099 - 11856. Is 244 greater than or equal to i?
True
Let c be (2245/10)/(2 - (-21)/(-14)). Which is smaller: 441 or c?
441
Let z = 212954/19 - 11200. Let x = z - 8875/1102. Suppose 7 = 2*t - 5*q - 10, -3*q = t + 8. Is x bigger than t?
False
Let w be (0/(-1))/((-22)/(-11)). Are -4/533 and w equal?
False
Suppose 2*j + 30 = 4*j. Suppose 34*u - 24 - 10 = 0. Let d be u/2 - 1984/(-128). Which is smaller: d or j?
j
Let l be -2 + (-1076)/(-370) + (-198)/330. Which is bigger: 1 or l?
1
Suppose -37*w + 44*w = 21. Let k be -5 + (-1080)/(-538) + w. Which is greater: k or -1?
k
Let w = -275969/76846 - -79/22. Is -1 less than or equal to w?
True
Suppose 2*c = n - 4, 3*n + 2*c = -c + 3. Let h(x) = 7*x + 7 - 3*x**2 + 5*x + 2*x**2 + n*x**2. Let g be h(-8). Is -26 smaller than g?
True
Let c = 0.43 - 0.13. Let h = c + -0.18. Let m = h - 0.22. Which is greater: 5/3 or m?
5/3
Let c be 5/65 - 8/2912*2056. Suppose -4*a - 40 = -4*o, 5*a - 3 = -o - 23. Is a >= c?
True
Let v = -350 - -183. Let l = v - -166.89. Which is smaller: -0.1 or l?
l
Suppose -4*l = 2*g, 3*l - 4*g = -l + 24. Suppose 12 - 27 = 3*k. Let q be l/8 + k/(-12)*-3. Is 0.03 <= q?
False
Let u be 12/(-10) + (-8)/(-40). Let p(i) = -2*i - 2. Let j be p(u). Let l = 1614053/333 - 4847. Which is greater: j or l?
l
Let s = 7 - 11. Let v be (96/(-56))/(-6*(-4)/72). Is s at most v?
False
Let h = 2859732 - 3062772715/1071. Let j = h + -4/63. Is j bigger than 1?
False
Let i be (-3)/(-16)*12 - (-3)/4. Let a be (-32)/(-30)*i/12. Let p = a + 1/15. Is -1 not equal to p?
True
Let b be -99 - -14 - (2 - -2). Let y = 82 + b. Let k = 5/307 - 10156/1535. Is y < k?
True
Let d(v) = v**2 + 5*v - 19. Suppose -7*x + 5*x + 6 = 4*c, -3*x = 5*c - 7. Let a be d(c). Does -35/8 = a?
False
Let v = 559/10 + -857/10. Suppose -q - 4*z + 17 = 54, q + 5