t u = -47.9 + -7.1. Let p = u + r. Which is bigger: p or 3/10?
3/10
Let j be (-4)/(-30) + 1560/(-8325). Let w = j + -25/222. Let g be (5 - 4) + (-6)/4. Is w smaller than g?
False
Suppose 53*f + 93*f + 8*f = 0. Let t be (-1*4)/(-334 + 8). Which is greater: t or f?
t
Let g(k) = 2*k**2 + 14*k - 23. Let o be g(-11). Suppose -7*x + o = 79. Is -56 < x?
True
Let k be (3 - 8)/(-1) + 1372/(-273). Suppose -69*j + 64*j = 5. Which is bigger: j or k?
k
Let f = -7.558 + -0.042. Let t = f - -39.6. Let s be ((-24)/(-60))/((-8)/5). Is s > t?
False
Let j(k) = 3*k + 16. Let i be j(-5). Let u be (2 + 6)/(((-3)/6)/(-1)). Let n be 24/60 - u/10. Is i at least as big as n?
True
Let h(w) = w + 6. Let i be h(-8). Let o be i/(-6)*5/(-5). Let s = -0.4214 + -20.5786. Is o bigger than s?
True
Suppose -21*f - 180 = -16*f. Let p be (-4)/(-6)*(f/(-8))/9. Let i = p - -1/3. Is 15 < i?
False
Let v = -3168 + 38047/12. Let k = 15/4 - v. Let n = 5 + -3. Are n and k non-equal?
True
Let w = -2840835/14 - -202657. Let n = 260 + w. Let h(d) = -d**2 + 13*d - 22. Let v be h(11). Is n less than v?
False
Let b = -44274/41 - -1080. Let i(d) = -2*d - 26. Let p be i(-13). Is b bigger than p?
True
Suppose 0 = 3*k + 3*l - 9, -k = 18*l - 20*l - 9. Let n be ((-7)/k)/((-140)/(-25) - 5). Suppose 3*b - 4 + 16 = 2*h, 3*b = -h - 3. Which is smaller: n or b?
n
Let c(g) = 16*g - 302. Let n be c(19). Suppose 0 = 2*v + 8, -f - n*f + 8 = -2*v. Which is greater: f or 10/23?
10/23
Let z(h) = -5*h + 11. Let o be z(3). Let m be (-6)/(-2) - (o + 1211/175). Is m less than -2/7?
False
Suppose -7*d + 13*d + 16050 = 0. Let w be 3/(-2) - -2*d/(-3620). Is 0 greater than w?
True
Let o = 15583/7 - 206359/91. Which is bigger: o or -43?
o
Let b = 930 - 529. Let g = b - 428. Is g > -3/2?
False
Let s = 2490 + -1779. Let c = 692 - s. Is c greater than 1?
False
Let z(h) be the first derivative of -5*h**2/2 - 19*h + 8. Let d be z(-5). Suppose d*g = 3*g + 177. Which is bigger: 58 or g?
g
Let p = -16878538/1233 + 13689. Do -1 and p have the same value?
False
Let w = -1974533/9 - -219152. Let y be 4/30 - 25214/105. Let s = y - w. Is s <= 0?
False
Suppose 5*k = k + 4. Let u = -3191 - -2211. Let d be ((-14)/u)/((-4)/(-8)). Is d < k?
True
Let p(h) = -h + 11. Let r be p(0). Suppose -8 = 9*o - r*o. Let a be o - -9*(-3 - -2)/(-3). Which is smaller: a or 28/5?
28/5
Let l be 21/(1617/44) + (-72)/(-21). Suppose -3*j - l*i - 2338 = 267, -j = 4*i + 863. Is j greater than -871?
False
Let i = -2690/9 - -300. Let m(b) = -3*b + 47. Let z be ((-3717)/28)/(-9) + 2/8. Let v be m(z). Which is smaller: v or i?
i
Suppose 0 = 5*l + 6*g - 1389, 4 = -2*l - g + 568. Are 284 and l nonequal?
True
Let y = 10.87 + 0.13. Let o = 3 - y. Let s = 34108 + -238758/7. Which is smaller: s or o?
o
Let s = -2719518217/55 + 49448941. Let w = s - 3156. Which is smaller: 0 or w?
w
Suppose -o - 6 = -5*p, 0*o - 4*o - 9 = -5*p. Let m be (-6)/18 - (-2878)/12567. Let f = m + 5/71. Which is smaller: f or o?
o
Let u(a) = 2*a**3 + 4*a**2 + 4*a + 3. Let c be u(-2). Let o = -47812 - -47811. Are c and o unequal?
True
Let v be (-132)/24*(-4)/11. Let f be (1 - (v - 6)) + 0. Let y(q) = -2*q**2 + 7*q - 4. Let n be y(f). Is -20 at least n?
False
Let u = -2639 + 36929/14. Let x = 847 - 848. Are u and x nonequal?
True
Suppose 5*u = 5*f + 4*u + 2029, 5*f = -5*u - 2005. Is f bigger than -405?
False
Suppose -5*c - 69 + 24 = 0. Let v = 232109/1048 + 1100/131. Let w = 230 - v. Is w at most as big as c?
False
Let d = -8.639 - -8.6. Let y = 490.8 + -490.9. Which is smaller: d or y?
y
Suppose -3*k = 3*b - 18, 5*b = -k - 34 + 48. Which is bigger: b or 3344?
3344
Suppose -q = -18 - 15. Suppose -3*g - 242 = -4*f, 55 = f + 4*g - 2*g. Suppose f*j + 99 = 62*j. Is q greater than j?
False
Let r = 98.211 + -0.211. Let j = r + -32. Is j <= 2?
False
Let f = 1.4746 - 214.4746. Do 1.5 and f have the same value?
False
Suppose 22*i - 29*i = -26*i + 247. Suppose -p + 3*d - 9 = 0, 6 = 5*p + d + d. Suppose 4*z = -p*z + 52. Is z bigger than i?
False
Let a = 40 - 181. Let p be (a/(-5))/(-28 - -27). Which is smaller: p or -28?
p
Let f be ((-735798)/256)/7 + 1. Let x = f - -237/128. Let v = x + 410. Is 2 smaller than v?
True
Suppose 906521 + 452359 = -10*b. Let s be (b/(-2844))/(52/6). Let m = 72/13 - s. Is m greater than 0?
True
Let f = 141595 + -704091/5. Which is greater: 778 or f?
778
Let y(o) = o**3 - 6*o**2 + 6*o - 5. Suppose 7*c - c = 30. Let i be y(c). Are -65 and i equal?
False
Let d(g) = -4*g + 4. Let s be 8 - (10 + 2 + -6). Let v be d(s). Which is smaller: -14/5 or v?
v
Let t = -188 + 331. Let d = -182 + t. Is -0.2 > d?
True
Suppose -4*p + 1 - 2 = y, 5*y - 2*p - 17 = 0. Suppose -y*x - 43 = -2*a, -5*a - 2*x - 3*x = -45. Suppose -15*z + 10 = -a*z. Is 10 less than or equal to z?
True
Let s(y) = 2*y + 21. Suppose -z - 8 = 3*i - 0*i, -3*i = 3*z + 42. Let l be s(z). Let g(w) = -w**2 - 3*w - 6. Let k be g(-4). Which is smaller: k or l?
l
Let h be (-430)/(-14) + 13/((-1092)/(-24)). Suppose 0 = -7*d + 10 + 214. Which is smaller: h or d?
h
Suppose -p = -4*v - v - 17, 2*v + 5 = p. Suppose 2*s - 117 = -4*d - 515, s = 2*d - 179. Let a = 1515/8 + s. Which is bigger: v or a?
a
Let z be (12/(-16266))/(5 - 7). Which is greater: -1 or z?
z
Suppose -3*t + 5*f - 7 = 0, -62*t + 4*f - 3 = -57*t. Let y be (0 + -3)/((-1329)/2). Which is smaller: t or y?
y
Let f(l) = 18*l - 125. Let w = -370 - -390. Let z be f(w). Which is smaller: z or 236?
z
Let m be (-5*(-7)/2870)/(1/(-2)). Let b be (-4)/2 - (12 - 14). Which is smaller: b or m?
m
Let s = 0.68 - -12.32. Let y = s + -16.7. Is y greater than or equal to -0.2?
False
Let x = -4.1 - -4. Let v be (-4)/(-10)*(-475)/380*(-132)/(-15). Which is smaller: v or x?
v
Let s = -23903/20332 - 1/1196. Let i be (12/(-8) - -1)*(2 + -2). Which is smaller: i or s?
s
Suppose -83*k - 15*k = 99*k + 3152. Which is smaller: 53 or k?
k
Let p = -2623 - -2624. Let t = 0.056 - -0.344. Is t >= p?
False
Let c = 108489 + -899265319/8289. Is 0 greater than c?
False
Let b be (18819/45)/(-17) - -7. Is b equal to 1/16?
False
Let d(y) = 61*y - 1721. Let z be d(78). Is z less than 3038?
True
Let i(v) = v**2 + 7*v - 17. Suppose -3*j = -28 + 55. Let d be i(j). Which is smaller: 14/17 or d?
14/17
Let r = -1.9 + 2. Let c = -590822 + 590881. Which is greater: r or c?
c
Suppose 4*p - 441 = -y + 2*p, 0 = -2*y + 2*p + 888. Which is bigger: y or 445?
445
Let r be -34*(81*154/14980 + 8/(-10)). Do -1 and r have the same value?
False
Suppose -2*c + 3*c = -4*q - 33, 3*q + 5*c = -46. Let d(y) = -y**2 - 4*y + 25. Let t be d(q). Suppose -40 + 4 = t*o. Does o = -31/3?
False
Suppose -13*g + 3 = -3*n - 15*g, -2*n = 2*g. Let l be 1/((2 + -1)/(-8)). Which is bigger: n or l?
n
Suppose -17630*p + 17693*p + 1257795 = 0. Which is smaller: p or -19966?
-19966
Let w = -452802 + 5882082/13. Let b = 334 + w. Suppose 0 = 2*r + 3*r + 5. Which is smaller: b or r?
r
Suppose -8*c = 3*t + 6772 + 7391, -7083 = 4*c + 3*t. Is c less than or equal to -1772?
False
Let y = 8516.9273 + -8517. Does 1 = y?
False
Let o = -2797 - -2561. Which is greater: -231 or o?
-231
Let n = 792 + -471. Let t = -331 + n. Is 2 not equal to t?
True
Let g(m) = m**3 - 6*m**2 - 5*m + 52. Let v be g(5). Let f = 8143 - 284981/35. Is f less than or equal to v?
True
Let u be (-2*1/3)/(5/30). Let s be (-260)/(-8) + 1/(2 + u). Suppose -4*v - 80 = -s. Is -11 <= v?
False
Suppose -8*w + 920 = 78*w + 3758. Suppose 4*u = -3*z - 58 - 70, 128 = -4*u - 2*z. Is u smaller than w?
False
Let u = 1471 - 1504. Let m(f) = -f**2 + 20*f + 7. Let b be m(9). Let y = 74 - b. Do u and y have the same value?
False
Suppose 4*g - 116 = -w + 6*g, 0 = 3*w - 5*g - 347. Is 114 greater than w?
False
Suppose 51*t + 14*t = 0. Let j = -17 + 56. Suppose t = -3*w - 0*w + j. Are 11 and w equal?
False
Let j be (74 + -5 - (-3 + -1))/(-1). Let p = -53 - j. Let v = 10 - p. Which is bigger: v or -11?
v
Let g = -15/31 + 301/558. Let k = -63 - 156. Let u = -218.9 - k. Does u = g?
False
Let p be 2/120016*3233651/15 - 3. Let l = p - 6/7501. Let a = l + 1/120. Is 2 <= a?
False
Let o be (-3 + 1462/490)/((12/(-14))/(-1)). Is -115 at least o?
False
Let s(z) = z**2 - z - 7. Let a be s(-3). Suppose 0 = q + a*v - 25, -1 = 2*q + v - 6. Let b be q/((-2)/((-4)/2)). Do -12/17 and b have different values?
True
Suppose 0 = 4*u + 4*k + 732