e -9*x - 14 = z*x. Which is smaller: -8/15 or x?
x
Let s(m) = -12*m + 171. Let r be s(14). Suppose -6*o + 143 = -11*o + r*l, 5*o = l - 151. Which is greater: -29 or o?
-29
Let y = -132 - -135. Let h be ((-19)/(-7) - (6 - y))*7. Let x be 8/40 - h*(-38)/330. Is x bigger than -2?
True
Let i = 7.92 - 8. Let p be (2/(-20))/((-44)/(-704)). Is i at least as big as p?
True
Let u = 10165/4 - 6515749/2564. Is u > -1?
True
Let u = 1428931/284 + 7015/71. Is 5129 less than or equal to u?
True
Let h(g) = g**3 + 3*g**2 - 2*g - 4. Let c = 2 - -14. Suppose 5*v = 2*o + c, 4*o = -3*v - 6 - 0. Let i be h(o). Which is smaller: i or -0.14?
-0.14
Let g be ((-2)/(-3))/((-1)/(-3)). Suppose -247*o = -259*o + 12. Suppose -h + o = -g*h. Which is smaller: -10/13 or h?
h
Let k(d) = d**2 + 15*d - 34. Let i be k(-14). Let x be (-13896)/i*(-4)/(-6). Which is smaller: x or 194?
x
Let n(q) = q**2 - 16*q - 35. Let k be n(-2). Let x be (-1)/4 - 662/(-2632). Is k at most x?
False
Let t = 54 + -56. Let y(g) = -2*g**2 - 14*g + 8. Let k be y(-10). Let s be ((-2)/(-4))/(t/k). Is s < 14?
True
Let j = -414.4 + 409. Let y = 6.6 + j. Is 0.2 at most y?
True
Let z(m) = -m - 1. Let n be z(-2). Let h be 0/n*(-1 - -2). Let q be (-33)/(-19) + -58 + 57. Which is smaller: h or q?
h
Let z = 11978.7 - 11979. Is z at least as big as -1/354?
False
Let o = 2267 - 3799. Is -1531 greater than or equal to o?
True
Let v = 335361/2849 + -1295/11. Which is greater: 1 or v?
1
Let l be (-1)/(-6) - (-132)/(-72)*-31. Let k be (-14)/21 + 340/6. Are k and l nonequal?
True
Let i be (0 - 17)/(4/(-56)). Suppose -2*y + 474 = 2*l, 9*y = -2*l + 8*y + 476. Which is smaller: i or l?
i
Let r be 1*4/((-20)/65). Suppose 3*f - 5 = 7. Suppose -4*l + 2*z - 46 = f*z, -z + 43 = -4*l. Are l and r equal?
False
Let s = -163 - -163. Suppose 3*d + s*d + 4*x - 72 = 0, -2*d - x + 43 = 0. Is 17 at least d?
False
Suppose x = -3*k - 6, 15 = -3*x + 5*x - 3*k. Suppose -x*d + 60 = -f, 5*d = -7*f + 3*f - 155. Is -48 bigger than f?
False
Let s(h) = -7*h - 32. Let z be s(-5). Let l(w) = w**2 + w - 12. Let n be l(z). Suppose n*k - 4 = -2*i + 2*k, 5*i = 2*k + 4. Which is smaller: -3 or i?
-3
Suppose 0 = -167*b - 74 - 93. Is b equal to -12/8443?
False
Let y = 0.1432 + -1.1432. Is y smaller than -0.2016?
True
Let n be ((-60)/(-105))/((25/(-210))/5*4). Is 0.184 greater than or equal to n?
True
Let d = 179/1679 - 4226674/730365. Let r = 2/145 + d. Which is bigger: r or -5?
-5
Let z = 0.03294 - 1.23294. Is 0.07 less than or equal to z?
False
Let v be (1/3)/(773542/(-21)). Let a = 150398675/994554 + v. Let q = 151 - a. Is q greater than 1?
False
Let b(m) = -2*m - 1. Let l(y) = 23*y + 116. Let f(s) = 6*b(s) + l(s). Let q be f(-10). Which is smaller: q or 4/101?
q
Let v be ((-24)/14)/2*(-59 + (-6494)/(-102)). Suppose -3*m - 128 = 2*x, m + 176 = -3*m - 4*x. Let w be (-2)/9 - m/126. Which is smaller: w or v?
v
Let i = 579 + -136. Which is bigger: i or 447?
447
Suppose t + 0*c + 2*c + 4 = 0, 2*t - 2*c = 4. Which is smaller: -3/185 or t?
-3/185
Let w be (120 + 62)*(9/3 + -1). Which is smaller: w or 350?
350
Let j(g) = -22*g - 326. Let d be j(-14). Let s = 7 + 5. Let m be 38/(-12) - d/s. Which is smaller: 1 or m?
m
Suppose -27182*r + 27096*r = 31046. Which is bigger: -383 or r?
r
Let u be 1/(6/(-21) + 9/(-42)). Let l be u/12 - ((-18)/(-2))/108. Is l at most -1/71?
True
Let k = 1.6 + -1.5. Let v = 4491 - 4483. Is k at least as big as v?
False
Let v = 199 - 59. Let q be ((-10)/v)/(18/4). Suppose 361 = 2*y + 363. Do y and q have different values?
True
Let s be -2*(3 + 2/(48/(-668)))*3. Which is bigger: 6/29 or s?
s
Let n be (-43 + 10 + 35)*(0 + 283). Which is smaller: n or 2/15?
2/15
Let v = -22731/7 + 3247. Which is smaller: 515 or v?
v
Let r = 15.19 + -15.3161. Is r at least 1?
False
Let f = -1900 + 1897. Let s be (38/(-42))/((-1)/(-2658)). Let o = 2401 + s. Does o = f?
False
Let c = -115 - -79. Let w be 78/(-130) - c/10. Is w < 5?
True
Suppose 2*q - 21 = -5*y - 68, -4*q + y - 83 = 0. Let o be 6*7/q*(1 - -3). Which is smaller: -63 or o?
-63
Let p(u) = -3*u**2 + 118*u - 1120. Let s be p(16). Which is bigger: 29/148 or s?
29/148
Let u = 1301224083355/1723698343 - 2/42041423. Let c = -755 + u. Is -1 <= c?
True
Let z = -0.3721 + -374.6279. Which is smaller: z or -2/3?
z
Let t = -11185 + 11350. Are t and 7 nonequal?
True
Let d = -4769 - -920427/193. Are 1/2 and d unequal?
True
Let x = 275 - 167. Let a = -96 + x. Is -5/6 bigger than a?
False
Suppose 1202*p - 1151*p - 228657 - 168684 = 0. Which is smaller: 7793 or p?
p
Suppose 4*n + 370 = 2*h, h + 4*n + 36 - 179 = 0. Is 151 > h?
False
Let i = 207623/9 + -23039. Is i <= 31?
True
Let z be (-2615)/75 + -3*2/45. Let a = -26 - z. Let w(k) = 2*k - 3. Let l be w(7). Is l > a?
True
Let o = 1.14758 + -2.14758. Let r = -122356/131 + 934. Which is greater: r or o?
r
Let x = 0.145975 - 289.173975. Let r = x + 289. Which is smaller: -2/3 or r?
-2/3
Let d be ((-2)/8*-74)/(7/(-14)). Let v = 29 + d. Which is smaller: 4 or v?
v
Let s = -59078401/1873608 - -1482/47. Which is smaller: s or -1?
-1
Let u(r) = 40*r**2 + 27*r + 4. Let c be u(-5). Is 0 at most as big as c?
True
Let d(i) = -i**3 + 3*i**2 + 4*i - 14. Let r be d(3). Let v be 39/(3 + 10) + (-216)/r. Which is smaller: 331/3 or v?
331/3
Let g = 3505 + -3505. Is -48/1399 less than or equal to g?
True
Let h(g) = -2*g**3 + 31*g**2 - 132*g + 23. Let q be h(7). Is q < -68?
False
Let c(m) = -4*m. Let g be c(1). Let w = 727729/11 - 66160. Is g > w?
False
Let j = -14.6 + 12. Let i = j - -2.558. Let m = i + 1.942. Which is smaller: -0.1 or m?
-0.1
Suppose -6*q - 244 = -658. Suppose 7*w + 218 = -q. Is -42 < w?
True
Let t(g) = g**2 + 19*g - 16. Let j(m) = 3*m**2 + 37*m - 33. Let h(w) = 2*j(w) - 5*t(w). Let l be h(17). Are l and -54 nonequal?
False
Let t = 0.07 - -0.03. Let d = 264.4 + -300. Let i = d + 35.15. Is t less than or equal to i?
False
Let n be (-20)/14*(3 - 84/20). Let p = -67/35 + n. Let w = -2 + 1. Which is bigger: p or w?
p
Let t be (-11)/1*13/(-13). Let r = t - 12. Let g(s) = 3*s**2 - 37*s + 14. Let b be g(12). Which is smaller: b or r?
r
Let s(i) = -i**2 - 46*i - 408. Let z be s(-27). Which is greater: z or -3?
z
Suppose -66 = -6*j + 2*j - 2*f, -4*f - 12 = 0. Let k be 1114/(-252) + (-4)/j. Let v = k + 3257/700. Is v at least as big as 0?
True
Suppose q - 3*q - i = -11, -4*q + 4*i = -4. Suppose 3*j = 4*f + 34, 0*j - 3*f = q*j - 12. Let x be 1/(-2 - (-75)/j). Is -1 less than x?
True
Suppose -7*g + 538 = 188. Suppose 0 = -13*h - 0*h - 26. Let i be ((-22)/33)/(h/12) - -46. Is i at most as big as g?
True
Let k(m) = m**2 - 28*m - 56. Let h be k(30). Let v be (-3)/(42/h) + 182928/636622. Are v and 1 non-equal?
True
Let o = 704/5 + -141. Let u be 1/(-5) - (-5 - 27/(-15)). Suppose 2 = -5*b + m, -b = u*m - 8*m - 14. Does b = o?
False
Let y = 12.426 + 0.574. Let g = -0.03 - -2.03. Let j = -4 + g. Do y and j have different values?
True
Let g = -3.4411 + 3.477. Is -1/3 equal to g?
False
Let q = 103/3 + -35. Let u = -30.24444 + 2.24444. Is q > u?
True
Let o = -0.0132 + -42.3868. Let c = 7.8 - o. Let w = c + -50. Which is smaller: 24/5 or w?
w
Let u be (-848)/(-4664) - (-4)/(-22). Are -2/3229 and u nonequal?
True
Let p = -527451/55 + 9590. Which is smaller: p or 2/19?
p
Suppose -48 = 11*l - 5*l. Let a be (l/(-12))/2 - 8/6. Let q = -567 + 16447/29. Is a > q?
False
Let m = 11492 - 11490. Let h(v) = v**2 - 8*v + 8. Let q be h(7). Is m bigger than q?
True
Suppose -96 = -4*v + 200. Let p(o) = 10*o + 95. Let y(x) = -5*x. Let k(c) = -5*p(c) - 5*y(c). Let b be k(-22). Is v bigger than b?
False
Let x be (-184272)/25058 - 12/3. Let o = x - -192/17. Do o and 1 have the same value?
False
Suppose o + 5*k - 11 = 10*k, 4*k = -5*o - 32. Let j be o/8 - (235/10 + 1). Let w be 219/(-9) - 1/(-3). Is w not equal to j?
True
Let q = 162602 - 1299013/8. Is 226 < q?
False
Suppose 0 = 6*u - u - 1065. Suppose z + 1062 = 5*g, 18*z = -4*g + 24*z + 886. Is g less than u?
True
Let u = 0 + 7. Let q be ((-12)/(-42))/((-3)/u). Suppose -3*m + 2*l - 12 + 6 = 0, -l + 4 = -2*m. Is m less than q?
True
Let n(m) = m**3 - 14*m**2 + 11*m + 12. Let p be n(9). Let g be 1 - ((-297)/p - 0). Let v be ((-174)/(-435))/(-2 + 48/20). Is v >= g?
True
Suppose -323974 + 132999 = 109*k + 103761. Is k at most as big as -2704?
True
Let d be (