= 3*z + z - 16, z - 12 = -2*q. Let m be 5727/1771 + 3/(-33). Is m less than or equal to q?
True
Let y(v) = -v**2 - 2*v + 2. Let p be y(3). Suppose -50 = 4*n + 2*q, -2*q = 5*n - 4*q + 49. Which is smaller: n or p?
p
Let f = -353 + 435. Is 406/5 at most as big as f?
True
Suppose 5 = -14*a - 9. Is a greater than or equal to 2?
False
Let v(p) = -2*p - 11 + 10 + 7*p**2 - p - p**2. Let b be v(2). Is 15 at least as big as b?
False
Let j be 0 + (9 - 51441/5707). Which is smaller: j or 0?
j
Let q(a) = a**3 - 10*a - 170. Let b be q(6). Suppose o + 9 = 2*k, k + 22 = -2*o + 3*k. Is o at least as big as b?
True
Let o = 36 - 33. Suppose 24 = -3*g - o*g. Which is bigger: g or -19/5?
-19/5
Let s be (-1 - 1) + 2 + 1. Let m be (0 - -1)*6/1932*7. Is m less than or equal to s?
True
Let p(v) = -67*v + 277. Let j be p(6). Which is smaller: -126 or j?
-126
Let m(o) = -2*o**2 + 30*o + 93. Let z(k) = 3*k**2 - 45*k - 140. Let d(t) = 8*m(t) + 5*z(t). Let v be d(19). Do v and -1 have the same value?
False
Let m = 43.9 + -256.9. Which is smaller: m or -2/7?
m
Suppose 2*g + 4*q + 12 = 2*q, 3*g - 3*q = 6. Let d be (-24)/(-28)*-7*g/(-2). Let r = -2.1 + 2. Is d equal to r?
False
Let g = -0.065 + 0.29. Let x = g + 0.075. Let s = -0.03 - -0.33. Is s greater than or equal to x?
True
Let k = -2 + -2. Let r = k - -11. Suppose -3*u - 44 = 5*d, -4*d - 41 + r = 3*u. Is d > -11?
True
Suppose -n + 58 = 3*n - 2*b, -n = b - 16. Suppose -n = 4*v - 7*v. Let i be 0*3*v/60. Do i and 2/41 have the same value?
False
Let x = -606 + 610. Which is greater: 2 or x?
x
Suppose q = -4*t + 101, 2*q = 4*t + 56 - 142. Let n = t - 24. Does -6/25 = n?
False
Let u = 1752 + -21037/12. Let b be (-1)/((-28)/(-64)) + 2/7. Is b at least u?
False
Suppose -15*j + 14*j = -2. Suppose 1 = j*w - w. Which is smaller: 16/11 or w?
w
Let s = 15 - -17. Let h be 0 + s/22 - 1. Suppose -33*b = 8*b. Which is smaller: h or b?
b
Let z(o) = o**3 + 24*o**2 + 48*o - 10. Let i be z(-22). Which is bigger: i or -393/4?
i
Let p = 0.9 + 25.1. Let z = 28 - p. Which is smaller: z or -1/16?
-1/16
Let b = -422 + 422. Are b and -1/861 nonequal?
True
Let q = -47 - -88. Let n = -420 + 420. Is n > q?
False
Let g = -21 + 23. Suppose -g*q = 2*q - 8. Are 2 and q nonequal?
False
Let x(w) = -w**2 - 6*w - 7. Let t be x(-2). Let l be 2/t - (-9 - (1 - 2)). Is l at most as big as 8?
False
Let x = -75/26 + 479/130. Let y = 17 + -52/3. Which is bigger: y or x?
x
Let z = -2969/26019 + 7/59. Which is bigger: z or 1?
1
Let g = 1 + -0.8. Let p = g - -3.8. Let b = -3 + p. Are b and 1 equal?
True
Let w be -37*(-2)/(-90)*-5. Is w bigger than 5?
False
Suppose -4*r = 22 - 26. Is 3/137 smaller than r?
True
Let a = 54 + -68. Let f = 12 + a. Let w be 17/(-7)*-1 + -2. Are f and w equal?
False
Let g = 2/3247 + 19324/256513. Are 1 and g unequal?
True
Let d(v) = v**3 - 14*v**2 + 12*v + 13. Suppose 4*p = -0*p. Suppose p = -5*f + f + 52. Let w be d(f). Which is smaller: w or -1/6?
-1/6
Let l = 1 - 28. Let i = l - -161/6. Does 1 = i?
False
Suppose -3*r - 205 + 141 = 4*c, 44 = -4*c + 2*r. Let q(h) = h**2 - h - 1. Let i be q(2). Let g be i/(2*(-2)/52). Are g and c equal?
True
Suppose 0 = 8*v - 7*v + 13. Let c = v - -11. Let y be (2 + c - 10)/1. Is -10 not equal to y?
False
Let w(g) = -g**2 + 8*g - 11. Let n be w(0). Suppose -4*l - 22 = 14. Which is greater: l or n?
l
Let a(r) = -3*r**2 - 5*r - 7. Let p be a(-2). Does -1.2 = p?
False
Let x be 12/9*24/128. Which is smaller: x or 128?
x
Let f be (-4)/(-10) - (-23)/5. Suppose f*v + 5*s - 75 = 0, 0*s = 2*s + 10. Which is greater: 18 or v?
v
Suppose 0*r = 2*r + 22. Suppose 3*g + 45 = -2*c - c, 0 = -4*c - 2*g - 62. Let x = c - r. Is -5 < x?
False
Let w = -28.07 - -28. Suppose -h + 6 = -0*h. Let u = 17/3 - h. Is u != w?
True
Let r = -22 + 18. Let o be (4 - 8)/r*-1. Which is bigger: -4 or o?
o
Let v = 1 + 1. Suppose 0*r = -2*r + v*c + 18, 0 = -4*r - 5*c. Let i = r - 6. Which is bigger: -9/5 or i?
i
Let b be (-22)/(-5)*(-1)/(-112)*-86. Let i = -24/7 - b. Which is smaller: 0 or i?
i
Let p(u) = -4*u**2 + 25*u - 38. Let c be p(3). Let x = 1937/38 + -51. Is x equal to c?
False
Let u = 13402 + -911315/68. Is 0 equal to u?
False
Let o(l) = -l - 5*l + 4*l - 3*l - 5. Let b be o(-2). Let u = 2 - b. Is u greater than -3?
False
Let c(d) = -d**3 - 11*d**2 - 28*d + 28. Let x be c(-8). Is 58 greater than x?
False
Suppose 8 - 13 = -5*n. Let a = -87201/28 - -3114. Let x = 1/4 - a. Is n >= x?
True
Let w be (20/22 - 1)/(-2 + 1). Let s(i) be the third derivative of i**4/24 + i**3/2 - i**2. Let c be s(-3). Which is bigger: w or c?
w
Suppose -o = -2*f + 50, 2*f - 50 = -0*o - 2*o. Let a be (1 - 0)/(5/f). Let j be (-10)/(-325) + 1/a. Which is greater: j or 0?
j
Let k be (-4)/(-6) - 4/(-3). Suppose -f + 19 = 3*c - k*f, 36 = 4*c - 4*f. Let x = -1662 - -1664. Which is smaller: x or c?
x
Let u = -1 + 7. Suppose 0*z = u*z - 30. Suppose z*f = -8 + 3. Is f <= -2/19?
True
Let o(l) = -7*l - 10. Let q(u) = u - 1. Let i(m) = -o(m) + 2*q(m). Let r be i(-4). Is r smaller than -27?
True
Let v = 144 - 145.43. Let p = 1.5 + v. Let n = 0.16 - p. Are 0.1 and n nonequal?
True
Let c = -0.35 + 0.05. Let y = c - -0.1. Let b = 3 + -1. Which is smaller: y or b?
y
Let h be 116/91 + 2/13. Let t = -657 + 658. Is h smaller than t?
False
Let m = -36 + 36. Suppose -3*s + 10 - 26 = -5*r, m = -2*s + 6. Is -3 at most r?
True
Let j(i) = i**2 - 78*i + 366. Let h be j(73). Let l = -1.1 + 1. Are l and h equal?
False
Let u = -32489/90 + 361. Let k = 101/990 - u. Suppose 2*r + 0 = -2. Which is smaller: r or k?
r
Let s(p) = -2*p + 3. Let h be s(4). Suppose 2*d + 6 = 0, 2*d + 3 = 3*j + d. Suppose b + j = -5. Is h bigger than b?
False
Let w be 5/25 - (378/(-10) + -1). Which is smaller: 38 or w?
38
Let h(n) = -n**3 - 10*n**2 + 12*n + 17. Let v be h(-11). Suppose a = -4 + v. Which is greater: a or 7/6?
a
Let l be (-1)/((-6)/4)*3/(-2). Let w be ((-267)/(-261) + l)/3*3. Do -1 and w have different values?
True
Let j be ((-2)/(-1178))/((-15)/(-90)). Which is smaller: j or 1?
j
Let c be ((-128)/(-6))/(4/18). Which is smaller: c or 97?
c
Let s = 540 + -1627/3. Which is smaller: 9/4 or s?
s
Let f be (1020/7)/5 - 3/21. Suppose 0 = 5*x - f - 6. Let y(v) = 6*v. Let o be y(1). Which is smaller: x or o?
o
Let p be (-22524)/(-72) - (44/24 - 2). Which is smaller: 1 or p?
1
Let t be 5/2*550/(-125). Let x be 2/1 + (t - -23). Does x = 14?
True
Let l(p) = 48*p - 14. Let m be l(8). Let c be (25/m)/((-2)/90) - -3. Are c and 1 nonequal?
True
Let c be 48440/6076 + -7 + (2 - 3). Is -1 less than or equal to c?
True
Suppose 0*h + 3*h = 9. Suppose -u + w = -2*u + 2, 3*u - h*w = 30. Are u and 1 unequal?
True
Let x(t) = t**3 - 12*t**2 - 39*t + 72. Let d be x(14). Is d <= -78?
True
Suppose -18 = -2*s + 6. Let h be 8/(-3) + (-16)/(-24) - 2. Let k be h + (s - (-6)/(-2)). Is 6 at least k?
True
Let o be ((-30)/20)/((-4)/(8/(-6))). Let z = 2230 + -2219.77. Let i = z - 0.23. Is i at least as big as o?
True
Let r = -475 + 488. Let x be 0*(1*-2)/(-2). Which is greater: x or r?
r
Let q be ((-1)/10*-4)/((-60)/10). Is q > 14?
False
Let o = -30 + 32. Let b be 1*o*3/6. Do b and -1/20 have the same value?
False
Suppose 0 = 4*q + 3*y + 60, -q + 32 = -2*q - 5*y. Which is bigger: q or -107/8?
q
Let m = -0.51 + 0.28. Let o = 0.119 + -0.249. Let t = m - o. Is t < 19?
True
Let f = -15.91 - -16. Let u = 44.8 - 45. Is f >= u?
True
Let n(v) = 7*v**2 + 3*v - 4. Let q(x) = x**2 + x. Let d(g) = n(g) - 6*q(g). Let o be d(5). Let i(r) = -r**2 + 5*r + 4. Let c be i(o). Is c at most as big as -2?
True
Let h(j) = -2*j - 6. Let u be h(-4). Suppose -4*p - 3 = 3*w, 5*p = -w - u*w - 3. Let x = 0.0477 + -2.0477. Does p = x?
False
Let r be (-60)/(-8)*(-1)/(-5). Is -2 != r?
True
Suppose -5*d - 8 = 22. Let i(r) = -33*r + 4. Let j be i(d). Let g be -5*(j/70 + -3). Which is smaller: g or 1?
g
Let w = -12 + 16. Suppose 2*l + 2*l = 0. Suppose l = -2*m - w*m. Which is smaller: 4/11 or m?
m
Let b = -6.8 + -27.2. Let l = b - -33.975. Are -1 and l equal?
False
Let g be (-1)/((-7)/(-2996)) - 2. Is -432 < g?
True
Let x = -341 + 440. Are 100 and x nonequal?
True
Let y = 3 - 1. Let h be (-8)/(-384)*12 + 856/416. Which is greater: h or y?
h
Suppose 20 = 3*a + 17. Let f be 1*(-12219)/(-27) + 0. Let i = -453 + f. Which is greater: a or i?
a
Let n be ((-15)/2)/(1/(-2 - -4)). Le