+ 14. Let x = 83 - 77. Let s be w(x). Let b = 247/4 - s. Which is smaller: 1/5 or b?
b
Let h be ((-8)/5)/(41324/20). Let v = h + -9215196/72317. Let r = 128 + v. Is r less than or equal to 1?
True
Let v = -0.05596 + -1.47504. Is v less than -1?
True
Suppose -4*f = 16, 7*s = 12*s + 4*f + 6. Let d = 496887 + -6454469/13. Let k = d - 388. Which is smaller: s or k?
k
Suppose 2*t = 14, -5*l - 24168 + 60658 = 5*t. Which is smaller: l or 29165/4?
l
Let c be (3 - 5)*3/(-3). Let t(b) = -b**2 - 6*b + 1. Let s be t(-3). Suppose -z - 4*q + 5 = 3, 5*z + 3*q - s = 0. Is c > z?
False
Let z(b) = b**3 + 2*b**2 + b - 183. Let t be z(0). Let s = 73 + t. Let a be -1*3*s/(-30). Is a at most as big as -10?
True
Let r be ((-3)/6*-5)/((-2)/(-4)). Suppose -4*z - p + 2 = 0, 0 = -3*z + r*z - 5*p + 10. Which is greater: z or -1/172?
z
Suppose 10*o - 13*o = -3*k - 4308, 3*k = 10*o - 4350. Which is smaller: k or -1431?
-1431
Suppose 0 = 3*o - 3, -r + 6 = -2*o + 7*o. Let p = 26827/10 - 2674. Let q = 2041/230 - p. Which is smaller: r or q?
q
Suppose 3 - 2 = r. Suppose 99*j - 120 = 104*j. Let f be 5 + 26*6/j. Which is smaller: f or r?
f
Let q = 91511/76 + 5722/19. Which is bigger: 1504 or q?
q
Let y be (-19)/19 - 2/((-24292)/12142). Which is bigger: y or 1?
1
Let s be (7/(-2) - 1)/((-26)/((-624)/12)). Which is smaller: s or -0.523?
s
Let o = -651/1303 + 30717437/61476843. Is -1 greater than or equal to o?
False
Suppose 0 = -2*d - 8*d + 30. Suppose s = -1 + d, g = 2*s - 1. Suppose 2*o = j, -g*o + 0*o - 2 = -j. Is 3 bigger than o?
True
Let t = -0.2 - -0.43. Let w = t - 0.33. Let b = 0.8 + -0.2. Is w less than or equal to b?
True
Let w = 147605588 + -28782809248/195. Let n = -1438 + w. Is -1 smaller than n?
True
Let c(l) = -l**2 - 12*l - 87. Suppose 0*a = 5*a + 5*t + 115, -4*t - 113 = 5*a. Let i be c(a). Are i and -275 unequal?
True
Let l(c) = 26*c + 13. Let s be l(-3). Let d = s - -66. Let a = -4/19 + -8/323. Is d < a?
False
Suppose 0 = -15*k + 23*k - 16. Let j be (-24)/260*(2 + 9*k). Is -1 less than or equal to j?
False
Let z = 9 + -20. Let i(h) = h**3 + 8*h**2 + 11*h + 19. Let x(v) = -2*v**2 + 8*v - 13. Let d be x(3). Let k be i(d). Are k and z nonequal?
True
Suppose 72*x - 74*x - 3*b - 35 = 0, 0 = 4*x + b + 95. Which is bigger: x or 0?
0
Suppose 39*i - 44 = 34. Which is greater: i or 114/41?
114/41
Let l be ((-2)/65)/((-2)/(-8)). Let p = -141115 + 141114. Is l bigger than p?
True
Let j(z) = -z**3 - 7*z**2 - z - 9. Let p be j(-7). Suppose -20 = -5*g, 0*r + 4*r - 4*g = -4. Suppose 3*c = x - r*x + 5, 2*x - 4 = -4*c. Is c at most p?
False
Suppose -1352 = -7*l - 540. Suppose 117*m = l*m - 17. Let p(h) = -h**2 - 2*h - 3. Let z be p(3). Which is bigger: m or z?
m
Let m be (9/(-6))/(2/(-4)). Suppose -m*o = 10*o + 156. Which is smaller: -13 or o?
-13
Let x = -422 + -458. Does -883 = x?
False
Let l(b) = -3*b**2 - 183*b - 2699. Let f be l(-36). Let c be (6/(-4))/(3/(-4)). Let s be (c/(-37))/(2 + 0). Is s less than f?
True
Let q be 0 - (1 - (14 + -13)). Is -1/1957 != q?
True
Let s be ((-33672)/189 - 0)*2068/17452. Let o = s - -2/30541. Which is smaller: -22 or o?
-22
Let d = 43689 - 43833. Is -30 smaller than d?
False
Suppose u - 696 = -2*a - 250, 12 = 3*a. Let t = -153 + u. Do t and 284 have the same value?
False
Let f = 17.89 + -18. Let v = f - 7.29. Let a = v - -6. Which is smaller: a or 0?
a
Let j = -7.04419 - -0.04419. Is j smaller than -5/3?
True
Suppose -5*o = -2*b - 7081, -3*o - 3*b = -b - 4271. Which is smaller: 1421 or o?
o
Let n(v) = -v - 1. Let o(d) = -3*d - 2. Let b(l) = -17*n(l) + 6*o(l). Let j be b(5). Let t = 937967/750364 - 3/187591. Is t greater than or equal to j?
True
Suppose -27*b = -620 - 55. Let s = 356 - 356.07. Which is smaller: b or s?
s
Let y = -103.04269 - -0.04269. Is 0.2 at least y?
True
Let l be (-10385)/20 - ((-207)/(-36) + -6). Are -1039/2 and l unequal?
True
Suppose 6*a + 1 = 5*a, -4*a = -3*y + 7. Which is smaller: y or 50/169?
50/169
Let l = 107/4 - 69/2. Which is smaller: -14 or l?
-14
Let b(t) = -101*t + 198. Let n be b(2). Is n at most as big as -99/31?
True
Let f be ((-80)/(-75))/8 + (-51276)/(-180). Is 284 >= f?
False
Let q = 524233/55 - 9532. Which is greater: q or 2?
2
Let f = -4 - -5.8. Let v = 1.2 - 2.9. Let w = f + v. Which is smaller: w or 14?
w
Let c = -14230.254 - -14351.9. Let g = c + 0.354. Is g at most as big as 0.1?
False
Let q(a) be the third derivative of a**4/8 - 43*a**3/3 - a**2 - 21*a. Let h be q(0). Do -85 and h have the same value?
False
Let k(b) = -3*b**3 - 26*b**2 + 197*b + 383. Let f be k(-13). Let a(m) be the first derivative of 7*m**2/2 + 1. Let i be a(3). Which is smaller: f or i?
f
Suppose -11*b = -12*b - 3. Let j be 1/(21/(-6) - b). Let n = 1/98 + -345/196. Is n >= j?
True
Suppose 3*l + 291 = -4*s, 2*l + 29 + 188 = 5*s. Let k = -128 - l. Are -27 and k unequal?
False
Let s be (166/(-6) + -1)/(13/39). Let m = s - -129. Suppose m = 3*o - h, -h + 2*h = 4*o - 56. Is 2 at least as big as o?
False
Let n be 12/442 - 6 - 48/(-8). Are n and 0 equal?
False
Let g be (-4)/(-18)*(-1)/2. Suppose -90*r + 87*r - 18 = -4*i, 0 = 2*i + 3*r. Suppose -5*a - 4*l = -2*a + 12, 5*a + 9 = -i*l. Is a at least g?
True
Let g be 126/(-33) - 10/55. Let f be -5 + (96/78 - g). Let t = 30 - 30. Does f = t?
False
Let w = -10366 + 113975/11. Which is bigger: w or 2?
2
Let o(z) = 2*z**3 + 8*z**2 + 33*z - 16. Let n be o(-5). Which is bigger: n or -230?
-230
Let f = 891440/9 - 99050. Let s be (1 - 1) + 1/(-1). Which is greater: f or s?
s
Let f be 20/12*-3 - (-9 - -7). Let c be (-11)/(847/1533) - f. Do c and -18 have different values?
True
Let m be (970/(-582))/(5/(-621)). Is m > 206?
True
Let f = -10239/6256 - -55/34. Is 0 at least f?
True
Suppose -3*z = -9, 0 = x + 2*z - 32 + 26. Let m = 1819/178321 + -4/1247. Is x at least m?
False
Let c = -51 + 51. Suppose c = h + 4*h - 265. Is 53 bigger than h?
False
Suppose -2*b - 701 = -9*b - 71. Is -0.07 > b?
False
Let d be 18/90 - (1248/15 - 1). Let j = d - -93. Is -9 < j?
True
Let w = -1483 + 1482.5. Let c = -827/4 - -212. Is c > w?
True
Let h(q) = 4*q**2 + 11*q - 58. Let r be h(-12). Suppose 8*u - 70 = r. Do u and 55 have the same value?
False
Let f = 6412 + -6346. Which is smaller: 52 or f?
52
Suppose 6*o = 8*o - 4. Suppose 3*m - 12 = o*w + 144, 0 = 3*w - m + 227. Let t = w + 69. Is t < -9?
False
Let w = 0.62 + -0.56. Is -3/119 != w?
True
Let x = 1057 + -1057.21. Let g = 0.21 - 0.2. Let i = g + x. Which is smaller: i or -2?
-2
Suppose 0 = 30*h - 229 - 311. Let j be (459/h)/((-6)/(-8)). Which is greater: j or 35?
35
Suppose -g = 3*s - 873, 34*g - 1164 = -4*s + 29*g. Which is smaller: s or 298?
s
Suppose -l = 5*p - 905, -2*p - 2*l = -0*l - 370. Suppose -10*m - 66 = -8*m. Let w be p/(-40)*1/m. Which is smaller: 0 or w?
0
Suppose -3*a + 22 = -5*w, 24 = -4*w - a + 5*a. Let k be 132/96 - 1*w. Suppose 3*r - 6*r - 5*g + 14 = 0, -r + 7 = 4*g. Which is bigger: k or r?
k
Let b(x) = -x**3 + 26*x**2 - 27*x + 54. Let o be b(25). Which is smaller: 146/33 or o?
o
Let s = 23733 - 213599/9. Is 3378 >= s?
True
Suppose 14*w - 12 = -12. Suppose 31*r - 27*r - 40 = w. Which is smaller: 91/8 or r?
r
Let g be (-12804)/(-90)*3 - (-8)/(-10). Suppose 0*u = -9*u + 3825. Is g <= u?
False
Let s be ((-5168)/1666)/((-8)/44). Does 17 = s?
False
Suppose -4*t + 116 = -8*t. Let m = t + 15. Let q = 1294 + -9060/7. Are q and m nonequal?
True
Suppose -5*i - 342 = -2. Let p = i + 64. Let c be (-4)/((4/(-16))/(1/p)). Is c less than or equal to -5?
False
Let c = 1219 + -1237.31. Let i = c + 18. Let t = 0.21 + i. Do 0.2 and t have the same value?
False
Let k = 1/27 + -29/54. Let r = 372 - 529. Let m = r - -178. Is m bigger than k?
True
Let r(i) = -8*i**2 - 150*i + 39. Let g be r(-19). Suppose 0 = 5*v - 2*c - 74, v + c = 11 + 1. Let b be 3/(v/(-8) - -1). Is b >= g?
False
Suppose 65 = -34*x + 47*x. Let b be x*((-9)/(-21) + 1). Which is greater: b or 6?
b
Let m = -237 + 239. Let f be (1*(m - 4))/(98/(-665)). Which is greater: 13 or f?
f
Suppose 107 + 3 = -10*h. Suppose 0*k + k - 18 = -3*p, -3*k + 9 = 0. Which is smaller: h or p?
h
Let s(v) = v**2 - 3*v - 23. Let j be s(8). Suppose 0 = -16*h + j*h. Let f be 3 - (h - 215/(-25)). Are f and -7 equal?
False
Let t = -647 - -643. Let o be (7 - (-24)/t)*-289. Is -289 not equal to o?
False
Let r(l) = -5*l**3 + 16*l*