hich is smaller: 407/6 or k?
407/6
Let i = 42.9493 + -0.0493. Let m = i - 42.7. Which is greater: m or 147?
147
Let g(x) = 2*x**3 - 64*x**2 + 353*x - 17. Let m be g(7). Which is bigger: 315/92 or m?
m
Let t be 48/168 - -17*(-4)/(-7). Suppose -t*a + 9*a - 6 = 0. Is -15 smaller than a?
True
Let c(p) = 2*p**2 - 29*p - 33. Let k be 8/(-44) - (-4 - 932/44). Let v be c(k). Which is greater: 493 or v?
493
Let l = -1026.63 - -1021. Is -1 > l?
True
Suppose 532*h + 117 + 141 = 489*h. Which is bigger: h or -142/19?
h
Let v = -23 + 27. Suppose 4*a + 23 = 3*z, -v*a = -4*z + 2*z + 22. Let u = 4535/102 - 89/2. Is u bigger than z?
False
Let v = -28.2 + 28.1374. Let h = -0.1626 - v. Which is greater: 0.6 or h?
0.6
Suppose -q - 3*q = -48. Let g be (q/14)/((-2)/12). Suppose 16*l = 11*l - 25. Which is greater: l or g?
l
Suppose -3*r = -r + 36. Let z = r - -21. Let q = 376.5 + -376.5. Is z greater than q?
True
Suppose 4*s = 4*t + 384, 288 = 2*s + s - 4*t. Let g = -96 + s. Is 2/19 <= g?
False
Let a = 480.9 - 481. Let s = 1806 + -1843.56. Let h = s - -37. Is a > h?
True
Let c(j) = 156*j + 631. Let k be c(-5). Is k not equal to -1203/8?
True
Let j be -7 - 11/(66/(-4074)). Let d be 329/j - (-1)/(-3). Which is greater: 2 or d?
2
Let h(w) = 40*w**2 + 15*w + 53. Let y be h(-3). Is 366 less than or equal to y?
True
Suppose -78*y + 74*y + 228 = 0. Let f be 3/(-9)*0 + 58. Which is bigger: f or y?
f
Let z be 2/6 - 10/34. Let l(i) = -4*i - 49. Let r be l(-13). Let y be (25/(-10) + r)*(3 - 1). Which is greater: z or y?
y
Let i be 3/(-27) - (55310/(-45) - -2). Let p = 6188/5 - i. Which is smaller: p or 3?
3
Suppose -2*h - 4*k - 976 = 0, 5*h - k = -1826 - 570. Let r = 159953 - 160433. Is r at least h?
True
Let p be (-7)/(7/3) + 25. Let l = p + -38. Let b be (-6)/(-8) - (-76)/l. Which is smaller: b or -3?
b
Suppose 4*l + 2*m + 9292 = 9306, l + 28 = 3*m. Is l != 1/5474?
True
Suppose 5*q - 1 = 6*q - b, 0 = -b - 5. Let o be (-3 - -2)/((-6)/24). Suppose o = -5*r - s + 1, 6 = -5*r - 2*s. Which is greater: q or r?
r
Suppose c = -0*c - 605. Let u be -22*21/385*-1010*(-4)/8. Is c not equal to u?
True
Let n = -141822 + 141822.304. Let r = 2 + -3. Are n and r unequal?
True
Suppose 4*v + 3*c - 15 = 6*v, 0 = -3*c + 9. Let j be (-7)/(56/12)*(-2)/v. Let u be -20 + ((-6)/j)/3. Is -18 less than u?
False
Let w = 2285 + -2258. Which is smaller: w or -0.128?
-0.128
Let t = -2.903 + 0.003. Let k = -230.9 + 228. Let j = k - t. Which is smaller: 2 or j?
j
Let l = -57 + 45. Let t be (-135)/l + 0 - (-2)/(-8). Let u = 0 + t. Is u smaller than 0?
False
Suppose 21176 + 11736 = -98*k + 120*k. Is k > 1496?
False
Let n = -5134 + 4882. Which is smaller: n or 5?
n
Let m(v) = -v + 1. Let g = -49 + 48. Let i be m(g). Suppose 5*n + 7 = -i*n. Is -2/91 bigger than n?
True
Let v = -8/309 + 20434/1545. Let d = 1076/55 - v. Which is bigger: d or 5?
d
Let q = 0.67 + 0.23. Let v = -1 + q. Let l = 2.9 - v. Does 0.09 = l?
False
Let w be -2*3/(-2) + (-18200)/12. Let h = w - -1534. Do 21 and h have the same value?
False
Let u = 3480 - 414116/119. Let k be ((-40)/(-60))/((-10)/6 + 1). Which is greater: k or u?
u
Let q(l) = -4*l + 26. Let k be q(8). Let m be 3009/(-18) - 1/k. Is -167 < m?
False
Suppose -13*d = -2 + 2. Let i be (7 - (d - 3)) + 3 + -4. Suppose 0 = i*r - 6*r, -2*l + 3*r = 24. Is -13 at most l?
True
Let b(n) = -20*n + 4. Let s be b(5). Let z be (7/14)/(3/(-6)). Let j(k) = 98*k**3 - 5*k - 3. Let x be j(z). Are s and x equal?
True
Let q = 146 + -77. Let h = 66 - q. Which is smaller: h or 10?
h
Let m = -3961916549 - -25605866788773/6463. Let k = m + -472/23. Which is smaller: k or -1?
-1
Let w = 102/89 - 44804/39249. Let d = w + 247/42777. Is d greater than or equal to -0.2?
True
Let x be 49/(-91) + (11 - 3) + -7. Is x not equal to -0.336?
True
Let d(s) = 2*s. Let r(i) = 5*i + 10. Let x(j) = -2*d(j) + r(j). Let p be 2/(-1)*-1 - 0. Let a be x(p). Is 13 > a?
True
Let l = -5065/3 - -1689. Which is smaller: l or -24/77?
-24/77
Suppose -144 + 2443 = 11*i. Let p = i - 200. Is 9 at most as big as p?
True
Suppose 0 = -43*z + 28*z + 6060. Suppose 4*n + b = -1973, z = -5*n - 3*b - 2057. Which is bigger: -493 or n?
-493
Let d = -3256393/54048 + 1/54048. Let t(i) = -31*i + 3. Let p be t(2). Which is greater: p or d?
p
Suppose 4*i + 15 = 75. Suppose 4*q + 2*x = -q - 31195, 3*x = -i. Let a be 1548/q - (-2)/9. Is a >= 1?
False
Suppose -58*j - 137*j - 11*j + 1236 = 0. Which is bigger: 73/16 or j?
j
Suppose 1323*h - 1309*h + 9170 = 0. Which is bigger: -652 or h?
-652
Let w(l) = 5*l + 25. Let q be w(-5). Let b = -199/868 - -6/31. Is b < q?
True
Let q = -304 - -321.9. Let z = q - 18. Let d = 44 + -28. Is d <= z?
False
Let p be 3664/2977*13*1. Which is smaller: 161/10 or p?
p
Let c = 26810 + -298585/11. Which is smaller: c or -334?
c
Let c(y) = -112*y + 449. Let l be c(4). Which is bigger: -10/681 or l?
l
Let z be (31 - (-4202)/(-132))*3/5. Is 2514 at least z?
True
Let t = 117/137 + -10333/12741. Which is greater: t or 16?
16
Let p = 0.318 + -0.612. Let f = p - -0.094. Are -41 and f equal?
False
Suppose 5 - 16 = -h. Let f(s) = s**3 - 13*s**2 + 15*s - 3. Let u be f(h). Let a be (-22)/(-16) + (-10)/u. Is 3 greater than or equal to a?
True
Let r be -10 + 6 - (-33315)/18. Suppose 38*m - 7448 = 42*m. Let f = m + r. Is f equal to -16?
False
Let u = 18.2 + -24. Let w = -5.15 - u. Let b = w + 0.35. Which is smaller: -2 or b?
-2
Let s = -3 - -3.05. Let d = -34502.97 - -34503. Is s >= d?
True
Let x = -373403167/6276 + 59497. Which is smaller: x or 1?
x
Suppose d + 3*x = 12, d - 3 = -2*x + 5. Let h = -544309/17 - -32019. Which is smaller: d or h?
d
Let u = -81148378/205 + 1988873/5. Let i = -1929 + u. Which is greater: -1 or i?
i
Suppose -5*t + g = 11213, 71*t - 74*t - 6719 = -5*g. Is t smaller than -2244?
False
Let g(z) = z**2 + 74*z - 141. Let a be g(0). Which is smaller: -148 or a?
-148
Let b = 6.4 + -6. Let m = -128024 + 127962. Is m greater than b?
False
Let n(f) = f**2 - 17*f + 36. Let q be n(28). Let h = -433 + q. Which is greater: -4 or h?
-4
Suppose 294 - 286 = -3*j - 5*k, -2*j = 4*k + 6. Is j at most 81/308?
True
Let l(c) = -c**2 - 3*c + 4. Let n be l(-10). Let x = -89640 + 89571. Which is smaller: n or x?
x
Let j = -840 + 9212/11. Let p(t) = -3*t**2 + 281*t - 3478. Let h be p(79). Is j >= h?
False
Let x = -4014 + 2788. Is -1226 at most as big as x?
True
Suppose 8*r = -2*k + 10*r - 2, -4*r = -2*k. Let s be 800/1664 - k/(-8). Which is greater: 2 or s?
2
Let q(u) = -u**2 + 7*u. Let t be q(7). Suppose 3*z + 98 + 154 = t. Let g be 48/(-22) - (z/(-22) - 4). Is -6/11 >= g?
True
Let j = -2756543/192 - -14357. Is 0 less than j?
True
Let m(c) = 5706*c + 155. Let r be m(-1). Is r bigger than -5553?
True
Let p = -18.13 + 673.13. Which is bigger: 0.7 or p?
p
Let w(l) be the third derivative of -l**5/30 - l**4/12 + 11*l**3/6 + 8*l**2 - 1. Let y be w(-4). Is -13 at most y?
True
Let k = -12065/4379 + 155/58. Which is greater: k or -0.2?
k
Suppose -2*m - 410 = -53*d + 57*d, 0 = -4*d - 4*m - 396. Is 41 != d?
True
Let s(d) = d**3 + 6*d**2 + 4*d - 11. Let o be s(-5). Let y(g) = -g**2 + 17*g - 73. Let q be y(5). Is o < q?
False
Suppose 26*k + 30*k - 59*k = 0. Let a = 1477502/375 - 3940. Is k >= a?
False
Let u be 6 - (-2 - (0 + -2)). Let i(j) be the third derivative of -5*j**4/24 + 29*j**3/6 + 137*j**2. Let v be i(u). Which is smaller: v or -4/15?
v
Let q be -1 - (40/3 - -1). Suppose -11*j - 4*p + 50 = -9*j, 0 = 2*p - 26. Which is smaller: q or j?
q
Let t = 13.45 + 1.55. Which is smaller: -75 or t?
-75
Let h(t) = 3*t**3 + 5*t**2 - 11*t + 68. Let f be h(5). Suppose f*z - 508*z - 425 = 0. Which is smaller: 84 or z?
84
Suppose 4*c = -3*b + 4171, -5*b = 69 - 74. Suppose 0*p = 2*p - 5*d - c, 0 = -p - 2*d + 530. Which is smaller: 525 or p?
525
Let i be (-4)/(-10) + (-190)/(-25). Suppose -3*u = -4*g + 9, 3*g + i + 1 = -3*u. Which is smaller: -4/359 or g?
-4/359
Let t = 0.319 + -0.116. Let y = t - -0.197. Let d = -8.8 + 2.8. Which is smaller: y or d?
d
Suppose -o + 2 - 1 = 4*s, -3*s - 3*o = -3. Let r be (2 - s) + (-3 - -1). Let w be ((-6)/5)/((-365)/50 - -1). Which is smaller: r or w?
r
Let g be -6*6*-1 - -5. Suppose 10*d - 9 = g. Are 4/11 and d equal?
False
Let f(a) = 2*a**2 + 39*a - 15. Let h be f(-20). Suppose 2*v - 2*x + x = -1, 25 = h*v + 3*x. Suppose 2*p 