east as big as z?
True
Let z = -2455/4 - -609. Which is smaller: z or -6?
-6
Let l = -65 - -121/2. Suppose 0 = 5*i + 15, 17 + 27 = 5*q - 3*i. Suppose q = 5*x + 2. Which is greater: x or l?
x
Let c(z) = 3*z**2 + 25*z + 17. Let a be c(-10). Let l = -1007/15 + a. Which is smaller: 3 or l?
l
Let w be 46/115 - 52/205. Let o(k) = k**2 - 4*k + 1. Let f be o(4). Is w smaller than f?
True
Suppose 0 = 6*o - 5*o - 2. Suppose -o*s - 4 = 0, 0 = -4*k + 5*s - s + 12. Is k less than or equal to 3/14?
False
Suppose -5*o - 37 = 43. Is o greater than -22?
True
Let z(l) = l**3 + 7*l**2 + 5*l - 6. Let i be z(-6). Suppose i*x + 5*x - 30 = 0. Let y = -4 + x. Is 4 smaller than y?
False
Let a = -0.07467 - 106.89533. Let r = a + 107. Is r greater than or equal to 2?
False
Suppose 57*s - 52*s - 12 = -4*n, -3*s - n + 3 = 0. Which is smaller: -30/107 or s?
-30/107
Let z = 152 - 351. Which is smaller: -202 or z?
-202
Let k = -80.166 - -78.9. Let o = 0.034 - k. Suppose 7*v = 2*v - 10. Is v at least as big as o?
False
Suppose 2*l + l = 12. Suppose l*n = -20 - 16. Let r be n/15*2/16. Which is bigger: 0 or r?
0
Let n(q) = 9*q - 270. Let i be n(44). Does 127 = i?
False
Let j = 440 - 440. Which is smaller: j or 0.29?
j
Let t = 62 + -68. Let b be t/33 + (-120)/66. Which is bigger: -7/4 or b?
-7/4
Let g(f) = f**3 + 6*f**2 - 7*f - 2. Let o be g(-7). Let h be 129*(0 + -1) + -4. Let u = 925/7 + h. Is u greater than or equal to o?
True
Let p(q) = -q**2 + 2*q. Let n be p(2). Let m = -469 - -468.97. Which is greater: n or m?
n
Let j = -23 + 32. Suppose 0 = -7*v - 0*v + 7 - 7. Which is smaller: j or v?
v
Let f(z) = -2*z**2. Let w be f(-1). Let n be 10 + 3 + 10/w. Suppose 14 = -n*y + 3*y - 3*v, 2*y + 3*v + 11 = 0. Do y and -2/7 have different values?
True
Suppose 16 = 19*g - 18*g. Let m be 20/4*g/(-340). Are m and 0 unequal?
True
Let n = 17 + 18. Let o = 16.6 - n. Let t = 19 + o. Are t and -0.1 equal?
False
Suppose -3*q = 4*h - 134, -3*q + 3*h - 6*h = -129. Let g(y) = -8*y - 3. Let n be g(-5). Is q at least as big as n?
True
Let c = -26 + 26. Let h be (-12)/(c - 4) + -5. Which is greater: 0.2 or h?
0.2
Suppose -4*p + 5*n + 35 = 0, 4*n + 7 + 20 = 3*p. Suppose 0 = p*w - 4*w - 5. Suppose -4*s = s + w. Does -1/18 = s?
False
Suppose 2*z - 5*s = 43, -2*z - 2*s = -0*z - 8. Let m = 539 - 529. Which is smaller: m or z?
z
Let n = -2425 - -2547. Which is smaller: 124 or n?
n
Let q be 4 + 21/(-6) - 30/(-4). Suppose q = 4*c - 5*c. Is -9 bigger than c?
False
Suppose -83 - 61 = 8*o. Let b = 20 + o. Which is greater: b or 9/7?
b
Let p = -198 - -197. Which is bigger: 3/53 or p?
3/53
Let g(w) = w**3 + 5*w**2 + 5*w + 23. Let n be ((-2)/(-8))/((-20)/(-100))*-4. Let v be g(n). Do v and -3 have different values?
True
Let x = 3 - 11. Suppose -2*r + 34 - 48 = 0. Is x at most as big as r?
True
Let k = 52.99 - 53. Let x be (0 - -5) + -1 - (-60)/(-20). Which is smaller: k or x?
k
Let u = 31465 - 64133/2. Which is smaller: -602 or u?
-602
Let y = 92 + -93. Let u(i) = -9*i**3 + 3*i**2 + 5. Let w(f) = 5*f**3 - 2*f**2 - 3. Let z(h) = 3*u(h) + 5*w(h). Let p be z(y). Which is greater: 2/7 or p?
p
Suppose -2*b - 1 = -103. Let n(z) = -50*z + 1801. Let j be n(35). Is j < b?
False
Suppose -5*u + 93 + 7 = 0. Suppose 15 = -5*x + u. Is -4/23 less than or equal to x?
True
Suppose x + 20 = 6*x + 4*l, 0 = -3*x - 3*l + 15. Suppose 5*z - 5*j + j + 33 = 0, -j + 2 = x. Is -2 >= z?
True
Let v(o) = -2*o**2 + 13*o + 134. Let j be v(33). Is -1615 equal to j?
True
Let o(k) = k + 17. Let a be o(3). Let u be (-86)/(-4)*a/30. Which is bigger: 14 or u?
u
Let n = 138 - 139.41. Let h = -1.7 - n. Let m = 0.3 + h. Which is smaller: -1 or m?
-1
Let k be 1278/(30/(-5)) - (2 + -1). Which is bigger: k or -213?
-213
Let x(n) = n**3 + 9*n**2 + 19*n + 17. Let o be x(-7). Let f = -82 + o. Let i = -1098/11 - f. Which is smaller: -3 or i?
-3
Let z = -2270.1 - -2270. Is 346 bigger than z?
True
Suppose -179 = 2*q - 3*m, 0 = 2*q - 3*q + 2*m - 92. Let a = q + 58. Are -24 and a nonequal?
False
Suppose 5*o - v - 4*v = 10, 5*v + 4 = 3*o. Suppose 4*u - u = -o. Does 3/7 = u?
False
Suppose m - 5*p = 2*m - 17, 22 = 4*m - 3*p. Suppose -23 = -5*b - 4*s + 2*s, -3*s = 2*b - m. Is 5 at least as big as b?
True
Suppose 3*y - 3*r + 135 = r, -2*y = -5*r + 83. Is y bigger than -49?
False
Let s = -5 + 12.3. Let k = s + -7. Let a = 3/14 + -5/7. Which is greater: k or a?
k
Let w(b) = -b**3 - 3*b**2 - 16*b + 8*b + 3 + 6*b + 4*b. Let z be w(-4). Which is smaller: z or 7?
7
Let y(v) = -3*v**2 + 3*v - 2. Let d be y(2). Let r be ((2 + -11)/3)/(1 + -2). Suppose 52 = -4*c + 4*u, -c - r*u + 31 = -3*c. Is d at most c?
True
Let z be (-216)/(-396) + 1911/(-3564). Are z and 0 nonequal?
True
Let o = 14 - -86. Suppose -7*j - o = 19. Do j and -18 have different values?
True
Let z be (-3)/((-9)/(-3)) - 28. Let t = z - -31. Suppose -5*c + 12 = 4*p, t*p - 2 = -4*c + 4. Which is bigger: c or -2?
c
Let t(o) = -12*o + 248. Let v be t(16). Is v < 8?
False
Let d = -42 - -37. Let i(f) = f**2 + 10*f + 4. Let m be i(-9). Is d at least as big as m?
True
Let v = -24.4 - -5.4. Let m = 27 + v. Which is smaller: m or -0.2?
-0.2
Let u = 295 + -254. Which is bigger: 40 or u?
u
Let j(v) = v. Let y(r) = r**2 - 10*r - 5. Let u(p) = -4*j(p) - y(p). Let t be u(7). Let d be 1*(1 + 2 - t). Is d greater than or equal to 0.2?
True
Let v(p) = 2*p**2 + 46*p + 140. Let t be v(-32). Does t = 716?
True
Let k be 154/66 + (-8)/6. Which is smaller: 46/27 or k?
k
Let c = 0.24114 - -0.05886. Let r(s) = s**2 + 3*s + 3. Let x be r(-2). Which is smaller: c or x?
c
Suppose -s + m = 2*s + 1, -2*s = -4*m + 4. Suppose -5 + s = -p. Which is smaller: 4 or p?
4
Suppose 0 = -32*o - 3529 + 553. Which is bigger: -92 or o?
-92
Suppose 5*l + 15 = -3*v - 2*v, -3*l - 2*v - 5 = 0. Suppose 2*k + l + 1 = 0. Which is greater: k or 1?
1
Suppose x + 4*n - 11 = 0, 4*x + x = -3*n + 4. Is -22/79 equal to x?
False
Let j(y) = y**2 - 17. Let b be j(0). Let p be ((-10)/15)/(16/(-12)). Which is smaller: p or b?
b
Let y = 465 - 464. Is y at most 6/41?
False
Let f(u) = -7*u**2 + 32*u - 1. Let b be f(6). Is b >= -61?
True
Let b = 1 - -3. Let c be (-15)/(-63) + (-2)/(-6). Is b less than c?
False
Suppose -i = y - 1, 6*y + 4*i = y + 4. Let n = 12 + -10. Suppose 0 = n*j - 4*j. Do y and j have the same value?
True
Let d(r) be the first derivative of 3*r**2/2 - 16*r - 32. Let g be d(5). Which is smaller: g or 3/32?
g
Suppose -12*p + 750 = 5490. Which is bigger: -394 or p?
-394
Suppose 0 = -36*m + 31*m + 4*k, -5*m = -2*k. Let i be (-8)/3*(-6)/4. Suppose d = -i*d. Is m smaller than d?
False
Let m = 0.8 + -0.9. Suppose 4*g + 3*z = -62, -2*z - z - 48 = 3*g. Let s be g/(-3) + 40/(-10). Is m bigger than s?
False
Let d = -8162/9 - -9116936/10053. Is 1 < d?
False
Let m be 3 + -1*0/(-1 - 3). Suppose m + 0 = -3*f. Which is bigger: f or -2/171?
-2/171
Let i be (-65)/4 - 57/76. Let r be (-4)/(-6)*(0 - (-49)/(-2)). Is i equal to r?
False
Let f be 3068/(-21) - (-28)/294. Is f at most -147?
False
Let s be (-7270)/(-30) - 4/(-6). Suppose x = 4*z - 0*z - s, -3*z + 192 = -4*x. Which is smaller: 59 or z?
59
Let r = -216/13 - -1200/91. Which is smaller: r or -0.2?
r
Let d(f) = -f**3 + 5*f**2 - 3*f + 2. Let b be d(4). Let j be 6/4*(-32)/b. Let z(t) = -2*t**2 + 1. Let c be z(-2). Which is smaller: c or j?
j
Let p be ((-1)/(-4))/((-3)/(-12)). Suppose 0 = 3*m - 25 + p. Let d be ((-14)/35)/((-2)/30). Do d and m have the same value?
False
Suppose -5*z - 2*d + 269 = 0, 3*z + 3*d = 70 + 86. Which is smaller: 63 or z?
z
Suppose 4*x + 2*z = z - 2, 5*x = -4*z - 8. Let a(v) = -39*v**2 + v - 2. Let g be a(-2). Let u be -2 - 7/(588/g). Is u >= x?
False
Let p = -4 + 3. Let v be 4 + p - (6 + 0). Let c be (-2)/(-5) + 1/v. Which is smaller: 1 or c?
c
Let i = -24 + 71/3. Let n = 15 - 29. Let u be (-4)/n - 3/84. Is i greater than u?
False
Suppose 0*d - 1 = -d. Let r be (-10)/(-48)*(-261)/580. Is r at most as big as d?
True
Let g(t) = 6*t + 2. Let n be g(-1). Let o = 6 + n. Suppose 0 = -0*z + 5*z - 10. Is o < z?
False
Let y be (-2312)/210 - 14*1/105. Is -12 bigger than y?
False
Let y(n) = n**2 + 3*n - 6. Let l be y(-5). Let w be 2 + -7 + 20 + -13. Which is greater: l or w?
l
Let b be ((-1)/(-15))/(1116/39474). Let w = b + 15/62. Is 4 <= w?
False
Let p(h) = -h**2 - 22*h + 29. Suppose w + 13 = -6*g + 4*g, 2*