g = 3*i + 5 - 2, 2*i + 2 = -5*g. Let h be (-8)/(i - -5) - 0. Let z = 42 - 42. Is z not equal to h?
True
Let b = 2615/144 + -159/16. Let n(r) = 2*r**3 - 13*r**2 - 5*r - 5. Let z be n(7). Which is smaller: z or b?
b
Let y = -10.42 - 72.28. Let t = -13.3 + y. Let s = t - -97. Which is greater: -6 or s?
s
Let g = -17 - -47. Let c be (-8)/((-192)/g)*-32. Is c less than -41?
False
Let v = -1.024 - -1.224. Let q = 17 - 19.2. Let b = q + v. Which is smaller: b or 5/6?
b
Suppose -888*w + 892*w - 1440 = 0. Let p be (-81)/(-2)*(-30)/w. Is p smaller than -3?
True
Let k = -329 - -250. Let g = k - -77. Which is smaller: -2.5 or g?
-2.5
Let x = 25.859 - 28.359. Which is smaller: x or -2.97?
-2.97
Let j(a) = -a**3 - 10*a**2 + 11*a + 26. Let b be j(-11). Suppose 60 = -21*d + b*d. Suppose 0 = d*f - 36 - 24. Which is smaller: f or 21/4?
f
Let g be (25/(-3))/((-36)/324). Let j = g + -127. Does j = -51?
False
Let m(h) = -6*h**3 + 14*h**2 + 16*h - 54. Let y be m(-10). Is 7186 < y?
False
Let l = -211 + 1468/7. Let a(n) = 3*n - 1. Let b be a(-1). Let v be (-1)/(-2)*(-4 - b). Is v bigger than l?
True
Suppose -3*b - i - 4*i = -20, 0 = -3*i + 12. Suppose b = -2*l + 3*l - 2. Suppose 4*s - 132 = s + 3*w, 92 = l*s + 2*w. Is 45 greater than or equal to s?
True
Suppose 0 = 94*q + 5*q - 99. Which is greater: -40/139 or q?
q
Let n = -576 - 614. Let l be n/(-45) + (-3 + 2)*0. Which is greater: l or 26?
l
Let d = -229 + 247. Let b(x) = x**2 - 18*x + 44. Let c be b(d). Let s = -64 - -107. Which is smaller: s or c?
s
Let q = -81 - -86. Suppose 4*k + 5*x - 9 = 0, -2*k - 6 = -q*k - 3*x. Let t be k/(-5) - 77/(-70)*2. Are t and 13/7 non-equal?
True
Suppose -231*f - 567 = -42*f. Which is bigger: f or -107/11?
f
Suppose -8 = 17*d - 15*d, 5*h - 11 = -d. Which is smaller: h or 48/13?
h
Let p = -237 - -210. Let y be 5*-1 - (p/9 + -2). Let d be 2 + 4/(-134) - 2. Which is smaller: d or y?
d
Let s be (-7)/3 - (13277/(-528) - -20). Which is smaller: 4 or s?
s
Let k = -88 - -72. Let o = -16.3 - k. Let d be (-1)/4 - 2 - -3. Are o and d unequal?
True
Let c(t) = -20*t + 5. Let h(m) = -10*m + 3. Let g(f) = -4*c(f) + 7*h(f). Let w be g(-4). Let r = w - -42. Is 2 < r?
True
Suppose 8*s - 5 = 51. Let t be (0 - -1)*(8 - s). Which is bigger: -5/34 or t?
t
Let b be (-30)/(-5) + -4 - -1. Let p be (-1)/(-2)*(b - 3)/(-8). Suppose 5*h - 3*y - 4 - 16 = p, 0 = -5*h + y + 10. Is -1/29 not equal to h?
True
Let q = 12 - 26. Let s = 3.0246 + -0.0246. Is s equal to q?
False
Suppose k = 4*c - 9, -13*c - 5*k + 6 = -16*c. Let q be (2/c)/1 + 28/63. Which is bigger: 2 or q?
2
Let p = -290 - -289.494. Let z = p - 410.494. Is z greater than -0.2?
False
Let g(i) = -2*i + 49. Let y be g(12). Let h be y/50 - (-2)/(-4). Let m be 2/10 + 258/(-840). Which is smaller: h or m?
m
Suppose 11004 - 5835 = 110*k - 16501. Suppose 3*z = -l + 584, -2*z + 308 + 84 = -2*l. Which is bigger: k or z?
k
Let u = 9848 + -9847. Is 146/97 < u?
False
Let r be (-2 - -397) + (4 - -1). Suppose -17*b - 23*b + r = 0. Which is bigger: 12 or b?
12
Let d = -127.57 + -5143.43. Is d < 1?
True
Let f be ((-9)/594)/(21/(-12)). Let h = -508/5313 + f. Let s = -1 - 0. Which is smaller: h or s?
s
Suppose -37 = -5*l - 4*a + 73, -4*a + 88 = 4*l. Is 270/13 at least as big as l?
False
Let x(h) = 682*h + 3133. Let d be x(-5). Is -279 < d?
True
Let m(q) = 59*q + 1115. Let l be m(-43). Which is smaller: -2843/2 or l?
l
Let r be 64 + -72 - 423*1. Is 8 less than r?
False
Let z(g) = -g**2 - 126*g - 484. Let o be z(-122). Is o at most 78/25?
False
Suppose 8*d + 22304 = -107616. Let u be d/7252 - (-1 + 0)*3. Let x = u - 7/37. Is x at most -0.06?
False
Suppose -25 = -4*n + 3*u, 4 + 2 = -2*u. Let r(k) = -k**3 + k**2 + 10*k + 15. Let a be r(n). Which is smaller: a or 10?
a
Let a = -21123 - -21139. Which is smaller: a or 29?
a
Let o = -12793 + 12794. Is -1/8070 smaller than o?
True
Let v = -87 + 81. Let u be v/30 + 4555/(-100). Which is smaller: -46 or u?
-46
Let i(x) = -7*x**2 + 84*x + 46. Let l(t) = 4*t**2 - 42*t - 23. Let z(k) = 6*i(k) + 11*l(k). Let a be z(-6). Does -157 = a?
True
Let d(q) = 4*q**2 + 81*q + 713. Let b be d(-11). Which is bigger: 1 or b?
b
Suppose 13 = f - x, 2*f - 37 = f - 5*x. Suppose 5*d = f + 23. Suppose -8*u = 5*r - 3*u + 5, d = 2*r - 3*u. Is 2/151 at least r?
False
Let m be (1 - (-2)/(-10))/(31/465). Suppose -4*f = s - 3 - 1, 3*s - m = 4*f. Let k be 2/(-14)*8 + 0. Which is greater: k or f?
f
Suppose -2*l - 2*g - 38 = 2*l, -l - 5 = -4*g. Let i be -6*(9/(-63) - l/14). Is -50 at most as big as i?
True
Let a be (-70 - -70)/(-1*(-2 - -1)*-1). Which is greater: 7/375 or a?
7/375
Suppose f + 4*v + 12 = 0, 0 = -2*f + v + 1 + 2. Suppose -3*g - 15 = f, -2*c = -2*g - 9 - 5. Let n = 368 - 366. Is n less than c?
False
Suppose 0*m + 2*m + 2*w = 36, 3*m - 42 = w. Suppose m*a + 132 = 4*a. Let s be ((-14)/3)/(2*4/a). Is 4 > s?
False
Let v = -17.98 + 27.47. Let m = 92.9 - 84. Let o = m - v. Which is smaller: -0.1 or o?
o
Let x = 5.06 + 254.94. Let g = x + -273.04. Let a = 0.96 - g. Which is smaller: 3 or a?
3
Let t = 542 - 542. Suppose 40 = 5*a - 5*d, -a - 2*d + 3 - 4 = t. Is 1 at least as big as a?
False
Let t be (-1 + -3)/(63/14 + -5). Suppose -12 = -5*l + t. Suppose -l*h - 2*r + 6 + 0 = 0, 0 = -3*h + 3*r - 9. Is h greater than or equal to -2/33?
True
Suppose 0 = -u - 3*u - g + 131, -4*u = 4*g - 128. Let q = u + -45. Let n be 47*(-2)/q - (-3)/6. Which is greater: 9 or n?
9
Let i = -732 - -659.9. Let q = -120.1 - i. Which is bigger: q or 0.2?
0.2
Let c(g) = -5*g - 14. Let z be c(-7). Suppose 2*s - 3 = z. Suppose i = 2*q - s, 3*i + 20 = 3*q + 2*i. Is q at least 6?
True
Let r be ((-150)/450*(-12)/(-178510))/((-12)/(-20)). Is r less than or equal to 1?
True
Let f be 2/(-345)*6/(-72453536). Let k = -9197659798157/806504852851320 + f. Let r = k + 1/4326. Which is bigger: 0 or r?
0
Let y = 2150 + -5186. Which is smaller: -3035 or y?
y
Suppose 5*d - 3*q - 15 = 8*d, 5*d + 18 = 2*q. Let h be (-1)/d + -233*1/916. Are h and 2/7 equal?
False
Suppose 4*m - 66*m - 7*m - 274689 = 0. Is m at least -2/3?
False
Let s be 8/(-48) + (-25)/(-6). Suppose d = -s*b - 0*b + 4, 5 = 5*b. Let w = -11096/11 + 1008. Which is smaller: d or w?
w
Suppose 54*q + 96*q - 3150 = 0. Is q >= 221/10?
False
Let i(g) = -33*g + 1275. Let b be i(39). Which is bigger: 37 or b?
37
Let z = 49207 + -10382642/211. Which is bigger: 1 or z?
1
Suppose 12 = -2*h + 28. Let k(q) = q**2 + 1546 - 2*q**2 - 1539 - q**2 - 19*q + 4*q**2. Let p be k(h). Is -20 equal to p?
False
Let r = -4396365/253 - -17377. Which is smaller: r or -1?
-1
Let b be 3 + (3 + 0)/(-3). Let d = -25.63 - -25.73. Are d and b nonequal?
True
Let p(w) = w**3 - 2*w**2 - w - 2*w + 1 - 2. Let f = -266 + 269. Let i be p(f). Which is smaller: 7 or i?
i
Let n(r) = 2 - 9*r**3 - 2*r - r + 6*r**3 + 4*r. Let q be n(-1). Suppose -2*s - 2*s = -4*b + 4, 20 = 4*b + q*s. Which is smaller: b or 0?
0
Suppose 4*l - 5*w = 4 + 1, 3*l + w = -1. Suppose l = 7*v - 9 - 5. Suppose 2*d + 12 = h, v*h - 6 = h - 4*d. Which is greater: h or 26/3?
h
Suppose 3*p = -p + 4. Let w = -0.071 + 39.071. Let k = -8 + w. Is k < p?
False
Let v = 2.16 - 0.7. Let s = 3.54 + v. Let b = 8 - 12. Which is smaller: s or b?
b
Let l = 274 - 249.2. Let k = -24.8 + l. Is -19 at least k?
False
Let k = 29723 + -29723. Let b be (-4)/(-6) - 94/132. Which is greater: k or b?
k
Let m(g) = 3*g**2 + 9*g - 18. Let n be m(3). Let b be n/(-84)*6/9. Which is smaller: 1.9 or b?
b
Let f = -196/69 - -907/322. Let i be 1/(-1 - 0)*-1. Which is smaller: f or i?
f
Let y be 8/60 - ((-884)/(-330) - 2). Which is smaller: 2/41 or y?
y
Let u be (-30)/5 + (3 - -1055). Let c = u - 9479/9. Let i be ((-8)/12)/(2/3). Which is greater: i or c?
i
Suppose -7 = 5*z - 3*h, 4 = -5*z + 5*h - 1. Let r(n) = -4*n**2 - 8*n + 3. Let w be r(z). Which is smaller: 7 or w?
w
Let q be (0 + 58)/1 + -29 + 34. Let l = 63 - q. Which is smaller: 2/357 or l?
l
Let k be ((-474)/(-9))/(44/(-66)). Let d(p) = p**2 - 4*p + 17. Let s be d(-7). Suppose 2*j + 62 = -s. Are j and k equal?
False
Let d = 5 + -5.2. Suppose 10*w = -14*w - 1272. Is w >= d?
False
Let i(z) = z**3 + 8*z**2 + 8*z + 13. Let l be i(-7). Let c be ((-8)/l - 396/(-783)) + 2. Which is greater: c or 0?
c
Suppose -23*c + 24*c = -3*n + 395, 3*n + 2*c = 391. Let y be 8 + 50*(-21)/n. Is -0.2 <= y?
True
Let