*1). Let l be ((-6)/(-12))/(1/4). Suppose u = -s - s + 65, -l*u + 157 = -5*s. Is u < r?
True
Suppose 0 = -0*u - 3*u - 5*u. Suppose u = 36*b - 42*b - 24. Suppose -2*t + 1 = -3*z, -2*z - 10 = 4*t - 3*t. Is z equal to b?
False
Let g(d) = 72. Let h(c) = c - 288. Let v(f) = 22*g(f) + 6*h(f). Let p be v(21). Are -10 and p unequal?
True
Suppose -r - u - 2*u = -12, 4*r = -4*u + 16. Let j = -28343/156378 - -5/2334. Is r at most j?
False
Let a(q) = -q**2 - 17*q + 5. Let b be (-2 - 0)/(-10*(-1)/50). Let n be a(b). Which is bigger: n or 76?
76
Suppose 978 = 258*v + 68*v. Let r be (34/25 + 0)/(-2). Let z = r + 12/25. Which is bigger: z or v?
v
Let q = -427.8867 + 2.5867. Is -2/7 >= q?
True
Let k = -3/239 - 3092/1195. Let z be -5*-6*5/50. Let s(g) = -2*g**2 + 5*g. Let j be s(z). Which is smaller: k or j?
j
Let z(t) = -t**2 - 4*t - 1. Let h be z(-6). Let n be -1*23/2*(h - -15). Let m be (-15)/9 + 2 - 22. Which is smaller: m or n?
n
Let x = 19.419 + -658.419. Is x not equal to 0.8?
True
Let h = -29 - -39. Let x = 4310/381 - -8/381. Is h greater than or equal to x?
False
Let c = 69.93 - 72. Let s = c - -2.06. Let j = -8 - -3. Do j and s have the same value?
False
Let t(n) = -n**3 + 18*n**2 + 23*n - 76. Let i be t(19). Let l(w) = w**3 - 6*w**2 - 2*w. Let y be l(i). Is 1/147 smaller than y?
False
Let y = -257/55 - -2180443/466620. Is y less than 1?
True
Let p(t) = 3*t**3 + 459*t**2 - 2*t - 184. Let z be p(-153). Which is smaller: 95 or z?
95
Let v be ((-150)/(-2625))/((1 + 1)/(-10)). Which is bigger: v or -7496?
v
Let i = 8 - 23. Let p be (-60)/(-25) + (-9)/i. Suppose -2*m = -p*x + 7 + 72, 0 = -x + 5. Is -33 at most m?
True
Suppose 710 = 17*f + 64. Suppose 31*o - f*o = 0. Is -4/217 bigger than o?
False
Let k be (-307834)/124*2*(-2)/(-10). Let c = k + 993. Is c <= -1?
False
Let y = 244 + -249. Let g be 4/y + 4 + 2395/25. Does g = 99?
True
Let i(t) = -t**2 + 21*t - 33. Let l be i(19). Suppose -3*r = -y - 2, -l*y - 2*r = 2*r - 9. Is 2/121 at most y?
True
Let f(v) = v**3 + 19*v**2 + 17*v + 8. Let i be f(-18). Suppose -6*u + i = -4*u. Let q = -35 + u. Which is smaller: -24 or q?
-24
Let v = -36 - -34. Let q = 69598685/24 + -285841908671/98568. Let y = -2/1369 + q. Is y <= v?
False
Let t = 623 + -1807. Which is smaller: -2/7 or t?
t
Suppose 2*o + 186 = 5*o. Let r = -16 - -102. Let i = 148 - r. Is i >= o?
True
Suppose 0 = 88*r - 961 - 11535. Is 142 at least as big as r?
True
Let u = 194 - 348. Let v = 153 + u. Is -4/49 bigger than v?
True
Let x(j) = 42*j**3 - 2*j**2 + 13*j - 10. Let p(i) = -126*i**3 + 5*i**2 - 38*i + 28. Let c(g) = -6*p(g) - 17*x(g). Let k be c(-2). Which is smaller: k or 0?
k
Suppose 35 = -18*q + 23*q. Let d be (-3)/72*q + 3/12. Which is greater: d or 1?
1
Let k(f) = -4*f**2 - 17*f + 44. Let x be k(-6). Is 590 smaller than x?
False
Let k be 440/(-56) + (-1)/7 + (-2151840)/(-268976). Which is smaller: k or -1?
-1
Let g be (-171)/(-1) + (-42)/(-3) + -9. Let d = 177 - g. Which is smaller: d or -7/50?
-7/50
Suppose 3*b - 891 = -v, 4*b - 6*v - 3453 = -2309. Let u be ((-63)/(-4))/((-3)/(-56)). Which is bigger: b or u?
b
Suppose 3*m - 224 = -26. Suppose -u + 171 = 3*n, -332 = -4*n + 3*u - 104. Let g = n - m. Are -8 and g equal?
False
Suppose 4*c + 5*f - 30 = 0, 3*f - 83 + 65 = -2*c. Which is bigger: c or -4/37?
c
Suppose 4*n - 144 = -4. Suppose -60*a + 3420 = 35*a. Let o = n - a. Are 4/9 and o unequal?
True
Let d be 3*((-32)/6)/4. Let m = -1817 + 1822. Let g = m + d. Is g less than 1/8?
False
Let g = 22 - 20. Suppose -3*p = g*p - 15. Suppose -7*c - 4*i = -3*c, 3*c - p*i + 6 = 0. Is c at least as big as -2?
True
Let u = -0.31464 - -0.01464. Are 38.4 and u equal?
False
Let y = 208 - 115. Let l = 213 - y. Suppose 3*q + 2*q - l = 0. Are q and 24 equal?
True
Let c = 0.1 - 0.1. Let z = 6800/69 + -2899874/29463. Let n = z + 1/61. Which is smaller: c or n?
c
Suppose 0*r + 5 = 5*r + 3*s, 0 = 4*s - 20. Let c(j) = 13*j + 21. Let a be c(r). Let m(x) = -x**3 - 6*x**2 - 3*x + 2. Let y be m(a). Does y = -7?
False
Let d = -14.881 + -0.019. Let a = d + 142.9. Let k = 107 - a. Is 0.2 less than or equal to k?
False
Let s = -0.19 + 2.91. Let k = -2.62 + s. Which is greater: -18 or k?
k
Let m(c) = 2*c + 7. Let u be m(-6). Let l be ((-104)/(-20) + u)/((-2)/5). Suppose 5*o - 5 = 2*o + 2*t, -10 = -2*o + 3*t. Which is bigger: l or o?
l
Suppose -4*x = d + 27230, 21*d - 27234 = 4*x + 24*d. Is -6807 at most as big as x?
True
Let t(i) be the second derivative of -5*i**4/12 - 2*i**3/3 + 9*i**2/2 + 53*i. Let d be t(-3). Is -145/6 less than d?
True
Let p = 30 - 151/5. Let r = 320 - 332. Let l be r/114 - 87/(-285). Is p <= l?
True
Let c = 6256 - 9466. Are -3209 and c non-equal?
True
Let l(f) = 25*f - 11*f - 15*f. Let g = -19 - -18. Let x be l(g). Is 2/89 bigger than x?
False
Suppose 0 = 6*h + h - 658. Suppose 0 = 3*v + 4*t - h - 31, 4*t = 5*v - 187. Is v > 40?
False
Let f = 681 + 533. Which is smaller: 1215 or f?
f
Let m(n) = 7*n - 33. Suppose 3*b + 3*u - 63 = 0, -2*b + 0*u + u = -48. Let p be m(b). Suppose -16 + p = 4*z. Are z and 29 nonequal?
True
Suppose 3*c + 246 = -5*j, 4*c = -15*j + 14*j - 277. Suppose 2*o + 1364 = -4*d + 450, 1153 = -5*d + o. Let u = d - -163. Is c > u?
False
Let a be -20428*(-3)/(-174) + -2. Let c = -354 - a. Which is smaller: c or -1?
-1
Let k = 63719147/57 + -1117919. Let i = k + 118/3. Let b(z) = z**3 - z**2 - 10*z - 7. Let r be b(-1). Is i less than r?
True
Let l(t) = -t**3 + 5*t**2 + 13*t + 1. Let z be l(-5). Let k = 81 - 3. Suppose -k - z = 6*s. Do -42 and s have different values?
True
Suppose 12*h - 224 = 4*h. Let z be (56720/25080)/(1*h/(-6)). Let x = -4/133 - z. Does x = -1?
False
Suppose -104*z = 473 - 3073. Do z and 287/12 have different values?
True
Let g(u) = 60*u + 586. Let r be g(-15). Is -311 at most as big as r?
False
Let t = 0.02642 + -1.43642. Do t and 1/25 have the same value?
False
Let c(l) = 8 - 19 - 13*l + 2*l + 6 - 28. Let q be c(-3). Which is greater: 3/7 or q?
3/7
Let c = 1/12019 - -19421/55491723. Is c bigger than -1?
True
Suppose 9*m + 15*m = 144. Suppose -3*u + 2*u - 4 = 3*a, 3*a = -3*u + m. Is a at least -2?
False
Let g be 5/(2 + -5 - -1)*-32. Suppose -4*d + g = -5*r - 0*r, r = 2*d - 10. Suppose -4*n = -0*x + x + 15, -2*x + 4*n - 42 = 0. Which is smaller: r or x?
r
Suppose -3*n + 13 = 5*m - 10, 3*m = -5*n + 17. Let z be -2 + -1 + n - 4. Suppose 6 = 5691*h - 5694*h - 18. Is h != z?
True
Let f = 226 + 51. Let b = -291 + f. Which is smaller: b or -19?
-19
Let j be 12/(-630)*1290/3. Let n be 292/138*54/14. Let r = j + n. Which is greater: 0 or r?
0
Let s be (-2 + 412)/(-5) - 3/1. Let b = s + 59. Which is greater: b or -24?
-24
Suppose 10 = -4*h - 22. Let x be (4 - (3 - (-2328)/(-4))) + 0. Let d = x + -594. Are h and d equal?
False
Let u(f) = -7*f + 3*f + 3*f + 10. Let j be u(-11). Suppose 4*w - 4*y = 84, -5*y + 2*y = 3*w - 69. Is j smaller than w?
True
Let k be 28/168*6/(-26). Which is bigger: k or 0.52?
0.52
Let l = 40058 + -225606655/5632. Which is greater: -1 or l?
l
Let k = 140.9 - -1050.1. Is k less than -4?
False
Let w(g) = 2*g**3 + 5*g**2 - 9*g - 17. Let c be w(-3). Which is smaller: 5/381 or c?
5/381
Let c = 7375 - 7374.98. Which is smaller: c or -88/9?
-88/9
Let t = 2181/200 + -85/8. Let g = 9118 + -9119. Which is smaller: t or g?
g
Let y(i) = i - 2. Let c be y(-4). Let r be 181 + 0/(2/2). Let o = -188 + r. Which is smaller: o or c?
o
Let b = 3 - 3. Let h = 0 - b. Let k be 35/(-56)*84/105. Is h at most as big as k?
False
Let h = -11 + 10. Let q = -99 + 97.36. Let u = q + 1.54. Which is smaller: u or h?
h
Suppose 2*a - 322*q = -325*q - 27795, -a - 13893 = -3*q. Is a greater than or equal to -13897?
True
Let j = -164 + 163. Let r = -4330 + 238162/55. Let w = 29/110 - r. Is j >= w?
False
Suppose 4*g = -14 + 2. Let p be (0/g)/(2/(-2)). Suppose p = -6*d + 4*d - 44. Is -22 at least d?
True
Let j = 67/88 + -1/88. Let g(t) = t**3 - 60*t**2 + 4*t - 208. Let s be g(60). Which is smaller: s or j?
j
Suppose 0 = -21*p + 53*p + 12128. Are p and 1 equal?
False
Let t = 2355182 - 29427998858/12495. Let l = 1/147 - t. Let f = -293 + 292. Do l and f have the same value?
False
Let r be -14 - 47 - (-15)/(-6)*-2. Let d be 7*(8/r)/(1/(-1)). Are d and 1/453 non-equal?
True
Let x = 23 + 19. Suppose -x = -4*r + 110. Suppose -n - r = n. Which is bigger: