ppose u*k = 4*t - 40, 0*k - 3*k = -t. Which is smaller: 17 or t?
t
Let t = 65 - 25. Let s be t/(-165) - (-4)/18. Suppose -152*c + 147*c = -b - 11, c = 4*b + 25. Is c < s?
False
Let d be (-140)/196 - 30668/77. Which is smaller: d or -406?
-406
Let c = 0.067 - 0.367. Suppose -140*n + 21 = -119*n. Is c greater than n?
False
Let w(f) = f**2 - 29*f + 7*f**2 - 2 + f**3 + 15*f + 25*f. Let m be w(-6). Let n = 185/4 + -42. Which is smaller: n or m?
m
Let i be -12*(16/3)/(-1). Let k = i + -136. Is k at least as big as -71?
False
Suppose 1012*f = 990*f - 44528. Which is greater: -2023 or f?
-2023
Suppose -9*y + 11077 = -y + 3245. Is y < 975?
False
Let c be 4 + -3 - (-194)/68. Let y = c + -6/17. Let l(p) = 2*p**2 - 19118*p - 57370. Let a be l(-3). Which is smaller: a or y?
a
Let s(z) = z**3 + 11*z**2 - 9*z + 37. Let m be s(-12). Which is smaller: 1/322 or m?
1/322
Let g be (-10)/((-90)/27) + -2. Let l be ((g/6)/1)/(9/(-36)). Is l at most as big as 68?
True
Let z be 5 + ((-2)/(-3))/(20/(-90)). Suppose -2*g + 10 = -4*t + 70, 3*g = -z*t - 58. Which is smaller: -19 or g?
g
Suppose 0 = -4*r + 3*p + 32 - 5, 0 = -4*r - 3*p + 45. Suppose 0*z = 15*z - r*z. Let q = -351 - -8419/24. Is z greater than or equal to q?
True
Let g = 176.53 - 179. Let x = 1.57 + g. Which is smaller: x or 5/2?
x
Suppose -2968 - 482 = -138*s. Which is smaller: s or 276/11?
s
Let x = -241 + 48. Let f = x + 194.9. Are 2/7 and f nonequal?
True
Suppose -14*b = -b + 221. Let q(k) = -k - 9*k + 32 - 18*k**2 - k**3 - 5*k + 0*k. Let i be q(b). Are -12/7 and i nonequal?
True
Let j be (4 + 1)*8/((-280)/(-651)). Suppose 0*u - 3*u - 151 = -5*g, -j = -3*g + u. Let h be ((-1)/(-6))/(40/g). Which is smaller: 2/5 or h?
h
Let w = -2010 - -2026.33. Let h = w - -0.67. Let m = -1 + -1. Which is smaller: h or m?
m
Let r = 394173/415 + -964/83. Which is smaller: r or 938?
938
Let k be 138*((-931)/(-6))/(-49). Is -439 >= k?
False
Suppose -42 - 60 = 3*l. Suppose 26*n + 22*n + 667 = -245. Which is smaller: n or l?
l
Let g = 9994.582 - 9995. Which is smaller: g or 4?
g
Let m = 43 - 39. Suppose -m*s = -2*i - 6, 2*s + 3 = -i - 0. Suppose 2*b + 58 = -s*b. Which is bigger: b or -28?
-28
Let a be 2 + (-10)/8 - 17/(-4). Suppose 0 = -5*n + c - 0*c + 2, 4*n - a*c = -11. Which is greater: n or 2/503?
n
Let o be ((-2)/(-3))/(36/81). Suppose -7*s + 8 + 6 = 0. Let d be 1/s + 40/(-16). Does d = o?
False
Let d = 731 - 730.934. Let w = d - -3.934. Is w <= 0.031?
False
Suppose -b = -153*s + 148*s - 6, -2*b = -s + 33. Which is smaller: b or -327/17?
-327/17
Let l = 487 - 199. Let g = 288.1 - l. Are 33.7 and g equal?
False
Let v(m) = 208*m + 623. Let x be v(-3). Does -551 = x?
False
Let m = 91 - 94. Let w = 24/85 - -2/17. Which is greater: m or w?
w
Let p = 15.71 - 0.01. Let k = -16.7 + p. Do k and 14 have the same value?
False
Let w(k) = 331*k**2 + 149*k + 3. Let n be w(-2). Do 1030 and n have the same value?
False
Let r be 1264/(-1252) - 12 - -13. Is 1 != r?
True
Let b = -18 - -18. Let r = 3244 + -3213.78. Let w = r - 29.6. Which is smaller: b or w?
b
Let b = -45646 + 3058280/67. Let g = 2 + -1. Which is smaller: b or g?
b
Let m(i) be the second derivative of -2*i**3/3 + 9*i**2/2 - 10*i. Suppose -278*z = -279*z - 4. Let g be m(z). Which is greater: 24 or g?
g
Let w = 458870.1697 + -458849. Let f = -0.2017 + w. Let o = 0.032 + f. Which is smaller: o or 0?
0
Suppose 0 = 4*i + 5*j - 749, 2*i - 17*j - 371 = -16*j. Is i at most as big as 12?
False
Let z = -492 - -439. Are -62 and z nonequal?
True
Let s be (-140)/40*((-949839)/316617 - -3). Which is smaller: 1 or s?
s
Let b(h) = h**3 - 5*h**2 + 4*h + 3. Let i be b(5). Let m = -11 - i. Let k(y) = -4*y**2 - y + 33. Let g be k(4). Is m < g?
False
Let k be 3/3 + -12 - 2. Let x = -186 - -183. Let g(b) = 2*b - 6. Let w be g(x). Is w < k?
False
Let u = 48 - 44. Let r(c) = 2*c**2 - 13*c - 5. Let t(x) = 5*x**2 - 39*x - 16. Let o(g) = -8*r(g) + 3*t(g). Let q be o(-12). Is q > u?
False
Let l = -623 - -623.0692. Let x = 1.0692 - l. Suppose 3 = g, 3*z - 84 = 2*g + 3*g. Which is smaller: z or x?
x
Let g = -4234 - -4233. Is g > -1/10879?
False
Let w = 21/2 + -127/12. Let m = -5/12 + w. Let q be 1/(-6) + 490/(-12). Is m at most q?
False
Let k = -3412 + 3412. Which is greater: -3/4678 or k?
k
Let l(q) = q**3 + 7*q**2 + 5*q - 1. Let w be l(-5). Suppose 998*p - 999*p + 4*u = 5, -3*u = 5*p - 136. Is w <= p?
False
Suppose -179*k - 62206 = -217*k. Is k less than or equal to 1636?
False
Let m = -1917 - -4254. Do m and 2337 have different values?
False
Let q = 7.6 - 7.26. Let k be 2/12 - 34/60. Are k and q equal?
False
Suppose -5*g + 3*n = -0*g - 20, 0 = g - n - 6. Let l be 10/61*(-24)/(-160)*-8. Let q = -40/1037 + l. Which is greater: g or q?
g
Let z = -40 + 56. Let k(n) = -21*n + 329. Let o be k(z). Is -134/17 less than o?
True
Let v(z) = -z**2 + 5*z + 8. Let k be v(8). Let n be (16*3)/(6 + 108/k). Let x be (-16)/n*12/(-29). Which is smaller: x or -1?
-1
Let z = -95 + 141. Let f = -272 - -318. Let a = z - f. Is a greater than or equal to -10/3?
True
Let i = 273697/417 - 1969/3. Let g be 1 - 3/(-2) - (-6)/(-4). Is g equal to i?
False
Let w = 38 - 44. Let r = -0.43 + -0.69. Let h = r - -0.12. Does w = h?
False
Let q be (-10)/40*(-352)/8558. Which is bigger: q or 1?
1
Let g(r) = r**3 + 3*r**2 - 17*r - 49. Let b be g(-5). Let f(j) = -j**3 - 12*j**2 + 22*j - 76. Let m be f(b). Is m >= 85/9?
False
Let k = -242 - -295. Let r be 372/k + -10 + 3. Let v = -1 - -2. Which is greater: r or v?
v
Let d = -7684.8 + 7686. Which is bigger: d or 20?
20
Let o be ((-4)/(-12))/(1/(-3)). Let j be 44/110 + -2*(-33)/(-15). Let d be (-1077)/6747 - j/26. Which is smaller: d or o?
o
Let p be (-122)/3 + ((-56)/12)/(-7). Let m be (-3)/((10/p)/(2/3)). Suppose 20 = -2*s + m. Which is bigger: 0.6 or s?
0.6
Suppose -z = -5 - 9. Let m(r) = r**2 - 7*r - 21. Let k be m(10). Let g = k - z. Which is smaller: -6 or g?
-6
Let w(y) = 2*y**3 + 15*y**2 + 10*y + 22. Let p be w(-7). Let k(q) = -186*q**2 - 3*q + 3. Let j be k(p). Is -187 != j?
True
Suppose -d - 4*u = -29, -4*d + 0*u = -3*u - 78. Suppose -w + 3 = -3*c, -3 = -18*c + d*c + w. Is c at most as big as 0?
True
Let a(x) = x**3 + 8*x**2 - 14*x - 18. Suppose 0 = 5*o, -3*z + 2*o = -8*z - 45. Let b be a(z). Let u = b + -16. Is u greater than or equal to 11?
True
Let f be -12 - 120/(-105)*7. Which is greater: -324 or f?
f
Suppose 0 = 2*o, -520 = -4*v - 33*o + 32*o. Let c be (-20)/v - (-1320)/7566. Which is smaller: c or -1?
-1
Suppose -4*a + d + 1145 = 0, 0 = -3*a - 0*d + 2*d + 865. Let g = a + -1990/7. Let m be (-2*(-1)/(-8))/((-220)/880). Is g at most m?
True
Let v be (-456)/(-46) - (-12 + 22). Which is smaller: v or 6?
v
Suppose -3*m = -3*o, -5*o + 3*m - 5 = -3*o. Suppose 2*d - 11 = -o. Suppose 5*h + d*l - 9 = 0, -3*l = h - 5*l + 6. Is -2/11 not equal to h?
True
Let p = -711 - -706. Let k(d) = d**3 + 16*d**2 + d + 18. Let z be k(-16). Suppose 3*n = -z - 13. Is p at least as big as n?
True
Let m be 12/6*(-75)/30. Suppose -48*o = -52*o - 48. Is m at most o?
False
Suppose 607 = 4*v - m, 0*m + 25 = 5*m. Let f = 80 - v. Is -71 < f?
False
Suppose 0 = -3*w + 3*c + 19095, -19097 = 284*w - 287*w + 5*c. Are w and 6363 unequal?
True
Suppose -5*c = -5*r - 15, -10*r + 4*c - 6 = -8*r. Which is greater: r or -156/41?
r
Let d = 2671 - 2425. Which is bigger: 247 or d?
247
Let y = 28 - 40. Let j = -63 - y. Let k = j + 52. Is k < -12?
False
Let d be 854/6 + (-105)/(-63). Suppose 17*m + d = -1029. Is -69 greater than m?
False
Let m(b) = -42*b**3 - 2*b**2 + 2*b - 1. Let t be m(1). Suppose 0 = -g - 7*g - 344. Is t less than g?
False
Let p be ((-8)/(-182)*6/24)/1. Let b = p + 173/819. Is -1 smaller than b?
True
Let p(j) = -7*j + 44. Suppose 0*s + 4*s - 3*m - 21 = 0, -s - 2*m = 3. Suppose -s*c = 2 - 41. Let b be p(c). Is -46 greater than or equal to b?
True
Let d = -588.9977 - 0.0023. Let s = 589.1 + d. Let g be 82/6*(-1 - -4). Is s not equal to g?
True
Let h = 15948/25 + -638. Let s = -5343 - -15698/3. Let p = 111 + s. Are p and h equal?
False
Let c be ((-2)/531)/((-117)/(-702)). Which is bigger: 2/5 or c?
2/5
Let x = 693369/1292 - 10198/19. Suppose -q = 2*k + k - 1, 0 = -5*k - 2*q + 2. Which is smaller: x or k?
x
Suppose l - 3*l - 4*l = 0. Let n(j) = j**3 + j**2 + 4*j. Let z be n(l). Which is bigger: z or -18/17?
z
