 r**2 - 8*r + 3. Let h be z(o). Let d be h/(-2) - 21/(-18). Which is bigger: 19 or d?
19
Let r be (4/2 - 4) + -3. Suppose 19 = 5*b + 24. Does b = r?
False
Suppose 0 = -n - 0*q + 5*q + 4, 0 = -n - 4*q - 5. Let g = -1199 - -1187. Which is smaller: n or g?
g
Let q be 5/(-40) - 783/4104. Let w be 6*(1 - 1/2). Let j = 4 - w. Is j greater than or equal to q?
True
Let p(s) = s - 6. Let t(i) = 6*i - 30. Let q(v) = 11*p(v) - 2*t(v). Suppose -m = m. Let r be q(m). Is r bigger than -7?
True
Let h = 30916/19520795 - 6/8813. Which is greater: -1 or h?
h
Let s be 1/((-6)/(-9)) + 6/(-12). Which is bigger: s or 1/448?
s
Let x = -3964221/85 - -46637. Let n = -22/17 - x. Is n at least 143?
False
Suppose -5*v = 3*y - 15, 3*v - 20 + 5 = -3*y. Let z = -10 - -14. Let f = y - z. Which is smaller: -2/5 or f?
-2/5
Let c = -0.111 - 78.889. Let s = c + 78.6. Which is bigger: s or 8?
8
Let y be (-1340)/1015 - (-8)/28. Which is bigger: y or -2?
y
Suppose 0*i + 16 = -4*i - 5*g, 2*i - 5*g - 22 = 0. Let t be (3 - -34) + 1 + i. Are t and 40 unequal?
True
Suppose -3*m - 2*q - 1 = 0, -3*q = -m + 17 + 1. Suppose 0 = -2*x - 3*h + m, 3*h = -x - 3*x - 3. Let g be x/(-28) + (-6)/24. Is g equal to 0?
False
Suppose 2*h - 3*j + 4 + 0 = 0, -3*h + 2*j - 6 = 0. Let s be (-12)/(-18)*(15/h)/(-5). Which is bigger: 2/11 or s?
s
Let v be (-6)/(-20) + (-16504)/80. Is v equal to 1/3?
False
Let y(l) = 2*l + 0 - l - 1 + 9. Let p be y(-6). Suppose -4*i + p*u + u = -7, 6 = i - 5*u. Does i = 1/22?
False
Let m be 2/(-10) + 68678/115. Is m less than 597?
False
Let p = 3817/129297 - -1/987. Is p >= 0?
True
Let d = -814 - -8137/10. Suppose 4*i - 3*r + r - 6 = 0, -2*i - 5*r - 27 = 0. Is i not equal to d?
True
Suppose 0 = -4*k + 4*y - 36, 4*k + 7 + 2 = -5*y. Let g(m) = -11*m**2 - 5*m**3 + 3*m**3 + 7*m + 41 - 34. Let a be g(k). Is 2/69 greater than or equal to a?
False
Let y = 210827/11 - 19153. Is y smaller than 13?
False
Let r = -4.1 - 2.2. Let w = r - -6.4. Are 6 and w equal?
False
Let i(v) = -2*v**3 - 16*v**2 + 20*v - 13. Let x be i(-9). Which is smaller: -32 or x?
-32
Let t be (-15402)/60 + (-25)/(-10). Which is greater: t or -255?
t
Let k(u) = 6*u - 57. Let l be k(4). Is 1 != l?
True
Let g = 474 + -473.93. Which is greater: -0.41 or g?
g
Let i(s) = -3*s**2 - 33*s + 111. Let j be i(3). Which is bigger: -13 or j?
-13
Suppose -5*w = -13 + 43. Is w at least 8?
False
Let u = -191 - -427. Suppose z = 5*z - u. Suppose 3*g - 4*g - z = 5*a, -g - 26 = 2*a. Is -10 < a?
False
Let l = -6529 - -306850/47. Is -1 less than or equal to l?
True
Let g = -150 + 162. Suppose 20*y = g*y. Are y and 12 non-equal?
True
Suppose 217 = 42*q + 175. Which is greater: -2/1509 or q?
q
Let g be (-1 - 1597/13) + 60/(-390). Which is smaller: -125 or g?
-125
Let i(s) = s**3 - 10*s**2 + 24*s - 1. Let p be i(6). Is -3/388 less than p?
False
Let z be (4 - 349/35) + 6. Does z = 0?
False
Let k(m) = -m**3 + 8*m**2 + 17*m + 20. Let a be k(10). Which is greater: a or -12?
a
Let m be 38/105 + (-24)/80*2. Is m greater than 1?
False
Let b be (-138)/(-17) - (2 - (-32)/(-17)). Let k be 32/(-3)*(-6)/4. Let z be (b/(-10))/(k/120). Is z equal to -3?
False
Let r be (3/6)/(1/(-128)). Let j be (-6 - -3 - 39) + (-13 - -10). Let o = r - j. Is o bigger than -20?
True
Let x(d) = -3*d**2 + 38*d - 33. Let i be x(15). Which is greater: -136 or i?
-136
Suppose 4*r + 0*v = -5*v + 10, 5*r + 6 = 3*v. Let q = 2/83 + -755/332. Let h = -11/12 - q. Is r at least h?
False
Suppose 0 = -2*b + 10, 0 = -u + 5*b - 276 - 91. Which is bigger: u or -344?
u
Let y(o) = -5*o - 54. Let i be y(-11). Which is smaller: 18/181 or i?
18/181
Let d = 606 + -1034. Which is smaller: -429 or d?
-429
Let u = 23.61 - 23.6. Are u and 14 nonequal?
True
Let g(y) = 3*y**2 + y - 8. Let q be g(5). Suppose -7*i = -4*i + q. Let l = -23 - i. Is l <= -2?
False
Let r be 3*(1 + (-62)/(-6) + 3). Suppose -r = -c - 38. Do c and 15 have the same value?
False
Suppose 47*s + 2 = -45. Let l = -0.04 + -0.36. Let p = 0.3 + l. Which is bigger: p or s?
p
Suppose 2*l - 422 + 18 = 0. Are 205 and l non-equal?
True
Let z = 49 + -35. Let d = z + -37. Is -22 less than d?
False
Let s be (-2)/(-18) - 21/20601. Which is smaller: s or -1?
-1
Let i = 22 + -11. Let v = 21 - 11. Let f = v - i. Are f and -1 unequal?
False
Let s(b) = 5*b**2 + 2*b + 3. Let r be s(-1). Suppose -6 - r = 4*p. Which is smaller: 10 or p?
p
Let k be (-1)/((-6)/(-4)*-2). Let u be 4/14 + (-94)/(-14). Is u greater than or equal to k?
True
Let h(z) = -z**3 - 4*z**2 + 2*z - 4. Let g be h(-4). Suppose 36 = 491*y - 494*y. Is y >= g?
True
Let y = -0.47 + 0.47. Let j = 1 + 1. Which is smaller: j or y?
y
Let v = -298 - -2678/9. Suppose 0 = -3*j - 3*f + 5*f - 5, -f = -4*j. Let h be j*0/(2 - 0). Which is smaller: v or h?
v
Let z = -0.04 + -2.96. Let q = 1.59 + 82.41. Let p = -85 + q. Which is smaller: p or z?
z
Let s(i) = 4*i**2 - 21*i - 17. Let b be s(6). Which is smaller: 15/23 or b?
15/23
Let l = -75 + -66. Let c = l - -141.6. Which is bigger: 1/11 or c?
c
Let r = -0.447 - -0.227. Which is smaller: 3 or r?
r
Suppose 0 = y + 3*t - 39, 4*t - 2*t = -3*y + 82. Let q = 18 - y. Let g be 2 - q/(-4)*-2. Which is smaller: g or 9/2?
9/2
Let n(s) = s**2 - 16*s + 16. Let x be n(11). Is x less than -42?
False
Let m be 3*(1/3 + (-32)/24). Let b be (-90)/(-30) + 7*1/m. Is 5 smaller than b?
False
Let x(u) be the third derivative of u**6/120 - u**5/5 + u**3/3 + 10*u**2. Let s be x(12). Is s >= 1?
True
Let h be (-14)/(-7)*(-4)/8. Which is smaller: 0.06 or h?
h
Suppose -3*c - 5*f - 291 = -5*c, -3*c - f = -445. Which is greater: c or 149?
149
Suppose -4*i = -314 - 26. Let m = 66 - i. Which is smaller: m or 0?
m
Let s(y) = 51*y - 3. Let v be s(-1). Is v != 0?
True
Suppose 4*a + 8*k = 4*k + 988, 3*k + 509 = 2*a. Is a less than 250?
False
Let p = -9092/65 + 704/5. Let n = -4 - -6. Which is smaller: p or n?
p
Suppose 0 = 2*j - 4. Let m(c) = -4*c**3 + c**2 - c - 1. Let p be m(-1). Suppose j*i = -3*g - 2 - p, 3*g = 2*i + 13. Is g > 2?
False
Let q be -18*2392/(-8608) - (6 + -1). Which is bigger: q or -1?
q
Let x = -2 + 1. Let r = -67 + 62. Let f be 8/18 - 2/(-10)*r. Do x and f have the same value?
False
Let b(a) = 13*a - 428. Let r be b(33). Is 5 greater than r?
True
Suppose c - 2*q - 2 = -q, -4 = -c + 2*q. Suppose c*g - g = -2*g. Let l be (1/(-5))/(-7*1). Is l bigger than g?
True
Let u = 3 - 1. Let y = -4 + u. Which is smaller: -11/4 or y?
-11/4
Let b = 62 - 63.15. Let x = -0.97 - b. Which is smaller: x or 0.3?
x
Suppose -16*l = -45 - 3. Which is greater: l or 14?
14
Suppose 0 = 2*y - y - 5. Suppose h + y*h - 36 = 0. Let s be (-27)/h*(-2)/12. Is 1 bigger than s?
True
Let p = -2.98 - 0.02. Let s = -370 + 369. Which is smaller: p or s?
p
Let d = -14.05 + 14. Let v = d + 3.05. Let q = v + -3.07. Is q at most -1?
False
Let o(w) = w**3 + 41*w**2 + 15*w + 49. Let j be o(-41). Which is smaller: j or -565?
j
Let g = 49 + -47. Suppose i - 42 = -g*i. Which is smaller: 15 or i?
i
Suppose 12*k - 15*k - 39 = 4*y, -2*y + 6 = 0. Is -330/19 equal to k?
False
Let g be 17/(-51) + 4466/13362. Let q = -69033/4454 - g. Does -17 = q?
False
Let h(k) = k**3 + 4*k**2 - 7*k - 3. Let l be h(-5). Let q(x) = x**3 - 7*x**2 + 2*x - 3. Let y be q(l). Suppose 30*i = 122 + 178. Does y = i?
False
Let f be (-5)/(5/(-76)) + 0/(-12). Is f < 76?
False
Suppose 0 = 5*j - 2*j - 18. Let s be (4/12)/(1/j). Suppose -s = 3*w - 5. Are 2/5 and w equal?
False
Let b = 0.2 - 0.1. Suppose r = -4, -2*w + w + 5*r + 55 = 0. Which is bigger: w or b?
w
Suppose 358*b = 359*b + 1. Are -1.2 and b non-equal?
True
Let v be (-153)/6 - (-3)/2. Let w be 6/(2 + 57/v). Let t = w + 15. Is t != -1?
False
Let l = -93 - -57. Let f be 3*(-3)/(l/(-176)). Do -42 and f have different values?
True
Let s = 693 + -693. Are s and 3/178 nonequal?
True
Let p(u) = 4*u**2 - 2*u - 2 + 4*u**3 - 4 - 3*u**3. Let y be p(-4). Let d(g) = -g**2 + 5*g - 5. Let m be d(y). Are 3/8 and m unequal?
True
Let x = -666 - -666. Which is smaller: -71 or x?
-71
Let d = -76 + 72. Let j be 1 + (d - 395/(-135)). Which is smaller: j or -1?
-1
Let g = 3.2 + -1. Let y = 0.8 + g. Suppose -111*c + 6 = -105*c. Is c less than or equal to y?
True
Suppose 0 = -3*w - 12, -4*v = v + 2*w + 8. Suppose m = -v*m + 9. Is 9 at least as big as m?
True
Suppose -511 = -9*y + 461. Let v = y - 148. Is v greate