 be n(22). Are 14 and w non-equal?
True
Let l be 17 + (0 - (1 - 4)). Suppose 2*w - 3*t + 39 = 0, 0 = -0*w - w + t - l. Let p be (-7)/(w/6) - 11. Is -10 <= p?
True
Suppose 0 = -g - 1 + 3. Let t = -1.975161 - 0.024839. Is g at most t?
False
Let d be (-258)/(-1505)*-112*-3*(-2)/(-4). Which is bigger: 30 or d?
30
Let r = 211 + -254. Let n be ((-88)/r - 2)*6/18. Which is greater: 1 or n?
1
Let x be 3/(-14) + (-431210)/868. Is -490 at most x?
False
Let j = -14437 + 14436.8. Which is greater: 834 or j?
834
Let v be 4/(2/(-4) - 110/(-60)). Suppose -3*r + b + v = 0, 2*r - 6*b - 2 = -8*b. Let w = -2014/39 + 154/3. Is r <= w?
False
Let d = 4973695/637 - 7808. Let n be 10/(10920/444)*(-103)/(-77). Let k = d - n. Do k and -2 have different values?
True
Suppose -3*v = 2*v - f - 11, -4*f - 6 = -v. Let a = 116 + -104.3. Let m = -11 + a. Which is bigger: m or v?
v
Suppose -4*r + 939 + 2701 = 0. Are 910 and r equal?
True
Let p = 1164.5 - 1426.3. Which is smaller: p or 0.2?
p
Let x be 168/(-126) + 277/207. Let z = -4806806597/3933 + 1222173. Let u = x - z. Is 1 less than or equal to u?
False
Let j be 0 + (2 - 3) + 3. Let x be (988/18 - 1)*405/1350. Let v = 757/42 - x. Is j bigger than v?
True
Let v = -391325164/2507 - -156093. Is 1 smaller than v?
False
Let g = 20589 + -20611. Which is bigger: 191 or g?
191
Let c = -5975/104622 - -1/1974. Suppose 4*s - 5*s = 30. Let n(q) = -q**3 - 31*q**2 - 31*q - 31. Let k be n(s). Is c less than k?
False
Let r(f) = -3*f - 374. Let s be r(-19). Is -316 > s?
True
Let w(d) = -d**3 + 15*d**2 + 16*d + 2. Let r be w(16). Suppose 168 = 4*s - r*s. Let v be (36/s)/((-4)/14). Which is smaller: 1/2 or v?
v
Let d be -2639 - ((-16)/(-24) - (-133)/63*3). Is d greater than -2646?
False
Suppose 2*t + 237 = 5*t. Suppose 3*g - t = -5*z, 5*g + 4*z + 20 = 169. Let w be (-3)/18 + (g/(-18) - 0). Is 31 greater than w?
True
Let t(l) = -l**2 - 2*l - 2. Let d be t(-1). Let x be d/(-4) - 11/(-4). Suppose 5*p = -5*s, 0 = -x*s - 3*p + 2*p - 2. Is s at least as big as -3/10?
False
Let m = -37 + 44. Suppose i + m = 2, -4*i - 33 = -k. Is k greater than or equal to 14?
False
Suppose -20*l + 23*l = 5*s + 5340, 0 = 3*s - 2*l + 3205. Is s greater than -1064?
False
Let t(m) = 5*m**2 - 6*m - 32. Let n be t(5). Is n equal to 66?
False
Suppose -10*a + 56 - 6 = 0. Suppose -6*y - 9 = 3*z - 3*y, -2*z + y + 9 = 0. Which is greater: z or a?
a
Let l = 82/7 - 9248/805. Is -1 bigger than l?
False
Suppose 4*w = 9*w. Let t be (-1911)/650 - (w + -3)*1. Which is bigger: -2/5 or t?
t
Let k be (-9)/(-459)*((-279)/92 + 3). Which is greater: -2/5 or k?
k
Let y = -226 + 133. Let z = y - -78. Let c = 0.3 + -0.4. Is z less than c?
True
Let y(r) = 2*r**2 - 6*r. Let u be y(4). Suppose -13054*j + 13049*j - 5 = 2*i, -3*i = -3*j - 45. Is i at least as big as u?
True
Let n = 0.3 + -0.4. Let p = 22.983 - -0.017. Let l = p - 23.1. Is n >= l?
True
Let j(y) = 35*y - 314. Let m be j(9). Which is bigger: m or -13/40?
m
Let x = -1973 - -1986. Is x not equal to -320?
True
Let z(m) = 4*m**2 + 137*m + 33. Let h be z(-34). Is h smaller than -14/881?
True
Let s(c) = c**3 - 75*c**2 + 414*c + 11. Let v be s(69). Which is smaller: v or 168/17?
168/17
Suppose m - 1 = 1. Let h be ((-2)/(-12)*-4)/m*3. Let w be ((-50)/35)/(h - (-1)/(-7)). Which is greater: w or 1?
w
Suppose 43*t + 9*t + 456196 = 0. Which is smaller: t or -8774?
-8774
Let q = -212 + 1915/9. Let d = -4 - -3.7. Is q equal to d?
False
Let t(s) = s**2 + 99*s - 916. Let z be t(-103). Is -506 greater than z?
False
Suppose -342*m = -337*m - 200. Let u be (-11)/(132/(-544)) + -5. Which is smaller: u or m?
m
Let b = 1/2762 + 13637/477826. Which is bigger: 0 or b?
b
Let k be (-2 - (-168)/90)/((-1)/(-4)). Let l = 12 - 7. Suppose w + 17 = -l*q, 4*w - 5*q = 2*w + 11. Is w less than or equal to k?
True
Let o(b) = -10*b**2 + 185*b - 2788. Let h be o(16). Which is bigger: -2387 or h?
-2387
Let z(v) = 206*v + 3090. Let t be z(-15). Is t >= -1/4506?
True
Let i be (-8)/(-3)*(-225)/132. Let o = i + 230/99. Let y = 1.2 + -0.2. Which is smaller: o or y?
o
Let p(l) = -l**3 - 18*l**2 + 41*l + 44. Let k = -66 - -46. Let a be p(k). Is 20 > a?
False
Let y(z) = 9*z - 31. Let c be y(3). Let p be (132/(-18) + 6)/(c/(-42)). Let n(a) = -2*a**2 - 6*a + 5. Let j be n(-5). Which is greater: j or p?
p
Let g(q) = 5*q + 104. Let k(w) = -10*w - 209. Let t(d) = 13*g(d) + 6*k(d). Let j be t(-20). Which is greater: j or -18/25?
-18/25
Let z = -0.2 - -0.2. Let j = 53406/5 - 10720. Let s = j - -40. Which is smaller: s or z?
z
Suppose 0 = 13*c - 13. Let n be (-13)/((-104)/(-32)) + (4 - c). Which is smaller: n or -5/12?
n
Let i(n) = 633*n + 183. Let a be i(0). Is 179 smaller than a?
True
Let o(b) = -269*b + 1881. Let w be o(7). Is w not equal to -4?
True
Let q(k) = -k + 12. Let x be q(0). Let d = -80 + 80. Suppose d = -4*h + 36 - x. Which is smaller: h or 2/5?
2/5
Suppose -25616*l + 63936 = -25542*l. Which is smaller: 0.07 or l?
0.07
Let g = 0 - 20. Let d = 18 + -17. Let w be g + 10 - (-1 + -2*d). Which is smaller: 0.1 or w?
w
Let k = 0.428 - -0.052. Let f = k - 1. Let b = 0.48 - f. Is 14 less than b?
False
Let v(m) = m**2 + 4*m + 3. Let n be v(-4). Suppose 45 = -3*p + n*y, 2*p + 7 + 3 = -2*y. Let j be (-6)/p + (-2511)/135. Which is greater: -19 or j?
j
Let s be (1/2)/((-6)/360*10). Let r(y) = 15 - 2*y - 3 + 10*y. Let v be r(s). Is v at most as big as -2/5?
True
Let v(a) = 162*a + 1088. Let g be v(-4). Which is bigger: 439 or g?
g
Let h be (139/1112)/((-2)/(-16)). Is 15/116 < h?
True
Let w be 4321005/(-1080105) + 0 + 3 + 1. Is w < 0?
True
Suppose 46*f - 42*f + 45 = 49*f. Which is smaller: -3/1622 or f?
-3/1622
Let j = 839 - 846. Let a be (j + 126/12)*-58. Is a at least -204?
True
Let l(u) = 33*u**2 + 71*u + 173. Let g be l(-5). Are -3 and g equal?
False
Let u(d) = -d**2 - 7*d + 4. Let n be u(-7). Let r be 14/8 - 10 - -12. Do r and n have different values?
True
Let u be 80/30*(-18)/694968. Which is greater: u or 1?
1
Let x be 4 + 255/102*(-610)/(-6) - -1. Is 258 at most x?
True
Suppose 428*i = 406*i + 62986. Are i and 2863 nonequal?
False
Let k = -442.7 + 35.7. Let a = -407.4 - k. Let g = 8 - 2. Which is smaller: g or a?
a
Let n = -8.92 - -116.92. Which is bigger: -80 or n?
n
Suppose 5*w + 114 = -4*w - 10*w. Suppose 4*d + 31 = -3*b, 3*b + 27 = -0*d - 3*d. Is w bigger than b?
False
Let j be 6/45 + 51/(-45). Is -11/45 at least as big as j?
True
Suppose -6*c = -14*c + 32. Suppose -3*r - 16 = -5*k, -3*k - 5*r = -c*k + 12. Suppose 12 = k*s - 3*s + 3*z, 0 = -2*s - 5*z + 9. Which is smaller: s or -8/3?
s
Let g = -2222 - -1108. Which is greater: -0.2 or g?
-0.2
Let x be (-39)/(-15) - 2/(-5). Let l = 320813/15 - 21398. Let h = -44/5 - l. Which is bigger: h or x?
x
Let n be (136551/(-92))/((-3)/(-36)*3). Do -5937 and n have the same value?
True
Let z = -62 - 96. Let s = z + 158. Is 1/10 equal to s?
False
Let f(y) = -y**3 - 84*y**2 + 114*y + 13. Let x be f(-86). Is x greater than 5000?
True
Let c = -319 - 13. Let s = -328.07 - c. Let d = -4 + s. Is d at least -0.1?
True
Let q(l) = -36*l**2 + 8*l - 2. Suppose 5*u - 6 = -2*k, -k + 6 = -4*k. Let b be q(u). Is -131 at least b?
False
Let h = -6 + -7. Let g = 3 + h. Let f be 30/(-36)*66/1100*-5. Is f at least as big as g?
True
Let x = 0.60007 + 0.09993. Which is smaller: -2/775 or x?
-2/775
Suppose 0 = -5*v - 3*h - 50 + 9, -45 = 3*v - 5*h. Let q = 4 + v. Let l = -1.14 - -2.14. Is q smaller than l?
True
Suppose 21*g - 16*g - 3*j + 281 = 0, 4*g = 5*j - 217. Is -63 at least g?
False
Suppose 36*i = 45*i - 189. Let m be (-770)/(-248) - i/12. Is 0 bigger than m?
False
Let x(o) = o**3 - 2*o**2 + 9*o - 4. Let n be x(6). Let f be (40730/(-175))/((-6)/5). Let h = f - n. Do h and 0 have the same value?
False
Let c = 286 + -295. Let o be c/(-45) + (-609)/(-805). Which is smaller: 0 or o?
0
Suppose -5*d = -4*n - 45, 4*n - 6*n - 39 = 3*d. Let r be (-15)/20*40/n. Which is greater: r or 34?
34
Let d = 1026 + -1025.7. Which is smaller: d or 109?
d
Suppose -4*n - 2*k + 1 + 13 = 0, -3*n + 8 = -k. Suppose -4 = n*t - 16. Suppose -4*v - t*d = 84, 0 = 3*d - 2 - 10. Is v <= -25?
True
Suppose 137588 = -235*n - 465208 - 497004. Is n greater than or equal to -4681?
True
Suppose z - 43 = 8. Let n = -54 + z. Let y be (104/n)/4*3/2. Is y greater than 3/5?
False
Let d be (1/(-3))/(