t c be u(12). Suppose 5 = -c*z + 71. Let q be (z/(-21) - 8/21)/2. Is q equal to -0.07?
False
Let x = -6691 - -6691. Which is greater: -17/817 or x?
x
Let w = 268 - 264. Let k = -17 + w. Which is greater: 13 or k?
13
Let w = 99 - 99.01. Let b = w + 0.21. Suppose -2*a = -g - 43, a - 2*g = 3*a - 28. Do b and a have different values?
True
Let i = 2807/30 + 181/10. Let h = -10711/96 + i. Which is smaller: h or 1?
h
Suppose 4*f + 260 = -a, -510 = 2*a - 2315*f + 2313*f. Which is smaller: -266 or a?
-266
Suppose -4*g = 2*u + 66, -u + 3*g - 13 = -0. Let l be (-4)/(-2) - u/5. Suppose z + 7 = -l. Do -14 and z have the same value?
True
Let s = 201532 + -201550.7294. Let y = -0.0294 - s. Which is smaller: -0.2 or y?
-0.2
Suppose 2*d + s - 49 = 0, 5*d = -0*d + 4*s + 116. Let a = d - 20. Suppose 88 = 3*b + 5*u, 0*b - a*b = -3*u - 69. Is 21 at least as big as b?
True
Suppose 10*c + 2*h - 1196 = 11*c, -4*c + 2*h = 4784. Let s be c/(-78)*(-3)/(-2). Do 21 and s have the same value?
False
Let d be (-876)/270*-5 - 8. Suppose 0 = -b - 6 + 13. Are b and d nonequal?
True
Let g(c) = -4*c**3 + 30*c**2 - 90*c + 12. Let w be g(4). Do -119 and w have the same value?
False
Suppose 0 = -5*v - 2*z - 427, 4*v + 335 = 5*z - 0*z. Is v at most as big as -72?
True
Let h(z) = -3*z + 14. Suppose -5*a - j = -4*j - 87, 5*j + 5 = -a. Let k be h(a). Is -7 less than k?
False
Let b(m) be the third derivative of 7*m**4/2 - m**3 + 28*m**2. Let d be b(2). Let r be (d/(-72))/(30/(-16)). Which is greater: r or 0?
r
Let a = 112 + -108. Suppose -a*r = 44 - 244. Suppose -4*x = 402 - r. Is -87 less than or equal to x?
False
Let k = 2189492/5280287 + -4/27359. Is k equal to -1?
False
Let b = -128 + 123.3. Let d = -0.5 + -5. Let l = 5.6 + d. Which is smaller: l or b?
b
Let o be 420/8280*(0 + 2/7). Is o less than or equal to 108?
True
Suppose 0*q - q = -12. Let b = 3949 + -3946. Suppose a - b = 0, -5*a = 5*z + q - 52. Do -1 and z have different values?
True
Let q = 485 + -787. Let b be (-18122)/60 + 5/30. Let d = b - q. Is d at least 1?
False
Let z be (-3 - (-2052)/681)*(-30)/(-9). Let u = z - 10117/224503. Is 1 less than or equal to u?
False
Let x = 186 - 236. Let p = x + 50.4. Which is smaller: p or 0.09?
0.09
Suppose 0 = -3*g + 75*g - 39168. Let q be (-2108)/g - 1/4. Let s(p) = p**2 + 4*p - 1. Let d be s(-3). Which is smaller: d or q?
q
Let t(l) = l**3 + 9*l**2 + 12*l - 1. Let s be t(-6). Let c = 36 - s. Is 16/23 > c?
False
Let y = -4.697 - -2.697. Is y greater than or equal to -12/193?
False
Let w = 27.1 - 25. Let j(a) = a**2 - 11*a - 14. Let v be j(13). Let u be v/(-36)*0/1. Which is smaller: u or w?
u
Let d = -73093/453 + 484/3. Which is greater: 0 or d?
0
Let s(y) = 6*y**3 + y**2 + y - 1. Let p be s(1). Suppose 0 = 894*b - 929*b - 140. Let d be (b - (2 - 10)) + p. Are d and 10 nonequal?
True
Let i be (-3)/((-7)/6 - -1). Suppose -j = 5*b + 4, 2*b - 15*j + i*j = 1. Let d = 44 - 128/3. Is b < d?
True
Let m(j) = 30*j**3 + j**2 - 5*j + 3 - j**2 + 2*j. Let r be m(1). Let o be (192/(-120))/(4/r). Which is bigger: -13 or o?
o
Let t(n) = -n - 73. Let s be t(30). Let w = s + 54. Is w < -145/3?
True
Let o = 24987.6 + -25032. Which is greater: o or -0.4?
-0.4
Let v = 21 + -23. Suppose 2*p = -r + 58, 12*p + 50 = 14*p - 3*r. Which is smaller: v or p?
v
Suppose -4*o = -5*x + 12 + 20, 5*o + 15 = 0. Let z be (10 + (-754)/91)/(3/14). Let i(r) = 32*r - 245. Let v be i(z). Which is greater: x or v?
v
Let q = 19 - 24. Let r = 6 + q. Which is greater: 1/101 or r?
r
Let i = 14.9 + -14.59. Let f = -45.69 - i. Which is smaller: f or 1/4?
f
Suppose -d - 3*i + 5 = 21, 4*i = 5*d + 42. Suppose 0 = -3*u - 29 + 95. Suppose -28 = 5*g - 2*g - b, 0 = 2*g - 4*b + u. Is d bigger than g?
False
Let r(f) = 278*f + 214. Let b be r(-7). Which is greater: b or -1731?
-1731
Let m = -66.069 + 0.069. Let s = 30 - m. Let j = -122 + s. Is -1 less than or equal to j?
False
Let x = -1688 - -1688. Let m = 25 + -15. Let y be ((-8)/m)/((-9)/(-15)). Is y at least x?
False
Let q = -9140 - -9140. Is q at most as big as -3/364?
False
Suppose -4*o + 9 = 1. Let i be 11/o - (-3)/(-2). Suppose -4*p - 7 = 3*u - 2*u, -5*p = -i*u + 14. Does p = -5?
False
Let l = -81 + 87. Suppose 0 = l*t - 29 - 361. Let p = t - 63. Is p at most 2?
True
Let y = 6688/295 - 1314/59. Is -1772 < y?
True
Suppose -2*t - 1 - 3 = 0. Let d = -118 - -118. Suppose d = -12*i + 4*i. Which is smaller: t or i?
t
Let h(n) = -n**3 - 15*n**2 - n - 10. Let t be h(-15). Suppose 4 = -k + t*k. Let o be -3 + (-32)/(-3) + -6. Are o and k nonequal?
True
Let r = 127 - 2405/19. Let f = r + -62/57. Is f < 92/9?
True
Let u(q) = -10*q**3 - q**2 + 1. Let d be u(-1). Let k be (1 + (-897)/(-115))/1. Which is smaller: k or d?
k
Let a be 8/(-5)*15/(-746). Let k = -9421/2984 + a. Do k and -4 have the same value?
False
Let n = 112250 + -113971.02. Let m = n + 1701. Let i = m - -20. Is -0.5 greater than i?
False
Let l be 164/(-1*(-16)/168). Is l greater than or equal to 1722?
True
Suppose -11*q + 1647 = 140. Let j(d) = -d**3 - 22*d**2 - 24*d + 72. Let i be j(-21). Which is smaller: i or q?
i
Let a(y) = -y**2 - 8*y - 12. Let l(x) = 4*x + 10. Let d be l(-14). Let o = d - -38. Let j be a(o). Which is smaller: -14 or j?
-14
Let q(i) = i**2 - 13*i + 13. Let l be q(13). Suppose r + 2*o = -12 - l, 0 = -3*o - 6. Let t = 0 - 0. Which is smaller: r or t?
r
Let f be (-186)/4*(-6 + 14). Let k = f + 377. Are 45 and k equal?
False
Let f = -1223 - -287404/235. Let i be 0/(-24 + 36 + -17). Are f and i unequal?
True
Let m be (-39432)/(-48) - -2*7. Are m and 837 equal?
False
Let a = 7 - 9. Let t be 4/15*8 - (-2 - -6). Which is smaller: a or t?
a
Let v be 7*6/210 + 162306946/(-811534480). Let g = -850488176125/666837882216 - v. Let d = -2/747 - g. Which is greater: 1 or d?
d
Suppose -y = -11 + 10. Let l = 0 - 0. Suppose l = -n + y. Which is bigger: 4 or n?
4
Let i = 5093.2 - 5093. Let u = 58 - 156. Are u and i unequal?
True
Let i be (0 - (-4)/(-4449))*25826130/29450. Let g = 122/155 + i. Which is bigger: -1 or g?
g
Let t = -2/30691 - 613606/3283937. Which is bigger: 0 or t?
0
Let u = -1694/17 + 83040/833. Which is greater: u or 42?
42
Let l = 254197/241020 + 14/4635. Let c = 2/1411 - -5618/18343. Let b = c - l. Is b at least -1?
True
Let z be ((-8)/(-3))/(-4*4/24). Let x be (28/z - -5)/((-4)/(-30)). Let q be (-4)/20 - (-7)/x. Is q less than or equal to -61?
False
Suppose 3*x - 3*t - 18 = 0, -3*x - t + 13 + 1 = 0. Let b = -16 - -23. Suppose -b = 2*r + 2*n - 29, -x*r = n - 35. Which is smaller: r or -1?
-1
Let l be ((-630)/4)/(-21)*1866/5. Which is greater: l or 2?
l
Let t be 98/(-570) - 392/(-3724). Let o = -39 - -25. Does o = t?
False
Suppose -2*u + 3052 = 12*u. Let g = u - 108. Is g less than or equal to 111?
True
Let s = 2741/12 - 35657/156. Let w = 0.11 - -3.89. Which is smaller: s or w?
s
Let d = 0.3 - 1.3. Let f = -0.0722 - -525.0722. Let u = -536 + f. Which is bigger: d or u?
d
Let k = 1776 + -2305. Is k bigger than -13?
False
Let x be ((-288)/30)/(14/(-3010)). Is x at most 2064?
True
Let l(p) = -39*p + 6. Let z be l(4). Let s = 1648/11 + z. Let n be (7 - (31/124 - 2/8)) + -7. Which is smaller: n or s?
s
Let p be (-54)/(((-8)/(-30))/(18/27)). Let m = 135 + p. Which is greater: m or 2/371?
2/371
Let k(q) = -q**2 - 11*q - 4. Let c be k(-13). Let g = c + 20. Let l be 384/(-260) + (-14)/g + -1. Which is smaller: -1 or l?
l
Let v = 1580/21 - 1198691/15932. Is v >= -1?
True
Suppose -28*c + 3984 = -12*c. Let j = c + -257. Is j at most -37/5?
True
Let o = -32047.96 + 32048. Let r = 23 - 16. Let i be (r + -8)*4/(-2). Which is bigger: o or i?
i
Let p = 7497 - 6834. Is -0.3 less than or equal to p?
True
Let u(p) = -p**3 - 5*p**2 + 4*p + 12. Suppose 0 = 10*y - 14*y - 4. Let x be (8*10/8)/(2*y). Let n be u(x). Which is greater: n or -4?
-4
Let p(x) = x**2 - 21*x + 92. Let w be p(6). Suppose 0 = w*c - 2*k - 80, -c + 3*k - 44 = -2*c. Is 42 bigger than c?
True
Let x = 17/49 - -1728/245. Which is bigger: 7 or x?
x
Let n = 527.0083 + -527. Let f = n + 2.9917. Which is smaller: -22 or f?
-22
Let m(k) be the third derivative of k**6/120 + 11*k**5/60 + 5*k**4/24 - 2*k**3 - 29*k**2. Let u be m(-8). Which is smaller: 419/3 or u?
419/3
Let z be (((-7)/(-77))/((-2)/12))/((-1)/11). Let b be (-48)/78*10/(-1). Is z < b?
True
Let c(w) = w**2 + 1