
-5
Let m(n) = -n**3 + 55*n**2 - 99*n + 81. Let v be m(52). Let c be (-60)/v*(-1)/(-10). Which is bigger: 0 or c?
0
Let r be 8/(-24) - 7/15. Let q be 15/(-6)*4/(-2). Suppose -g - 2*g = v + q, 3*v = 4*g - 2. Which is greater: v or r?
r
Suppose -23 - 11 = 79*y + 45. Which is bigger: -2/241 or y?
-2/241
Suppose 4*u + 26 = 2*r, -u - 74 = -3*r - 2*u. Suppose -11*v = -1 + r. Is v < -161?
False
Suppose -8*x + 13*x = -2*t - 19, -3*t + 4*x = -6. Which is bigger: -13/24 or t?
-13/24
Suppose 0 = -31*t + 111 + 168. Let a be (t/(-204))/((-45)/12). Are -1 and a non-equal?
True
Let g(r) = 39*r**2 + 27*r - 48. Let i be g(11). Suppose i = 24*h + 3*h. Is h less than 184?
False
Let q = 8079 - 8086. Is -95 smaller than q?
True
Suppose -34 = 4*n + 34. Let k = n - 7. Let q be (k/(-54))/(-1*2). Is q greater than or equal to 1?
False
Suppose 0 = -739*m + 738*m + 346. Let w = m + -346. Which is smaller: w or -1?
-1
Suppose -3*n - 2*n + 17 = y, 0 = 2*y - n - 1. Suppose -y*r - 83 = 21. Let c = r + 30. Which is smaller: -23 or c?
-23
Let d be (-9)/(630/20) - (3928/13846)/(-1). Is -1 less than or equal to d?
True
Suppose 2490 - 1262 = -2*j. Do -613 and j have the same value?
False
Let q = 453 - 465. Let v be 1992/(-328) + q/(-2). Let a = 1 - 1. Which is bigger: a or v?
a
Let s be (((-390)/(-240))/13)/((-2)/(-2336)*2). Let a(k) = -k**2 + k + 72. Let x be a(0). Which is smaller: x or s?
x
Let k = -9 - -25. Suppose 12*t - 8*t = 3*f - k, -5*t - f - 1 = 0. Is t at least as big as -1/74?
False
Suppose 71 = -3*c + 4*q, -34*c + 2*q = -29*c + 95. Let k be (-35)/(-25) + (-1 - 1). Is k <= c?
False
Let r(v) = -290*v - 2304. Let l be r(-8). Is 299/18 at most l?
False
Suppose 0 = -6*z + 2*z + 28. Suppose 0*g + 49 = -z*g. Let l = -17 - g. Which is smaller: -9 or l?
l
Let z = -9.6006 + -67.4324. Let l = z - -77. Let h = -0.067 + l. Which is greater: h or 18?
18
Let o = 1537/36550 - 3/1462. Are 96 and o equal?
False
Let r be (4494/105)/((8/18)/(-4)). Which is greater: -386 or r?
r
Suppose -157*y = -175*y - 5148. Which is smaller: -288 or y?
-288
Let x be (24/4 + -6)/2. Let d = -403/30 + 77/6. Which is bigger: d or x?
x
Let n(a) = -a**2 + a + 17. Let f be n(4). Suppose -31*b + f = -26*b. Is -1/15 less than or equal to b?
True
Let k = -84 + 59. Let y be ((-42)/(-49))/(2/42*-1). Let r = k - y. Which is greater: r or -6?
-6
Let c = -39493/3 + 13164. Which is greater: -291/19 or c?
c
Let i = -4.7 - -6.35. Let j = i + -2.65. Is -93 less than or equal to j?
True
Suppose 0 = 2*f - 19 + 27. Let u = f + 94. Is 90 greater than or equal to u?
True
Suppose -833 = 5*q - y, -3*q - 495 = 89*y - 88*y. Are -165 and q unequal?
True
Let d be 36/(8/4 - 0). Suppose -2*u = -j + 15, -5*j + 3*u + d = -85. Which is smaller: j or 24?
j
Suppose 0 = -f + 5*o + 30, -5*o - 8 = -9*o. Suppose -5*u + z - f = -z, 0 = 5*u + 4*z + 40. Is u <= -8?
True
Let y be 45/(-7) - 3 - 2. Let l = -2407/210 - y. Let w(x) = -2*x**2 - x. Let c be w(-1). Which is greater: c or l?
l
Let l(v) = -11*v**2 + 96*v - 1369. Let y be l(28). Which is smaller: -21916/3 or y?
-21916/3
Suppose -4*c - 3*m = -132, 4*c + 5*m = 8*c - 164. Suppose -2*y = -8, -s + 6*y - 7*y = -c. Let p be 2*16 - 0 - 0. Is s not equal to p?
False
Suppose -5*h = 1 - 6. Let m be 46696/1261 + -21 - 16. Is h at most as big as m?
False
Let j(k) = -2*k**2 + 66*k + 68. Let f be j(34). Suppose 3*d = 4*b - 452, -465 = -5*b - d + 81. Let h be (8/b)/((-12)/(-30)). Which is bigger: h or f?
h
Let a = -1649 - -205. Is a < 0.1?
True
Let k(b) = b**3 - 20*b**2 + 20*b - 15. Let s be k(19). Suppose -3*a - s = -10. Suppose -2 = -4*j + a*j. Which is smaller: 1/32 or j?
1/32
Let a = -0.0959 - -1.4959. Is 4/19 at least as big as a?
False
Let d(s) = -1199*s + 1864. Let f be d(20). Is f greater than or equal to -22115?
False
Let m = 448029/1225456 - 147/401. Which is greater: 1 or m?
1
Suppose -b + 377 = a, b + 757 = 11*a - 9*a. Let z = -372 + a. Suppose 0*s - 9 = 3*s. Which is smaller: s or z?
s
Let x(d) = d**3 - d**2 - 6*d + 9. Let u be (-9)/4 + 2 - (-252)/112. Let q be x(u). Is -6/29 greater than q?
False
Suppose 27*n - 23*n - 20 = 0. Suppose -n*h + 165 = 5*a, -2*h - 27 = -2*a + 35. Suppose -a - 28 = 6*j. Is -10 at most as big as j?
True
Let d(a) = 2*a**2 + a + 3. Let w be d(3). Let r = -115857 + 115879. Is w less than or equal to r?
False
Let d = 7.2 + 86.8. Let h = -93.8 + d. Let m = -0.04 - h. Which is bigger: m or -2/7?
m
Let c(i) = 127*i - 250. Let v be c(2). Let m = 1 + 0. Suppose -g + m = -5*u, 0*u + 1 = v*u + g. Does u = 4/3?
False
Let h be 31/2 + 25/(-50). Suppose h*d - 1296 = -9*d. Which is smaller: d or 52?
52
Suppose 0 = -4*f - 4*f. Suppose 2*o + 82 = -2*s + 5*s, f = o - 4. Let x be 0/1 + s/(-55). Which is greater: x or 0?
0
Let t = 190.41 - 225.262. Let h = 0.348 - t. Let z = 35 - h. Are z and -4/5 nonequal?
True
Let f(y) = y**3 - 2*y**2 - 7*y - 3. Let p be f(4). Suppose -2*q + p - 3 = 0. Let z be 12*(3 - (-24)/(-9)). Which is smaller: q or z?
q
Let g = -26 - -30. Suppose -m + s = -127, 2*m - s - 269 = g*s. Let u = 86 - m. Which is smaller: -37 or u?
-37
Let h(j) be the third derivative of j**5/60 - j**4/8 - 5*j**3/2 + 3*j**2. Let o be h(5). Let a be (6 - 3591/35) + 2/o. Which is bigger: -0.1 or a?
-0.1
Suppose 21 = -12*c - 4 - 47. Do c and -86/15 have different values?
True
Suppose m + 2 - 5 = -4*x, 0 = -5*m - 3*x + 66. Let y be (6/m)/((-8)/(-5)). Let s = 3778 + -3778.01. Do y and s have the same value?
False
Let u(v) = -2*v**3 - 50*v**2 - 47*v + 26. Let c be u(-24). Suppose 17*d - c*z + 12 = 15*d, 4*z - 6 = d. Which is bigger: 2 or d?
2
Let v = 11.64 + -11.59. Is 5/18 < v?
False
Suppose 0 = -r + 4*r + 2715. Suppose 96 = -10*k - 2*k. Let g be (-2)/k + r/20. Which is smaller: 0 or g?
g
Let c = -255 + 315. Is c bigger than 13?
True
Suppose 8*s + 400 - 3016 = 0. Is 0.06 smaller than s?
True
Let s = -0.641 - -0.118. Let n = -0.047 + s. Let y = n + 47.57. Is -1 greater than y?
False
Let a = 34231/269724 + -29/228. Which is bigger: a or 1?
1
Let r = 12 + -11. Let z = -9445144 - -16330654482/1729. Let f = -2/133 - z. Do f and r have different values?
True
Let k = 16276 - 310326/19. Which is smaller: -57 or k?
-57
Let f be (1654/91022)/(((-32)/(-26))/16). Let l = 16/641 - f. Which is smaller: l or -1?
-1
Let u = -213.47 + 216.47. Suppose 4*i = -i - 100. Is u smaller than i?
False
Let a = 4640 - 1624. Is 3016 at most a?
True
Let r = -7.38 + 11.78. Which is smaller: 27 or r?
r
Let i = -75 + 4. Let k = i - -71.1. Let a = 124/45 + -38/15. Is a bigger than k?
True
Let y = -1/620 + -30377/1860. Is -16 at least y?
True
Let r = -8.511 + 8.411. Is -55.04 equal to r?
False
Let o(j) = -198*j + 42. Let z be o(-7). Let p be 36/(-198) - z/(-7975). Which is greater: p or -1?
p
Let i = -6.138 + -22.862. Let v = 33.5 - 4.5. Let n = v + i. Is n at least as big as 0.06?
False
Suppose 0 = 40*h - 12 + 572. Let z = 87 - 39. Let y = 239/5 - z. Is h at most y?
True
Suppose -16 = -h + 4*j, -3*h + 31 = -j + 5. Does h = -0.03?
False
Suppose 5*f + 6*w = 3*w + 6068, -5*f = -4*w - 6096. Suppose -f = -11*g + 478. Is g != 155?
True
Suppose 2*k - 1396 = -2*j + 3516, 2*k = 6*j + 4856. Which is smaller: 2451 or k?
k
Let c be 3/4 - (-619227)/2970. Let f = c + -837/4. Suppose 4 = 5*u + 9. Is f at most as big as u?
False
Let z = -52.049 + 52.06. Are z and -2/3 unequal?
True
Let o be (-465)/124*8/(-6) - 2375/478. Which is greater: o or 1?
1
Let d = 4481 + -4459. Suppose -5*o = -i - 268, 0 = -0*i - 2*i + 4. Let p = o - 31. Is d greater than or equal to p?
False
Let k = 6926/15255 + -58/113. Let l = -2486/37395 - k. Which is smaller: 1 or l?
l
Let q = 8339021/112995 - -2/22599. Which is greater: q or -1?
q
Let a(f) = 11*f - 13. Let z(j) be the first derivative of -23*j**2/2 + 27*j - 21. Let r(n) = -5*a(n) - 3*z(n). Let y be r(-2). Which is bigger: y or -45?
y
Suppose -2*w + 3*j + 40 = 0, -5*j - 1 - 35 = -2*w. Suppose -h + 2*t = 1 + 8, 0 = 2*h - 5*t + w. Let x(u) = 17*u - 1. Let y be x(h). Is y less than 18?
True
Let s = -7479937/1401 - -5339. Let i = 469/1401 - s. Do 4/55 and i have the same value?
False
Suppose -3*l = 6*l - 18. Let a(x) = -20*x + 5. Let f be a(l). Let p be 50/126 + 10/f. Which is smaller: 1 or p?
p
Let v = -104 + 159. Let o = -86 - -140. Let t = v - o. Which is smaller: 13 or t?
t
Let j = -670 - -11393/17. Let