/(-13)*10/(-3). Suppose -33*a + s*a - 20*a = 0. Is -14/145 at most a?
True
Suppose -5*c + 0*c - 475 = 0. Let r(v) = 15*v + 276. Let p be r(-26). Let l be (608/p)/((2/(-1))/(-36)). Is c >= l?
True
Let t(i) = i**3 + 598 - 308 - 3*i - 304 - i + 6*i**2. Let a be t(-5). Are a and 28 unequal?
True
Let n = 351 + -281. Suppose -58*l = -n*l. Which is bigger: l or 1/15?
1/15
Let x be (-3)/(15/10) - -11017. Let b = 43809/4 - x. Is -63 at least as big as b?
False
Let g = -185/42 - 13/14. Let a = 3 - g. Are a and -1/3 equal?
False
Let x be 75/(-6)*18/(-45). Suppose x*j = -2*z - 3 + 41, -z = -3*j - 41. Do z and 28 have the same value?
False
Let w = 10272 - 18816. Is w greater than -17087/2?
False
Let u = -3.809 + 3.709. Which is greater: u or -12.87?
u
Let l = -2194 + 2199. Is 1822 smaller than l?
False
Let w be 2174/22 - 8/(-44) - 4. Suppose -150*i - w = -155*i. Is -1 not equal to i?
True
Let o(y) = y**2 - 3*y - 187. Let q be o(0). Let x be (-9 + 1)*q/44. Suppose 12 = -b + 4*j - 22, 3*j + x = -b. Is -34 smaller than b?
False
Let d = 681434/1525213 + -42/6719. Is 0 < d?
True
Let o be (7/98)/(4/14). Suppose j - 79 = 39. Let g = -1417/12 + j. Which is bigger: o or g?
o
Let q be (6/(-14))/((-9)/(-2)). Let n = -245 - -245.56. Let u = n + -0.46. Which is smaller: u or q?
q
Let x = -929.36 + 929. Let f = -0.66 - x. Let w = 1 + -1. Is f greater than w?
False
Let l(a) = -a**2 + 3*a + 12. Let t be l(5). Suppose 5 = t*b + 3*b - z, 0 = -5*b - 3*z + 5. Let v be (-6)/6 + b/(-1). Is 0 >= v?
True
Let s(i) = 8*i**2 + 3*i - 8. Let a be s(-4). Let o = 107 - a. Let y be 3/(-12) + o + 1. Which is smaller: -5 or y?
-5
Let k = -3271/18343 - -2/1079. Suppose 10 = 7*d + 3. Does k = d?
False
Let u be -30 + 34 - 342/16. Which is bigger: u or 2?
2
Suppose -z - r + 3*r = -21, 4*z - 2*r = 96. Suppose -5*g - 5*i - z = 0, 5*g - 3*i = -0*g + 15. Let c be 1*-1 - 21/(-17). Is g < c?
True
Suppose 8950*t - 8960*t - 10 = 0. Let i = 5614258/685 + -8196. Which is bigger: i or t?
i
Let z = -1.6314 + 1.5314. Is z != 7/463?
True
Let l = -4098 - -3922. Which is greater: l or -134?
-134
Suppose -64*g + 14301 = -9187. Which is greater: 370 or g?
370
Suppose k - 17 = j, 9 + 14 = k - 4*j. Suppose -2*m = -0*a - 3*a - 10, 0 = -3*a - 3*m + k. Suppose 4*h + h + 75 = a. Does h = -14?
False
Let p(q) = -q**3 + 3*q**2 + 8*q - 2. Let z be p(5). Let h be -93*(8 - (-100)/z). Which is smaller: 34 or h?
h
Suppose 2*c + 4*z - 123 = -997, 4*c = -3*z - 1763. Let v = 248 + c. Is -196 less than v?
True
Suppose -5*v - l + 2059 = 0, v - 423 = 36*l - 39*l. Let r = v - 326. Is r at least 85?
True
Suppose 163*o + 3 - 3 = 119*o. Do o and -37/65 have the same value?
False
Suppose 0 = -374*o + 409*o. Are o and -1509 unequal?
True
Let v = -4367.17 - -4367. Is 1/82 equal to v?
False
Suppose -8*z + 14 + 26 = 0. Suppose -b - z = -5. Which is greater: b or -3/94?
b
Let o(m) = -11*m + 7. Let l be o(1). Let x = 4 - 2. Suppose -x*i - 9 - 3 = 0. Which is smaller: i or l?
i
Let z = 164597 - 164716.033. Let i = 119 + z. Let w = i - -34.033. Which is smaller: 0 or w?
0
Suppose -11*g + 369 = -2*g. Suppose 2*f = -4*w + 11 - g, -3*w = 4*f + 15. Let p be (-3 + w/(-5))*(-6 - -1). Is -1/7 != p?
True
Suppose -5*q + 30 = 0, -378*a + 381*a = -5*q + 1308. Do -2/9 and a have the same value?
False
Let j be (-30)/(-12)*(-19096)/155. Which is bigger: -2463/8 or j?
-2463/8
Let h be (-1617)/(-160) + 42/(-7). Let y = h - -3/32. Are y and -4 nonequal?
True
Let v(l) = 8*l + 141*l**2 - 140*l**2 - 68 + 22*l. Let r be v(-28). Which is greater: r or -123?
-123
Let a = 0.67 + -0.97. Let w = -66.9 - -64. Let l = w + 2.8. Is l <= a?
False
Let m(x) be the first derivative of 8*x + 1/4*x**4 + 16/3*x**3 + 11 + 17/2*x**2. Let w be m(-15). Which is smaller: -21 or w?
w
Let o(f) = -14*f - 58. Suppose 0 = 12*d - 7*d + 45. Let p be o(d). Is 68 greater than or equal to p?
True
Let s be (-8 + 2930/20)/(1/(-4)). Let u be (-8)/6*(-11634)/(-28). Do u and s have different values?
False
Let s = -23/12 + 5/3. Let p = 61.80094 - -0.79606. Let b = p - -0.403. Which is smaller: b or s?
s
Let u = -26.628 - 1.222. Let k = u + 29. Let l = -0.85 + k. Is -14 not equal to l?
True
Suppose -2*t = 5*o + 8, 3*o + 6*t - 8 = 8*t. Suppose 5*u + u + 372 = o. Is -62 greater than or equal to u?
True
Let t = -379 - -376. Let z be (3/6)/(14/852). Let b = 562/21 - z. Which is greater: t or b?
t
Let r(t) = 20*t**3 - 2*t**2 - t + 2. Let o be r(1). Suppose g - 17 = n, -n + 2*g = -g + o. Let a be 56/(-32) + 4/(n/(-6)). Do -3/4 and a have different values?
True
Let p be 0 - (46/(-4) + 2). Let d(j) = -j**2 - 4*j + 6. Let n be d(0). Let b be 10 + (-4 - -4)/n. Which is greater: b or p?
b
Let z be (6 - (-3 + 58/6))*1036/49. Is -14 at most as big as z?
False
Let n = 136 + -132. Let t be 6/(-4)*n + 49608/8294. Is 0 greater than t?
True
Suppose -108 + 96 = -3*l. Let i be ((-2)/l - -1)*7/14. Suppose 4*f = 6 - 26, 3*f + 16 = k. Which is greater: i or k?
k
Suppose 0 = -32*v + 15*v - 2499. Let h be (609/(-116))/((-1)/(-28)). Are h and v nonequal?
False
Suppose -3*q = -4*k + 4635, 3*k + 0*q = -q + 3460. Which is smaller: k or 2/7?
2/7
Let x be 13/3*3/22*-6. Let w = x - -719/209. Let t = 11 - 43/4. Which is greater: w or t?
t
Let u = 482 + -423. Suppose 0 = 63*t - u*t + 948. Is -237 at most t?
True
Let u be (-2)/(-2) + -969 - (-140 - -146). Let a = -975 - u. Let v be (-1)/(2*(-6)/(-4)). Which is bigger: a or v?
v
Let q be 5 + (-86385)/(-28365)*(-10)/6. Let c = q + 4/93. Is c equal to -2?
False
Let r = -154 + -22. Let f be 8/(26/((-48048)/(-1500)) - 18/21). Is r greater than or equal to f?
True
Let t(z) = -7*z**2 - z**3 + 3*z - 6*z + z + 0*z - 2. Let y be t(-7). Let g be -2*(-3)/(y/(-10)). Do g and -8 have the same value?
False
Let f be -1*2/(-4)*22/19. Suppose -4*u - 4*n = -28, 20 = -0*n + 4*n. Which is smaller: u or f?
f
Let d(i) = 237*i + 49. Let w be d(6). Suppose -k + 497 = u, -k - w = -u - 2*u. Is 493 greater than u?
True
Let l = -49 + 35. Let t = -7640 - -7644. Which is smaller: l or t?
l
Let s = -40.035 + 42.635. Let z = -0.2 + 0.1. Which is bigger: s or z?
s
Let k(n) = -10 - 8 + 46*n + 9 + 3 + n**3 - 14*n**2. Let p be k(5). Is 6/17 at least as big as p?
True
Suppose 3*h + 5 = -4*v, 5*v + 17 + 8 = 0. Let y = 955 + -947. Suppose -2*m - y = -h*j, 2*j = 1 + 3. Is m >= -1/52?
True
Let j(h) = -2*h**2 - 76*h - 130. Let a be j(0). Suppose -524 = 4*i - 0*i. Is i equal to a?
False
Let t be (-8)/(-56) + (1 - (-91192)/28). Let v = t - 417027/128. Which is bigger: v or 1?
1
Let n(i) = -i**3 + 3*i**2 - i + 1. Let k be n(3). Let c be ((-2)/3)/(k/(-3)). Let u be -3*(-42)/399*(-2)/(-36). Which is smaller: c or u?
c
Suppose 1481*y = 1549*y + 68. Are y and -8/353 equal?
False
Let a(m) = 13*m - 181. Let b be a(-13). Let t = b - -348. Is -1 at most t?
False
Suppose -16*u - 975 = -5*u + 14*u. Which is bigger: u or -73?
u
Let y = -642467759/16423 + 39120. Which is smaller: 0 or y?
0
Let s = -4761/14755 + -42/227. Is s at least -2?
True
Suppose 4*k + 36 = 2*t, 3*t + 4 = -2*k + 26. Let u = t - 243. Which is smaller: u or -234?
-234
Let z = -15 + 17. Let h be (-7 - (-165)/z) + -1. Do 74 and h have the same value?
False
Let p be 8973/4*(-296)/(-284). Let l = -2338 + p. Is l less than or equal to -1?
False
Let c = 7989 - 7986. Let r = -5.6 + 1.6. Is r less than or equal to c?
True
Let r be (3 - 2) + -1 - 0. Let z = -161662237196/9080747075 + 1320288/74975. Let v = z + -2/3907. Is v smaller than r?
True
Let l be 106/72080*(-4 + -2). Is -0.5 bigger than l?
False
Suppose -365*d + 4*l - 6020 = -361*d, -d - 7*l - 1473 = 0. Which is bigger: d or -1502?
d
Let l = 39 - 33. Let a be 3 - 24/l - 680/(-2). Suppose -67 = -8*c - a. Is -33 greater than c?
True
Let k(t) = -t**3 - t**2 - 32*t - 7. Let w be k(-9). Let j = w - 6515/7. Is j <= -1?
True
Let p = 32 - 28. Suppose 0 = 4*b + m - p, 0 = b - 2*m - 10. Suppose v + b*v = -27. Is -9 at most v?
True
Let k = -397978/10791 - -332/9. Which is smaller: k or 0?
0
Let f = -246.12 - -251. Let h = 4.7 - f. Let m = h - -11.18. Which is smaller: -1 or m?
-1
Suppose -2*z - 19656 = 24*z. Let i be (-1)/(-3) - (-171)/z. Which is smaller: 1 or i?
i
Let x be -2*(-1 - 258/4). Let y = -28307/215 + -4/645. Let t = x + y. Is 13 bigger than t?
True
Suppose 0 = 206*f + 2*f - 2704. Is 386/31 at least f?
False
Suppose 1465