 - -30184. Which is smaller: 125 or h?
h
Let l(c) = -c**3 - 8*c**2 + c - 6. Let k be l(-6). Suppose 2*o - 3*p + 18*p = -247, -5*p + 405 = -5*o. Which is smaller: k or o?
o
Let h(k) = -k**3 - 8*k**2 - 3*k + 14. Let v be h(-6). Let a = 1241/31 + v. Which is smaller: a or -4?
-4
Let b = 3508/91 - 2403396/62335. Let s = b + -3/137. Which is smaller: 0 or s?
s
Let r = 16888 - 11326. Is r at most 2?
False
Let a be (9/21 + 3)*-7. Let g(l) = l**2 - 507*l + 9708. Let c be g(20). Is a greater than c?
True
Suppose 6 = 2*g + 2, 4*g = 3*w - 538. Let u = w + -226. Is -173/4 greater than u?
True
Suppose 5*j + i = -i + 68, -j = i - 13. Let z be 48/21 + (-4)/j. Suppose 0 = 2*r + 6, -r + 5*r = u + z. Which is bigger: u or -15?
u
Suppose -6*g = -7*g - 44. Let p be (47/(-2))/((-22)/g). Let j = 53 + p. Is -0.1 bigger than j?
False
Let g(i) = 5*i - 3. Let q be g(5). Let f be (-3)/(-2)*(2 + 0)*q. Which is smaller: 68 or f?
f
Let x = 5798 - 5874. Is x > -5?
False
Let v = 1251/2 + -71309/114. Let r(f) = f**3 - f - 1. Let m be r(0). Which is smaller: m or v?
m
Let b(m) = -3*m**2 - 10*m + 1. Let u(d) = 7*d**2 + 21*d - 3. Let v(r) = 9*b(r) + 4*u(r). Let x be v(7). Let w = -5/2 + 23/10. Is x equal to w?
False
Let q(b) = -2*b**3 + 9*b**2 + 9*b - 20. Let h be q(8). Let j = h + 378. Is j less than or equal to -11?
True
Let r be 5 - 2*(0 - (-9)/8). Let f be -6 + 1 + 168/32. Is r at least as big as f?
True
Let q(k) = -37 + 17*k**3 + 12*k**3 - 30*k**3 - 7 + 7*k**2 + 2*k. Let m be q(5). Which is bigger: m or 20?
20
Let g = 26/83 + 160/1079. Let b = 219 - 146. Let y = b + -73. Which is smaller: y or g?
y
Let s = 44386 + -44357. Let g = -0.8 + -3.2. Do s and g have different values?
True
Let q be (-21)/35*4/(-18). Let h = -2/459 + -296/2295. Is h at least q?
False
Suppose 1005 = 2*n + 19. Let s = n - 493. Let a be (2/(-20))/(1/(-2)). Is a bigger than s?
True
Let t = -51194/893 - -1086/19. Which is smaller: 14 or t?
t
Let i be (-43)/(-3) - ((-155)/(-15) + -10). Suppose 7*w = i*w - 70. Do w and 10 have the same value?
True
Let t be (-6)/24 + 170/8. Let k be (-1)/t*7/(140/3408). Let g = -54/7 - k. Is g < -0.28?
False
Let h be (((-975)/2)/13)/(3/(-8)). Let r = 3 - h. Is r < -99?
False
Let u be (-9 - (-78)/10)/(14/(-5075)). Do u and 428 have different values?
True
Let n = -16427/5522760 + 7/2088. Which is greater: n or 0?
n
Suppose 2*x = -74*g + 69*g - 20841, 2*g - 41766 = 4*x. Is x less than -10437?
True
Let n be (8/434)/((-50)/175). Suppose 11*x = -0*x - 11. Is x <= n?
True
Let m = 7065 + -296773/42. Do -1 and m have the same value?
False
Let d = -0.078 - 2.692. Let f = -0.77 - d. Which is smaller: 33 or f?
f
Suppose -4*r - 11 = 3*f, 3*f + 0*f - r = -1. Let a = 0.008041 - 0.908041. Is a bigger than f?
True
Suppose 4*p - 56 = -d, -4*p - 289 + 5 = -4*d. Let z = 82 - d. Let q be -6*((-3)/(-2) + -4). Is q at most as big as z?
False
Let i = -86 - -2572. Is 2481 less than i?
True
Let n = 255 + -327. Let j(m) = -m**2 - 5*m - 6. Let i be j(6). Is n greater than or equal to i?
True
Suppose 373*s = -420*s + 109434. Let n = -90 + 229. Which is greater: n or s?
n
Let h = 657.664 + -652. Let s = h + -0.064. Let y = -5.8 + s. Are y and -4 equal?
False
Suppose 4*s + 12 + 4 = 0, 0 = -5*m - s - 849. Which is smaller: m or -168?
m
Let w = 554466209/7442 + -74505. Which is smaller: w or 1?
w
Suppose -49*n - 126*n = 175. Which is greater: n or 8/3429?
8/3429
Let s = 7.717 - 7.5. Let c = -0.007 + s. Let u = 0.008 - -0.092. Which is bigger: u or c?
c
Let y be (363/(-5 - -16))/(2/18). Let i = y - 313. Let b(p) = -3*p + 5. Let u be b(7). Is i > u?
False
Let p = 2.15 + -3.05. Let r = -1.1 - -1.8. Which is smaller: r or p?
p
Let t = 2814 + -2813.7. Which is smaller: -160 or t?
-160
Let t be -4*((-36)/(-48))/((-3)/2). Let d(g) = 5*g + 8*g + 2 - 12*g + 3*g**t + g. Let p be d(-2). Which is smaller: 1 or p?
1
Suppose -4*c - 3*r = 282, 0*r - 70 = c + r. Let y be 2/((16/6)/((-3)/9)). Are c and y nonequal?
True
Let h = -574.148 + 6.548. Let o = h - -568. Is -0.023 bigger than o?
False
Let t be 1/(30/(-4924)) + 10/75. Suppose 4*u = -274 - 386. Are t and u non-equal?
True
Let j = -429 + 387. Let b be 3 + ((-3)/(-9))/(10/(-30)). Which is smaller: b or j?
j
Let r = 52 - 34. Let a = 815 + -1432. Let y = a + 619. Which is smaller: r or y?
y
Let t = -70509/10 + 7051. Let r = 0.02 - 0.03. Is r greater than t?
False
Let c = 10821 - 10821. Is 8/1799 != c?
True
Let f = 4.0486 + -0.1186. Let b = f - -9.07. Let v be (-2)/(-5) + (-2 - -2). Is b less than v?
False
Let h be (-19 - -1)*56/(-7314). Let g be 4 - -217*(1 - -3)/(-212). Let x = h + g. Is x <= 1?
True
Suppose 6*t - 34 = 8*t - 3*a, -4*a = 4*t + 68. Let u = -270 - t. Is -253 > u?
False
Let y(l) = l**3 + 13*l**2 - 13*l + 19. Let p be y(-14). Suppose 5*n + 56 = -2*q + p*q, 0 = -5*q - 5*n + 40. Suppose u = 4*u - q. Which is bigger: 27/5 or u?
27/5
Let j be (-317)/3 - (-45)/27. Let m = 104 + j. Is 1/118 equal to m?
False
Let c be (-33)/((-8)/(-6080)*30). Do c and -845 have different values?
True
Let l be (226134/(-408))/((-3)/4). Which is greater: 737 or l?
l
Suppose 0 = -14*f + 6*f + 224. Let w be ((-5)/2 + 3)*f. Are 21 and w unequal?
True
Let i = 92 + -165. Let j = 958.04 - 884.5. Let k = j + i. Which is bigger: 0.1 or k?
k
Let y = -8627 - -8626. Is y at most 9/275?
True
Let b be (-2 + 81/17)*-1. Let q = 801/136 + b. Suppose c - 20 = 31*f - 36*f, 3*f - 29 = -4*c. Which is smaller: f or q?
f
Let s(a) = -38*a**3 + a**2 - 101*a + 207. Let f be s(2). Which is greater: f or -277?
-277
Let j be 12*(-7)/(-98) + (2967600/42)/8. Which is bigger: 8834 or j?
8834
Suppose -46*d = -48*d + 12, 0 = 4*f + d - 2. Do f and -7/435 have the same value?
False
Let o(f) = -f**2 - 40*f - 143. Let t be o(-36). Is t < -1/1400?
False
Let t = 516 + 1742. Is t bigger than -2?
True
Let y = 9468 + -9467. Are y and 521 equal?
False
Suppose 2*l - 29 = 3*k, -3*l + 164 = -4*k + 123. Which is bigger: -8.4 or l?
l
Let d = 0.01934 + -52.00134. Let a = -0.018 + d. Let v = a - -50. Which is greater: v or -1/9?
-1/9
Let d be 36/24 + 1/(-2). Let q be (-12)/(-270)*(-4 - d). Let s = -44 - -44. Is s at most q?
False
Let u be 25/(-8) - (-1 - 0). Let v(t) = 6*t**3 + 49*t**2 + 129*t + 167. Let b be v(-5). Which is greater: u or b?
u
Let w = -2/15501 - 3168/2144305. Which is smaller: w or -1?
-1
Let b = -914327/123 + 14867/2. Is b smaller than 0?
True
Suppose 2*b - 20 = -2*b, 214 = -2*i + 2*b. Let x = i + 61. Let a be -2 - (x - (1 - -3)). Which is smaller: 44 or a?
a
Suppose 4021 = 6*z - 1775. Let b be z/(-80) + 3/8. Do -13 and b have the same value?
False
Let f be (-586572)/48882 + 5 + 11 - 8/2. Which is smaller: 1 or f?
f
Let d(v) = 2*v**3 - 21*v**2 - 2*v - 4. Let s be d(11). Let i be 1 + ((-10)/35 - s/(-14)). Is i greater than or equal to 7?
True
Let v = -17770 - -17324. Is -443 at least v?
True
Suppose -2*y + 36 = 2*y. Let m(v) = 75*v + 2. Let h be m(0). Suppose -y*z - 7 = h. Which is bigger: z or -6/13?
-6/13
Let o(w) = 146*w**2 + 9*w + 15. Let h be o(-2). Suppose h*j - 575*j = -186. Suppose 3*l + 0*l + 90 = 0. Is l smaller than j?
False
Let z = -20 + -33. Let d = 51 + z. Let s be d*(-1)/5*20/(-8). Is -10/17 at most s?
False
Suppose -14 = -17*r - 388. Let g be -26*1 + r/11. Let s be (16/g)/(20/14). Is s > 0.09?
False
Let o = 3003.796 - 3005. Which is smaller: o or -1?
o
Let p be -6*(8/(-6) + -2). Suppose -5*h - 5*g + p = 0, 3*h + 6*g = 2*g + 15. Let f be -4 - h/((-135)/535). Which is smaller: 0 or f?
f
Let x = 27.663 - 25.663. Which is greater: -508.6 or x?
x
Let p be 332/(-3)*(-26 + 23). Let y = -333 + p. Which is smaller: -11/9 or y?
-11/9
Suppose 145*y - 188 = -206*y + 163. Is -1/10799 greater than y?
False
Suppose -85*w + 42 = -79*w. Let s be 2*12/8 + (-5)/w. Suppose 3*v = 6 - 3. Which is bigger: v or s?
s
Let r = -5857 - -29298/5. Is r >= -0.24?
True
Let u = 28212.97 + -28213. Let n = 1273/483 + -34/69. Are u and n equal?
False
Let b be (15/12)/(3 - 39/12). Let n be 8/(-2) + 10/b*-2. Let a be (-2)/9 - 260/(-765). Which is greater: a or n?
a
Suppose -23 + 7 = 4*t. Let i be t + (381/39 - 7). Is i > 0?
False
Let n = 650/19 - 4588/133. Let k = 0 - -1.2. Do k and n have different values?
True
Let b = -50204/193 + 16083195/2509. Let u = -6147 + b. Which is smaller: 4 or u?
u
Suppose -8 = 4*w, 4*n + 1453 = 9*n + w. 