19 - 31431 = 0. Is 952 at most y?
True
Suppose 0 = -v - v + 12. Let q be -7 + 10 - 4/v. Let k(a) = -a + 1. Let g be k(0). Is g < q?
True
Let p = 37 - 37. Suppose p = -13*b + 118 + 259. Are 28 and b non-equal?
True
Suppose -678 = 20*q + 482. Let j be ((-56)/5)/(16/80). Which is smaller: q or j?
q
Let v = -12393 + 9059. Which is greater: v or -3333?
-3333
Suppose 4 = -3*w + 1. Let d = 41 + -35. Suppose 0 - d = 3*f. Which is greater: f or w?
w
Suppose 0 = 5*m - h - 11, 346*m - 348*m - 5*h = -53. Let i(r) = r**3 - 5*r**2 - 7*r + 7. Let q be i(6). Which is bigger: m or q?
m
Let d be (805/14)/((-5)/10). Let h = 112 + d. Suppose 6 = -2*f - 0*r + 4*r, 4*f + 4*r = -12. Is h at most as big as f?
True
Let s be 0/(0 + 1 - 2). Let f be 329/35 - (1 + 3). Let l = f + -572/105. Which is smaller: s or l?
l
Let g = -1785/1556 - 40/389. Which is smaller: -819 or g?
-819
Let x = 22/577 - 45425/1206507. Which is bigger: 1 or x?
1
Let x = -60 - -65.2. Let n = 9.1064 + -0.1064. Let f = x - n. Which is bigger: f or -0.1?
-0.1
Let q = -20.5 - -3.9. Let a = q - -18. Let r = -1.35 + a. Are 1/4 and r nonequal?
True
Let r be 1/(-2)*4 - -9. Let u(g) = -g + 3. Let h be u(r). Let q be (-52)/(-140) + h/5. Is q at least -0.2?
False
Suppose 6*p - 283 = 5*c + 4*p, -3*p = -3*c - 168. Which is smaller: c or 9?
c
Let g be (10/(-4) - -3)*0/(-18). Let q be (1 + g)*(-1224)/240. Which is greater: q or -6?
q
Let v(h) = -2*h**3 + 86*h**2 + 89*h - 39. Let w be v(44). Which is smaller: 316/61 or w?
w
Let s = -1679092/2589 + -102/863. Let i = s - -599377/924. Which is smaller: -1 or i?
-1
Let i = 8953 + -8952. Let y be (-828)/39 + 1/3. Let z = -59/3 - y. Is i < z?
True
Let r = -20083 + 20078. Let d(k) = k - 2. Let f be d(6). Is f greater than or equal to r?
True
Let f be (-706*1)/(1*-79) + (1012 - 1020). Is 1 smaller than f?
False
Let y be (66/(-77))/(-6) - (-698)/(-14). Let q = y + 3481/70. Let k = -2 - -2. Which is bigger: q or k?
q
Let f be (-6)/6 - (0 + -1)*6. Suppose 2*b - b + 9 = 4*c, b = -f*c + 18. Suppose 63*j - c = 62*j. Do j and 3 have the same value?
True
Let x be 12/(-66) + (-10)/(-11)*(95 - 9). Which is greater: 1020/13 or x?
1020/13
Let b = 650 - 17548/27. Let g = 422 - 422. Suppose -31*f + 40*f = g. Is f less than b?
True
Let o(b) = -458*b + 4681. Let m be o(4). Which is bigger: m or 2848?
m
Let b be (-3)/9 + ((-5088)/18)/(-8). Let l be 51/(-27) + (b/9 - 4). Which is smaller: 3/2 or l?
l
Let u = 49 + -32. Suppose -38 = b - 4*v, -2*b - 2*v = 143 - u. Let z = 43 + b. Is -15 at most as big as z?
True
Suppose 0 = 9*i - 2*i - 28. Let g be (i/24)/(((-1095)/7428)/(-5)). Let k = g - -1/73. Which is smaller: k or 7?
k
Let n be (-21)/(-9) - (1 - 208). Let j = -210 + n. Which is smaller: 51 or j?
j
Let s = 3009 + -3119. Let o = -0.05 - -0.05. Is o less than s?
False
Suppose 30*b + 22313 = -27037. Let s be ((-238)/b)/((-7)/35). Which is bigger: -2 or s?
s
Let k be 19/((-931)/42) + 1848/98. Let y be (34/(-3))/((-6)/9). Which is greater: k or y?
k
Suppose 0 = -5*u - 14 - 226. Let g = -43 - u. Suppose 2*r = g*x - 4*x - 41, -4*r + 4*x - 92 = 0. Is -1 <= r?
False
Let a be (0 - (-3)/33)/((-12)/36). Let j = -2 - -3. Which is greater: j or a?
j
Let r = -1.4 - -37.4. Let w = 5.97 - 5.77. Which is greater: r or w?
r
Suppose -1419*c + 1423*c + 246 = 3*y, -c = 4*y - 290. Let f be -1 - 3/(27/(-671)). Let n = y - f. Is 1 at most as big as n?
False
Let u = 234 - 224. Suppose 15*d - 120 = u*d. Is d > 24?
False
Let m = -15097.8 + 15098. Let w = 157.6 - -16.4. Is w <= m?
False
Suppose 10902 = -25*j - 54*j. Which is smaller: -47 or j?
j
Suppose 0 = 644*t - 29254 + 10342270. Is t <= -16015?
False
Let z(q) = -4*q + 26. Let r be z(5). Let d be 6/12 + 14/r. Let a = -11/3 + d. Which is smaller: a or -1?
-1
Let f = -11 + 32. Let m(y) = 14*y**3 - 2*y + 2. Let o be m(2). Let t be (o + 14)*(-3)/(-18). Which is smaller: t or f?
t
Let l(n) = -2*n**3 + 6*n**2 - 5*n + 4. Let y be l(2). Suppose -w = -0*k - y*k - 19, 4*k - 3*w + 43 = 0. Is k at most as big as -7?
True
Suppose 0 = -4*w + 1 + 7. Suppose 0 = -w*z + 19 - 13. Suppose 3*r - 19 = 7*r + 5*b, -r = z*b + 10. Is r not equal to -2/7?
True
Suppose -a - 117 = -4*y - 126, 5*y = 5*a - 45. Which is smaller: y or -32/807?
-32/807
Let i = -949/3 + 47/6. Let d = 302 + i. Which is smaller: d or -2?
d
Let v(f) = f**3 + 38*f**2 + 45*f + 837. Let k be v(-27). Is k less than or equal to 7641?
True
Let r = -26995 - -27005. Which is bigger: r or 32/3?
32/3
Let f be 81/(-12) + 1/(-4). Let q be (-3)/(2 - -1)*1. Let h be (6/8)/(q*(-9)/(-6)). Is f less than h?
True
Let k(x) = 57*x + 1045. Let p be k(17). Is 1/3 at least p?
False
Suppose 0 = -s, -6 = -r - s - 3. Suppose 3*o + 2*o + 4*f - 25 = 0, -4*f + 23 = r*o. Suppose -21 = u - 22. Is o less than or equal to u?
True
Let y = 0.02 + -0.12. Let k = 51 + -45. Suppose -6*h = -8*h + k. Is y bigger than h?
False
Let w = -267 - -85. Let a = w + 181.701. Which is greater: -1 or a?
a
Let g = 11320176/2759 - 4103. Is 1 less than g?
False
Let s(h) = -3*h**2 + 8*h + 9. Let q be s(-5). Let v = 104 + q. Let i be 160/20 + v/4*-2. Is 5 bigger than i?
False
Let w be (9/18)/((-102)/105 - -1). Let r = -36 - -74. Suppose -4*g = -2*g - r. Is w < g?
True
Let u = -11.2 + -2.95. Let v = u + 14. Let q be 2 + ((-55)/15 - (-6)/9). Which is smaller: v or q?
q
Let l(j) = -15*j + 15. Let g be l(4). Let r = 45 + g. Is -7/6 greater than r?
False
Let h = 9.189 + -9.211. Which is greater: 3 or h?
3
Let m be (10 - (12 - 52)) + -2 + 1. Is 13 equal to m?
False
Let g(c) = c**3 + 19*c**2 - 44*c - 17. Let y be g(-21). Let b = y + -2. Is 24 greater than b?
True
Let y(z) = 25*z**3 - 3*z**2 + 60*z + 187. Let f be y(-3). Is -692 equal to f?
False
Let v(j) = -j**3 + 23*j**2 + 53*j - 213. Let d be v(26). Does -864 = d?
False
Let v = -11.2 - -15.9. Let m = v + -5.27. Let i = 1.07 + m. Are 6 and i equal?
False
Let u(c) = 49*c**3 + 35*c**2 - 33*c + 3. Let m be u(4). Is m greater than -1?
True
Let w = -8.755 + 9.755. Which is greater: w or 7/687?
w
Let m be 37395794/43032*-72014 + -4. Let a = m - -62581820. Let w = 3/326 + a. Is 1 smaller than w?
False
Let w be (72/(-15))/(5 - (-224)/(-40)). Let q be 16/7 - 4/14. Which is smaller: w or q?
q
Let z(t) = 2*t + 1. Let a be (-10)/(-65) + 6/(-39). Let p be z(a). Let d be (-14)/(-28) + p/(-8). Is 2 less than d?
False
Let t(m) = 2134*m + 255. Let i be t(-1). Which is bigger: i or -1883?
i
Let n be (((-8)/(-6))/1)/1. Let q = -215504 + 215505. Are q and n non-equal?
True
Let j(b) = b**2 - 5. Let c be j(3). Suppose 356 = -5*w + 3*z, -c*z = 2*w - 9*z + 150. Let m be 12/w*3/9. Which is bigger: m or -1?
m
Let p = -0.616 - -0.172. Let s = p - 0.046. Let j = -0.39 - s. Which is greater: 5 or j?
5
Let a be ((-6)/9)/(2/(-3)). Suppose 0 = -3*d - 13 + a. Let o be 4 - 10/(-8)*d. Is -1/14 < o?
False
Let w be ((-3)/9)/((-1)/3). Suppose 0 = -262*v + 261*v + 5*l - 3, 5*v + 71 = -3*l. Is w not equal to v?
True
Let t = 0.5559 + -0.5809. Is 6/7 smaller than t?
False
Let k = -93 + 118.1. Let b = -24.4 + k. Let q = 0 + -0.2. Which is smaller: q or b?
q
Let r(d) = -22*d + 596. Let q be r(27). Which is smaller: 20/73 or q?
20/73
Let w(g) = -2*g + 11. Let m be w(11). Let a be 16 + (m - -5) + -3. Is 54/7 bigger than a?
True
Let x = -13 + -55. Let z be ((-4)/((-32)/(-12)))/(3/x). Let m = 18 - z. Is -17 != m?
True
Let f = 10 + -8. Let b = 276309/123851 - 2/9527. Which is bigger: f or b?
b
Let t(h) = 2*h + 42. Let d be t(-14). Let l(w) = -w**3 + 13*w**2 + 18*w - 30. Let g be l(d). Let u = 27 - g. Is 3/4 < u?
True
Let r be 39/(-6) - (-2)/(-4). Let a be (-9*94/(-184))/(r/(-224)). Let v = a + -147. Which is smaller: 0 or v?
0
Let g(p) = 3*p**3 + 285*p**2 + 283*p + 92. Let l be g(-94). Let m = 1218 + -18292/15. Which is bigger: l or m?
m
Let v(a) = 117*a + 30. Let z be v(-2). Let y be (402/z + 2)*133 + -4. Is 11 > y?
True
Let w = -32139 - -32140. Which is greater: 4049 or w?
4049
Let k = 4363 + -4363.54. Is 2/5 at least k?
True
Let j = 12006.74 + -12011. Which is bigger: j or -17?
j
Let u be 2/(-42) + (-64880)/210. Let s = -567 + 257. Is s less than or equal to u?
True
Let r(x) = -3*x - 4 - 44 + 0*x**2 - 3*x**2 + x**2. Let i be r(0). Which is smaller: i or -50?
-50
Let o = -0.08 - 0.05. Let s = -37.13 - o. Let g = -31 - s. Is 0.3 at least as big as g?
False
Let b = -41