be (-7)/9*(1 - -2). Which is bigger: p or t?
p
Let y = -61/42 - -25/14. Is -1/7 < y?
True
Let m(k) = 5*k - 63. Let d be m(11). Are -11 and d non-equal?
True
Let p = -6859/291 + 23/97. Which is smaller: p or -23?
p
Suppose -5*d + 29 - 4 = 0. Let y be (3 - 21/6)*(-20 - -16). Which is smaller: d or y?
y
Let w(t) = 2*t**3 - 7*t**2 + 5*t - 3. Let s be w(3). Suppose -s*i - 12 = -21. Which is smaller: i or 16?
i
Suppose 12*v + 141 - 369 = 0. Suppose -37 = 3*c + 5*g, 79 = -5*c - 0*g - 4*g. Let i = v + c. Is 0 equal to i?
True
Suppose -3 = 5*t - 2*t. Let f = -125059/4 + 31426. Let d = f - 162. Are d and t unequal?
True
Let y = 13384/117 + -988/9. Which is smaller: 6 or y?
y
Let v = -30 - -29.86. Let d = 0.26 + -0.2. Let u = v - d. Which is bigger: u or 0.05?
0.05
Let c = 58 - 33. Suppose -21*b = -c*b. Suppose -4*h - 3*j - 16 = -b*j, -22 = 2*h + 5*j. Do -3/17 and h have the same value?
False
Suppose -y = -5*a + 13 + 45, 0 = -3*y - 5*a - 194. Does -59 = y?
False
Let m = 85 + -179. Let n = -93.94 - m. Does -0.09 = n?
False
Suppose z = -0*z. Suppose -2*l + 3*l = z. Let p be 0 + (l - 6/13). Is 1 > p?
True
Let o = 111 + -106. Suppose -o*g = a + 85, 0 = g + a - 3*a + 28. Which is bigger: g or -16?
-16
Let a = -21 - -175. Let o = -154.1 + a. Which is smaller: o or 32?
o
Suppose -2*b + u + 2 = 3*b, -u - 2 = 0. Suppose b = 3*f - 8*f - 60. Let z = f - -14. Is 3 less than or equal to z?
False
Let z = 90.2 - 63. Let v = z - 0.2. Let b = v - 18. Which is greater: b or -0.1?
b
Let g = -128.6 - -127.4. Let x be (3/(-6))/((-2)/144). Let p be (-4)/(-18) - (-10)/x. Which is smaller: g or p?
g
Let n be 8/(-6)*21/(-14). Let k(h) = -h**3 - h**2 + 3*h - 1. Let t be k(n). Is t at most -23/3?
False
Suppose -4 = -d - 5*u, -2*d = -9*u + 4*u + 37. Let a be ((-9)/(-15))/(2/10). Let j be d*(12/a - 3). Which is bigger: -13 or j?
j
Let a = -245 - -267. Are a and 160/7 nonequal?
True
Let f = 44.4 + -43.4. Is -489 bigger than f?
False
Let g = 10/3 + -8/3. Let f = -11 + 14. Suppose 0 = 3*x + 2*y, -x = -0*x + f*y. Is g less than or equal to x?
False
Let a = 167/1140 - 1/76. Let r = a + -1/3. Which is smaller: -2 or r?
-2
Suppose -73*f + 911 - 3758 = 0. Does -39 = f?
True
Let s(m) = 2*m + 7. Let h be s(-5). Let u(p) = -p**3 - 9*p**2 - 7*p + 11. Let t be u(-8). Suppose 0 = t*g - g. Which is greater: h or g?
g
Suppose -5*x = 5*n - 13 - 7, -5*n - 25 = -4*x. Let j(g) = 3*g - 1. Let d be j(3). Suppose -4*o = -0 + d. Which is smaller: n or o?
o
Let d(i) = -2*i - 10. Let v be d(-5). Let n(t) = t**2 - 2. Let b be n(v). Let w = -3 - b. Which is greater: -3/11 or w?
-3/11
Let w be ((-36)/20 + 0)*-5. Let q be (-1)/3 - 51/w. Are q and -4 equal?
False
Let i be 0/(-2) - 4*(-1)/14. Which is smaller: i or 1?
i
Let o be ((-952)/475 - -2)*5. Let s be (-5 + -6 + 13)*-2*(-4)/64. Is o > s?
False
Let c = 35 - 4. Let r = c + -34. Which is greater: r or 6?
6
Suppose -3*r - 89 = 2*d - 8*r, -172 = 4*d - 4*r. Which is smaller: -81/2 or d?
d
Suppose 3*n + 21 - 76 = -5*p, 3*p = -5*n + 113. Suppose 2*v + n = 3*g, -5*g + 5 = -0*g + 4*v. Do g and 6 have different values?
True
Suppose -n - 28 = -2*i, -i - 119 = 5*n - 4*i. Let v = n - -24. Let x be -2*(-4)/(v - 10). Is x greater than or equal to 0?
False
Let t(g) = -g**3 + 8*g**2 - 3*g + 7. Let b be t(5). Suppose 0 = -k - b - 26. Let f be 2/(-6) - k/117. Is 0 != f?
True
Let a be 128/130 - (-3 + 3 - -1). Let w = 96/2015 + a. Which is smaller: w or 0?
0
Suppose 0*y - 5*g + 6207 = 2*y, -y = 3*g - 3104. Suppose y = -5*u - 2*p, 2*u - p + 2*p + 1241 = 0. Let l = -13003/21 - u. Which is smaller: 0 or l?
l
Let p(s) = -s**2 - 6*s - 6. Let h be p(-4). Let f be ((-11)/55)/(h/(-10)). Let o be (-2)/(-10)*(f + -3). Which is smaller: o or -2?
-2
Suppose 11*u - 13*u = -84. Let g = 23 - u. Which is greater: g or -18?
-18
Suppose -9 = -2*y - 7. Let c = 6957079/1120 + -31061/5. Let b = 3/32 + c. Which is smaller: b or y?
b
Let g(y) = y**2 + y + 2. Let t be g(-2). Let k(o) = -o**3 - 16*o**2 + 37*o + 22. Let u be k(-18). Is u bigger than t?
False
Let n = 0.197 + 11.803. Which is smaller: -26 or n?
-26
Let t(j) = -j**3 + 6*j**2 + 7*j + 7. Let i be t(7). Suppose 5*d + i*x - 20 = 2*x, -2*d + 3 = x. Which is greater: 4/9 or d?
4/9
Let b = -0.2 + 0.3. Let d = 37.65 - 0.65. Is d not equal to b?
True
Let u be 51956/(-46) - (-2 + -3). Let n = -1125 - u. Which is bigger: n or -2?
n
Suppose 15*t = 12*t + 21. Suppose -3*h - 5*q - t = 0, 6 = -8*h + 4*h - 5*q. Which is greater: 8/25 or h?
h
Let h be 12/60 + 61/(-5). Let o be (-4)/(-22) + h/66. Which is greater: o or 1/8?
1/8
Let m(r) = r**3 - 5*r**2 - 7*r - 2. Let b be m(6). Let w be b/42*(2/1)/8. Is w bigger than -1?
True
Suppose l + 25 = 61. Let o be (l/(-225))/(1/(-5)). Is o > 0.2?
True
Suppose -2*i = -3*n + 11, -4*n + i = 2*i. Let r(k) = -k**3 + 6*k**2 + 7*k + 7. Let m be r(7). Let d be m/3 - (-8)/12. Are n and d non-equal?
True
Suppose -8*c + 60 = -u - 5*c, 3*c - 348 = 5*u. Let n be (2/(-6))/((-24)/u). Which is smaller: 56 or n?
n
Let u = 360 + -373. Which is smaller: 3 or u?
u
Suppose 5*f = 2*h + 69, -3 = -h - 4*f - 31. Which is smaller: -278/9 or h?
h
Let t(l) = -8 + 11*l**2 + l**3 - 7 + 7 + 0 + 13*l. Let p be t(-10). Is p not equal to -38?
False
Let q be (-10)/(-4) - (-2)/(-4). Suppose -5 = -t + g - q, 16 = 4*g. Is 7 less than or equal to t?
True
Let n = -4 + 8. Suppose a = n*a. Let m = 22 + -65/3. Is m > a?
True
Let x be -2 + 1 - (-2 - -1). Let h be 1/6*(-80)/1620. Is x at most h?
False
Suppose -5*m + 11 = -19. Suppose v = -7 + m. Do -1/9 and v have the same value?
False
Suppose -z - 2*t = -5*z - 7494, 0 = -2*z - 3*t - 3767. Let f = z - -1208. Let d = f + 13363/20. Which is greater: d or -1?
d
Let v = -2.1 + 4.9. Let r = -5 + v. Let j = r - -2. Which is bigger: -2 or j?
j
Let m = 27.964 + 0.036. Let x = m - 28.2. Which is smaller: -2/7 or x?
-2/7
Let g(b) = b**3 - 13*b**2 - 16*b + 3. Let t be g(14). Let r = 36 + t. Suppose 6*o + 5 = r*o. Which is smaller: 1/14 or o?
1/14
Suppose -279 = -22*y - 279. Is y smaller than 21/59?
True
Let l = 38 + 0. Let r = l - 39. Is -3 not equal to r?
True
Let u = 19 - 8. Let w = 20 - u. Suppose 4*q + i = w, 5*q + 2*i = -3*i + 30. Are q and 4/3 non-equal?
True
Suppose 5*i = 10 + 15. Suppose -i = -3*m + c, -7*m - 3*c + 9 = -4*m. Let o be ((-25)/(-150))/(2/18). Is m greater than or equal to o?
True
Let n be (-9906)/(-13)*-2*(-1)/6. Is 254 less than or equal to n?
True
Let v = -18 + 22. Suppose -v*n - 3*g + 17 = 0, -3*n + n = g - 9. Let d be 2/(-8) + 34/8. Do d and n have the same value?
False
Suppose 3*r - 11 - 4 = 0. Let c be 7/(-4) + 10/r. Let b = 1 + -1. Are b and c nonequal?
True
Let v = 26/15 - 62/5. Let r = 262 + -272. Which is smaller: r or v?
v
Suppose -j = -0*j. Let w be j + (-6)/10 - (-8 + 9). Let f(m) = m**2 + 7*m + 4. Let t be f(-6). Which is smaller: w or t?
t
Let m(a) = a**3 - 4*a**2 - 2*a - 8. Let b be m(4). Let z = 101 - 41. Suppose -q + z = -5*q. Is b smaller than q?
True
Let t = -51 - -66. Let n be (-1)/t*(-1 + -56). Is n equal to 5?
False
Suppose -o = 3*w + 47, 0 = -5*o + 11*w - 9*w - 235. Is -51 <= o?
True
Let v = 18 - 17.92. Let g = v - -0.02. Which is greater: 0 or g?
g
Suppose 0 = -2*m - 0*m - 18. Suppose -2*f + 50 = j - 5, 2*f = -2*j + 100. Let s = 34 - j. Which is bigger: m or s?
m
Let k(i) = -i**2 - 7*i - 4. Let g(v) = 11*v + 4. Let c be g(-2). Let p = c + 13. Let o be k(p). Which is smaller: o or 7?
o
Let g = 73 + -72. Let s be (-2)/8 - (-126)/408. Which is smaller: s or g?
s
Let u(t) = -t - 1. Let q be u(0). Which is smaller: q or 6/685?
q
Let k = -147 + 147. Which is smaller: 25 or k?
k
Let r be ((-5)/3 - (1 + -3))*3. Let t be (-3 + 2)*r*-5. Which is smaller: t or 2/5?
2/5
Let a(v) = v - 21. Let m(n) = n - 20. Let c(i) = 4*a(i) - 5*m(i). Let l be c(15). Let p(w) = 4*w**3 - w**2 - 2*w - 1. Let b be p(-1). Which is bigger: b or l?
l
Let y = 0.3 + -0.1. Let j = -83 - -128. Let t = j + -36. Which is smaller: y or t?
y
Let m be -4 - (-7)/(133/78). Suppose 2*j + 3 = -0*n - 3*n, 5*j + 11 = -4*n. Is m <= n?
True
Let z(r) = 2*r**2 + 21*r + 1. Let o be z(-10). Let a be 1*(4 - (-42)/o). Let c = 6.13 + -0.13. Which is bigger: a or c?
c
Suppose 38*l - 144 = -828. Is -13 equal to l?
False
Let w(d) = d**2 - 7*d. Let v be w(5). Suppose -10*q = -3*q - 189. Suppose -4*b - q = 17. Is v greater than b?
Tr