- -2619))/2. Let o be (-84)/(-56) + s/(-6). Are 219 and o equal?
False
Let h = 66 + -63. Suppose 4*u + u + 5*s = -20, 0 = h*u + 4*s + 15. Let x = 0.4 + 0.1. Which is smaller: x or u?
u
Let g = 12280 + -4752356/387. Is g not equal to -1?
True
Suppose -1223 = -5*w - 8*s + 9*s, 0 = 5*w - 3*s - 1229. Let m be 4 - 63/105*w/18. Which is smaller: -4 or m?
m
Let b = 12133 - 12133. Are b and -5/4392 unequal?
True
Let f be (-7 + -541 - -6)/(26/(-11)). Let q = f - 229. Does 1 = q?
False
Suppose 24*c - 5419 = 5*f + 25*c, -3*f - 3256 = -4*c. Is -1083 greater than f?
True
Let c = 10351 - 10351. Which is smaller: c or -1/650?
-1/650
Let c = -1333.12 - -1332.8. Let l = -1 - 1. Which is smaller: c or l?
l
Let k be ((-114)/(-3))/(630/(-314) - (-14 + 12)). Are -5965 and k non-equal?
True
Let o = -6620137 - -4702553. Let x = -3892695071/2030 - o. Let m = x - 1/145. Is m less than 0?
False
Suppose 0 = -6*d + 8*d - 4*n - 2, 3*n = 0. Let r = -4/251 - -817/4016. Which is greater: r or d?
d
Suppose 6*n + 16 = -14. Let t be (4/n)/((-4)/(-8)). Let a = t + 6/35. Is a >= 0?
False
Let k(j) = -j**2 + 28*j - 52. Let t be k(26). Let n be ((-14)/(-20) - 6/30)*t. Is n at least as big as -1/9?
True
Let y = -107.657 + 1.057. Let l = y + 107. Let b = -4 + 4. Is l <= b?
False
Suppose -2*f - 4*l - 23 = -7, -16 = 4*l. Which is greater: f or -5/107?
f
Let d(w) = 12*w - 139. Let t be d(11). Let q be (-2)/(-7)*t - (-3 - -1). Is q at least 16?
False
Suppose -123*q + 0 = 90 + 33. Which is smaller: q or 2/8157?
q
Let r = 4164/13 + -50824/65. Which is smaller: -461 or r?
r
Suppose -7*l + 2*l = 3*d + 17, 3*l + 8 = -4*d. Suppose 0 = 4*j + 3*r + 645, -2*r - 3*r - 174 = j. Let z = 5567/35 + j. Which is smaller: z or d?
z
Let u(c) be the first derivative of -11*c**3 - 17. Let w be u(1). Let g(k) = k**2 - 13*k + 3. Let j be g(9). Does j = w?
True
Let v = 2.859 - 2.8. Let l = 0.041 + v. Is 21 less than l?
False
Let k(t) = -t**3 - 17*t**2 + 15*t + 11. Let j be k(-18). Let z = j + -65. Suppose -x + 6*x + 170 = z. Which is smaller: x or -36?
-36
Let q = -3 - -4. Let a = -33820 + 33889. Which is greater: a or q?
a
Let o(d) = -45*d + 763. Let q be o(17). Let j = 1158 - 9279/8. Which is bigger: q or j?
j
Suppose -14*c = 4*f - 9*c - 17, -f = -5*c + 2. Suppose 4*g = 8, -t + 12*g = 14*g - f. Which is greater: t or -7/40?
-7/40
Suppose -p - 38 + 157 = 0. Which is smaller: 117 or p?
117
Let y = 3 - 4. Let j be -1 - -44*(-15)/(-420). Which is greater: j or y?
j
Let z(y) = y**2 + 6*y - 12. Let g be z(-9). Suppose -5*o - 16 = -2*q - 2, -3*q + o + 47 = 0. Let w = q + -2. Are g and w unequal?
False
Let j = -1/13513 - 60943603/364851. Let x be ((-7)/(-14))/((-4)/(-5344)*4). Let y = x + j. Which is greater: y or -1?
y
Suppose 15 + 5 = -j + 4*d, 0 = 3*d - 6. Let c be ((-4)/45)/(j/(-18)). Which is greater: c or 3/2?
3/2
Let u be 2*8/32*-4. Let l = 28 - 48. Let n be ((-32)/10 - u)/((-54)/l). Which is smaller: 1/2 or n?
n
Let v be (-26)/7 - (23 - 2226/98). Do v and -472 have different values?
True
Let h = -18880 - -12481. Is h < -6398?
True
Let b(u) = 140*u - 2. Let j be b(8). Let k = j - 705. Is k at least 413?
True
Let a(q) = q**3 + 9*q**2 - 11*q - 12. Let w be a(-8). Let b = 1246/9 - w. Let m = 110.85 + -110.95. Which is smaller: b or m?
b
Let q = 9464 + -10197. Is q > -736?
True
Let h = 1741 + -1130. Which is bigger: 612 or h?
612
Let m = 6.1 + -5.5. Let w = -0.602 + m. Let a = 0.048 - w. Is 0.4 < a?
False
Let s = 293 + -350.3. Let k = s - -46. Let v = k - -7.3. Which is smaller: 3/5 or v?
v
Let g be (672/128)/(6/8). Suppose 3*y = 5*k - g, -3*k = -7*k + 5*y + 16. Which is smaller: k or 1/69?
k
Suppose 4*k - 92 = 3*k - 5*o, -3*o = -4*k + 276. Let g = k + -120. Is -50 less than g?
True
Let y be (-14)/2 - 37/(2590/(-1140)). Is 9 less than or equal to y?
True
Let q(v) = 2*v**2 + 27*v - 12. Let m be q(-14). Suppose 9 - 31 = -m*z. Suppose 3*s = z - 8. Which is bigger: s or 3?
3
Let a(z) = -10*z - 10. Suppose -60 = -22*x + 336. Let v be a(x). Which is greater: v or -189?
-189
Let d = -70246/2555 - -1132/35. Is 6 >= d?
True
Let b = 15684 - 78407/5. Is b at least 1/2?
True
Let u = -15104 + 19049. Which is bigger: 3946 or u?
3946
Suppose 5 = 5*b - 5*t + 7*t, 8 = b - t. Suppose 3*m = -i - 7, b*i + 11 = -m + 2*m. Is m not equal to 8/53?
True
Suppose 77*t - 74*t = 2*x + 13, 0 = -2*x - 3*t + 17. Which is smaller: x or 822?
x
Let r(c) = 7*c**2 + 2*c - 9. Let p(z) = 3*z**2 + z - 4. Suppose 15 = -5*k + 5. Let w(o) = k*r(o) + 5*p(o). Let b be w(1). Is b bigger than -4?
True
Let i be (-108)/(-84) - ((-24)/14 + 2). Let s(h) be the third derivative of -h**4/12 - 41*h**3/6 - 23*h**2. Let k be s(-21). Is k at least i?
True
Suppose -2*s - 65 = -2*o + 69, 0 = 4*s - 2*o + 276. Suppose -185 = 5*j - x + 175, -2*x = -3*j - 216. Which is greater: j or s?
s
Suppose -4*g - 142 = -9*g - 4*n, 88 = 3*g + n. Let u be (g/(-90))/((-1 + 0)/42). Are 73/5 and u non-equal?
True
Let p(s) = -s**3 + 32*s**2 - 34*s - 515. Let g be p(23). Is g less than 3464?
False
Let m be (-2)/8*-3 + (-2)/(-8). Let l be 36*(-12)/(-1610) - 26/91. Is l <= m?
True
Let v = -6956 + 7572. Do v and 613 have the same value?
False
Let f = -6696 - -6671. Is -32 at most f?
True
Let y = 66 + -68. Let s be y/18*(1 - -1)*-1. Does 1 = s?
False
Let f = 487 + -517. Let k be (-3)/(-5) - (6 + 9972/f). Is k >= 327?
True
Let c = 6157/20 + -1368/5. Let a = c + -34. Let j = 8 - 6. Which is smaller: a or j?
a
Let z = 433606 - 7809779/18. Let u = 1792/9 + z. Is u equal to -71?
False
Let r = 223615/6 + -37437. Is -168 at most as big as r?
True
Let u = 532.68 + 30591.32. Is u less than -2/3?
False
Let j = -28801 - -24825. Which is bigger: 2 or j?
2
Suppose -5*v - m + 905 = 0, -v + 800*m + 177 = 801*m. Do v and 1280/7 have the same value?
False
Let l be (0 + 12/30)/(2/40). Suppose -2*r - 2 = p, -4*p - 4*r - r = 14. Let h be p/l*20/48. Which is smaller: h or 0?
h
Let z(t) = -t**3 + 12*t**2 - 29*t + 21. Let r be z(9). Let p be r/((45/10)/(-3))*-9. Let l(u) = u**3 + 4*u**2 - 4*u + 2. Let g be l(-4). Is p greater than g?
False
Suppose -2*p - 128 + 126 = 4*l, 0 = 3*l + 4*p + 4. Which is bigger: l or -22/61?
l
Let h = 37 - 41.1. Let d = h - -4. Let o = -3358 - -3359.5. Which is bigger: o or d?
o
Suppose -3*t = -2*t + 3. Let c be (2/(-3)*2)/(1092/819). Let w be (-6 + 0)/18 + c/t. Is w bigger than -2/5?
True
Let h be ((-29)/(-29))/(2/(-6)) + 28. Suppose f = -h*r + 28*r - 35, -69 = -5*r - f. Which is greater: r or -1/10?
r
Suppose 1443 = 4*h - 3*u, -297 = -3*h - 3*u + 759. Which is greater: 3920/11 or h?
h
Let d(t) = -2*t - 34. Suppose -6*b - 174 = -72. Let r be d(b). Which is bigger: r or -2/89?
r
Suppose -6*i + 3*q = -3*i + 453, -3*q + 606 = -4*i. Let u be (-34)/i - 2/9. Let h(k) = k**2 + 8*k - 1. Let t be h(-8). Which is bigger: u or t?
u
Let f be (1784*1)/(30/525*5). Which is greater: 6246 or f?
6246
Suppose 3*t + 17 = x - 29, -10 = 5*x. Is t equal to -38?
False
Suppose 3*q - 2*q + 4 = -2*u, 5*q + 9 = u. Let r be 4 - (6 + q + -1). Let f be 32/6 + -4 - r. Which is greater: f or -8?
f
Let v be 11/(-198)*6*12 - 88. Which is greater: v or -5?
-5
Let s = 17497710101282864484/6473203 + -2703099238705. Let p = s - -2/18983. Which is smaller: p or -1?
-1
Suppose -18*q = -1925 - 127. Is q at most 790/7?
False
Let r = -14.85 + 14. Let a = 0.2 + r. Let h = -14510 + 14511. Is h smaller than a?
False
Let w(c) = -c**3 - 7*c**2 + 16*c + 7. Let n be w(2). Let x(z) = -z + 2 - 1 + 3. Let a be x(3). Is a != n?
True
Let p = -321 - 113. Let g = -400 - p. Which is smaller: -1/8 or g?
-1/8
Suppose -52 = 4*d - 16. Let r be ((-28)/6 - 0) + d/27. Which is smaller: -21 or r?
-21
Let i be 2/15*385/33. Let c(k) = 3*k**2 - 13*k + 15. Let q(g) = -2*g**2 + 7*g - 7. Let r(p) = -3*c(p) - 5*q(p). Let y be r(-6). Are y and i equal?
False
Let g be 1 + 0 + (-1380345)/1342113. Let p = 2/6301 + g. Let a = -1940 - -1940. Which is greater: p or a?
a
Let q be 10450/(-38) + (-9 - -11) + (-1 - 7). Do q and -285 have the same value?
False
Let z = -498 - -764. Suppose -262*t - 8 = -z*t. Do 23/9 and t have the same value?
False
Let w(v) = -169*v - 168. Let l be w(-1). Which is bigger: l or -6/2693?
l
Let j(g) = -g**3 - 13 + 6 - 7*g**2 + 26*g - 11*g - 10*g - 8. Let v(k) = k**3 + k**2 + k - 8. Let z be v(0). Let m be j(z). Is m greater than 8?
True
Let