5. Let k = 169 - 91. Is m != k?
True
Let o = -18/595 + -559/1190. Which is smaller: o or -11.23?
-11.23
Let x = 0.02964 - 562.93764. Let y = x - -563. Is y < -1?
False
Let r be (90/(-28 - -13))/(-6). Is -9/391 at least as big as r?
False
Let s = -0.65 + 0.36. Let v = 5648 - 5653. Is s equal to v?
False
Suppose -5*y + 10 = -0*j + 5*j, -5*y - 2*j = -13. Let q be -1 + -3 + y - 73. Let h = q + 75. Which is smaller: h or -7/17?
-7/17
Let u = 244 + -235. Suppose 38*s - 39*s + u = 0. Suppose 0 = -5*t + 3 + 32. Which is bigger: s or t?
s
Let p be -16*(-4)/(-120)*-1. Suppose -2*q - 2*h = 0, -5*q - h = -3*h. Suppose q = -33*x + 27*x. Which is bigger: x or p?
p
Let i = 5489 - 5488. Let n be 6/4*4/(-267). Which is smaller: i or n?
n
Let u = -94 + 86. Let l be (u/(-3) + -3)/(161/42). Which is bigger: l or 1?
1
Let y(u) = -u**3 + 8*u**2 + 11*u - 8. Let s be y(9). Let l(p) = 3*p + 7*p**3 - s*p**3 + 2*p**3 - 4*p**2 + 12. Let k be l(-4). Which is smaller: 1/66 or k?
k
Let k = 217 - 216.5. Let h = -69 - -75.2. Let p = 6.1 - h. Are p and k equal?
False
Let g = -2064 - -1853. Which is smaller: g or 6?
g
Let k(l) = l - 3. Let f be k(1). Let c be 57/(-58) + f/(-2). Let x = 121/290 - c. Which is greater: -1/8 or x?
x
Suppose -504 = -4*p + 3*k, -2*k + 81 = p - 56. Suppose 0 = 2*b + 3*x + 11, -b - 3*x - 13 = -0*b. Suppose b*d = -d + p. Is 43 >= d?
True
Let r(a) = 2*a**3 + a**2 + 6*a - 13. Let d be r(6). Let s = -507 + d. Is -111/7 at least as big as s?
True
Let t(z) = 4*z + 53. Let n be t(-19). Suppose 78*d - 83*d - 120 = 0. Is n < d?
False
Suppose 3*o = 4*b - 514, -26*b - 3*o = -22*b - 478. Is 124 greater than b?
False
Let o = 59897976/362021 + 4/32911. Is o at least as big as 164?
True
Let z(x) = x**3 + 6*x**2 + 5*x - 1. Let f be z(-3). Suppose 0 = -7*k + f*k + 64. Which is greater: k or -78/5?
-78/5
Let p be (-2)/13 + 1360/(-455). Suppose -3*t + 2*v = -461, -5*t + v + 766 = -0*t. Let y = -460/3 + t. Which is smaller: p or y?
p
Let t = 10987.8 + -10982. Let v = -14 + 14.1. Which is greater: v or t?
t
Let s = 3347/444012 - 3/652. Let j = 6107/7491 + s. Let w = j + -8/11. Is 1/3 less than or equal to w?
False
Let a be (-36 - -48)*78/9. Which is bigger: a or 22?
a
Let j(d) = 4*d + 28. Let b be j(0). Let s be ((-2)/2)/((-88)/b + 3). Is 39/5 at most s?
False
Let g = -3551 + 3550. Are g and -1/751 equal?
False
Let i(t) = 3*t + 59. Suppose 28*z = 22*z - 66. Let g(j) = -j - 20. Let a(l) = z*g(l) - 4*i(l). Let k be a(-15). Is k > 2/25?
False
Let d(g) = -g**3 - 17*g**2 + g + 14. Let a be d(-17). Let o be 615/(-45) + 1/a. Is o at least as big as -22?
True
Let t be 73780/(-350) - 2*(-6)/(-10). Is -214 < t?
True
Suppose 90*c - 1281 = 22*c + 827. Is 60 less than or equal to c?
False
Let q = -96.7 - -6.7. Let t = 90.2 + -6.2. Let j = q + t. Is j > -2?
False
Suppose -694*m + 719*m - 1450 = -150. Is 32 greater than or equal to m?
False
Let s = 78 + -182. Let n = -4654 - -9309/2. Does s = n?
False
Suppose -244*y = -280*y - 36. Is y greater than or equal to 26/1239?
False
Suppose 0 = -971*y + 917*y + 19548. Is 361 at least as big as y?
False
Let h(c) = -18*c**2 + 64*c + 32. Let f be h(4). Which is bigger: f or -2/427?
f
Let i = -100 - 13. Let h = 115 + i. Let y = h - 5. Is y less than or equal to 1/3?
True
Let y = -1.2 + 0.1. Let r = -10 + y. Let n = r - -11. Which is bigger: 0.09 or n?
0.09
Let y be (((-78)/156)/(5622/(-8)))/((-2)/4). Is y smaller than 1?
True
Let d be (-10)/40*20/(-11). Suppose -2*r + 128 = 3*j - 0*r, 5*r = -3*j + 131. Suppose -a = -43 + j. Is d at most a?
True
Let a be (-4*(-12)/16)/((-6)/(-36)). Suppose -21 = -g - 2*h, 0 = 5*g - 2*h - 87 + a. Which is greater: 168/11 or g?
168/11
Let t be (9/105)/(4 - 3*(-10)/(-7)). Is t at most 75/7?
True
Suppose 5*c - 43 = -28. Let y = -7 + c. Let v be y/16 - 12/160*-6. Are 0 and v equal?
False
Let p = 2/281 - 481/28100. Let l be (1/3 - 1)*(-38)/((-3268)/129). Are l and p unequal?
True
Suppose 4*z - 85 + 16 = o, 95 = 5*z - 3*o. Suppose 3*s - 19*s = z. Which is smaller: s or -2/165?
s
Suppose 4*a - 6*a - 1 = 5*g, 16 = a - 3*g. Let t be a/4545*(67 - -2). Let x = -4/101 + t. Is 0.1 >= x?
True
Let f be (26/(-8) - -4) + 570/8. Let r = f + -108. Which is bigger: r or -34?
-34
Let n = 18953 - 56860/3. Let j = -15 + -10. Are j and n equal?
False
Let c(v) be the first derivative of 12*v**2 + 83*v - 183. Let b be c(5). Which is smaller: b or 202?
202
Let f = 6.8716 - 6.88. Let h = f + 0.0684. Which is bigger: 0.004 or h?
h
Let r = 4.04 - 7.19. Let j = 3.25 + r. Which is greater: -513 or j?
j
Let j = -196 - -200. Suppose 166 = 4*g + 2*z, j + 1 = z. Do 39 and g have different values?
False
Let v be 12 + ((-65)/(-10) - 6). Let h = -34211/3006 + -224/167. Let i = h + v. Is -1 not equal to i?
True
Let y be ((-45)/(-66) - (-4)/(-22))/((-4144)/(-32)). Does -3 = y?
False
Let u(f) = f**3 - 4*f**2 + 6*f + 26. Let z be u(8). Are z and 331 nonequal?
True
Let y = 268489 - 268642. Suppose -2*t - 4 = -2*k + 10, 2*k - 4 = -3*t. Which is smaller: y or t?
y
Let b(a) = -37*a**2 + 940*a - 362. Let h be b(25). Suppose -134 = 5*n + 181. Let m = n + 187/3. Which is smaller: h or m?
m
Let n(h) = -h**3 + 4*h**2 + 6*h - 3. Let p be n(5). Let y be 4 + -10372*(-7)/52. Let q = 1401 - y. Which is smaller: q or p?
q
Suppose -4*m = 4*a - 16, 6*m + 3*a = 4*m + 8. Let j be (-70)/(-6)*(3 - m). Let d = -19 + 7. Do j and d have different values?
True
Let h = 49 - 37. Let z = -11.68 + h. Let i = -0.68 - z. Which is smaller: 6 or i?
i
Suppose 3*h + 519 = 4512 + 3522. Is h less than 2510?
True
Let s(d) = -d**3 - 19*d**2 - 74*d - 164. Let z be s(-14). Which is greater: z or -44?
-44
Let p be 1/((1/(-6))/1). Suppose -500 + 302 = -33*i. Let u be (8/i)/((-52)/p + -8). Do -12 and u have the same value?
False
Let c be (-8596)/(-8)*54/(-540). Is -108 at most as big as c?
True
Let z = 49.58658 - -0.00342. Let y = z - 4.39. Let f = y + -45. Is f at least as big as -7?
True
Let j = 184439/5 - 37383. Is j less than -496?
False
Let b = -3.3 - -48.3. Let p = -44.8 + b. Let h be -1*((-48)/(-15) - 3). Which is smaller: p or h?
h
Let v be (2 + -4 + 2)*3/(-6). Suppose -2*l + v = -8. Suppose -l*z = -13*z. Is -2/5 greater than or equal to z?
False
Suppose 5*i - 11491 = h + 432, 2393 = i - 3*h. Is 2385 != i?
True
Let r(t) = 2*t**3 - 38*t**2 - 2*t + 31. Let u be r(19). Which is bigger: -19.8 or u?
u
Let t = -183/665 + -1/95. Let z be (-175)/15*210/175. Is t not equal to z?
True
Let s = -12 + 11. Let x(r) = 109*r - 2902. Let d be x(28). Is d > s?
True
Let a = 5594 + -189. Let h = 16039/3 - a. Are h and -58 equal?
False
Suppose -7 + 1 = -i. Suppose 15 = -m - 5*d, 3*d - d + i = 0. Suppose -o + 5*o + 144 = m. Is -37 greater than o?
False
Let b(f) = 2*f**3 + 197*f**2 - 287*f + 23. Let i be b(-100). Is -6379/5 bigger than i?
True
Suppose 14*p + 6 = -8. Let s be 2 + (-4)/(948/473). Which is greater: s or p?
s
Suppose -491*f + 477581 = -248608. Is 1483 greater than or equal to f?
True
Let s be (-1)/7 - (-231540)/(-14). Let o = 16682 + s. Let v = o + -143. Are v and -8 non-equal?
True
Let p be (480/770*11)/(-1 + (-16)/(-35)). Is -14 at most as big as p?
True
Suppose 85*a + 11 = -q + 88*a, -5*q - 5 = -5*a. Is 0.0282 smaller than q?
True
Let v be (14/(-4))/(3/(-6)). Suppose 17*m = 7*m + 130. Suppose r - c = -v, c + m = -r - c. Do r and 2/7 have the same value?
False
Let o = 590240/271 - 2178. Let z = 5558 + -5558. Which is greater: z or o?
o
Let t = -763111/29 + 26319. Which is greater: t or 6?
6
Let w be (2 - 0) + 1 + -2. Suppose 1 + 23 = 3*g. Let t be (2/(g/(-12)))/(-1). Which is smaller: t or w?
w
Let m be (-2)/((-17)/(-170) - 1/2). Suppose 0 = 5*z - m*l - 125, -5*z - 2*l - 2*l + 170 = 0. Suppose 3*b + 108 + z = 0. Which is smaller: -45 or b?
b
Let w = -57821/834696 + -2/11593. Let x be 5/(-5)*9/9. Which is smaller: w or x?
x
Let p be 12/14 - (36/24)/((-84)/(-328)). Let j = 3 + -1. Suppose -t = -j*t + 2. Is p at most as big as t?
True
Suppose -3*r - 5*c = -4*r - 62, 3*c = -2*r - 111. Let z be -16 - ((-2 - 2) + 4)*1. Let w = r - z. Do w and -40 have the same value?
False
Let s(h) = -3*h - 18. Let y be s(-8). Suppose -2*n = 2*q - 24, -n + y*q = 2*q - 22. Is 13 greater than or equal to n?
False
Suppose -2*o + 365 = 5*w, 5*o - 86 = -w + 2*o. Let k be (8/(-10))/((-4)/290). Let s = 130 - k. Which is smaller