582 = -3217. Which is bigger: i or 2/19?
2/19
Let d(f) = 5*f**2 - 3*f - 69. Let q(r) = -3*r**2 + 35. Let t(v) = 4*d(v) + 7*q(v). Let b be t(-6). Does -1 = b?
False
Let f(m) = 2*m**2 - 20*m + 23. Let b be f(7). Let r = b + 10. Is -38/5 bigger than r?
True
Suppose -6*k = -497 + 191. Let u(l) = -161*l - 1407. Let r be u(-9). Do r and k have the same value?
False
Let m(k) = -38 + 4*k + 8 + 2 + 19 - 6*k. Suppose 4 - 1 = -o. Let v be m(o). Which is bigger: -2 or v?
-2
Let j be 192/80 - (-6)/(-15). Let q be -8 + 7 + (-1)/j + 1. Is q less than or equal to 172?
True
Suppose -23*w - 103*w + 8*w - 10266 = 0. Are w and -262/3 nonequal?
True
Let g be 8/(-36) + (-442430)/(-765) - 8/68. Which is bigger: g or 589?
589
Let c(o) = o**2 - 62*o + 26. Let m be c(77). Are m and 1181 unequal?
False
Let p(v) = v**3 + 5*v**2 + 12*v + 60. Let y be p(-5). Let x = y + 0. Let j = -64/15 - -583/105. Which is bigger: j or x?
j
Suppose m = 3*m. Let l = 1899.1 - 1775. Let z = -126 + l. Is z less than or equal to m?
True
Suppose -2*t - 5*r = 3 - 6, 51 = 5*t - 2*r. Suppose -4*x - 19 = -v, 0 = 3*x - 7*x + 2*v - 18. Is x greater than or equal to t?
False
Let q be ((-108)/63)/((-9)/1344). Is q bigger than 1541/6?
False
Let j = 1627 + -1616. Which is smaller: 4/21 or j?
4/21
Suppose 3*g = 3*c - 216 - 384, 4*c = -5*g + 827. Let p = c + -188. Which is smaller: 16 or p?
p
Let f(a) = -4*a**3 - 97*a**2 - 22*a + 57. Let r be f(-24). Suppose -3*z - 2*z = 5*u + 35, 0 = -4*z + 12. Which is smaller: u or r?
u
Let t = 1063759/56190 - -7/3746. Which is greater: 19 or t?
19
Let s be (-3)/(5/(-360)*4). Suppose s*y - 39*y = 0. Are 6/185 and y nonequal?
True
Let u = -10 + -117. Let t = u - -132. Let k be 0 + 2 - (-5)/(-5). Is k less than or equal to t?
True
Let g = 1506/5 + -21087/70. Let x = g - -173/770. Which is greater: 2 or x?
2
Let o = 52 - 71. Let l(g) = g**3 + 18*g**2 - 17*g + 33. Let h be l(o). Let b be h/(-10) - 471/918. Are 0 and b equal?
False
Let m = 14/73 - 34709/180602. Which is smaller: m or 0?
m
Let a be ((-4 - -2) + 3)*(-7 - 0 - -6). Is a less than or equal to 14/249?
True
Let c = 607 - 606. Let f be -3 + 6*(1 - 0). Let q be (f/9)/(38/(-6)). Do c and q have the same value?
False
Let k be 11/(22/(-3))*-122. Suppose 0 = -3*h + 2*r + 183, -8*h = -5*h - 3*r - k. Suppose 2*v = -19 + 141. Is v > h?
False
Suppose -4*n = -3*p - 19, -n - 3 = -2*n - p. Suppose -127 = n*b + 25. Let d = -5 - b. Are 33 and d equal?
True
Suppose -i - i = 0. Suppose -2*y = -2*f - 272 + 1192, -2*y - 2*f - 924 = 0. Let o = -26737/58 - y. Is i equal to o?
False
Suppose 0*i = -2*i + 8. Suppose 88 = i*j - 0*j. Suppose -j*t = -23*t + 1. Is 1/6 != t?
True
Let s(c) = -c**3 + 14*c**2 + 31*c + 29. Let y be s(16). Let w(f) = f**2 - f - 4. Let d be w(6). Suppose -d*u = -31*u + 55. Is y less than u?
False
Let r(j) = j**3 + 22*j**2 - j - 12. Let w be r(-22). Suppose 6*p - 4 = -w. Let b(q) = 39*q**2 - 2*q - 2. Let l be b(p). Which is smaller: l or 40?
l
Let g = 137042 + -136971. Let d = -93 + 162. Which is greater: g or d?
g
Suppose 228 = 19*r - 17*r. Suppose 0*c + c = 0, -s - 2*c = 0. Let m be (3 - (2 + s)) + r/(-54). Is -2 > m?
False
Let p be (-7 + 5/((-15)/(-19)))/(2/(-11823)). Is p greater than -1/4?
True
Let j = -1630346 + 130276057824/79907. Which is smaller: j or -1?
-1
Let u be -7 - -11 - (-2786)/(-5). Suppose -2245 = -5*t + 510. Let g = t + u. Is -3 at least g?
False
Let i = 2432 + -2456. Let g = -74 + 76. Does g = i?
False
Let s = -3 - -3.1. Let v = -6045.58 + 6045.8. Which is smaller: v or s?
s
Let l = 24403 - 24499. Are -110 and l nonequal?
True
Let u(b) = -612*b - 6119. Let g be u(-10). Let d = -0.0859 + -0.4251. Which is bigger: g or d?
g
Let w = -2600 + 2559.2. Let u = 47 - 0. Let v = w + u. Which is smaller: v or 0.1?
0.1
Suppose 31*q - 73*q + 714 = 0. Is 26 less than q?
False
Let l(d) = d**3 + 7*d**2 - 10*d - 41. Let s = -724 + 716. Let q be l(s). Which is bigger: -7 or q?
-7
Let g = 7 - -2. Suppose -59*n + 44 + 263 + 342 = 0. Does g = n?
False
Suppose 46057 = -194*n - 96727. Is n at least -735?
False
Let o be (-20)/(-8)*(768/(-90) - -8)*7818. Is o at most as big as -10424?
True
Let r = -31 - -41. Suppose s = 2*o - r, 2*o - 3*s - 9 = 3*o. Let y be 0/(1/(-3)*o). Do 1/54 and y have the same value?
False
Let q be (-47)/9 + 4/18. Suppose 123*t - 18 = 120*t. Suppose 2*n + 8 = t. Is n > q?
True
Let q be (392/(-16) + -7)*4/(-3). Let b be (9*3)/(21/q). Which is smaller: b or 50?
50
Suppose -113 = 3*x + 4*n - 435, 5*x - 532 = -2*n. Let m(k) = -101*k - k**2 - 1 + x*k + 1. Let r be m(5). Is 33 greater than r?
True
Let b(n) = -n**3 + 24*n**2 - 5*n - 4. Let j be b(24). Which is greater: j or -371/3?
-371/3
Suppose 10 = -5*v + 5*m, -2*m - 5 + 7 = 0. Let y be v + (-1)/2 + (-147)/2. Which is bigger: -71 or y?
-71
Let d(n) = n**3 + 5*n**2 - n + 11. Let t be d(-5). Let f be t/(-12)*39 + -4. Suppose y = -5*g - 57, -5*y + 2*g - 171 = -2*y. Is y smaller than f?
True
Let d = 1/29306 + -117827/17671518. Is d at most as big as -1?
False
Let d = -261 + 379. Let i = d - 21. Is i less than -2/3?
False
Let k be 42/11 - 6/(-33). Let b be -3 + (609 - -3)/k. Suppose -9*w - b + 6 = 0. Are w and -14 equal?
False
Suppose -51*g + 76 = 25. Do g and -1/17 have the same value?
False
Let w = 51 - 55. Let q = 56 - w. Let i be (-1 - -1) + 255/q. Which is smaller: 4 or i?
4
Let r be (-65)/(-25) - (-4)/10. Suppose g + 172 = d, -r*g = 30*d - 31*d + 514. Is -170 smaller than g?
False
Let h be (-16)/6 - (-6)/(-18). Let p = -122 - -490. Let t be h/2*p/(-69). Which is smaller: -2/3 or t?
-2/3
Suppose -42 = 3*p + 3*y, 2*y = 5*p + 4 + 31. Let d be ((-18)/4)/(-5*3/(-150)). Let l be (-18)/d - 37/5. Which is smaller: p or l?
p
Suppose 30*j + 67 = -15 - 68. Which is smaller: j or 1/768?
j
Let o = -2/125 + -1986/875. Suppose 0*c = 7*c. Let m be -3 + (2 - (1 - c)). Which is bigger: o or m?
m
Suppose -23*a = -5*u - 20*a, 0 = 2*u + u + 4*a. Is u greater than or equal to -51/304?
True
Suppose -12*x + 10 = -302. Suppose -1440 = -31*a + x*a. Suppose -5*o + 11*o = -a. Are o and -47 non-equal?
True
Suppose 0 = 7*j + 465 + 627. Let c be (-6)/305*(-1 + j/(-36)). Which is smaller: -1 or c?
-1
Suppose -5*t - 2*y - 63282 - 22368 = 0, -4*t = 2*y + 68522. Which is smaller: t or -17127?
t
Let y be (3 - (-75)/(-27))/(-3). Let f = -17/135 + y. Let s = 15746 - 15759. Which is greater: f or s?
f
Suppose 2*y - 13 - 10 = -5*b, b - 28 = -3*y. Suppose y*m + 1032 = 141. Which is smaller: m or -94?
m
Let w = 2183 + -1035. Let u be 7/(w/(-12))*(-40)/(-6). Which is greater: u or -1?
u
Let l be 2 - (-120)/(-256)*1014/240. Is l at most -1?
False
Suppose -5*d + 0 + 20 = 0. Let b = 2013 - 2044. Which is bigger: d or b?
d
Let n be ((-4)/158)/((-10)/(-5)). Suppose 0 = -2*b - b + 12*b. Which is bigger: b or n?
b
Let c be 2323/138 + -3 + (-38)/(-12). Which is greater: 21 or c?
21
Suppose 1559 = 3*b - 5*i, -17*i = -13*i - 8. Let w = b - 461. Is 61 at most as big as w?
True
Let s = 9 + -29. Let l = 25 + s. Suppose 0*f + 9 = -2*f - 5*u, 0 = -l*f - 3*u - 13. Which is bigger: -1 or f?
-1
Let q = 5654179/26 + -217434. Which is smaller: q or 33?
33
Let j be 48/506 - 3/345*-10. Which is smaller: j or 359?
j
Let x(w) be the third derivative of 5*w**4/12 + 10*w**3/3 + 18*w**2 + 2*w. Let q be x(0). Is q smaller than 8?
False
Let r = 1725 + -8657/5. Let o(d) = -d**2 + 6530*d - 6530*d + 18. Let i be o(5). Which is smaller: i or r?
i
Let s = -297 - -317. Let x be ((-16)/s*-1)/(582/(-15)). Which is bigger: x or 1?
1
Let t be (-2)/(-3) + (-10)/(-3). Suppose 4*j - 21 = -m + 3, 0 = -2*m - 4*j + 64. Suppose -m = -c - 34. Do t and c have the same value?
False
Let q = 2617 + -2841. Does q = 7?
False
Suppose 19*x + 844 = 4*i + 15*x, 0 = 5*i + 5*x - 1005. Which is bigger: i or 208?
208
Let r(i) = i**2 + 67*i - 7435. Let d be r(-126). Is d greater than or equal to 54/293?
False
Suppose -5*y = -f - 16, -4*f - 23*y + 11 = -18*y. Which is bigger: -12 or f?
f
Let u be (166/(-249))/(72/23 + -3). Let o be 5/(-2)*(-6)/(-3). Is o at least as big as u?
True
Let l = -26811 - -201377422/7511. Is 1 greater than l?
True
Let t = 88327 - 1413235/16. Let w(j) = -j**3 - 5*j**2 - 5*j + 1. Let p be w(-4). Suppose -3*s = 2*i + 2 - 1, p*i - s - 6 = 0. Which is smaller: t or i?
t
Let c = 1730 + 620. Which is smaller: 2349 or c?
2349
Let v