1, -4*g - 3 = 5*u + 21. Which is smaller: d or u?
u
Let q be (-39)/(-9) + 2/(-6). Let i be q/(-10) - (-920)/50. Suppose 2*t = 4*o - 14 - 4, o + i = -4*t. Does -1 = o?
False
Let p be (-4352)/884 - (-1 + -4). Let m be 2*3/(-4)*2. Let j(w) = -w**2 - 2*w + 3. Let h be j(m). Which is greater: p or h?
p
Suppose -v - 5*p + 62 = 0, 3*v - p = -0*v + 122. Are v and 54 nonequal?
True
Let l = -6.1 + 4.21. Let z = l - 0.41. Let b be 16/(-28) + 12/42. Which is smaller: b or z?
z
Let a(z) = -7*z**3 - 14*z**2 - 8*z - 15. Let y(t) = -8*t**3 - 14*t**2 - 7*t - 15. Let s(k) = 7*a(k) - 6*y(k). Let j be s(-13). Is -7 at most j?
True
Let s = 5 + -7. Let a = -11.8122 - 0.1278. Let q = a + 12. Which is smaller: q or s?
s
Let s = -0.24 - -0.375. Let k = s - 0.035. Let w = -379/5 + 76. Which is smaller: w or k?
k
Let w(d) = -2*d**3 + 5*d**2 - 2*d - 4. Let j be w(2). Is j <= 10?
True
Let z = -131 - -192. Which is smaller: z or 0?
0
Let p = -5.35 + 5. Let f = p - -1.35. Which is smaller: f or 3?
f
Suppose 3*c + 3*q = 12, -2*q = 2*c + q - 10. Let s(p) be the third derivative of -p**4/3 + 7*p**3/6 + 2*p**2. Let z be s(c). Do z and -8 have the same value?
False
Let d = -281/792 + -2/99. Let s be (-39)/4 + (-10)/40. Let x be (-1)/2 - s/20. Is d greater than or equal to x?
False
Let r = 149 - 211. Let c be ((-14)/6)/(r/3). Let a = -137/434 - c. Is -2 bigger than a?
False
Let s = 8610.941 + -8616. Let p = -0.059 - s. Which is smaller: -1/2 or p?
-1/2
Let c(a) = -a**3 - 4*a**2 - 3*a - 12. Let g be c(-4). Is -2 bigger than g?
False
Let x = 3.9 + 0.1. Let j = -14287 + 71441/5. Are x and j equal?
False
Let d(n) = n**2 + 6*n - 1. Let b be d(-6). Let p(v) = v**3 + 4*v + 7. Let z be p(6). Let h = z + -5189/21. Are b and h unequal?
True
Let d be (0/(3 - 14))/1. Let x = -3/175 - -562/22575. Is d less than or equal to x?
True
Let q = -265 + 5301/20. Suppose -14 = -2*v + 3*n, 0 = -v + 4*n + 7 + 5. Suppose 2*k + 2*k - v = 0. Is q <= k?
True
Let h(j) be the third derivative of -j**6/120 + j**5/6 + 5*j**4/12 + 19*j**3/6 - 34*j**2. Let n be h(11). Which is bigger: 10 or n?
10
Let f = 16650 + -130973/8. Let d = f + -278. Which is greater: 1 or d?
1
Let y(o) = -o**2 + 3*o + 27. Let m be y(-4). Which is smaller: m or 2?
m
Let d be 3 + (-8)/(-4) + -2. Let y be (d - 4) + -1 + 1. Let t be (y/(-6))/(2/(-4)). Is 0 > t?
True
Suppose -13 = 4*w + n, -5*w - 5*n - 30 = 5. Is 7 < w?
False
Suppose r = -3*z - 303, -20*r = -17*r - 4*z + 896. Do -301 and r have the same value?
False
Let b = -8 - 4. Let o = b - -9. Let y be ((-3)/(-9))/(4/(-24)). Is o greater than or equal to y?
False
Suppose -5*a = 3*t + 2*t - 105, -t = 2*a - 26. Suppose 19 = -3*o + t. Is o <= 1/76?
True
Suppose 66 = 2*f + 4*f. Suppose 9*i = f*i. Let q be ((-6)/(-10))/((-15)/(-10)). Is q greater than i?
True
Let g = -2 - 0. Suppose -s + 2 + 3 = 4. Which is smaller: g or s?
g
Suppose 3*g + 5*h - 45 = 0, -g = 2*g + h - 33. Let w(c) be the second derivative of -c**5/20 + c**4/3 + c**3/2 - 3*c**2/2 + 2*c. Let k be w(4). Is g > k?
True
Suppose -3*s + 9 = -5*x, 2*s - 2 = 3*x + 4. Let h = 2245 + -195317/87. Is x at most h?
False
Let i = 309 - 499. Let r = i + 563/3. Is r bigger than 1?
False
Let h be 2 + (-18693)/33 + -4. Let v be ((-1138)/(-4))/(2/(-4)). Let p = v - h. Are p and 0 non-equal?
True
Suppose -4*c = 4*a + 64, 0 = 7*c - 3*c + a + 58. Is -10 > c?
True
Let q(g) = 19*g**2 - 2*g - 2. Let p be q(-1). Let r = 26 - p. Let o(l) = l**3 - l**2 - 4*l - 1. Let i be o(3). Do r and i have different values?
True
Let l = 380 - 369. Is 1/3 at least l?
False
Let j = 3.9 + 15.1. Let q = j - 12. Let g = -6 + q. Is g bigger than -1?
True
Let a be 5/(-2 + 1) + (-370)/130. Is a at most -8?
False
Let t = 93263/130 - 1435/2. Which is smaller: t or -2?
-2
Let v(i) = -4*i**3 + 1. Let l be v(-1). Which is smaller: l or -3?
-3
Let s be (-195)/378*2 + 2/2. Let h = s + -53/315. Do -0.2 and h have the same value?
True
Let f = 1096 - 7691/7. Which is greater: f or -3?
f
Let w = 27.9 - 7.9. Let a = w + -84. Which is smaller: 2/7 or a?
a
Let o(i) = -i**2 - 5*i + 7. Suppose -h - 2*b = 14, -h - b = -3*b - 2. Let j be o(h). Suppose 2*c = 3*c - j. Does 2 = c?
False
Let h = 0.097 - 53.097. Let u = -53 - h. Let s be (-5)/3 - 2/(-3). Which is smaller: s or u?
s
Let y be -5 - -1 - (-3)/((-6)/(-2)). Suppose 0*w + 5*w = h - 79, -3*w - 5*h = 53. Let o be (-120)/w*1/(-5). Which is bigger: o or y?
o
Let w = 292 - 291. Let u be -2*1 - 23/(-12). Which is smaller: u or w?
u
Suppose 31 = 2*z - 3*g + 17, -21 = -5*z + 4*g. Is 7 <= z?
False
Suppose 2*l - 19 = -17. Let g(v) = v - 69*v**2 - l + 67*v**2 - 1 + v**3. Let r be g(2). Is 6 equal to r?
False
Let h = 617 + -618. Which is smaller: h or -7/4?
-7/4
Let h = -32 - -37. Let y(v) = -v**2 - 3*v + 3. Let u be y(-3). Do u and h have the same value?
False
Let i be (-3)/(4 + -3)*-1. Suppose -1 = i*y + 5. Let t = 18 - y. Is t <= 21?
True
Suppose 0 = x + 2*r + 80, -r + 0*r = -5. Let a be 12/(-10)*x/12. Suppose -w + a = 2*b, 0*w + 6 = 5*b - 3*w. Is 2 >= b?
False
Suppose -48*n - 7*n - 32*n = -435. Let s be (-2)/(-2) - (-93)/33. Is n at most as big as s?
False
Suppose 2*q + 49 = 15. Is q less than or equal to -18?
False
Let g = 192 + -76. Are g and 0 equal?
False
Suppose -6*o + 9*o = -3*q - 195, -4*o - 2*q - 262 = 0. Is -1 smaller than o?
False
Suppose -2*r + 5*r = 0. Suppose -2*x + 0*h = 2*h + 154, x + 2*h + 73 = 0. Let p = 81 + x. Do p and r have different values?
False
Let z be (60/6)/(3 - -1). Let a(t) = t**2 - 8*t + 10. Let l be 1*7*(9 + -8). Let q be a(l). Which is bigger: z or q?
q
Suppose r = -1, -5*s + 4*r = -r + 10. Let u(w) = 3*w + 96. Let x be u(-31). Are x and s unequal?
True
Let n be (-2)/(-3) + (-86)/(-6). Let s be 2/(-3) - ((-230)/(-15) + -4). Let w be ((-25)/10)/(0 - (-2)/s). Are w and n unequal?
False
Suppose -2*v - v + 3*l + 12 = 0, 10 = 4*v - l. Let k be (3 + -3)*2/v. Let z = 28 + -82/3. Does k = z?
False
Suppose -2*o + 4 - 10 = 0. Let n be (-6)/(-2) + 3/3 + 1. Suppose 0*m = -n*m + 25, 3*d + 19 = 2*m. Do o and d have different values?
False
Let y = -0.22 - 1.08. Let w = y - -5. Let r = -18.7 + w. Which is greater: r or -1/3?
-1/3
Let z(i) = i**2 + 6*i - 2. Let c = 11 + 11. Suppose -5*l - 3*a = 21, -5*l - c = 2*a + 2. Let f be z(l). Is -1 greater than f?
True
Let r = 250/19 + -3688/133. Which is greater: -16 or r?
r
Let j = 188 - 187. Which is smaller: 1/292 or j?
1/292
Let n = -400 + 399. Are n and -8 nonequal?
True
Let j(z) = 2*z**3 - 16*z**2 + 8*z - 6. Let m be j(8). Which is bigger: 59 or m?
59
Let o be (4 - (-1085)/(-255))*1. Let v = o - -3/34. Which is greater: -1 or v?
v
Let g = -287 - -288. Is g < 1/18?
False
Let a be (-300)/1950 - 40/(-13)*-24. Which is bigger: a or -75?
a
Let s be (3 - -28)*(-7 + (-15)/(-5)). Which is bigger: s or -122?
-122
Let k be -9 + 1 - (-3)/(-3). Let l(x) = -2*x**3 + 11*x**2 - 11*x + 22. Let n be l(5). Is k bigger than n?
False
Suppose -5*y = -l - 2, -4*y + 4 = -4*l + 28. Let q be (3/l)/((-450)/40). Is q < 0?
True
Suppose l = -4*o - 1173, -o - 2*l - 3*l - 317 = 0. Which is greater: o or -291?
-291
Let a be (-3752)/1105*(-246 - -2). Let j = a - 14120/17. Let x = -22/13 - j. Is -2/7 equal to x?
False
Let w be (142/4)/((-2)/6). Suppose -3*u + 221 = 2*l, 113 = l - 4*u + 8. Let b = l + w. Which is smaller: 2 or b?
2
Let u = -76.74 + 158.23. Let g = 82 - u. Which is bigger: 0 or g?
g
Let z(l) = 114*l - 124. Let t be z(1). Let b be (-1)/2 - 63/6. Which is smaller: t or b?
b
Let s(c) = c**3 - 9*c**2 + 9*c - 2. Let h be s(8). Let u = h + -4. Let l = 125/4 - 859/28. Which is smaller: u or l?
l
Suppose 4*a = -4*a + 176. Suppose 2*d - 4*d = -4*l, 3*l + 4*d = -a. Is -3 < l?
True
Let c(f) = -f**2 + 8*f - 151. Let j be c(16). Is j < -276?
True
Let d(h) = h**3 - 18*h**2 - 37*h + 28. Let v be d(20). Suppose v = -2*p + 86. Which is smaller: p or -8/19?
p
Let s = -3172/5 + 21934/35. Which is smaller: s or -7?
s
Let k = -6721/1888 - -115/32. Suppose 2*b = -b. Which is greater: k or b?
k
Let r be 112/(-6) + (-2)/(-3). Let n be ((1 - 0)*-1)/r. Let p(s) = s**3 + 60*s**2 + 222*s - 111. Let a be p(-56). Which is smaller: a or n?
n
Suppose -88 - 28 = 5*o - 3*t, 0 = -4*o + 5*t - 98. Suppose -5*x = 5*y - 70 + 200, 4*x = -5*y - 109. Are o and x unequal?
True
Suppose k = 2*b - 2*k - 12, 2*b = 2*k + 8. Let h = -1/78 - -973/28