k = u + 11. Let q(z) = -2*z**2 - 9*z - 7. Let h be q(-4). Which is greater: h or k?
h
Let w = -443 + 1149. Which is smaller: 707 or w?
w
Let p be 10/25 - 14302/(-163770). Let c = p - 26/53. Let q = -4631/1236 + c. Is -4 not equal to q?
True
Let s = 7 - 37. Let o = s - -21. Suppose 23 = -4*y - j, 5*j - 36 = 3*y + 2*j. Do y and o have the same value?
False
Let m = 162 + -116. Let g = 67 - m. Let o = -18 + g. Is o at least 1?
True
Suppose 0 = -j - 10 + 8. Let c be 14/105*-6*(-25)/j. Let r(a) = -a - 1. Let n be r(7). Which is smaller: n or c?
c
Suppose 0 = -5*n + 5, d - 2*n + 6 = -8. Suppose -2*k - 98 = 6*k - k. Is k at least as big as d?
False
Let g be ((-27)/(-6))/(9/(-24)). Is -18 at least as big as g?
False
Let g = -18 + 18.2. Let f = 6 + -2. Which is greater: g or f?
f
Suppose y = 5*d - 174, 3*y = -5*d - y + 154. Which is smaller: d or 0?
0
Let h(z) be the first derivative of z**3/3 - 9*z**2/2 + 11*z + 25. Let j be h(8). Which is bigger: j or 28/9?
28/9
Let i = -0.58 - -0.79. Let c = -6.58 - -12.37. Let t = c + i. Is -0.2 > t?
False
Let u = -24.1 + 24.243. Let g = -0.103 + u. Is g < 4?
True
Suppose -5*y - 13 + 13 = -28*y. Suppose 0*v - 2*v = -4. Which is smaller: v or y?
y
Let u be 64/306 + ((-1232)/99 - -12). Suppose 5*a + 2*g - 1 = -2*g, 2*a = 4*g + 6. Is a > u?
True
Let w = -265.7 - -243. Let g = w - -23. Does g = -10?
False
Let i = 330 + -348. Which is smaller: -12 or i?
i
Let k = -9.9 + 1.9. Let q = -7 - -1. Let v = q - k. Which is smaller: -4 or v?
-4
Let r = -585 - -584.9. Is r >= -83?
True
Suppose -4*r - 54 + 86 = 0. Let m be (-14)/3*6/(-4). Which is smaller: m or r?
m
Let i = -829/37107 - -1/1197. Which is smaller: -0.7 or i?
-0.7
Suppose c - 4*m = -2*m + 9, 0 = -2*m - 4. Suppose c*u + 158 = 5*d - 392, 0 = -5*d + 4*u + 552. Let q be d/(-49) + 2/7. Is q not equal to -1/2?
True
Let a(f) = 5*f**2 + 21*f + 5. Let l be a(-4). Which is smaller: 5/111 or l?
5/111
Let y = 0.14 + -0.24. Let g = -1599.36 + 1599. Are g and y non-equal?
True
Let s be (40/(-120))/((-1)/3). Is s bigger than 78.6?
False
Suppose 5*f + 30 = 80. Suppose 0 = 3*v - f*v - 14. Which is smaller: v or 4?
v
Let q(i) = -2*i**3 + 43*i**2 + 16*i + 86. Let m be q(22). Which is bigger: m or 6?
6
Let x(m) = 19*m**2 + 233*m + 3. Let v be x(-13). Which is smaller: v or -1?
-1
Suppose 0 = -4*n + 16, -3*n + 35 + 10 = 3*v. Let z be ((-10)/(-8))/(2/16). Which is smaller: z or v?
z
Let l = 922 - 991. Is l < -774/11?
False
Let h = -0.0273 - -1.3373. Does h = 0?
False
Suppose -k + 28 + 0 = -5*y, -2*k + 29 = -y. Which is greater: 1/7 or k?
k
Let g = -2/21909 + -306584/1555539. Is 1 >= g?
True
Let o(x) = 29*x - 81. Let t be o(5). Which is greater: t or 3?
t
Suppose 2*q + 4537 = 4765. Is 461/4 != q?
True
Let n(w) = w**2 - 10*w + 12. Let x be (-1)/(1/20 - 7/28). Let q be n(x). Is -12 >= q?
True
Let k be (-153)/136 - 1*-1. Which is smaller: -4 or k?
-4
Let l = 333519/379 + -880. Do l and 1 have different values?
True
Let z = 1/89 - 625/178. Let k = -2470.207 - -2468. Let b = k + 0.207. Which is smaller: b or z?
z
Suppose 77 = 15*s - 28. Is s not equal to 2/11?
True
Let s(q) = 92*q - 4*q**3 + 3*q**3 + 2*q**3 + 4 - 107*q + 14*q**2. Let n be s(-15). Which is smaller: 6 or n?
n
Suppose -13*t = -11*t - 20. Let i be ((-6)/(-10))/(t/(-25)). Let a(m) = m**2 + 13*m - 17. Let o be a(-14). Which is greater: o or i?
i
Let u = -38.4 + 30. Let g = -7.5 - u. Is 0 smaller than g?
True
Let v(j) = 2*j**2 + 19*j + 15. Suppose 12 = -5*c - 28. Let d be v(c). Which is smaller: -2 or d?
d
Let v = -4.04 - -5.04. Which is bigger: v or -24.4?
v
Suppose 4*q = 5*r - q + 820, 0 = -2*r + 3*q - 326. Is -165 >= r?
True
Let p = 10 - 23. Let h = 16 + p. Let q be ((-1)/h)/(3/18). Which is greater: -1 or q?
-1
Let b = -48 + 48.08. Which is greater: -25 or b?
b
Let l = -59 + 226. Let v = l - 175.1. Let h = -3.1 - v. Is 5 less than h?
False
Suppose -11 = 2*w - 3*q, -3*w + 0*q = 2*q - 16. Suppose 2*p - 3*d = 0, -4*d + 1 = -3*p + w. Let y be -2 + -3*(-6)/9. Does y = p?
False
Suppose 44*o = 28*o + 16. Let f be (-4)/7 - (-4112)/7392. Which is smaller: f or o?
f
Let j be 27/2*(-273)/315. Which is bigger: -13 or j?
j
Suppose 27*a = 31*a - 8. Let s be -2 + 74*a/76. Which is greater: 0 or s?
0
Suppose -11 = -l + 3*g, -3*g - 3 = l + 4. Let m = -7/75 - -799/525. Which is smaller: m or l?
m
Let u = -117 + 237. Let o be 64/u - (-2)/(-6). Let k = -28 - -31. Which is bigger: o or k?
k
Let g be ((-12)/10)/(6/15). Let i be ((-128)/(-48))/(1/g). Which is greater: i or -5?
-5
Let o be (4/(-20))/((-1)/(-223)). Suppose 16*p - 90 = 14*p. Let h = p + o. Which is smaller: -4 or h?
-4
Let a = -3 - -3. Let l = -1225 - -1227.6. Is a at least as big as l?
False
Let f(x) = x**2 + 4*x + 1 - 11*x - 4*x**2. Let w be f(-5). Let s = w - -26. Is s bigger than -15?
True
Let b = -3 - 5. Let f be (-3)/(-4) - b/32. Suppose -t = -2*t + 1. Is f not equal to t?
False
Let l be (-7 - 99/(-14))/((-1)/88). Which is smaller: l or -6?
l
Suppose 221 - 50 = -19*n. Which is greater: -14/9 or n?
-14/9
Let g = -1163 + 1051. Are -114 and g non-equal?
True
Let b be (-5)/10*4/(-9). Let y = b - 100/369. Let k = y + -119/82. Which is smaller: k or -2?
-2
Suppose 2*r - 4*r + 4*p - 136 = 0, 0 = -4*r + 4*p - 256. Which is smaller: -52 or r?
r
Let u be ((-9)/6 + -1)/((-12)/24). Let v be (4/u)/(10/(-225)). Is -17 <= v?
False
Let y(l) = -l**3 - 9*l**2 + 7*l - 13. Let u be y(-10). Let s = -49/2 + 25. Which is bigger: u or s?
u
Let m = 214267/56 - 3820. Let h = m + -39/7. Which is greater: 2 or h?
2
Suppose 4*c = 4 - 0. Let t be (-2)/(42/23) + 1. Which is bigger: t or c?
c
Let o = 169 + -168.9. Which is smaller: o or 105/2?
o
Let i = -139 + 137. Is 0 >= i?
True
Let n = 2.24 - 2.04. Is -262 > n?
False
Let k be (-1068)/16*(-8 - (4 + -8)). Which is bigger: k or 269?
269
Let z = 316.8 - 275. Let j = z + -42. Which is bigger: -7 or j?
j
Let n = 4055/9 + -451. Let q = -0.57 - -0.67. Is q <= n?
False
Let j = 17 - 7. Suppose 6*d + j = d. Let s be -2*2 + (-8)/d. Are s and -1/2 equal?
False
Let h = 1.32 - -0.38. Let l = h + -1.7. Let m = -4 + l. Which is smaller: m or 0.1?
m
Let b(d) = d**2 + 5*d + 9. Let q = 11 - 14. Let n be b(q). Is 2 > n?
False
Let p be 18/36*(-1 - -1). Suppose p = -4*w - 4*c - 96, -w - w - 60 = -4*c. Let v = -23 - w. Which is greater: v or 4?
4
Suppose 0 = 2*p + 51 - 53. Which is smaller: p or 18/35?
18/35
Let n be (3 - 1)/((-8)/(-36)). Is 8 >= n?
False
Let h be (-2)/((-56)/133) - 4. Which is smaller: 1 or h?
h
Let m(j) = 11*j + 41. Let w be m(-5). Let b be 256/(-28) + (-2)/w. Is -8 at least as big as b?
True
Let c = -895 - -615. Let g be -3 - c/5*1/(-2). Which is greater: -30 or g?
-30
Suppose -q = -4*g + 19, -q + g + 2*g = 23. Let z be (-76)/14 - (-20)/q. Let i(k) = -6*k - 15. Let j be i(z). Which is bigger: 20 or j?
j
Let p(i) = -3*i**3 - 4*i**2 - 2*i + 5. Let n be p(-3). Let t be 6/(-10) - n/(-60). Does 26 = t?
False
Let t(y) = -4*y**3 - y**2 - y - 1. Let h be t(-1). Suppose h*g - 16 = -g. Suppose 0 = g*v - 2*p + 58, v - 3*p = -2*v - 51. Are v and -11 unequal?
True
Suppose 2 = -2*g, 5*z + g - 33 = -14. Suppose z*u + 0*h = 3*h + 92, 0 = 3*u - 5*h - 58. Suppose 26 + u = 4*p. Is p > -2/5?
True
Let z = 2.7 + 15.3. Let l = 10 + z. Let s = 28.2 - l. Is -2/15 at most s?
True
Let x be ((-722)/4)/(14/(140/(-25))). Which is greater: 71 or x?
x
Let m(p) = 20*p - 20. Let w be m(-1). Is w not equal to -40?
False
Let p be 10/3 - (-2)/3. Let f(v) be the third derivative of v**4/24 - v**3/2 + 11*v**2. Let y be f(6). Which is greater: p or y?
p
Let x be -1 + 27/12 + 2. Let w be (-3)/(-1) - 976/160. Let s = w + x. Is -1 greater than s?
False
Let p = 367 - 366.94. Which is smaller: 1/4 or p?
p
Let g be (-1 - (-67)/4)/((-23)/184). Let h be (3 - 2)*(-4)/g. Is h < -1?
False
Let k be -3*(14/6 - 2). Let y = -92/7 + 7622/581. Which is greater: k or y?
y
Let s(q) = -q**3 + 6*q**2 - 7*q - 2. Let r be s(5). Which is greater: -13 or r?
r
Let l be (-1)/2 - ((-6223)/14)/7. Suppose -5*g - 3*v = -321, -g + 0*v - 2*v + 67 = 0. Is l greater than or equal to g?
True
Let n(w) = 7*w - 18. Let l be n(4). Suppose -12*a = -l*a - 30. Suppose 3*g - 54 = -g + 2*r, 2*g = -r + 29. Does a = g?
False
Let g(f) = -f**3 + 3*f**2 - 3*f + 3. Let o be g(2). Let d(v) = -6*v**3 - v + 1. Let c be d(o). Let w be (136/18)/(-17) + 50