p be ((-1794)/91)/(22/v + -3). Is p smaller than -139?
False
Let x be -3*((-1)/(-3))/(-1). Let a = -63/895 - -12589/127985. Which is greater: x or a?
x
Let v be ((-10)/(-4) - 3)*(-11808)/27. Let k = v + -219. Which is smaller: k or -1.91?
-1.91
Suppose 4*o + 5*p = 59 + 28, 2*p = -3*o + 74. Which is greater: 31 or o?
31
Let y = 139 + -139.248. Let b = y - 2.752. Which is greater: b or 0?
0
Let t be (0 - (2 + -7)) + 42. Let l = t - 141. Let a = l + 120. Are a and 26 unequal?
False
Let i(t) = -2*t**3 - 44*t**2 - t - 50. Let l be 2/15*33*(-42 - -37). Let x be i(l). Which is bigger: -55/2 or x?
-55/2
Suppose 0*k = k + 4*t, 0 = 5*k - 3*t. Let u = -1 + k. Let n(y) = -y**3 + 30*y**2 - 37*y + 232. Let r be n(29). Is u smaller than r?
True
Let d be 2 - (-1 + 3)/1. Suppose d = -14*b + 8*b + 282. Which is bigger: 48 or b?
48
Let d be (-1407)/(-4194) - (-6)/(-18). Suppose 2*v + 2*n - 12 = -10, -3 = -3*v + 3*n. Does d = v?
False
Let f = 546.1 - 546.4. Is 3/428 bigger than f?
True
Let p(s) = 2*s + 7. Let q be -4 + 4/(-8)*0. Let h be p(q). Let v = -23 - -1563/68. Is v at least h?
True
Let l be (72/(-108))/(10/(-2265)). Which is smaller: 167 or l?
l
Suppose 4*n - 15 = n + 4*d, 0 = -n - 3*d - 8. Suppose -8*q = -47 - n. Let w be 11/(-3) - (76/12 - q). Is -5 equal to w?
False
Let q = -14341.66 - -14341. Is 4.6 smaller than q?
False
Let m = -5149 - -5375.9. Let p = m + -227. Which is bigger: p or -0.13?
p
Let k(f) = 3*f**3 + 82*f**2 + 99*f - 108. Let v be k(-26). Let x = 6 + -8. Is x != v?
True
Let u(w) be the first derivative of w**3/3 - 7*w**2 + 47*w + 29. Let o(s) = s - 12. Let m be o(20). Let k be u(m). Is -2/81 at most as big as k?
False
Let w = 1510 - 1567. Is -85 >= w?
False
Let r = -11466 + 11466. Which is greater: 2/17431 or r?
2/17431
Let d = -269 + 2966/11. Let q(v) = -1385*v - 72020. Let x be q(-52). Is d smaller than x?
False
Let l = 8328 - 8325. Which is smaller: 97.8 or l?
l
Suppose 3*n + 95 - 98 = 0. Let q(z) = 26*z**2 + z. Let y be q(-2). Let j be 399/y + (-2 - 2). Is n at least as big as j?
True
Suppose -18 = y - 2*r, -3*y - 25 = -4*r + 23. Let i(l) = 14*l + 410. Let h be i(-29). Suppose 2*f - f + z = -11, h*f + 3*z = -43. Which is smaller: y or f?
y
Let b be (-2)/5 + (-1098135)/7475. Is -148 < b?
True
Let b(v) = 4*v**3 + 31*v**2 - 12*v - 29. Let c be b(-8). Are c and -900 unequal?
True
Let q(b) = 7*b - 6. Suppose 0 = -4*z + 2*d + 2, 5 = z - 2*d + 6*d. Let h be q(z). Let l = 3189/7 - 454. Is l not equal to h?
True
Let y = -6906/5 - -18947/10. Let f = -290637/566 + y. Which is smaller: 0 or f?
0
Suppose 20 = -2*x + 202. Let f be (-1 + 1 - -88) + 2 + -1. Let y = x - f. Which is bigger: y or 16?
16
Suppose -74*k + 2*g + 2 = -71*k, -5*k = g + 14. Which is smaller: -9/7 or k?
k
Suppose -5*p = 5*t + 20 + 40, -4*p - 5*t - 45 = 0. Let h(o) = o + 6. Let z be h(p). Which is greater: z or -18?
z
Let w = -6.032 - -0.032. Let l = 83 - 54. Let d = l - 35. Is d at most as big as w?
True
Suppose -l = -0*w + 4*w, 6 = -l + 2*w. Let x = 31 + -24. Suppose -2 - x = 9*r. Which is smaller: l or r?
l
Let v be (-18)/(1314/55)*-1. Is v less than 1?
True
Suppose 240*c = -339602 - 517438. Is -3571 >= c?
True
Let u be -3 + 2*2 + (-48)/6. Let o be -6*(2/u)/(24/(-112)). Let f be (-10)/o*(28/44 + -1). Is f at least as big as 0?
False
Suppose -704 = -140*x + 7276. Is x <= 66?
True
Suppose -4 = -r - 2*h, -r + 4*h - 20 = -6*r. Suppose -2*n + n - 45 = -5*p, 3*n + 36 = r*p. Suppose -7 = -v + c, 0 = 3*c + 2*c - 5. Is p equal to v?
False
Let c(v) = 2*v**2 + 8*v - 86. Let k be c(-9). Is k equal to 1/277?
False
Let b be 10*(-3)/14 + 2 + 633/21. Which is smaller: 29 or b?
29
Let m = 338 - 337.58. Let d = 0.28 - m. Let o be 84/(-135) - (-4)/18. Do d and o have the same value?
False
Suppose 0 = 15*h - 3*h - 6720. Let t = h - 532. Which is smaller: 27 or t?
27
Let j(v) = 4*v**2 - 19*v + 9. Let h(m) = 8*m + 165. Let i be h(-20). Let t be j(i). Which is bigger: 13 or t?
t
Let b be (-24 + 0)/(16/(-72)). Let w = b + -1618/15. Which is bigger: w or -6?
w
Let n = -3899 + 3903. Which is smaller: n or 40?
n
Let v be 8110/(-35) + (8/14)/(-2). Let s = -79 + v. Which is smaller: -310 or s?
s
Let r = 37958 - 37862. Is r at least 133?
False
Let j be 9/6*(-8)/582. Suppose -4*l + 3*k + 24 = 0, 5*l = 2*l - k + 5. Suppose 9*n + 4*r = 10*n + 21, -8 = l*n - r. Which is smaller: n or j?
n
Let h(f) = -6*f + 38. Let j be h(6). Let i be -2*((-5)/30)/(j/(-6)). Which is greater: 7/58 or i?
7/58
Let u be ((-5)/26540)/(1/(-17)). Let t = 1176573/148624 + u. Let s = t + -65/16. Are s and 5 unequal?
True
Suppose 244*c = -b + 242*c + 3288, -3288 = -b + 4*c. Is b greater than 3287?
True
Let o(p) = -50*p - 149. Let d be o(-3). Suppose 0 = 5*r + 5*t + 5, 2*t + d = -13*r + 10*r. Is -2/169 at most as big as r?
True
Let o(g) = -g**3 + 66*g**2 + 93*g - 285. Let q be o(68). Are -3209 and q nonequal?
False
Suppose 11189 - 4149 = -10*y. Let x = y + -352. Let v be 1 - (x/517 + 6/2). Is v at least -1?
True
Suppose -132 + 251 - 119 = -4*c. Which is smaller: c or -1/20499?
-1/20499
Suppose -1 = -4*f + 5*i - 9, -6 = 3*f + 4*i. Let d be f/7 + (-6)/(-21). Let a be (-5)/2*(-8)/26. Is a at least d?
True
Let l(t) = t**3 - 9*t**2 + 11*t + 14. Let k be l(9). Let o = k - 114. Which is greater: 3/4 or o?
3/4
Let s = 0.566 + -481.566. Let k = -449 - s. Is 0.5 less than or equal to k?
True
Let g be (((-6)/24)/((-1)/4))/1. Let r = -0.117 - -0.136. Which is smaller: g or r?
r
Let a = -35 + 15. Let m = 28 + a. Suppose 0 = -f + 9*f + m. Is 4/11 bigger than f?
True
Let l = -10615 - -10628. Is 35 not equal to l?
True
Suppose 4*o + 2*f - 324 = 7*f, o - 81 = f. Let h be 10/12*o/(-135). Are 79 and h nonequal?
True
Let s = -539/6 + 165533/1842. Is 1 greater than s?
True
Let x = -743.9685 + -0.0315. Are 0.3 and x equal?
False
Let m be (-363)/(-21) + ((-19)/(-7) - 3). Suppose m*r + 1081 = -160. Is r equal to -72?
False
Suppose 4*k + 15 = 3, -z - 2*k = -783. Is z greater than or equal to 790?
False
Let q be (-7)/(-14) - (-602)/(-1212). Let d = 4532/3939 + q. Let x = 310 - 308. Is d greater than x?
False
Let k(s) = s**2 + 5*s - 13. Suppose -7*g + 14 = -9*g. Let c be k(g). Let l be (2*2/(-24))/(-12). Are c and l nonequal?
True
Let r be (-318)/(-42)*-2*1487/(-2). Let i = r - 11290. Let q = i + 31. Which is bigger: 1 or q?
1
Let y = -5 + 674. Let g = 676 - y. Let b be ((-4)/(-6))/((-2)/(-3)). Which is smaller: b or g?
b
Suppose -2*q + 3*z = -3, -2*z - z + 9 = 0. Let y = -200 + 470. Suppose -y + 193 = -11*d. Are q and d equal?
False
Suppose -2*p + 39 = -3*n, 0 = -5*n + 22*p - 17*p - 60. Let q be (n/2 - 26/(-13))*-2. Suppose 6 = 2*c + c. Which is smaller: q or c?
c
Let z = 1.6 + -2.6. Let t = 83.167 + -0.167. Let a = -35 + t. Which is smaller: a or z?
z
Suppose -5*i - 10 + 0 = 0. Let g = 159833/19 + -8412. Is i at most g?
True
Let y be (-2 + (-9)/(-3))/(-1). Suppose -g + 132 = -12*g. Let k be (-12)/(g/2) + 10/(-6). Do k and y have different values?
True
Suppose r - 4 = l, -3*r + 16 = r + l. Suppose r*q + 15*q = 133. Do q and 0 have different values?
True
Let v = -0.0136 + -0.1974. Let s = -0.789 + v. Is 37 bigger than s?
True
Let j be ((-8)/((-144)/405) - (-1 + 1))*2. Which is smaller: 314/7 or j?
314/7
Suppose -2*v - 3708 = -5848. Which is smaller: 1071 or v?
v
Let r = -38880 + 1632877/42. Is r less than or equal to -1?
True
Let f be 94/282*(0 + 0). Which is bigger: -1/1200 or f?
f
Let z = -434 - -459.3. Let g = z - 25. Let b = 24 + -23.94. Is b less than g?
True
Let q = -59 - -185. Let j be (-10)/4*(-24)/15. Suppose -5*k = j*k - q. Which is greater: 12 or k?
k
Let g be (-2)/(-3)*(-9)/24. Let y = -0.874 - -0.9141. Let z = y + -3.0401. Is z >= g?
False
Suppose -350*l + 36 = -314*l. Does l = -1/881?
False
Suppose 2*c = c - 2. Let u be (-180)/(-56) + c - 12/8. Let f = 14 + -47. Do f and u have the same value?
False
Let y(h) = h + 6. Let l be y(-6). Let a be ((-2)/(-6))/((-10)/(-20220)). Let c = 628 - a. Which is smaller: l or c?
c
Let i be 4/10 - 6/15. Let q be (0 - i) + (-18)/(-249). Suppose -219*u - 192 = 27. Is q at most as big as u?
False
Let q(i) = -i**3 - 3*i**2 - i + 3. Let a be q(-2). Suppose -6*k = -5*k - a. Let w be ((-38)/57)/(k/18). Are w and -14 equal?
False
Suppose 4*b = -x - 0*b + 12, -3*b + 44 = 2*x. Let v be (-21)/x - (-3 - -1)/(-8). Which is bi