uppose a + 0 = 3*r + 5, 2*r - 4*a = 0. Let j be ((-8)/10)/(r/(-20)). Which is smaller: -7 or j?
j
Suppose -50*w + 3511 = 811. Let g be (-36)/45 + w/(-15) + 4. Is -0.309 equal to g?
False
Let w = 27491 + -27492. Which is smaller: w or -2/62863?
w
Let v(u) be the third derivative of u**4/3 + 45*u**3/2 + 87*u**2. Let q be v(-17). Which is bigger: 7 or q?
7
Let r = -0.04735 - 395.05265. Let v = -395 - r. Which is greater: v or -5.2?
v
Let g be (-6)/4*(1 - -1). Let f(q) = q**3 + 19*q**2 - 69*q - 33. Let b be f(-22). Suppose 2*p - 20 = 3*l, -4*l - 32 = 5*p + b. Is l less than or equal to g?
True
Suppose 13*l - 11 = -7 + 9. Which is greater: -7/726 or l?
l
Let n = 54.54 + -2.54. Let b = n + -52.7. Is b greater than or equal to -0.2?
False
Let t = -110 + 114. Suppose 5*i - u = -4*u, t*u = 4*i - 32. Suppose 3*k = -6, 3*k - 4*k - 5 = -i*s. Which is smaller: 0 or s?
0
Let s = -67 + 13. Let x = 2509 - 2509.06. Is x at least s?
True
Let v = 1519.59648 + 0.40352. Is v at most -8?
False
Suppose 10*d - 1485 = -1495. Is 19/130 less than d?
False
Suppose 0 = 3*g - a - 27, -10*g = -12*g - 2*a + 2. Which is greater: -241 or g?
g
Let f = -4591 + 4574. Which is smaller: f or 2.9?
f
Let k = 1232987/8 + -10444629811/67768. Let n = k + 1/788. Is n greater than or equal to -2/3?
True
Let a be 0*(-25)/(1350/(-27)). Let o be (-3 - 3)*(-4)/(-3). Let j be (-25)/(-260) - (-2)/o. Is a at least as big as j?
True
Let k be 43/(-6) - (-89)/534. Let p be k - (-1001)/35 - 8. Does 15 = p?
False
Suppose -3*f - 259 - 12 = -2*a, 4*f - 2*a = -364. Which is smaller: -11/2 or f?
f
Let r = -15785 + 10266. Which is smaller: -5516 or r?
r
Let x(u) = u**2 + u. Let f(s) = -4*s**2 - 15*s + 22. Let i(y) = f(y) + 5*x(y). Let a be i(4). Is a smaller than -8?
False
Let g be (5 - 168/32)/((-4)/(-14864)). Is -929 less than or equal to g?
True
Let q = -25 + -170. Let c = q + 192. Is -40 greater than c?
False
Let t = 658 - 1060. Let y be (-6)/(-4) + (t/(-264) - 3). Which is bigger: y or -1?
y
Let t(a) = -a**3 - 33*a**2 - 5*a - 165. Let j be t(-33). Is j at most as big as 81/332?
True
Let m be 5 + -5 + 0/2 - -6. Let f be (-19)/20 - m/12*-2. Which is greater: -4 or f?
f
Suppose -2077 + 5222 = -17*y. Let b = -182 - y. Is 35/12 < b?
True
Suppose -2*b - b + 2*k + 20 = 0, -20 = -4*b + 4*k. Suppose 203 - 253 = b*t. Which is smaller: t or -6?
-6
Suppose 0 = 123*b - 150*b - 2889. Is -752/7 at most b?
True
Let u be 13/(-3) - (-2)/(-3). Let d = -241 - -252. Suppose -3*l - d = -14*l. Is u less than or equal to l?
True
Suppose 0 = 4*s - 4*i + 32, 0 = -2*i - 1 + 3. Let d(n) = 3*n - 33. Let l be d(9). Let w be l/6 + 0 + -6. Do s and w have the same value?
True
Let o = 209 - 139. Suppose 3*t - o = -2*b, 5*b + 4*t - 132 = 50. Suppose -7*l + 11 + b = 0. Which is bigger: l or 0?
l
Let x = -560 + 642. Suppose 0 = -5*i + 4*z - 283 + x, -3*i = -4*z + 127. Do i and -34 have the same value?
False
Let l be 61791/(-9)*6/8 - (-350)/(-200). Is l <= -5148?
True
Let k = -2.22 - -2.2371. Let j = 0.1829 + k. Is -5 greater than j?
False
Suppose -4*b + 0*b + 148 = 0. Let v be (-4)/(-2) - b/18. Let u be (-2)/11 + (-1287)/18876. Is v < u?
False
Let t = 457830.988 + -456619. Let o = -1208 + t. Let u = o - -0.012. Which is bigger: u or 0.1?
u
Let o(q) = -q**3 + 5*q**2 + 4. Let c be o(6). Let r be ((-708)/264)/((-3)/36). Let b = r + c. Which is smaller: b or -1?
-1
Let p = -22902 + 15962698/697. Suppose -42391*h = -42215*h + 176. Which is greater: h or p?
p
Suppose 3*x + 4*n - 2092 = -94, 2*x + n - 1332 = 0. Is x != 670?
True
Let o be (-3 - -1) + (0 - 32/(-20)). Let s = 0.33 + 2.67. Let u = s + -22. Is u <= o?
True
Let c(a) = -2*a**3 + 10*a**2 - 9*a + 4. Let o be c(4). Which is smaller: o or 5/159?
o
Let t = -13156 - -13222. Let m(s) = 16*s. Let q be m(4). Is t greater than q?
True
Let f be 260 - (8/6)/(5/15). Suppose 2*l = -4*b + 384, 5*b - f - 231 = l. Is b > 95?
True
Suppose 2*b - 1 = -5*l, -1 = -4*l - b - 2. Let c = 509113989 - 17826626323533/35015. Let v = 4/745 + c. Which is smaller: v or l?
l
Suppose 227*h = 230*h - 66. Let x be (h/4)/(5 - 54/12). Is x > 9?
True
Suppose -86 = 6*u - 5*u. Let q = 93 + u. Are q and 31/4 non-equal?
True
Suppose 65*a = 64*a + 10. Suppose 5*f = -3*x - 0*x + 24, -3*f - 4*x = -a. Which is smaller: 4 or f?
4
Let h be 10/(-35)*14/430. Let z = 316.6 - 316.6. Which is smaller: h or z?
h
Let c = -185/28 - -27/4. Suppose -n - 2 = -5*r + r, -6 = 3*n. Suppose -8*o + 20 - 12 = r. Which is smaller: c or o?
c
Let j = -130.1 - -130. Let a = 47 - 100. Let f = -3 - a. Do j and f have different values?
True
Let x = 1 + -3. Let p = -230.45 + 230.45. Which is smaller: x or p?
x
Let r = -23022 - -23006. Suppose 3*j + j + 148 = 0. Let v = j + 21. Do v and r have different values?
False
Let g(f) = -f**3 + 6*f**2 + f - 5. Suppose -18 = -3*p + 2*i - i, -i = 5*p - 30. Let h be g(p). Let a be 3/(-8) - 80/(-640). Which is greater: a or h?
h
Suppose 0 = -n - 3*t - 21, n - 21*t = -25*t - 26. Let r(s) = 2*s**3 + 16*s**2 + 20*s + 4. Let z be r(n). Do 25 and z have the same value?
False
Let g(l) = 1108*l**2 - 39*l + 37. Let x be g(1). Which is smaller: x or 1107?
x
Let y = 4.4 - 3.25. Let j = 10.15 - y. Which is greater: -4 or j?
j
Suppose 3*m + 4*d - 8780 = 0, -3*m - 37*d + 41*d = -8788. Which is bigger: m or 2929?
2929
Let h(m) = -295*m + 76. Let a be h(15). Which is bigger: -4350 or a?
a
Let n = -1343161/5949 + 2032/9. Is n at most as big as 1?
True
Let u be ((-6)/5)/(-4 - (-157)/40). Let s be u/900*(-5)/2. Which is bigger: 0 or s?
0
Let b(g) = -g**2 - 10*g + 14. Let r be b(-10). Let w be 45/(-5) - (20 - 24). Which is smaller: r or w?
w
Let l(k) = -k**3 + 6*k**2 - 6*k - 8. Let h be l(6). Let p be 13/(1911/77)*6*-14. Is h at least p?
True
Let z = 16.449 - -0.151. Suppose 0 = -30*g - 1 + 31. Does g = z?
False
Suppose 11*z + 5*i + 13 = 8*z, -4*z + 6 = -5*i. Let t = -16 + 8. Let l = z + t. Which is smaller: l or -8?
l
Let k be 225/(-125)*8855/(-3). Do k and 5315 have different values?
True
Suppose -4*d + w = -255, -3*w + 298 = 4*d + 23. Let c = d + -41. Let b = -3 - -2. Which is bigger: b or c?
c
Let r = 31.1 - 0.1. Let k = r - 36. Is 2.5 greater than or equal to k?
True
Let o(m) = 3*m**3 - 6*m**2 + 8*m - 4. Let z be o(2). Let g be (-18)/z*16/12. Is g bigger than -2/23?
False
Let y(v) = 4*v - 8. Let o be y(3). Suppose 0 = -3*h + 3*c + 315, -o*h = 5*c - 0*c - 375. Which is smaller: h or 101?
h
Suppose 2*i + 4*q - 6 + 2 = 0, 18 = -5*i + 4*q. Let z(d) = 3*d**3 + 3*d**2 + 2*d + 1. Let n be z(i). Let c be (n/(-50) + 0)/(-3). Which is bigger: -1 or c?
c
Let y be -1 + (4 - 8) - 15/(240/(-36368)). Which is smaller: 2267 or y?
2267
Let y(s) = -74*s - 2. Let g be y(-1). Suppose h = 3*h - g. Let w = h - 35. Which is smaller: w or 3/4?
3/4
Let v(q) = -q**2 - 25*q - 191. Let p be v(-8). Which is bigger: p or -54?
-54
Suppose 10*l + 9 = 13*l, -j + 3*l - 10 = 0. Suppose 4*i + 260 = -4*n, i = -3*n + 6*n - 53. Are j and i equal?
False
Let x = 117 + -117. Let v be (x + 3 - 17) + 2. Which is smaller: v or -14?
-14
Let d = 92.013 - 91. Let o = 1.778 + -1.791. Let h = d + o. Is -1/5 >= h?
False
Suppose 3822*f = 3734*f. Is -1/6925 less than or equal to f?
True
Let g = -88 - -262/3. Let u = -7817.4 + 7816. Which is greater: u or g?
g
Let b be (-2)/(-7) + ((-8172)/(-3003) - 3). Let c = b - 105/143. Suppose 0 = 5*a + 4*v + 6, 4*a + 1 = 3*a - v. Which is bigger: c or a?
c
Let i = 603 + -589. Let y(b) = b**3 - b**2 - b - 4. Let f be y(3). Does f = i?
False
Let b = -368 - -364. Let x = -2/33 - 19/231. Which is smaller: b or x?
b
Let z be 13/39 + (-5598)/27. Which is greater: z or -194?
-194
Let z(h) = h**2 - 43*h - 41. Let y be z(44). Suppose y*x - 5*f = -454, -2*x - 2*f + 308 = -4*x. Which is smaller: x or -159?
-159
Suppose -3*r + 72 = 2*q, -3*q - 4*r + 53 = -55. Suppose 3*x + x = 16. Suppose q = x*d - 3*s, 0*d - 2*d + 18 = s. Which is smaller: 62/7 or d?
62/7
Let z = 43.29 - 43. Let m = 229 - 228.99. Let x = m + z. Are x and -2/17 unequal?
True
Suppose -23*c + 22*c - 34 = -4*r, -6*r + 62 = 4*c. Let i = 161 + -290. Which is bigger: i or c?
c
Let d be 54/(-12)*(-2 - (-1 - -1)). Let g be d/((-1620)/(-206888)) - (-2)/3. Let v = g + -1150. Is 0.1 not equal to v?
True
Let r(a) = 4*a - 2. Let c be r(6). Suppose -87*m = -7172 + 6128. Do c and m have different value