65 + 606030. Let t = -63883/123067615 - k. Let o = 282846/25255 - t. Which is greater: o or 11?
o
Let r(d) = -6*d**2 + 3*d. Let k(g) = -4*g**2 + g + 20. Let m be k(0). Suppose 2*a + m = 4*h - a, -5*a = 5*h + 10. Let c be r(h). Which is smaller: -19 or c?
-19
Suppose 0 = 317*q + 1813594 + 2435422 + 2031705. Is -19813 greater than q?
False
Let g be (2 + (-9)/2)/(2/(-12)). Let z be (-5)/g + (-1)/15. Let q = -603 - -72359/120. Is z at least q?
False
Let s be (-6465)/(-6300) - (-4)/(-5). Is 1 equal to s?
False
Let l(q) = -q**3 + q**2 - 3*q + 1. Let o be l(0). Let i be 436/327*(3/22)/o. Which is smaller: i or -0.5?
-0.5
Let n be (-22)/(1 - (-4401)/(-4471)). Let p = 1405 + n. Which is greater: p or -1?
p
Let v be 643/4354 + -22 + (-6120)/(-280). Is v at least -4?
True
Let x = -275.7 + 275.57. Which is smaller: x or -0.056?
x
Let d be 125480/(-292950) - (-9)/21. Is d at most 0?
False
Let s = -0.4 - -0.3. Let m be (-425)/(-95) - (1/1 - -1). Let a = m + -2059/817. Which is smaller: s or a?
s
Let x = -4 + 3. Let k be 10 - (-644)/(-63) - (-16)/(-198). Let r = k + 269/561. Is x less than or equal to r?
True
Let q = 3296 - 75820/23. Let l = q + 1/46. Is l smaller than 3/22?
True
Let h(f) = 5*f + 27. Suppose 4*q + 21 = -5*g, -5*q - 10 = 6*g - 3*g. Let u be h(g). Suppose 3*b - u*x - 9 = 35, -b + 28 = -4*x. Is b at most as big as 13?
True
Suppose -21206 = 4*l + 3*a, 169*a - 171*a = l + 5309. Is l smaller than -5296?
True
Let p be -32 + 1 + (-6 - -6). Suppose 4*u - 9*c + 135 = -4*c, 3*c - 129 = 4*u. Let i = u - p. Which is smaller: i or 5/21?
5/21
Suppose x = -11*x + 24. Let l be 3/6*(-3 - 1) + x. Let s be (l + -1 + 10)*(-6)/18. Is -3 >= s?
True
Let r be (-60)/75 - (-13258)/140. Which is smaller: r or 95?
r
Suppose -40 = 4*d - 12*d. Suppose q = 3*k - 5, 5*k - 1 + 6 = -d*q. Let i be -5 - 46*k/(-12). Are i and 2 non-equal?
True
Let l(k) = 2*k + 7 - 20 + 12. Let c be l(7). Let m be (-3)/2*c/(117/(-66)). Does 2 = m?
False
Let w be ((-42)/(-4550)*5)/(1 + 0). Which is smaller: w or 178?
w
Suppose -69*g = -73*g + 1128. Let c be (4/(-32)*g)/(1 - -2). Which is smaller: c or -13?
-13
Let y = 921 + -1719. Let n = y + 797. Let b = 8798/1617 - 60/11. Is b at most as big as n?
False
Let l be 3/(-105)*-7 - 66/5. Which is smaller: -101/8 or l?
l
Let r = 36 - 35.68. Let o = -0.23 - r. Let w = -0.46 - o. Is w > 0?
True
Let f(i) be the first derivative of -3*i**2/2 + 44*i - 12. Let w be f(-10). Let h = 33 - w. Are -41 and h equal?
True
Let n = -4.254 + -9.746. Are n and 31/5 non-equal?
True
Let k be 50/4*(-3)/(-15). Let t = k - 17/6. Let o = 14 - 34. Are t and o equal?
False
Let n = -1 + 5. Let a be (5 + (-117)/18)*n/21. Suppose 5*z = -5*y - 20, 0 = -y - 0*y - 5*z - 16. Which is bigger: y or a?
a
Let u be 1107/(-246)*(-6)/(-603). Let k be 1/3*(-2 + -1). Which is smaller: k or u?
k
Suppose 7*x = 8*x - 2*v + 8, 3*x - 26 = -4*v. Which is bigger: 87/35 or x?
87/35
Suppose 9 = 4*k - 2*i + 1, -k = 5*i + 9. Let y be ((-43)/(-473))/(((-2)/k)/(-2)). Is 0 <= y?
True
Suppose 20445 - 282169 = 59*u. Which is smaller: u or -4435?
u
Let t = 8.74 + 0.26. Let x = 13 - t. Let d be (-54)/(-24) + -3 - (-9)/3. Do x and d have the same value?
False
Let o be 1/(-4) - 30/8. Let t(z) = z**3 - 8*z**2 - 136*z - 253. Let j be t(17). Is j at most o?
False
Suppose 4*b + 2*p = -286, -3*p - 2*p - 295 = 4*b. Let u be 90/4*49/b. Which is smaller: -15 or u?
u
Let u be 595463/36 + (-4)/(-32)*2. Let l = 16558 - u. Which is smaller: 16 or l?
16
Let m be (-10712)/50*30/(-252). Let o be 14*99/60 - 40/(-16). Let x = m - o. Which is bigger: -0.1 or x?
x
Let h = -191.8 - -163. Let k = -29 - h. Is k less than 44?
True
Let n = -28.87 + 30.87. Which is smaller: 31.9 or n?
n
Let r(k) be the first derivative of -k**3/3 + 8*k**2 + k - 2. Let y be r(16). Which is bigger: -6/43 or y?
y
Let h(u) = -2*u**3 - 13*u**2 - 8*u - 18. Let v be h(-6). Let a be 1956/54 + v/27. Let g be (11/(-3))/(48/a). Which is smaller: g or -3?
-3
Let l = -13832 - -10885782/787. Is -1 equal to l?
False
Let t = 3573 - 2918. Which is bigger: 658 or t?
658
Suppose -4*f - 2*y + 42 = 0, f - 2*f + 10 = y. Let a = f - 18. Let w be -5 - a - (-2 + (-70)/(-18)). Are w and 0 nonequal?
True
Let v be -15*7042/8148 + 13. Is v at most 1?
True
Suppose 0 = -768*u + 298*u - 94470. Is -211 greater than u?
False
Let r be (-10 + 8)*33/33. Let l(s) = -1 - 3*s + 8*s - s. Let i be l(-1). Which is bigger: i or r?
r
Let p = -0.2129 - -0.2129. Are p and -17727 equal?
False
Let p = 0.087 - -43.913. Let k = p + -49.2. Let y = k + 4.8. Is 0.6 > y?
True
Let l = 175 + -171. Let a = -25 + 24.25. Let m = 0.25 - a. Which is smaller: m or l?
m
Let x be 4/(-8) + ((-45)/(-10))/(-3). Let d(a) = -a - 14. Let m be d(-10). Let c be (4/(-10))/(m/(-20)). Is c less than x?
False
Let p(w) = -10*w - 7. Let x be p(-1). Let j(m) = -15*m + 44. Let k be j(x). Is k smaller than 1/76?
True
Let f = -4659.3 + 4655. Is 28 less than f?
False
Let u be ((-76)/(-480149))/((-4 + 8 - 2)*1). Which is greater: u or 1?
1
Let a = 160 - 156. Suppose 0 = -5*m - 3*r - 30, 0 = -a*m + 15*r - 11*r + 8. Which is greater: m or -42?
m
Let i = 928 - 923.52. Let s = -2.48 + i. Which is smaller: -63 or s?
-63
Suppose 0 = -347*i + 304*i - 43. Which is smaller: -3/2173 or i?
i
Let l be (8 - 5)*8/12. Suppose -61 = -l*k - 71. Which is smaller: k or 49?
k
Suppose 3*d = 2*f - 4*f + 20, 5*d + 5*f = 30. Let n be 3 + (-10)/(-5)*2. Is d less than n?
False
Let o be 288/60*(-5)/(-57)*(-3)/(-2). Let n be -1*(-2)/1*1. Do o and n have the same value?
False
Suppose -i = 16 - 20. Suppose o + 5*f - 2*f = -11, 4*o + 2*f + i = 0. Which is bigger: -18/55 or o?
o
Let u = -2.2322 - 1.1678. Is -6/29 <= u?
False
Let u be 6 - ((-4608)/(-42))/(-4). Let b = -278 + 311. Is b at most u?
True
Let m = -4.5 - 134.5. Let v = m - -139. Which is smaller: v or 0.003?
v
Let d be 2 + 0 - (-1 - -1). Let o be (-46)/24*3*4. Let b be -3 - (4 - 5) - o/5. Which is greater: b or d?
b
Let y(n) = -n - 2. Let c be (6/(-4))/((-7)/(8 + -36)). Let m(r) = 12*r - 73. Let z(p) = c*y(p) - m(p). Let u be z(14). Is u equal to 5/37?
False
Let r be ((-8)/36)/(3/(-27)). Suppose -p = -5*h + 44, 5*h - r*h = -4*p + 31. Let l be (-1 + 4)/(2/2). Which is smaller: h or l?
l
Let t(q) = -24*q**2 + 875*q + 46. Let s be t(36). Which is bigger: -7 or s?
s
Let f(s) = s**2 + s - 10. Let j be f(-5). Suppose 49 = j*r - 11. Let g be r/12*(-2 + 54/3). Is 9 >= g?
True
Let i(b) = 2*b - 17. Let x be i(9). Let j be ((-18522)/117)/7 - 0/x. Is -22 equal to j?
False
Let p(h) = 3*h**2 + 173*h - 226. Let u be p(-59). Is 74/7 at most as big as u?
False
Let r(y) = -11*y**2 - 3*y - 5. Let w be r(-3). Let a = -86 - w. Which is smaller: a or 17?
a
Let j = 227627/19 - 11984. Which is bigger: 4 or j?
4
Let g = 70688/99 + -714. Let c be 99/(-231) + (-78)/14. Let h be 3*(2/c - 0). Which is bigger: h or g?
g
Let h = -0.007 + 23.007. Let n = -23.9 + h. Let v be (-1)/72 - (17 - 1824/108). Which is greater: v or n?
v
Let s(h) = -3*h**2 + 27*h + 160. Suppose 660 = -25*b - 30*b. Let m be s(b). Which is smaller: -595 or m?
m
Let w(n) = -n**2 - 12*n - 36. Let a be w(-6). Suppose 46*z - 42*z - 1824 = a. Are z and 457 unequal?
True
Let y = 765 - 766. Is 9/190 bigger than y?
True
Suppose -24*t = -3074 + 482. Suppose -t = -2*x - 110. Do x and 3/16 have the same value?
False
Let i be (-567)/(-171) + (-3 - 0). Suppose 9*k - 15 = 3. Suppose 6 = -k*q + 6. Which is greater: i or q?
i
Suppose 0 = -13*p + 9*p - 2192. Let y be (-64)/224 + (p/(-7) - 2). Which is smaller: y or 78?
y
Suppose -4*d = -117 - 211. Suppose -76*n + d*n = 30. Which is greater: -17 or n?
n
Let j(g) = -g**3 - 8*g**2 - 15*g - 10. Let x be j(-6). Suppose 8 = -x*p + 16. Do p and 1/61 have the same value?
False
Let x = 0.3 + -0.2. Let r = -299.34 + 306.14. Is r smaller than x?
False
Let g = -769 - -719. Let c(t) = -t + 49. Let i be c(0). Let p = i + g. Is p <= 2/71?
True
Let o be -66*7/728 - ((-115)/(-20) - 6). Suppose 0 = 4*k - 0*k. Which is bigger: k or o?
k
Let f = 426 - 246. Let a = f - 60. Do a and 120 have the same value?
True
Let t be (-36)/8 + 5/2 - (-5 - -4). Is t at least 3/7228?
False
Suppose -7*s - 12*s = -1045. Let p be -25 + 44/s*(-10)/(-4). Suppose -17 = y + f - 3*f, 0 = -2*y + 2*f - 40. Is p < y?
False
Suppose -52*p + 7*p - 5490 = 0. Which is greater: p or 