*u**2 - 46*u + 551. Let f be y(8). Is 2231 greater than f?
False
Suppose -3*n - 77 = -2*j, 0 = -9*j + 5*j + 4*n + 144. Let z = j + -34. Suppose -3*v + 4*k = 8, -2*v + 4*k = 2*v + 8. Do v and z have the same value?
False
Let p be (2/(-3))/((-8620)/(-25830)) + 2. Let z = p + 11633/1724. Is -1/2 > z?
False
Let g = 11.03 + -0.03. Let r = 64 - 81. Let z = r - -19. Which is smaller: z or g?
z
Let m = 8347 - 1766. Which is smaller: m or -1?
-1
Suppose 4*v + 0*v - 4 = 5*a, -4*v = 4*a - 4. Let q = -398 - -399.38. Let g = q - -4.62. Which is bigger: g or a?
g
Let v(c) = -c**3 + 10*c**2 + 14*c - 21. Let r be v(12). Suppose -97*b + 100*b + 417 = 0. Which is smaller: r or b?
r
Let i = 43 - 22. Suppose j + 19 = -i. Let f be 6 - (-256)/j - (-312)/805. Which is bigger: 1 or f?
1
Let r be ((-114)/2 - 21) + 13. Which is greater: r or -0.8?
-0.8
Let n = -177 - -182. Suppose -n*x - 2*i = 3*i + 105, -4*x = 5*i + 87. Which is greater: x or -22?
x
Let g be 2*(14 + -11 + -2)/((-623)/(-11)). Is g smaller than 1?
True
Let a be ((-10)/(-4))/((-1)/(-2)). Let y(s) = 2*s - 49. Let p(w) = -10. Let c(g) = -4*p(g) + y(g). Let b be c(a). Are b and 31 nonequal?
True
Let h = 1573393828662/355 - 4432092047. Let a = h + -3245. Are 0 and a equal?
False
Let w = 2.6 + -2.557. Let l = -0.843 + w. Let u = -2 - -2.1. Which is bigger: u or l?
u
Let a(q) = 57*q + 5458. Let g be a(-94). Which is smaller: g or 47?
47
Let r = 14 - 25. Suppose 24 = -6225*j + 6221*j. Is j >= r?
True
Let l = 84596872 - 818897719113/9680. Let v = 2/605 - l. Let f be 0/(1 - (-1 + 4)). Does f = v?
False
Let z be (180/675)/((-22)/27). Let a = z - 1927/330. Suppose -11 + 1 = 2*l. Which is bigger: l or a?
l
Let c be 2 - (-7 + (-17 - 1)). Let n be (-300)/16*(-360)/c. Does n = 250?
True
Let p(a) = -a**3 + 23*a**2 + 30*a - 69. Let y be p(24). Does y = 907/12?
False
Let v = -0.115837 - 5.884163. Let k be -2 - (-12)/5 - 0. Is v bigger than k?
False
Let x = 5 + -9. Let y = 3 + x. Let g be 13/8 + -2 + ((-3345)/(-120) - 24). Which is bigger: g or y?
g
Let l be (3/27)/(132/(-657)). Let c be (-8)/(-264) + 6/(-9). Let n = c - l. Which is smaller: 0 or n?
n
Let g = 392 + -248. Let y = g - 142. Which is bigger: y or -70/9?
y
Let u be 8793/(-6) + (-3)/6 - (-8 - -8). Is -1468 greater than or equal to u?
False
Suppose 0 = -5*o - 4*t + 11 - 0, -3*t = -4*o + 15. Suppose -d + o*d = 4. Let l(b) = -147*b + 1324. Let n be l(9). Is d at least as big as n?
True
Let o = 254.87 - 272.6. Let l = -0.27 + o. Let z = 0.5 - -1.5. Is l != z?
True
Let a = 6.859 - 34.859. Is a != 14.9?
True
Let x(z) = -z**3 + 4*z**2 - 4*z + 3. Let k be x(2). Suppose 350 = -k*r - 2*r. Let a be ((-392)/r)/((2/5)/(-2)). Which is smaller: -30 or a?
-30
Let r = 8.808 + -7.808. Which is smaller: -1176 or r?
-1176
Let c = 1.9031 + -1.8031. Is 2262 greater than c?
True
Let x = 38 + -66. Let f be (16/48)/((-2)/x). Let v = f - 5. Is v >= -8/7?
True
Let p = -29 + 21. Let t = p + 17. Let v be t/8 + 0*(1 + -2). Is v greater than 0?
True
Suppose -4*i + 2*i = -32. Suppose m - 12 = -2*d, -6*m + 30 = 5*d - m. Let g be (d - (-10)/(-4))*(-3 - -7). Are i and g equal?
False
Suppose -d - 8 = -5*d. Let r be (d/(-2))/(1/(-5)). Suppose 0 = -17*p - 274339 + 274458. Which is bigger: r or p?
p
Suppose 1135*t - 1530 = 1120*t. Let o be (1 - 53)*(-12)/(-16). Let l be ((-4)/o*5)/((-68)/t). Is -2 >= l?
False
Let a(f) = 3*f**2 - 5*f + 13. Let y be a(5). Suppose -67*l - 436 = -y*l. Is -109 equal to l?
True
Let a = -3764 - -3386. Which is greater: a or -376?
-376
Let f = 249 + -198. Let b = 37 + 14. Let u = f - b. Is u smaller than -2/19?
False
Let l be ((-4)/5)/((-6528)/237120). Which is greater: l or 30?
30
Suppose -6 = 20*d - 17*d. Let l be (4/(-7))/((-4)/28). Suppose 13 = -l*b - 3. Are d and b nonequal?
True
Let q = 613/5 - 4951/35. Let s(v) = -v - 4. Let l be s(14). Which is greater: l or q?
l
Let r(x) be the second derivative of 5*x**3/2 + 19*x**2 - 28*x - 1. Let z be r(-3). Let i be (2 + -1)/(1/(-5)). Do z and i have the same value?
False
Let y = 134 - 126. Suppose y*j + 95 = -161. Suppose -i = -4*u + 21, -81 = 2*i + 5*u - 0*u. Which is smaller: j or i?
i
Let m = 1713 + -1195. Let c be 705/300*10*(0 - -1 - -21). Is c != m?
True
Let c(t) = -t**2 - 2*t + 2. Let r(u) = u**2 - u. Let w(n) = -c(n) + 3*r(n). Let h be w(-1). Let a be (-5)/2*8/10. Do h and a have different values?
True
Let t(c) = c**3 + 2*c**2 + 15*c + 19. Let z be t(-6). Let s be (516/z)/((-2)/5). Do 5 and s have the same value?
False
Let d be (-22)/(-924)*57078*(1 - (-44)/(-42)). Suppose -n - 4*l - 57 = 0, 0 = 3*n + 5*l + 203 - 18. Which is smaller: d or n?
n
Let n = -12 - -7. Let y be ((44/(-75))/(-11))/((-14)/(-21)). Which is smaller: n or y?
n
Let n(a) = 0 + 5*a + 2*a + 10 - 6*a. Let c = -31 + 24. Let u be n(c). Which is greater: u or 8/3?
u
Let o = -575 + 783. Which is greater: o or 207?
o
Let p = -0.07104 - -5.07104. Are p and -0.1241 non-equal?
True
Let c = -81 + 136. Suppose -5*l = 5*l - 20. Suppose -2*o - 4*o = -l*o. Which is smaller: o or c?
o
Let c = 40 + -18. Suppose -c + 5 = -4*b - 5*x, x + 2 = b. Suppose -10*d + 7*d - b = 0. Which is smaller: d or 2?
d
Suppose -3*d = k - 8, -d + 3*k = -2 + 16. Suppose -3*f - p = -5*p + 17, 5*p = 25. Let x be d + (4 + -4 - f). Is -2 smaller than x?
True
Let v = -7.406 + 6.406. Which is smaller: 0.3988 or v?
v
Let m(v) = 2*v**2 - 5 - 5*v**2 + 21. Let z be m(-6). Let s = z + 96. Which is smaller: s or 6?
s
Let u = 172 - 79. Let x = -94.183 - -0.183. Let k = x + u. Which is greater: 3/5 or k?
3/5
Let i(f) = -f**2 + 6*f + 1. Let h be i(7). Let t be h/(-30) - (-6)/70. Which is bigger: 18/5 or t?
18/5
Let v be (-3)/(-3)*(-28 - -3). Suppose -5*j = 2*o + 17, 0*o - 5*o = -7*j - 55. Is j greater than or equal to v?
True
Let y = 2825 - 2826. Which is smaller: -10/3837 or y?
y
Suppose -10 - 38 = -4*t. Suppose 8*j + 4 = 4*j. Let m be (-1)/(-1)*(-2 - j) + 13. Is t <= m?
True
Suppose -26*o + 3*i = -22*o - 78, 5*i - 8 = -o. Is -17 greater than or equal to o?
False
Suppose -317774*s = -317757*s - 89454. Are 5262 and s nonequal?
False
Suppose 13*s = -5*z - 477, -488 = 5*z + 18*s - 16*s. Which is smaller: z or -84?
z
Let k = 5/2181 - -97955/82878. Let u = 11747/2964 - -125/78. Let y = k + u. Are 8 and y non-equal?
True
Suppose -28*c = -40*c - 10932. Let n = c - -901. Is -11 greater than or equal to n?
False
Let b = -23826 + 47653/2. Is b less than -0.05125?
False
Let l(h) = -2*h**3 - 13*h**2 + 2*h + 56. Let c be l(-6). Let i = 262289/37110 - 3/2474. Is c smaller than i?
False
Let o be (-3)/15*-2*(16 - 238199/(-26)). Which is smaller: o or 3670?
3670
Let z(b) = -3*b**2 - 3*b + 4. Suppose 5*h + 12 = -3. Let d be z(h). Let f(q) = q**2 - 106*q + 586. Let c be f(6). Is d <= c?
True
Let d(g) = -19*g + 400. Let y be d(-8). Which is greater: 551 or y?
y
Let a = 4254 + -4255. Is a equal to -6/211?
False
Let x be 1 + 0 - 12/16. Let n = 4742 + -4826. Is x smaller than n?
False
Suppose -14749 - 2351 = -5*f. Let x be 1/(-3) + (-1779)/f - -1. Let o = x - 1/76. Which is greater: o or 0?
o
Let i(c) = c**3 - 7*c**2 - 10*c + 17. Let n(q) = -8*q + 15. Let k be n(5). Let j = -17 - k. Let x be i(j). Which is smaller: 40 or x?
x
Let w(b) = b**3 + 31*b**2 - 34*b - 89. Let d be w(-32). Is -386/15 less than or equal to d?
True
Suppose 17 = 3*p + 8. Suppose p*i + 21 = -f, -i - 4*f = -2*i - 20. Let t be -15 + -1 - (3 + i). Which is bigger: t or -7?
-7
Suppose 0 = -y + 251 - 261. Let j be (y/25)/(0 - (-4)/(-860)). Is j less than or equal to 84?
False
Let l be 0/17 + (2 - (-6)/3). Suppose 60 = 8*g + 4. Which is smaller: g or l?
l
Let m be 132/8*(-24)/(-9). Let k be ((-42)/18)/(m/231). Let j = -5 - 8. Which is smaller: k or j?
j
Let u(f) = -79*f + 470. Let m be u(6). Let d(s) = -4*s**2 + s. Let z be d(2). Let y be 0 + (3 - z/m). Which is smaller: 5 or y?
y
Let d(o) = o**2 - 10*o + 27. Let n be d(10). Let r be (-51)/(-2) - ((-52)/(-8) + -7). Is r equal to n?
False
Let m = 379 - 213. Let x be 976/6 + (-1)/21*-49. Which is greater: m or x?
m
Let f(m) = 2*m**2 - 17*m + 27. Let v be f(2). Is v at least -2/21?
True
Let z be 497/(-9) - (-14)/63. Let v = -56 - z. Which is smaller: 2/69 or v?
v
Let q(y) = y**3 + 12*y**2 + 9*y + 2. Let s be q(-11). Let i = -16 - s. Let u be (-1 - 12/(-10))/(84/i). Which is greater: -1 or u?
u
Let o = 158.736 