6053/(-48236). Which is smaller: j or p?
p
Let j be (-433)/(-2) - 3/(-2). Let l(n) = 51*n**2 + 263*n - 42. Let w be l(-6). Which is smaller: j or w?
w
Suppose -2 = 2*y - 3*y. Let i = -1.78 + 1.49. Let s = i - -0.69. Is y less than s?
False
Let g = 298/43 - 23482/559. Do -1.5 and g have different values?
True
Suppose -4*u + 2*u - 24 = 0. Let k(d) = d**2 + 7*d - 14. Let g be k(u). Suppose 4*z - g = 3*h, 42 = -3*h + 6*z - 3*z. Is h <= -11?
False
Suppose -28*p = -22*p + 486. Let y = 81 + p. Is -4/15 at most as big as y?
True
Let z be (4/294)/((-3)/(-27)). Suppose 2*b + g - 81 - 15 = 0, 43 = b + 3*g. Suppose 59 = -b*f - 10*f. Are z and f non-equal?
True
Suppose 4*c - 33 = -3*k - 6, c + 4*k = 23. Let q be (-13)/(-1)*1/(c/(-9)). Which is greater: q or -115/3?
-115/3
Let t be (120/(-75))/(1/15). Let s be 2*1*t/(-12792). Is s >= -1?
True
Suppose 3*z + 4*q = -28, 0 = -0*z + z - q. Let d = 64 + -143. Let v = d + 76. Are v and z equal?
False
Let j = -17 + -54. Let z = -50 - j. Let g = 35 - z. Which is greater: g or 7?
g
Let j(u) = u + 1. Let l be j(-3). Let g be 0 + l + (-42)/(-2). Suppose 5*n - 42 = 4*k + g, 5*n + 4*k = 29. Which is smaller: n or 8?
8
Suppose -7*o + 29 = -41. Suppose 56 + 4 = o*q. Do q and 7 have the same value?
False
Let h = 272 + -1906/7. Which is bigger: 691 or h?
691
Let m = 490 + -277. Let k = 208 - m. Which is greater: k or -0.5?
-0.5
Let p = -0.0179 + 0.6179. Which is greater: p or 178?
178
Let j = -1.4663 + 1.7663. Which is smaller: -76/7 or j?
-76/7
Let u = 177 - 177.098. Let j = 7.68 - 7.58. Which is greater: u or j?
j
Suppose 0 = 2*w + 3*y - 384, 0*y + 3*y - 576 = -3*w. Let s be (2*3/w)/((-9)/(-44370)). Let r = 154 - s. Is -1 smaller than r?
True
Let w = -23649.83 + 23628. Is -1 at least as big as w?
True
Let u(n) = n**3 + 5*n**2 - 3*n + 10. Let t be u(-6). Let k be (-1760)/(-6)*12/t. Are k and -440 nonequal?
False
Let n be 5 + 963/(-144) + (7 - 5). Let a(i) = -i**2 - 8*i - 6. Let p be a(-4). Let c be (-15)/p*2/(-3). Which is smaller: n or c?
n
Let h = -111 + -147. Let w = h + -62. Is -320 at least as big as w?
True
Let b(j) = j**2 - 49*j + 160. Let u be b(45). Let f(m) = m**3 + 19*m**2 - 21*m - 22. Let x be f(u). Is x at least as big as 13?
False
Suppose -4*o = 3*w - 20, -o + 3 + 2 = 4*w. Let q(d) = 2*d + 10. Let k be q(w). Suppose -5*g - k = -0*g. Is -19/8 less than g?
True
Let h be ((-3)/5 - -1)/(52/(-65)). Let j = -312.157 + 312.2. Which is bigger: h or j?
j
Let c = 0.0979 - 205.0979. Is c greater than 1/15?
False
Let j be (-148)/(-3)*(-18)/(-30). Let l be 11 + -4 + -1 - -24. Which is smaller: j or l?
j
Suppose 0 = 8*p + 31 + 25. Let i be 19 + -22 + (-3)/(-3)*-3. Which is greater: i or p?
i
Let n be 3 - ((-2338410)/(-135))/(202/12). Let o = n - -1026. Are -1 and o non-equal?
True
Let c be 9*(2 - (-8)/(-6)). Let d be 100/(-12)*c/(-5). Let p(l) = -l**3 - 4*l**2 + 24*l. Let b be p(3). Is b > d?
False
Suppose 2*q - 430 = 1802. Is q <= 1116?
True
Let w = 0.028 - -41.972. Let p = -115 + w. Let l = p - -73.034. Which is greater: l or -2?
l
Let v = -6307/48 - 425/48. Which is smaller: -140 or v?
v
Let p = 0.02 + 7.23. Let a = 2 + p. Let k = a - -0.75. Which is smaller: k or -1?
-1
Let t = -3 - -2. Let c be (-304744)/(-1320) - (-4)/(-10)*-2. Let r = c + -232. Which is smaller: r or t?
t
Let n be (15/(-18))/(160/(-192)). Which is greater: n or 12/265?
n
Suppose 873*o - 862*o - 66 = 0. Suppose 0 = -t - 4*g + 11, 2*t + g + 10 = o*t. Let f = 749/5 + -6551/45. Which is greater: f or t?
f
Let z be (-4)/((-128)/6)*-15. Let f(w) = w**2 - 111*w + 1354. Let r be f(14). Which is greater: r or z?
z
Let b = -373 + 370. Let p be b/(-2) + (-8)/16. Which is bigger: p or 22?
22
Let p be 2129/(-15) - 20/50. Let u = p - -147. Do 4 and u have the same value?
False
Let m(w) = 187*w**2 - 8*w - 21. Let z be m(-3). Is 1686 bigger than z?
False
Let t(b) be the third derivative of 7*b**4/6 + b**3/3 + b**2. Let x be t(1). Let f be 12/x + 192/45. Which is smaller: f or 4?
4
Suppose 0 = f + 5*t - 11, -3*f - 3*t = -7*t - 14. Let i(j) = 48*j - 2. Let z be i(f). Is 1 bigger than z?
False
Suppose 9*w - 10*w = -4. Suppose 26 = 3*q - 2*g, -g = q + 3*g - w. Suppose -4*f - 4 + q = 0. Which is smaller: -3.9 or f?
-3.9
Suppose -45*n = -166 - 284. Let o(x) = 30*x - 183. Let s be o(n). Is s smaller than 118?
True
Let a be 336/840*(2 - (-2 - -2)). Is -23/18 bigger than a?
False
Let m = 5 + -25. Let b = m + 21. Let n = 98 + -684/7. Is n > b?
False
Let h = 24675 + -24673. Is h greater than 234/133?
True
Let h = 4523 - 4517. Let n(p) = -p**2 - 6*p - 2. Suppose -15 = 3*r - r + 3*v, -9 = 4*r - v. Let k be n(r). Which is smaller: h or k?
h
Let l = 464 + -818. Let s = -353 - l. Is -26 <= s?
True
Suppose -201 = -2*p + 5*w, -w - 17 = p - 107. Suppose -541 = -26*a + 1877. Is p smaller than a?
False
Suppose -2*g - 18 = -5*h + 12, -4*h + 21 = -g. Let t be -14*((-30)/12 + h). Which is bigger: -127/6 or t?
t
Let c(p) = p**2 - 10*p + 20. Suppose -19 - 5 = 6*d. Let y(j) = j**2 + 5*j + 12. Let h be y(d). Let t be c(h). Is t greater than 13/5?
True
Suppose 0 = 6*j + 2 - 14. Suppose -27 = 5*z - j, 0 = -k + 2*z + 25. Suppose -k*w = 10 - 25. Is -2/87 > w?
False
Let i(t) be the first derivative of 5*t**2 + 223*t - 11. Let m be i(-22). Is 7 greater than or equal to m?
True
Suppose -158*m + 100*m = 0. Is m > 546?
False
Let v = 808 + -1558. Let t = v + 750.413. Is 1 >= t?
True
Suppose -12 - 21 = -3*m. Suppose -21*k = -53 + m. Let i = 2/505 + 3519/4040. Which is smaller: k or i?
i
Let x be (-806)/(-6) + ((-24)/(-9) - (-4 + 7)). Is 132 < x?
True
Let j = 186 - 180. Let u be 7/(-42) - 11/j. Is u bigger than -18/11?
False
Suppose -3*c = 3*c - 12. Suppose 5*f - 20 = s, 4*f - 14 - c = -4*s. Suppose s*w - 5*o - 3 = 2*w, -4*o - 9 = -5*w. Is 24/17 greater than or equal to w?
True
Let i(n) = -305*n + 609. Let h be i(2). Is 3/9011 smaller than h?
False
Let r = -2115/238 - -62/7. Let j = -42.83 + 42.85. Which is bigger: r or j?
j
Let r = 4531 + -4563.12. Which is smaller: 2/3 or r?
r
Let y = -18088/3 + 74965/12. Which is greater: 218 or y?
218
Let k = 13.395 - -1.605. Is k < -22?
False
Let g = -160 - -393. Let d = g + -232. Is d bigger than -3?
True
Let y = -55.331 - -55.6. Let o = 0.069 - y. Let i = -2.967 - 0.033. Which is bigger: i or o?
o
Suppose 4 = w, -12 = -3*a - 2*w + 38. Suppose -3*y + 47 = a. Let i = -22 + y. Which is smaller: -12 or i?
-12
Let s be -4 + 8 - (0 + -2 + 6 + 4). Which is smaller: -2.15 or s?
s
Let j be (-1244)/(-9768)*1*(2 - 0). Let l = 2/111 + j. Let w = 5 - 4. Which is greater: w or l?
w
Let k = 53/58 + 14177/290. Which is greater: k or 51?
51
Let h = 262 - 562. Let n = -30691.3 + 30690.3. Which is greater: n or h?
n
Let i = 3315 + 29341. Let k be 12038/i + 6/(-16). Are -1 and k equal?
False
Let i = 8 - 10. Let b be (4/((-60)/(-57)))/((-1)/i). Which is greater: 7 or b?
b
Let s = -25 - -27. Let c be (2 + s)/2 + (-18)/9. Let l = 58599/77 + -761. Are l and c equal?
False
Let j be 3 - 7 - (70 - 0). Suppose 9*y = -4*y - 975. Which is bigger: y or j?
j
Let g(f) = f**3 - 10*f**2 + 223*f - 2229. Let m be g(10). Suppose 4*x = -170 + 54. Let v be 0/(-2) + (-12)/x. Which is greater: m or v?
m
Let z = -82316/9 + 9136. Let o(c) = -3747*c - 48720. Let m be o(-13). Is m less than z?
False
Suppose 17169 + 5087 = -16*u. Is -1391 greater than u?
False
Let v = -379.567 - -380. Which is smaller: v or -2?
-2
Let k(v) = -2*v**2 - 55*v - 373. Let j be k(-12). Which is smaller: 11/120 or j?
j
Let f = 6440 - 8779. Which is bigger: f or -9357/4?
f
Let f = -430 + 68. Suppose -2*d - 6 = -w, 0 = -3*d - 21 + 12. Is f at most w?
True
Let n = 7.3 + 3.7. Let v = n - 12. Let t = -5 + v. Is t > -1?
False
Let g = 13.7 + -584.7. Let t = g - -571.061. Which is bigger: -1/3 or t?
t
Suppose 3*a + 20 = -37. Let h = -51855 + 51842. Which is bigger: a or h?
h
Suppose -2*m - 1203*l + 1202*l = -7, -m - 4*l + 21 = 0. Which is smaller: 118/197 or m?
118/197
Suppose -g - 15570 = 87*v - 82*v, -5*v + 3*g = 15570. Which is bigger: -3113 or v?
-3113
Let i = 24391 - 98403/4. Let y = i + 210. Are y and 2.5 unequal?
True
Let m = -14712 - -14714. Which is smaller: -1477 or m?
-1477
Let f = 160 - 143. Suppose -3*b - d = -13, -2*d + f = 2*b + b. Is 13/4 != b?
True
Let d be 11060/1422 - 2*4. Which is smaller: d or -20.08?
-20.08
Let f be