ich is bigger: h or 146?
146
Let p = 4/825 + 118/315975. Which is smaller: -1 or p?
-1
Let b(n) = -n + 37. Let x be b(27). Is 10 smaller than x?
False
Suppose -4*y + 735 = 5*u + 161, 0 = -3*y + 3. Suppose -44*a + 45*a + u = 0. Is -115 < a?
True
Let p be ((1 - 0)/(-15))/(-1). Suppose -3*d + 5 = 5*q, 3 = 5*d - 2*q + 5*q. Is d less than p?
True
Let n(y) = -y**3 + 6*y**2 - 3*y - 5. Let z be n(5). Let r(h) = h**2 - 3*h - 5. Let c be r(8). Suppose c = -5*t + z. Is -5 less than or equal to t?
False
Let w be (32/(-1266))/(-123 + 125). Which is smaller: 0 or w?
w
Let i(b) = -b**3 + b**2 - b + 5. Let s be i(0). Suppose -s = -z - 0*z. Suppose -116 - 40 = -39*r. Are r and z non-equal?
True
Let i = -1 - 0. Let a = 0.002 + -0.002. Which is greater: a or i?
a
Let m be 6/24*46/(-24)*4. Is 0 at least m?
True
Let h(w) = -8*w + 197. Let y be h(25). Is y less than -3?
False
Let x = -3 + 3.5. Let c = x - 0.4. Let p = 13.9 + -14. Which is smaller: c or p?
p
Let u = -145 - -142.7. Let z = u - -2.1. Let g = -2128/15 - -142. Is z smaller than g?
True
Suppose 4*y - 8*y = -180. Suppose -2*b - 3*v - 4 = 16, b + v = -10. Let a be b/y + (-82)/(-288). Is a greater than or equal to -1?
True
Let u be 4/(-18) + (-32)/18. Let t be u/(-3) - 264/(-9). Let k be -4*(t/(-33) + 1). Are k and -1 equal?
False
Let u(z) = -z**3 + 2*z**2 - 4*z + 4. Let b be u(4). Let j = -45 - b. Let p(l) = l**3 - 3*l**2 - 3*l - 3. Let d be p(4). Is j < d?
True
Let n = -0.0182 - 1.9818. Which is bigger: 0.44 or n?
0.44
Let m be 24/6 - 2 - 5. Let f(a) = -2*a**3 - 3*a**2 - 2*a + 2. Let z be f(-2). Let u be 1/z + 2/5. Which is smaller: u or m?
m
Let o = 45 - 45. Suppose o = w + 8 - 76. Is 67 less than w?
True
Suppose 2*x = 3*x - 5*v + 2, 3*v = -2*x + 9. Let m = x - 3. Suppose m = -0*f + 6*f + 84. Are f and -15 nonequal?
True
Let z = 44 + -33. Suppose 5*c + 6*g - 13 = 4*g, -2*g = 3*c - z. Is -0.9 > c?
False
Suppose -l = -0*l + r + 3, -5*r + 9 = 2*l. Let u be l/(-44) + (-48)/22. Let h be (2/6)/(u/(-4)). Which is smaller: h or 8?
h
Suppose 11*k = 15*k - 12. Let v be (-13)/55 - k/(-5). Which is smaller: v or 0?
0
Suppose 421 = -5*q + 1406. Is 198 < q?
False
Suppose -j + 14 = j + y, -3*y = -5*j + 24. Let r be ((-38)/j)/((-1)/(-6)). Is -37 != r?
True
Suppose 3*w = -4*i + 134, 5*i = -5*w + 2*i + 216. Are 52 and w non-equal?
True
Let z = 1288.011 + -1288. Which is bigger: 0 or z?
z
Let c be -3*(-7)/(-63)*21/(-8). Which is smaller: c or 2?
c
Suppose 45*p + 690 = 51*p. Let y = -115 + p. Is y > 12/17?
False
Let n = 0.053 + 38.947. Let y = 41 - n. Are -11/2 and y non-equal?
True
Let j(u) = -u**3 + u. Let t(f) = f**2 + 4*f + 4. Let p be (4/6)/((-12)/54). Let y be t(p). Let a be j(y). Which is smaller: 3 or a?
a
Let x = 464 - 144306/311. Which is bigger: 1 or x?
1
Suppose 3*r - 3*a - 9 = 0, 2*r + 2*a + 9 = r. Let j be -11*48/(-88) - 308/50 - 0. Which is bigger: r or j?
j
Suppose 6 = -p + 11, 4*r = -p + 13. Which is bigger: r or -12?
r
Let x = -5 - -5. Suppose x = 4*a - 3*a + i + 47, -3*a = 2*i + 146. Let c be 3/4 + 15/a. Are c and 1 nonequal?
True
Let f = -40775/34 + 1200. Is f not equal to 0?
True
Let w = -40 + 42. Suppose -2*l = 4*q + 120, 0 = 2*q - 0*l - w*l + 54. Is q less than -29?
False
Let v(i) be the first derivative of -i**2 - 32*i + 10. Let p be v(-8). Do p and -63/4 have different values?
True
Let v = 8 + 77. Suppose 2*o + v - 31 = 4*p, 0 = -4*p - o + 69. Let d = p - 17. Is -12/11 <= d?
True
Let y(o) = 2*o**2 + 13*o - o**2 - 4 + 0 - 10. Let l be y(-14). Suppose k + 4*k - 10 = l, -k + 82 = -5*w. Is w smaller than -15?
True
Let j be (-3480)/(-5) - (-1 + 1 - -5). Is j less than or equal to 693?
True
Let u be (4/(-5) - -1) + 172/20. Which is smaller: 9 or u?
u
Let t be 3*(-2 - (-2 - 3)). Suppose 7*q = t*q. Which is smaller: 1/30 or q?
q
Let a(i) = i**3 - 8*i**2 - 20*i + 2. Let u be a(8). Which is bigger: u or -1?
-1
Suppose x = -7 - 6. Let d = -28 + 27. Is x < d?
True
Let y = 40 + -40. Suppose x = -y*t - 2*t - 21, t + x = -12. Which is greater: t or -10?
t
Suppose 2*b + 15 = 3. Let n(h) = -h**2 - 8*h + 8. Let o be n(-8). Let w = o + b. Which is smaller: 3 or w?
w
Let b(v) = -2*v**3 + 9*v**2 - 7*v - 7. Let y be b(2). Which is greater: 1/1264 or y?
1/1264
Let s = -2/227 + -201/2951. Which is smaller: -1 or s?
-1
Suppose 52*o - 1434 = 7822. Is o >= 176?
True
Suppose 60 = -103*v + 99*v + 3*h, 4*v = -5*h - 28. Is -22 smaller than v?
True
Let j(b) = -5*b + 14. Let n be 54/12 - (-3)/6. Suppose -11*r + 24 = -n*r. Let v be j(r). Are v and -5 equal?
False
Let t = 526 - 514. Which is smaller: -15 or t?
-15
Let b(i) = i**3 - 7*i**2 - 5*i - 6. Let p be b(8). Suppose -p*f = -19*f. Which is smaller: -1/22 or f?
-1/22
Let v = 42 + -38. Suppose -v*w = -11 + 43. Is -7 != w?
True
Let z = -66.51 - -67. Let b = 0.29 - z. Do 7 and b have the same value?
False
Let z = 81 - 174. Suppose -1399 = 19*g + 368. Is g at most as big as z?
True
Let j = 59 - 22. Let k = j + -35.1. Let p = 1 - k. Is p equal to 1?
False
Let z(j) = 1. Let q(h) = h**2 - 11*h - 8. Let u(d) = -q(d) + 4*z(d). Let n be u(11). Let f = n - 8. Is f >= -0.2?
True
Let n be (1/(-4))/(13/8). Suppose 3*c - 120 = -3*c. Let l = 19 - c. Is n greater than or equal to l?
True
Suppose -19 - 151 = -5*k. Suppose k = -5*c - 156. Let d be c*(0 + (-5)/(-10)). Which is smaller: d or -18?
d
Suppose 54 = 4*c + w, -3*c + 52 = c + 2*w. Let x = -1.7 - -1.06. Let t = x - -0.64. Is c equal to t?
False
Let t(j) = j + 4. Let r be t(-2). Suppose 3*p - 8 = -r. Suppose -p*o + 27 = 35. Which is smaller: -2 or o?
o
Let b = -750 - 2448. Let c be (-3)/((-63)/b)*5. Let z = c + 760. Which is bigger: -2 or z?
z
Let o = 598 - 460. Is 415/3 less than o?
False
Let h be (0 - 2/(-5)) + 7. Let t = 215 + -223. Let s = h + t. Is s at most -1?
False
Let p(b) = b**3 - 7*b**2 + 5*b + 7. Let k(d) = 3*d**2 - 3*d. Let y be k(2). Let l be p(y). Let c = 3015/7 + -429. Is c smaller than l?
False
Let t = -1.383 - -9.613. Let r = -8 + t. Let l = 0.26 - r. Is l at most 1/2?
True
Let n = -16.7 + 54.7. Is n smaller than -1/3?
False
Suppose 2*u = -2, -15 = -3*c - 5*u + 2*u. Let n(w) = w**3 - 7*w**2 + 13*w - 5. Let o be n(c). Let p = 36 - o. Which is bigger: p or -3/13?
-3/13
Let p be -2 + 3 - (-2)/(-1). Let m = p + -1. Let s = -131/4 - -32. Is m less than s?
True
Let s = 0.3 + -0.4. Let y = s - -0.2. Let r be -107 + 108 - (-5)/(-3). Is r > y?
False
Suppose -24 = i + 5*b, 4*i - 9 = 2*b - b. Which is smaller: i or -14?
-14
Let k = -0.44 + 0.33. Which is greater: k or -0.14?
k
Suppose -r = 4*w - 8, 3*r = -2*r - 20. Suppose -5*c = -f - 5, -8 = 3*f - 5*c - w. Which is smaller: -1/37 or f?
-1/37
Suppose 30 = -2*l - 3*l. Let t be ((15/(-20))/(6/(-8)))/((-3)/(-24)). Which is smaller: t or l?
l
Let r(u) = 2*u + 5. Let w(h) = 2*h + 6. Let s(b) = -6*r(b) + 7*w(b). Let l be s(-6). Is l bigger than 1?
False
Let i = -7210 + 807515/112. Which is smaller: i or -1?
-1
Let v be (-3 + (-18)/(-8))*-8. Let a be 7*11/(385/30). Suppose a = 4*y - 30. Is v greater than y?
False
Let w be (2*(-3)/(-8))/((-14)/(-1288)). Let m = 72 + -2. Is m greater than or equal to w?
True
Let q = 0.32 + -0.23. Let m = -0.2 + q. Let n = -0.21 - m. Which is smaller: n or 1/4?
n
Let u be 0*-2*(-1)/4. Which is smaller: u or 3/11?
u
Suppose -5 = 7*t - 12. Let k be 3*t*(-40)/(-750)*-5. Let j be 0 + 1 + -1 - 0. Do k and j have the same value?
False
Let h = 6 + -9. Let g be 68/12 - (-7 - -13). Which is greater: g or h?
g
Let b = -5/21 - -4/7. Suppose 2*d + 4*x = 6*d + 24, 0 = -5*d + x - 30. Let f be (-123)/132 - d/8. Which is greater: f or b?
b
Let i = -753 - -752.9. Is -17/13 at most i?
True
Suppose 2 = -z, -2*s - 2*z + 2 = -0*s. Suppose n = -s*n + 8. Is 4 greater than n?
True
Let m = -25 + 7. Let h = 47 - 59. Let c be (-6)/m - h/(-9). Which is smaller: -9/7 or c?
-9/7
Suppose 5 = -2*i - 1. Let w be (1 - i/(-2))*-26. Which is smaller: w or 12?
12
Let t = -237 - -238. Do t and 4/7 have the same value?
False
Let s = -56/5 + 499/45. Let w = -0.1446 - -14.1446. Is s at most as big as w?
True
Let l = 5 + -6. Let p = -3 - l. Suppose -b + 1 = -0*b, 0 = -5*q + 5*b + 5. Does p = q?
False
Let m = -965/3 - -964/3. Suppose -3*f + 4 = f. Let b = 0 - f. Is b <= m?
True
Let x be -175 + 2 - 5/5. Let o = x - -41. Let w be (-2)/4 + o/14. Is w smaller than -11?
False
Let p = 28 - 42. Let s = p -