 t(m). Is j at most as big as 148?
True
Let s(q) = q**3 - 65*q**2 - 122*q + 612. Let n be s(67). Is 1416 equal to n?
True
Suppose -130 = 25*i - 105. Let f = -10311200/1077 - -9574. Is i equal to f?
False
Let i be ((-4740)/1833)/5 - (-19)/38. Is 0 at most i?
False
Let n = 21.71981 - -0.02019. Is -0.1 at least as big as n?
False
Let h(w) = w**2 - 9*w + 3. Let m be h(7). Let i(d) = d**3 + 11*d**2 + 3*d - 2. Let q be i(m). Which is greater: q or -34?
-34
Let x be (3111/(-34))/(-1 - (-34)/40). Is 610 greater than or equal to x?
True
Let t(m) = 12*m**2 - 6*m - 9. Let q be t(6). Suppose -q = 33*a - 42*a. Are a and 43 equal?
True
Let g = 1653/28 - 235/4. Which is smaller: g or 1800?
g
Let p be 5/(-15) - 84/(-9). Suppose -5*q = -4*m + 42, -4*m + 7*q + 34 = 6*q. Which is greater: p or m?
p
Let d = 11974 + -11975. Which is smaller: d or -5/1892?
d
Let i(t) = -2*t**2 - 49*t - 30. Let r be i(-23). Suppose -r*j + 400 = -1862. Is j at most as big as 59?
True
Let t = 61 + -122. Suppose -8*j + 22*j + 742 = 0. Let x = t - j. Is -41/5 < x?
True
Let s = -114 - -92.4. Let z = 23.6 + s. Is 0.6 at most as big as z?
True
Suppose 409*l - 406*l = 324. Let c be (-24)/l - 712/36. Is c greater than -10?
False
Suppose 18*o = 1933 - 10339. Is -1 > o?
True
Suppose 20 = 5*m + 3*i + i, 0 = m - 5*i - 4. Suppose h - 41 = -6*k + 3*k, -m*k - 3*h + 63 = 0. Suppose -28*p + k*p + 96 = 0. Does 6 = p?
True
Let f = -75 + 12. Let p = f - -62.76. Let l = -0.06 + p. Which is greater: 0 or l?
0
Let a = 145639 - 46750082/321. Are a and -1 equal?
False
Let f = -6352.9 - -6353. Which is greater: 292 or f?
292
Let h = 67 - 32. Let v be (h/21)/((-3)/(-99)). Which is smaller: 3 or v?
3
Let w = -47 + 52. Let s = 36 + -32. Suppose w*l - 1 = -s*t - 0, 0 = -2*l - 4*t - 2. Which is smaller: 13/6 or l?
l
Let g(d) = 141*d + 11. Let p be g(-3). Let f = 421 + p. Is f at most 3?
False
Suppose -3*z - 5*a = -8*a + 168, 3*z = -3*a - 156. Let i be ((-9)/z + 1/(-6))/3. Is i less than -7/24?
False
Let v be 0 + 1 + -7*1. Suppose -7 = -94*o + 87*o. Let y be -18 + o + v + 3 + 0. Is y > -22?
True
Suppose 0 = -28*m + 37*m - 1539. Suppose -2*b + 177 = -p, p - 4*b + m = b. Is -183 > p?
False
Suppose 202 + 194 = 6*k. Suppose 0 = -b - 4*v + v + k, -5*v = 5*b - 280. Which is smaller: 50 or b?
50
Let t be 60/(-47050)*-3*5/9. Is 10 <= t?
False
Suppose -5*p - 2*p = 798. Suppose 2722 = 95*f + 12189 + 1078. Which is bigger: f or p?
f
Let z be (-79516)/927 + 2/(-9). Which is smaller: 8 or z?
z
Let c be 2*1/14 - (-43)/(1598912/(-5340)). Which is greater: 1 or c?
1
Let x be (-174)/1638 - 3/(117/(-6)). Let p = x - 23/42. Which is greater: 25 or p?
25
Suppose -g + 5*g = 5*w + 5, g + 5 = -5*w. Which is greater: -13/77 or w?
-13/77
Suppose 2*u + 25*j - 30*j = 247, 3*u - 4*j - 381 = 0. Which is smaller: u or 0.4?
0.4
Let l = -153 + 149. Let s be (-245)/(-5) + l/12. Which is bigger: s or 48?
s
Suppose -458 = -4*y + 310. Let p be (y/18)/(4/(-12)). Let z = -52 - p. Does -18 = z?
False
Suppose 14*h + 821 - 807 = 0. Which is bigger: -8/515 or h?
-8/515
Suppose 0 = 5*n + 24 - 89. Let l = n + -13. Is l less than or equal to 2/31?
True
Let k = -6595709398/2118277 - -6/302611. Let t = 3121 + k. Which is smaller: t or 7?
7
Let u = 6.406 + -5.406. Is 9.23 bigger than u?
True
Let f(l) = l**3 - 13*l**2 - 15*l + 14. Let b be f(14). Suppose b = -4*z + 3 - 11. Let q = -1/49 + -239/294. Is z bigger than q?
False
Suppose 0 = 5*f + w - 12, 10 = 3*f - 59*w + 61*w. Suppose 1 + 9 = 5*i. Suppose -i*p + 2 = j - f*j, 0 = 3*p. Which is greater: -28 or j?
j
Suppose 5*f + 16 = 4*x, 3*f + 11 = -3*x - 4. Let w(l) = l**3 + 2*l**2 - 8*l - 1. Let b be w(f). Let h be (3 - 2)*(-20 - b). Do -18 and h have the same value?
False
Suppose -4*r - 132 = -2*j, -39 = -j - 5*r + 27. Let u be (-116)/(-5) + (-876)/730. Let a be (80/(-6))/(u/j). Which is bigger: a or -38?
-38
Let j = 373 - 408.5. Let l = 67 + j. Is 1 at most l?
True
Let c(g) = g**3 - 11*g**2 + 5*g + 52. Let b be c(10). Suppose -r = 3*q - 11, b = -3*q + 5. Are r and 8 nonequal?
False
Let d = 17 + -12. Let l be 1/(-3) + (-120)/(-36). Let x be (d + -4)/((-28)/l). Which is smaller: 0 or x?
x
Let z be (-2 - (-171)/15) + (-18)/45. Suppose 11*t + 22 = z*t. Let y = -393/20 + 189/20. Which is bigger: y or t?
y
Let z = -48.4 + 134.8. Let h = -39.8 + z. Let v = -47 + h. Is -0.2 equal to v?
False
Let b = 0 + 0.2. Let w = -350 - -334. Let k = -12 - w. Which is greater: k or b?
k
Let k = 1155 + -9225/8. Suppose -5*u + 4*a = -19, 0*a - 3*a = 5*u - 12. Suppose -2*s + 0*y + 12 = -3*y, 0 = 3*s + u*y - 3. Is s at most k?
False
Let n be -15 - 6/(54/45). Let a be (4 - (-22)/(-5))/((-8)/n). Which is smaller: 2/481 or a?
a
Suppose -17 = 4*f + 3. Let u be (14/10)/(156/30 + f). Let a be 5 - u/((-210)/(-148)). Is -1 > a?
False
Suppose m - 3*a + 35 = -m, 4*m - a = -65. Suppose -8 + 22 = -2*b - 5*r, -3*r = -10*b - 70. Which is smaller: b or m?
m
Suppose 117*r = 71664 + 201882. Is 2340 at least r?
True
Let a = 98.183 + -98. Let r = a + 0.047. Let p = -0.03 + r. Which is smaller: p or -11?
-11
Let t(h) = 39*h**2 + 391*h - 5. Let j be t(-11). Which is smaller: j or 411?
411
Suppose -2*g = -2*w + 66, -g - 3*g - 3*w = 132. Let q be 0 - (6/g - 0). Let a be 80/720 + (-10)/9. Is a not equal to q?
True
Suppose -4*n - w = -457, 3*n + 223 = 5*n - 5*w. Suppose -2*h = -4*m - 358, -5*m - 475 = -4*h - 29. Let l = m + n. Is 0 bigger than l?
False
Let g(r) = r**2 + 7*r - 11. Let s be g(-7). Let i be (-2)/(-11) + (13/s - 0). Let j be 4/2*i/83. Is 1 at most j?
False
Suppose 42 = 5*i - 4*a, 5*i + a = -2*a + 56. Let q be (i/(-5 + 3))/(-19 - -18). Is q at least as big as 57/11?
False
Suppose -t = 21*d - 19*d + 1839, -4590 = 5*d + 5*t. Do d and -921 have different values?
False
Let d = 0.5644 + -0.47. Let k = d + -0.0374. Which is greater: -2 or k?
k
Suppose -h = -6*h - 95. Let p = h + 22. Suppose -2*n + 6 = -5*g, n = p*g + 4 - 0. Do -6 and n have the same value?
False
Let i(x) = x**3 + 9*x + 23. Let r be i(-2). Let l be -4 - (1 - (-3)/9)*r. Let y = 42596/41 - 1039. Are y and l equal?
False
Suppose 1 = 2*n - 3*g, 0 = 3*n - 2*g - 2*g - 1. Let v be 1/20*n*2. Suppose -15 = -5*r - b, -2*r - 6337*b + 6339*b - 18 = 0. Which is smaller: r or v?
v
Let t = 9.6 - 10.64. Let d = 1.54 + t. Let y = 0.6 + 0.4. Which is smaller: y or d?
d
Let l be (19240/(-39))/(3 + -5). Let k = 247 - l. Is -8/3 less than k?
True
Let f(h) = -11*h**3 - 25*h**2 - 141*h - 8. Let i be f(-10). Which is greater: 9903 or i?
9903
Suppose -24*o = -19*o + 2045. Let s = o - -1034. Let i = -61249/98 + s. Is i < -1?
False
Suppose h = 2*s - 21, -3*s - 37*h = -32*h - 25. Let j(x) = -2*x + 4*x**3 - 5*x**3 + 10*x**2 + 3*x + 10. Let a be j(s). Is 21 bigger than a?
True
Let p = -1006/1143 + -1137676/1143. Let g = -5370652/5391 - p. Which is greater: 1 or g?
1
Let f(x) = x + 25. Let d(y) = -y - 13. Let m be d(11). Let a be f(m). Let k(b) = 29*b + 6. Let z be k(a). Is z greater than 34?
True
Let s = -5.557 - 39.303. Let b = s - 1.14. Let n = 47 + b. Which is greater: n or 27?
27
Let k(s) = -12*s + 66. Let x be k(6). Let m be (-1)/6 + x/((-216)/582). Suppose -g + 2*g - 3*b + m = 0, 3*g - 5*b = -28. Is -2/49 at least as big as g?
True
Let x = 237 - 401. Let o = x + 336. Is o at most as big as 172?
True
Let i(w) be the second derivative of w**4/12 - 5*w**3/2 + 49*w**2/2 - 310*w. Let z be i(10). Which is bigger: 11/65 or z?
11/65
Let v(i) = i**3 - 10*i**2 - 4*i + 19. Let o be v(11). Suppose 5*f = -3*f + o. Which is greater: f or 6?
f
Let x = 856976/137445 + 2/8085. Is x smaller than 7?
True
Let i be 1/(-3) - 25/(-30). Let u = 1.19 + -0.18. Let t = u + 38.99. Does t = i?
False
Suppose -17*j + 418 = -36*j. Suppose 0 = s - 8 + 1. Suppose 91 = -4*g - f, -116 = s*g - 2*g - f. Is j less than g?
False
Let t = 5941 + -5937. Do -214/15 and t have different values?
True
Suppose -3*p - 2*p + 15 = 0. Suppose -3*l = 2*a - 349, -p*a + 5*l + 628 = 114. Let i = -353/2 + a. Which is smaller: -5 or i?
-5
Let a be 1 + (-230)/6 + (-1)/(-3). Let p = a - -34. Let u be 3/1 + p - (-6)/(-2). Is u smaller than -16/9?
True
Let l be ((-284)/(-2272))/((-1)/(-2) + 0). Suppose 0 = 6*t - t. Let i be 0 + 3 - 1 - t. Is i greater than or equal to l?
True
Suppose -3 = -4*y - 24*w + 21*w, -9 = -3*y - 9*w. Is y bigger than 2/6601?
False
Let q(v) = 49*v 