 g = 4*z + z - 15. Is z greater than 3?
False
Let a be 2 - (-5)/((-10)/4). Let j be (a - 0)*(3 + -4). Let q be 64/(-256) - (-63)/12*1. Which is smaller: j or q?
j
Suppose 3*y - 3*x + 3 = 2*x, -4*x = -3*y - 3. Suppose -15*h + 14 = -22*h. Is y greater than h?
True
Suppose 3*y - 6*y + 3 = 0, 0 = -h + 4*y + 50. Which is smaller: h or 38?
38
Let w be 3512/(-72) - ((-76)/(-18) + -4). Is w greater than or equal to -4?
False
Let n = -852/13 + 169522/2587. Which is greater: 1 or n?
1
Suppose -4*s - 2*w + 74 = 0, 6 = s - w - 11. Suppose -2*i + v = -3*v + s, i + v = 3. Is i greater than or equal to -15?
True
Let p = 12/11 + -322/275. Let r be (-15)/9 - (-2)/3. Let o be 1 - 0/(0 + r). Which is bigger: p or o?
o
Let q(k) = k**3 - k**2 - 9*k + 2. Let h be q(5). Let t = h + -54. Is t less than 3?
False
Suppose 24 = -4*n + 8. Let f be 1*n/10 - (-469)/35. Is 15 bigger than f?
True
Suppose -19*d - 11*d = -570. Is d at most 19?
True
Suppose 3*m - 10 = a - 11, 5*a = -5*m + 5. Which is smaller: a or -2/251?
-2/251
Let r = -40/91 - -20109/45955. Which is greater: r or -1?
r
Let i be ((-8)/5)/(((-3159)/(-15))/(-13)). Is i bigger than -1?
True
Let w = 128 + -257/2. Let h = 0 - 0. Suppose -1 = -h*u + u. Is w bigger than u?
True
Let k = 126 - 125. Does -1/260 = k?
False
Let r = 0.19 + -1.29. Let o = r + 1.5. Let w = -0.38 + o. Which is smaller: -3 or w?
-3
Suppose -2*c = -3*w + 22, c - 4*c + 32 = 2*w. Let d = 0 - w. Let s(u) = u + 19. Let n be s(d). Is 11 at most as big as n?
False
Let b = 71 + -478. Do b and -407 have the same value?
True
Let z be ((-52)/12)/(314/(-1413)). Let s = -1 + 20. Are z and s equal?
False
Suppose s - 3 = 4. Let y(r) = r**3 - 7*r**2 - r - 1. Let k be y(s). Let n be (-2)/7*4/k. Which is greater: n or 1?
1
Suppose -5*d - 20 = -70. Suppose -4*j + 26 = -d. Let p be 5/(5/(-4)) + j. Which is bigger: p or 7?
7
Let p be (-622)/5 + (-3 - -3). Let h(a) = 124*a**2. Let l be h(-1). Let v = l + p. Is v != 1?
True
Suppose 0 = -5*r - 25, 0 = -5*w - 0*w - 5*r - 25. Let a = -16 - -22. Let i be (-4)/3*1*a. Which is smaller: w or i?
i
Let f(a) = -10*a**3 + 3*a**2 + 3*a - 2. Let t(y) = -y**2 - y + 1. Let u(k) = -f(k) - 3*t(k). Let o be u(1). Suppose 0 = -x + 1 + o. Is x equal to 10?
True
Let s be ((-6)/(-8))/(6/(-24)). Let i be 14/7*28/(-16). Is s equal to i?
False
Let a = 120 + -59. Let m = a - 60.96. Is m >= 0.04?
True
Let q be 133/(-105) - 10/(-15). Which is smaller: q or -137?
-137
Let z = 1015/243514 - 1/626. Is -1 greater than z?
False
Let u(c) = 6*c - 33. Let f be u(6). Let z be (f - 2)/(3/(-33)). Let o(a) = 3*a. Let h be o(-4). Which is smaller: h or z?
h
Let w be (-2)/(-5) + 161/35. Suppose -4*d + 17 = -o, -w*d + 20 = -0*o - o. Suppose -2*y = 2*t + 8, -d*t + 4 = t - y. Which is smaller: t or -2/7?
-2/7
Suppose 0 = 5*j + 9 - 34. Let b(s) = 2*s**3 - 7*s**2 + s - 4. Let q be b(4). Suppose -z - 3*z = -q. Are z and j nonequal?
True
Suppose 0 = -v + 3 - 1. Suppose 4 + 4 = v*p. Let q be 4 + p + 267/(-33). Which is smaller: 0 or q?
q
Let w(o) = -o**3 - 6*o**2 - 17*o - 35. Let l be w(-5). Let t(u) = -u**2 + 23. Let g be t(0). Is g less than l?
True
Let r(b) = -63*b**3 + 2*b**2 + 4*b - 5. Let i be r(1). Is i equal to -63?
False
Let w = -0.131 - -12.131. Is 4 smaller than w?
True
Let p(y) = y**3 - 3*y**2 + 2*y - 1. Let c be p(2). Let q(n) = n**2 + 7*n - 44. Let a be q(-10). Which is smaller: a or c?
a
Let n = -401 + 8019/20. Which is greater: n or 4?
4
Let z(l) = -l**3 + l**2 + 12*l + 328. Let g be z(0). Which is smaller: g or 0.1?
0.1
Let g(o) = o**3 + 7*o**2 + 14*o + 1. Let n be g(-6). Which is smaller: -45 or n?
n
Let z = 20/683 + -1682/197387. Which is smaller: z or -1?
-1
Let j = -0.05 - -0.064. Let s = 4.4 - 4.3. Is j greater than or equal to s?
False
Let y = -1562 + 1556. Which is bigger: y or -51/11?
-51/11
Let i be 27/(-9) - (-659)/219. Is 0 greater than i?
False
Let s = 83/10 + -9. Let m = 29/70 + s. Suppose 4*l - 42 = -3*l. Is l less than m?
False
Let h = -8 - -15. Let s be 0/(h + -5)*(-1)/(-1). Which is smaller: -1/51 or s?
-1/51
Let h be (-1544)/(-32) - 6/(-8). Let l = 118 - 70. Is l at least as big as h?
False
Suppose -17 + 19 = 2*a. Which is greater: 1/33 or a?
a
Let t be (-25)/((3 - (-13)/(-2)) + 4). Which is bigger: t or -51?
t
Suppose 5*j = -10, 0*j + 5*j = 5*s - 10. Suppose f - 5*o + 16 + 5 = s, -13 = 3*f - 5*o. Let u be 3*(-1 + 8/3). Is u <= f?
False
Let v be 189/42*(-4)/(-66). Which is greater: -1 or v?
v
Let z = -1983 + 1983. Is z bigger than 434?
False
Let b = 2.9 + -2.8. Let g = -18.3 - 1.7. Let c = 38 + g. Is c at most as big as b?
False
Suppose t - 3*w + 35 = 0, 0 = 2*t - 4*w + 3 + 57. Is t > -12?
False
Suppose 3*q + 29 = 5. Let m = -1629/1529 - -2/417. Let h = m - -8/11. Is h greater than q?
True
Let u(q) = 29*q + 9. Let z be u(0). Let p be (-48)/4*(-1 - 0). Which is smaller: z or p?
z
Suppose -4*k = 3*p + 2, 5*k = -p + k - 6. Let t be (1 - (1 + p))*1/(-2). Which is smaller: t or 14?
t
Let k(d) = 9*d**2 - 1. Let p be k(1). Suppose l - 8 = 2*g, -60*l = -55*l + g - 18. Let f = l - p. Is -5/2 > f?
True
Let a(d) = 4*d**3 - 5*d**2 - d. Let i(b) = b**3 - 3*b**2 + 3*b - 4. Let p be i(3). Let j(n) = -n**3. Let q(z) = p*j(z) + a(z). Let x be q(-4). Is x <= -12?
True
Let d = -33 + 30. Let k be d/(((-90)/(-4))/3). Is k smaller than 30?
True
Suppose -6 = 5*g - 26. Suppose -19*v - g = -15*v. Which is bigger: v or -2/47?
-2/47
Suppose 5*o + 5*n = 0, -5*o - 7 + 25 = -4*n. Suppose -4*z - 10 + o = 0. Let b be z/(-11 + (5 - 2)). Which is bigger: b or 1?
1
Let y = 321 + -923/3. Suppose 3*h + 13 = g, 3*h + 27 + 12 = 3*g. Which is smaller: y or g?
g
Let d be ((-44)/242 + (-10)/66)*129. Are -0.9 and d unequal?
True
Let h(m) = m - 2. Let z be h(7). Suppose 4 = 4*b + 2*u, 0 = -4*b - z*u + 4 + 6. Let i be 3/(-36)*-3 - b. Which is bigger: i or 0.02?
i
Suppose -39*q + 33*q - 54 = 0. Which is smaller: q or 1?
q
Let c(t) = 7*t**2 + 13*t - 3. Let f be c(-2). Let a be (12 + 0)*5/28. Which is smaller: f or a?
f
Suppose -2*m = -3*m. Suppose v - 2 = -m*v. Which is smaller: 1 or v?
1
Let d = 5041/6 - 1825/2. Let y = d + 71. Which is smaller: 0 or y?
y
Let b(r) = r**3 + 7*r**2 - 8*r - 1. Let h be b(-8). Let z be h/(-4 + (-44)/(-12)). Does z = 3?
True
Let y be 2 - -1 - (-37)/(-13). Let x(s) = 9*s + 9. Let k be x(-1). Which is bigger: y or k?
y
Let r be ((-62)/(-310))/(3/13605). Is r greater than or equal to 908?
False
Suppose 26 = 7*l - 2. Suppose -5*b + 16 = -y, -2*y = -7*y + l*b - 17. Are -1 and y unequal?
False
Let y be 296/22 - 34/(-187). Is y != 14?
True
Let t(o) = 3*o**2 - 2*o - 1. Let g be t(3). Which is smaller: 15 or g?
15
Let s(c) = c**2 - 5*c - 51. Let p be s(-5). Which is smaller: p or -3/311?
p
Let h = -31184/5 - -6213. Which is smaller: h or -23?
h
Let s be (-3 - 159/(-55))/((-4)/230). Is s less than or equal to 6?
False
Suppose -4*b = -14*b + 1710. Which is greater: b or 172?
172
Let x be (2/(-2)*6)/2. Let v = -3 - x. Let b(n) = n**2 + n - 8. Let z be b(v). Is z less than -7?
True
Let r be ((-704)/176)/(4/214). Is -216 >= r?
False
Let f(s) = -s**2 + 4*s + 6. Let w be f(5). Let i(t) = -29*t - 2. Let u be i(-1). Let c = -27 + u. Are c and w unequal?
True
Let h be (77/(-33))/((-7)/42). Which is greater: h or -14?
h
Suppose 7*p + 18*p = -7200. Is -289 < p?
True
Suppose d = w - 3*d - 24, 0 = -d. Is w < 18?
False
Let i = 976.19 - 976. Which is greater: 12/13 or i?
12/13
Let q(f) = f**3 - 7*f**2 + 6*f + 7. Let t be q(5). Let r = -19 - t. Let w be 0*(4 - (-85)/(-20)). Do r and w have the same value?
False
Let k(b) = -b**2 - 8*b + 15. Let h be k(12). Are h and -224 unequal?
True
Let v = 326 + -3472/11. Which is smaller: v or 9?
9
Let y = 40/87 - 16541/35409. Do y and -1 have different values?
True
Suppose m + 160 = -m + 3*u, -m + 4*u - 75 = 0. Let q be ((-7)/(-140))/((-1)/m). Let y = -22/5 + q. Which is bigger: y or -6?
y
Let z = 656 - 656. Which is greater: z or 11/8?
11/8
Let d = -1 - -6. Suppose -d*t + 62 = 4*m, 2*t - t - 28 = -2*m. Let y = m + -15. Which is bigger: y or -6/7?
-6/7
Suppose -3*j - 1 = -4, 0 = 2*x + 4*j - 70. Let d = x - 24. Which is bigger: d or 7?
d
Let d = 3917/2 - 2006. Which is bigger: -48 or d?
d
Suppose -19 = -4*w + 4*c - 135, w + c + 31 = 0. Let l = -26 - w. Suppose 0 = o + 5*u - 24, -l*o - 2*u = -0*o - 6. Is o >= 2/105?
False
Let l(r) = 