 smaller: y or j?
j
Let l be ((-15)/14)/(52/(-1638)). Which is smaller: l or 1/3?
1/3
Let a(q) = -q**3 + 7*q**2 + 13*q + 5. Let f be a(9). Let i = f - -24. Which is smaller: -17 or i?
-17
Let v(p) = p + 8. Let g be v(-7). Is g greater than -0.125?
True
Let m(y) = 2*y**2 - 25*y + 41. Let s be m(11). Which is smaller: s or 9?
s
Let y = 2155 + -1975. Which is bigger: -1/4 or y?
y
Suppose 0 = -3*j + h - 33, -4*j + 15*h - 39 = 12*h. Which is smaller: -14 or j?
-14
Let t = 3.07 + -0.07. Let k = 5.943 + -0.943. Is k smaller than t?
False
Let f = 363 + -361. Which is greater: -3/2 or f?
f
Let c be (-5)/(((-1)/310)/(2/5)). Let h = c - 6814/11. Suppose -5*v = 2*r - 20, -r + 0 = -3*v + 1. Which is greater: v or h?
v
Let c = 1485 + -1485. Suppose 0 = -w - h - 0*h - 3, -2*w = 5*h + 18. Let l be (0 - w) + (-1)/(-3). Which is bigger: l or c?
c
Let o(u) = -u - 10. Let v be o(-10). Which is smaller: v or -1/96?
-1/96
Let z = 223 + -221. Is 1 smaller than z?
True
Let w = -437 + 571. Which is bigger: 132 or w?
w
Let h be ((-1)/(-12))/((-2)/(-68)). Let u = -5/3 - h. Suppose 0*r + 2*y = 3*r + 8, -26 = 5*r + 3*y. Which is bigger: u or r?
r
Let f be ((-50)/35)/(-5)*7/5. Let p(o) be the third derivative of o**5/60 + o**4/4 - o**3/6 + o**2. Let x be p(-6). Are f and x unequal?
True
Let g be (258/228 - 1)*(-84)/40. Are g and 0 nonequal?
True
Let x = -3.363 - 0.637. Which is greater: 36 or x?
36
Let g = -20297/3689 - -169/31. Let k = -52/3689 + g. Let p = -3 - -2. Which is bigger: p or k?
k
Let v = -37/9 - -700/171. Suppose -4*i + 2*c + 1 = -5, 0 = -5*i - 5*c. Is v > i?
False
Let v = -6190 + 6175. Suppose -4*y + 75 = -9*y. Do v and y have the same value?
True
Suppose -39 = -13*t + 26*t. Let g = -43 - -31. Is g less than or equal to t?
True
Let w be (-7)/(-8) + (-1)/2. Let r(n) = -2*n**3 - n**2 + 2*n. Let p be r(1). Let c be (p/((-10)/(-15)))/((-6)/4). Is w < c?
True
Let v = -0.9 - -1. Let g = 4.77 - -51.03. Let w = -56 + g. Which is greater: w or v?
v
Let c be (-2)/8*(-13056)/480. Which is greater: 7 or c?
7
Let n be ((-3)/8*-4)/27. Let m = -21 - -20. Let r = -1 - m. Which is smaller: r or n?
r
Let h = -1575.8 - -1575. Which is smaller: -31 or h?
-31
Suppose 3*z - d - 20 = 4, -3*z + 24 = 4*d. Which is smaller: z or 3?
3
Let u = 23 + -3. Let j = 17.2 - u. Is j at least as big as 1?
False
Suppose -3 - 50 = 53*z. Are z and 2/35 non-equal?
True
Let j be 3/(-2)*(2/(-1) - 0). Let m be (14/(-4) - -3)/(j/336). Which is greater: -55 or m?
-55
Suppose 4*v - 19*c - 648 = -23*c, -2*v + 4*c + 312 = 0. Is v bigger than 159?
True
Let s(i) = i**3 + 16*i**2 + 33*i + 35. Let n be s(-13). Which is bigger: n or 114?
114
Let w = -273 - -1908/7. Suppose 3*b + 2*t = 4*t + 7, 3*b + 7 = -5*t. Let v = b + -1. Which is greater: v or w?
v
Let g(x) = -x**2 + 24*x - 23. Let d be g(16). Let s be 135/d - 2/7. Let i = 12/31 - 46/279. Which is greater: s or i?
s
Let l be 2/8 - (-6)/(-32). Suppose 0*x - 5 = -x. Suppose -x*t = 15 - 10. Which is smaller: l or t?
t
Let w(g) = -g. Let h(y) = -y**2 - 15*y + 4. Let s(k) = -h(k) + 6*w(k). Let f(l) be the first derivative of s(l). Let q be f(-6). Is -17/4 > q?
False
Let x = -2374/9 - -887921/3366. Are -1 and x non-equal?
True
Let t be 2*((-10)/4)/5. Let o be t/(4/6)*-4. Let m be o + -3 - 34/10. Does -0.2 = m?
False
Let g be -3 + 6 - 1770/858. Let s = g + -11/13. Which is greater: s or 1?
1
Suppose -n + 34 = n. Suppose -k - 33 = 2*k. Let l be (-51)/n - (k + 0). Which is bigger: 9 or l?
9
Let f = -1204 - -1200. Is f > -117?
True
Let q(k) = k**3 + 3*k**2 - 5*k - 16. Let a be q(-3). Let x be 17/(-44) + (-1)/(-4). Does a = x?
False
Let j = -3.75 + 4. Let b = 0.55 + j. Let i = -0.8 + b. Is -7 less than or equal to i?
True
Let p(w) be the third derivative of w**5/60 + w**4/2 + 3*w**3/2 + 2*w**2. Let h be p(-11). Let g be -1 - (0 + (-3 - h)). Which is smaller: g or -2/3?
-2/3
Let z be 40/60 + 158/(-3) + -1. Is 0 less than or equal to z?
False
Suppose -2816*g = -2802*g + 14. Let z = -8 - -7.68. Which is bigger: g or z?
z
Let p be 16/12*(-18)/4. Suppose 0*r = -4*r + 164. Let u = r + -45. Is p < u?
True
Let d be -40*((-2)/4)/(35/28). Let o be (1 + -2)*2 + (d - 7). Is 8 at most as big as o?
False
Let c be ((-5)/14)/(260/(-182)). Is 2 greater than c?
True
Let y be ((-3954)/176)/(126/28) + 5. Which is smaller: 0 or y?
0
Suppose -1 - 4 = 5*z + 5*w, -4*w + 10 = -3*z. Suppose j - 8 + 12 = 0. Is j less than or equal to z?
True
Suppose -11 = -g - 7. Let a(t) = t + 2. Let l be a(-8). Let b be -5 + 6 + (-10)/l. Are b and g equal?
False
Let j = 136 - 64. Which is smaller: -3 or j?
-3
Let w(u) be the third derivative of 0*u + 2*u**3 + 1/24*u**4 - 4*u**2 + 0. Let j be w(-12). Are 3 and j nonequal?
True
Let n = 140 + -140.3. Let p = 0.06 + 0.34. Let v = -0.3 + p. Is v smaller than n?
False
Let y = 42 - 42.9. Let f = y + 0.98. Do 3 and f have different values?
True
Let r = 663 + -1130. Is r at most -467?
True
Let j be 3 + (4 - 164/44). Let d = -133/44 + j. Let t(n) = -n - 1. Let b be t(-2). Is d greater than b?
False
Let i(l) = 6*l**2 + l - 7. Let y be i(-5). Let k be y/15 + (-3)/15. Let m(f) = f**3 - 10*f**2 + 7*f + 5. Let d be m(k). Which is bigger: -1/3 or d?
-1/3
Let m = 0.66 - 1.45. Let i = -0.21 + m. Which is bigger: 7 or i?
7
Let i be (-51)/(-136) + 19/(-8). Which is smaller: i or -17/14?
i
Let t = -29 - -45. Let u = t - 14.6. Let a = 0.6 + u. Do a and 2 have the same value?
True
Let z be (-1560)/27 - ((-170)/45 + 4). Are z and -58 equal?
True
Let c = 0.2 - 0.1. Suppose 0 = -6*y - 6*y - 540. Let z be (1/y)/(33/99). Which is greater: c or z?
c
Let l be (-2)/(8 + 1600/(-210)). Let x be (-1 - 2 - 1) + -1. Is l at most as big as x?
True
Let p(i) = -i. Let k(v) = -1 - 6*v + 4*v - 5*v + 4*v. Let z(x) = -2*k(x) + 7*p(x). Let b be z(1). Is b < 4/7?
False
Suppose 0 = 2*u + 8, -2*b + 2346 + 2566 = -3*u. Let o = -12342/5 + b. Let m = 149/10 + o. Is -3 at least as big as m?
True
Let s(i) be the second derivative of 7*i**5/20 - i**3/6 + 10*i. Let x be s(1). Suppose 0 = -5*y + 2*j + 15, y + 8 = -3*j - x. Which is bigger: 2/61 or y?
y
Let h(d) = d - 8. Let y be h(12). Suppose 2*l = -4*n - n + 29, -16 = -4*n - y*l. Which is greater: 35/6 or n?
n
Let j = -698 - -697.8. Let k = -3.4 + 3. Let l = 0.45 + k. Is j bigger than l?
False
Let v = 0.013 + -3.013. Is v smaller than -0.6?
True
Let q(x) = -2*x**2 - 13*x + 16. Let l be q(-6). Is 70/3 smaller than l?
False
Let t = -24 - -24.8. Let i = t + -0.8. Is -0.2 at least as big as i?
False
Let d = 1302 - 1302. Which is smaller: 2/2497 or d?
d
Suppose 0 = 3*o - 6*o - 243. Let t be (1/15)/((-3)/o). Let i = 192 + -1346/7. Which is smaller: t or i?
i
Let v = 13 - 13. Let p be 6/4*(-32)/(-56). Are v and p unequal?
True
Suppose 0 = 17*t - 6*t. Is t at most -3/260?
False
Let g = 0.128 + -0.318. Let z = 454 - 456.19. Let j = g - z. Is 2 at least as big as j?
True
Let h = 0.077 - -7.923. Is 7 greater than or equal to h?
False
Suppose -h = -y - 0*h + 29, -h = y - 25. Which is smaller: 28 or y?
y
Let s = -41.5 - -4.4. Let y = s - -38. Let q = 7.9 - y. Does q = -3?
False
Let n(t) = 32*t + 1. Let m be n(1). Let d be (-3)/m + (-4)/(-4). Let r = d + -71/66. Which is bigger: -1 or r?
r
Let l(i) = -2 + 5 - i**3 - 1. Let u be l(2). Let g be 2/2*(u - -3). Are g and -7/2 non-equal?
True
Suppose -b - 41 = -3*d, d - 3*b = -0*d + 11. Let k = -11 + 19. Let s be 2/k + (-413)/(-28). Is s less than d?
False
Let n = 825 + -3299/4. Which is smaller: -50 or n?
-50
Let x be (-2)/3*(-3)/10. Let l = x - -1/20. Let q = 129 + -128. Which is bigger: q or l?
q
Let s = 1/22 + 9/44. Let t = 0 - -4. Suppose 0 = -t*v + 5*v + 6. Is v greater than s?
False
Let v = -60 - -180. Suppose -3*d - 6*i = -i + v, -82 = 2*d + 4*i. Is d >= -34?
False
Let t = -1964 - -869. Let h be 687/t + 12/20. Let k = 1 - 2. Which is bigger: h or k?
h
Let a(m) = m**2 + m + 5. Let q be a(4). Let s = -2149 - -2174. Is q greater than or equal to s?
True
Let t(r) = r**2 + 6*r + 1. Suppose 2*z = -2*q + 28, -z = q + z - 19. Suppose -2*v - 2*a - q = a, -5*a + 5 = 0. Let p be t(v). Which is bigger: p or 2/57?
p
Let a(r) = 2*r**3 + 13*r**2 - 12*r - 19. Let q be a(-10). Which is smaller: -600 or q?
-600
Let u = 12 - 13. Let g = -130 + 158. Are u and g equal?
False
Let b = -203 + 218. Let d be 33/2 - (-5)/10. Which is bigger: d 