-4*u = -c + 71. Let k = c + -28. Is 30 bigger than k?
True
Let v(y) = y**3 + 10*y**2 + 28*y + 172. Let k be v(-9). Is 1/581 >= k?
False
Let i = 5.36 + 5.96. Let k = i + -0.32. Let d = 412 - 412.2. Which is bigger: d or k?
k
Let w be (-693)/(-756)*(13/(-20) - (-2)/5). Which is bigger: w or -1?
w
Let h = 0.1 - 7.9. Suppose 2*d + 6 = 2*y, -40*y = -44*y - 4*d + 4. Which is smaller: h or y?
h
Suppose -4*u + 36 = -13*u. Let c be (2/u*(-15 + 51))/(-2). Let s = -59 + 58. Is s at least as big as c?
False
Let z = -1160 + 1117. Is 0.9 less than or equal to z?
False
Let i = -32 + 57. Suppose 4*n = i + 7. Let p be n/24 + (-52)/21. Which is smaller: -2 or p?
p
Let m = -27 - -1921/57. Which is bigger: m or 8?
8
Let l be 3022/7 + 0 - (-2)/7. Suppose 30*g - 22*g - l = 0. Which is bigger: 53 or g?
g
Suppose -5*g = -5*q - 1295, 5*g - 36 - 1229 = -q. Let x = g - 232. Are x and 8 equal?
False
Let p be (385/49)/5*7. Suppose 25*u = p*u - 1848. Which is greater: -131 or u?
-131
Suppose 0 = -5*u + 2*f + f + 443, -471 = -5*u - 4*f. Which is smaller: u or 113?
u
Let a = 772 - 771.921. Which is smaller: a or 13/4?
a
Let c be (-30)/(-12)*(-4)/(-1). Let u be -10*(-12)/c + -3. Which is greater: u or 59/6?
59/6
Let w = -2 + 1.9. Let r = -3318.6 + 3339. Is r less than or equal to w?
False
Let c(d) = -d**3 - 7*d**2 - 5*d + 2. Let j be c(-6). Let t(u) = -10*u**2 - 8*u + 35. Let s be t(6). Let z = s + 372. Which is smaller: j or z?
j
Let k = -600 - -592. Let m be ((-1336)/(-3))/k + 4/6. Which is smaller: -53 or m?
m
Let j(w) = 97*w**2 - 10*w - 42. Let c be j(5). Which is greater: 2329 or c?
c
Suppose 0*g + 2864 = 4*x + 4*g, -2*g = -2*x + 1424. Let y be 598/20 + x/204. Which is greater: 0.2 or y?
y
Let y = 114 - 241. Let v = -107 - y. Which is bigger: v or -1?
v
Suppose 2*r - 924 - 342 = 0. Let x = r + -42410/67. Suppose 2*q = -5*o - 0*o - 18, 2 = -2*q - o. Which is smaller: x or q?
x
Suppose -5*r + 25 = 0, -36*r + 33*r + 4584 = 3*w. Is w greater than or equal to -0.1?
True
Let t be (3/(-3) + -839)*(-33)/(-44). Let q = -38429/61 - t. Is q bigger than 1?
False
Let x be (-4*(-3)/(-6))/(-73 - -72). Which is bigger: x or 44/21?
44/21
Let x be 8/6 - (-550)/(-3). Let d = -3122 + 2941. Which is greater: d or x?
d
Let z = -15.22 - -17.22. Do 1322 and z have the same value?
False
Suppose 5*y + 18 = -7. Let g be (-2)/(-30)*3 - 2/y. Suppose 2*i + 0 = 2. Is i at most g?
False
Let a be 1 + (-58 - 0)/(-2). Let n = -135 + 147. Let l be 44/(-10) + n/a. Which is smaller: l or -6?
-6
Let t = 56.9 + -94.06. Let g = t - 0.84. Let o = g + 27. Is o <= -0.1?
True
Suppose -2*g - 3392 = g + 2536. Are -1976 and g unequal?
False
Let j(o) = -102*o**3 + 27*o**2 - 113*o + 67. Let w be j(5). Is -12571 at least as big as w?
True
Let j be (-520)/(-780)*(-2)/6. Which is smaller: j or 1?
j
Suppose 11*g - 8*g = -9. Let z be (g - 11/(-4)) + 18/(-312). Suppose -5 = -3*r - 2. Which is greater: r or z?
r
Suppose 4*d + 3*b = -763 - 1689, 2*b = 2*d + 1212. Which is bigger: -601 or d?
-601
Suppose -2*a + 4*a + 336 = 350. Is a smaller than -228/13?
False
Let o(i) = -238*i - 113. Let y be o(10). Is -2492 >= y?
True
Let z be ((-2403)/(-30))/9 - (-2)/20. Is -1000 at most as big as z?
True
Let g be -5 + (-4)/6*-3. Let q be 12/(g/(9/(-2))). Suppose -3*a = 2*t - 14, 2*t - 5*a + q = -0*a. Which is smaller: -2/33 or t?
-2/33
Let a = -0.0414 + 0.0514. Let v = a - -0.09. Do v and 14 have the same value?
False
Let m be (8 - 2) + -14 + -1344. Which is smaller: m or -1350?
m
Let o = -15/2 - -903/122. Let l be 3/12*(-7 + 11). Which is smaller: l or o?
o
Suppose -16*f + 3*r - 2*r = 6*r, 2*r = 4*f. Is f less than or equal to 2/21915?
True
Let j = -38 + 33. Let d be 3/5*(-575)/j. Let x(f) = -14*f - 30. Let i be x(-7). Which is smaller: d or i?
i
Let a(g) = 15*g**3 - 3*g**2 + 2*g. Let w be a(1). Let n be w/(-13) + (-13)/(-169). Is -4/5 <= n?
False
Suppose -5*g - 3*i = 85, -200*g = -199*g + 4*i. Is g bigger than -9?
False
Let q be (-3)/(-1) + (2 - 2). Suppose 5 = -3*a - 2*j, -a + 0*a = -q*j - 2. Let f = 5246/385 + -148/11. Which is bigger: a or f?
f
Let n be (-2)/(-32) - (55/(-275) + 118/(-160)). Which is smaller: n or -7/4699?
-7/4699
Let b(z) = z**2 + 2*z - 1. Let j(y) = -y**2 - 4*y - 3. Let o be j(-1). Let q be b(o). Which is greater: -157/6 or q?
q
Let f(p) = p**3 - 17*p**2 + 15*p + 18. Let t be f(16). Let o be -2 + t + (12/255)/2. Let i = o - -49/85. Which is smaller: -9 or i?
-9
Let o = 13882/21 - -674/7. Does 758 = o?
False
Let d(w) = w**2 + 6*w + 8. Suppose -198 = 3*h - 186. Let o be d(h). Is -3/32 at least as big as o?
False
Let r = -388 + 389. Let p be (-24)/(-35)*1560/(-36) - r. Which is bigger: p or -30?
-30
Let m be (12 - 13)*(-1 - -2 - 8). Suppose -r - 5*d - m = 0, -r + 4*d - 28 = 3*r. Let c be r/(-147)*1*-3. Which is smaller: -1.1 or c?
-1.1
Let g(p) = p**2 - 13*p - 14. Let m be g(20). Let j = m + -119. Which is greater: j or 17?
17
Suppose 0 = h - t + 3*t + 10, 5*t = -2*h - 22. Let x(u) = 5*u + 9*u - 17*u**2 - 21 - u + 16*u**2. Let j be x(12). Are h and j nonequal?
True
Let k = -2/15 + -1/5. Let r = 14799/10 - 1482. Let w = -163/30 - r. Which is smaller: k or w?
w
Let i = 225 - 399. Let g be (31 - 12) + -177 - 17. Which is bigger: g or i?
i
Let r be 472/20 + (1 - 6/10). Suppose -10*w = r*w - 3468. Which is smaller: 100 or w?
100
Let x = 10775 + -10774. Is -22/85 >= x?
False
Let u = 1.25 - 2.1. Let b = 447 - 449.13. Let a = b + 2.23. Are a and u equal?
False
Let h(a) = -a**2 + 4*a - 3. Let x be h(3). Suppose -103*p + 104*p + 1 = -4*g, -2*p - 5*g + 1 = 0. Let q be (1/p)/(1176/(-2016)). Which is greater: x or q?
x
Suppose 4*u - 1931 - 3738 = -5*h, 0 = 4*h - u - 4552. Which is smaller: h or 1129?
1129
Let m = -283865117/110760 - -38917/1704. Let r = -2540 - m. Let w = r - 29/65. Does w = -0.04?
False
Let y = -8371 + 8375. Are y and -10 non-equal?
True
Suppose 19*v = 8*v - 55. Let y be (-1)/(-1)*(0 + -1)*4. Is y smaller than v?
False
Let z be (-9)/(11/22 - 0/2). Let q be (-255)/(-2)*6*(-4)/z. Do q and 169 have different values?
True
Let h be ((-360)/210)/(1 + 10/(-14)). Let m be 0 - (41/h + 7). Which is smaller: 1 or m?
m
Let l(k) = -2*k**2 - 2*k + 12. Let f be l(-5). Let n(c) = 14*c + 69. Let d be n(-7). Is d less than or equal to f?
True
Suppose 84 = 4*v + 4*h - 0*h, -h - 87 = -5*v. Let o be 554/18*v/99. Let n = -52/9 + o. Is n != -1?
True
Let i = 22528 + -22541. Which is smaller: i or 51?
i
Let s = 2354 - 2264. Is 33 greater than or equal to s?
False
Let a be (1184/176 - 18/(-66)) + 137/(-11). Is -8/7 less than a?
False
Let y be 10/(-3) + 4/12. Let u be -16*y/3 + -1. Suppose -10*p + 269 = 109. Which is smaller: u or p?
u
Let b(v) = -v**2 - 24*v - 125. Let s be b(-18). Which is smaller: s or -11?
s
Let q = -3765 + 3766. Is q < -0.099?
False
Suppose -3*t + 4*u = 1061, -80 = 7*t - 2*u + 2425. Is t bigger than -358?
False
Suppose 4*m - 72 = -3*p - 17, -2*p = -4*m + 50. Let o = -56/57 - -3586/285. Which is bigger: o or m?
m
Let x be (37/2)/((-368)/(-736)). Is 47 less than x?
False
Let j(w) be the first derivative of 29*w**2 + 272*w + 19. Let h be j(-5). Which is bigger: -16 or h?
-16
Suppose 0 = -k - 4*m + 47, 8*k + m = 122*k + 126. Let p = -106 - -13. Which is smaller: p or k?
p
Let x = 6.51 - 1.13. Let c = x - 5.42. Which is smaller: c or 7?
c
Let m be 4/50 + 38607469/(-4925). Is m greater than or equal to -7839?
True
Let u = 0.041 - -0.159. Suppose a + t = -4*a - 36, 2*a + 20 = t. Let h be ((36/(-16))/3)/(3/a). Which is smaller: h or u?
u
Let k = 7409 + -7408. Do k and 12/829 have the same value?
False
Let n(l) = l**3 + 2*l**2 - 3*l + 14. Suppose z + 2 + 2 = 0. Let a be n(z). Do -1 and a have the same value?
False
Suppose -30*a + 1489 + 1151 = 0. Suppose 75*k - a*k - 312 = 0. Suppose u = 2*u + 26. Which is smaller: u or k?
u
Let s(z) = z**2 + z + 10. Let w be s(0). Suppose 8*i = 5*i - i. Suppose 3*n - 3*a - 51 = -i*n, 3*n + 2*a = 26. Which is smaller: w or n?
w
Suppose -2*d + 4 = -0. Let s = 66640.6 + -66637. Which is greater: s or d?
s
Let g be 44/(-418)*-47557 + 3*1. Which is smaller: g or 10017/2?
10017/2
Suppose 0 = -6*d + 2*d - 252. Suppose -7*q = -15*q - 376 - 136. Is q greater than or equal to d?
False
Let a be 7/7*1*5. Suppose -3*n + a*y = -0*y - 195, 5*n = y + 303. Suppose n = -o + 4*o. Is o <= 20?
True
Let f(p) = -