0.47 + 0.17. Is a at most as big as u?
True
Let f be 99/2 + 0 + 2/4. Suppose 484 = 10*w - 56. Are f and w non-equal?
True
Let y(p) = 2*p**3 - 6*p**2 + 6*p. Let l be y(2). Suppose 5*g = l*g - 70. Let x = g - -75. Is x greater than or equal to 0.4?
True
Let b = -127 + 588. Is b bigger than 2?
True
Suppose -4*r + 5*f = 29, 49*r - 3*f + 14 = 50*r. Let m = 58 - 26. Let o be ((m/142)/4)/2. Which is smaller: r or o?
r
Let z(b) = -6*b**2 + 11*b - 19. Let u be z(7). Let i = u + 237. Is 3/61 less than i?
True
Let l = -5929/23 - -12919498/50117. Which is greater: l or 1?
1
Let w(n) = 54*n + 1960. Let y be w(-21). Is 821 less than y?
True
Let z = -18744 + 18716.22. Which is smaller: 0.4 or z?
z
Let s = -170117/293148385 - -13/18415. Is s < -1?
False
Suppose -4*o = l - 467, -2*o - 7*l + 247 = -2*l. Suppose 402 = 2*q + o. Let a be 598/q + (-4)/22. Is a at least as big as 5/2?
True
Let h = -2179 - -2251. Are h and 86 nonequal?
True
Let n = 2399 + -35977/15. Is n < 2?
True
Let c = 35 - 64. Let y be (-19)/(-38)*-1*2*c. Is 30 > y?
True
Let g = -3597 + 1180. Let u = 74925/31 + g. Let v be (1 + (-6)/5)*3. Is v equal to u?
False
Let g(d) = -50 - 2192*d**3 - d + 1098*d**3 + 1095*d**3 + 28*d**2. Let o be g(-28). Which is smaller: o or -14?
o
Suppose -8469 = -22*i - 2947. Does 250 = i?
False
Let k = 10934/3 - 1104199/303. Which is greater: k or 0?
k
Suppose -2*b - 10 = -8. Let h = -4 - b. Let p be 4/h*(-45)/170. Which is bigger: 0 or p?
p
Let h(v) = v + 1. Let j(d) be the second derivative of d**4/12 - 19*d**3/6 - 10*d**2 + 2*d. Let f be j(20). Let l be h(f). Which is greater: -3 or l?
l
Let m be (-18 - (-726)/44)*1/(-15)*-2. Which is smaller: m or 302?
m
Let s = 5856769289 - 5569794015940/951. Let m = -6753 - s. Which is bigger: 1 or m?
1
Let d(o) = -1751*o - 2112. Let t be d(1). Are -19317/5 and t equal?
False
Suppose 3*b + 2 - 32 = -2*m, 5*m + 4*b - 75 = 0. Let g = 608 - 591. Is g greater than m?
True
Let l be ((-27)/477234)/((126/112)/(1/(-2))). Which is smaller: 1 or l?
l
Suppose 0 = -b - 41 - 40. Let d = 1213/15 + b. Let t = 2 + -2. Which is smaller: d or t?
d
Let l(i) = -i**2 + 5*i + 15. Let x be l(-2). Suppose -8 = -2*f + 4*n + n, x = 3*f - 2*n. Does 2/205 = f?
False
Let j(u) = 26*u**2 + 228*u + 5. Let a be j(-3). Is -443 equal to a?
False
Let g = -1/14645 - -132116/4554595. Which is smaller: g or -1?
-1
Let r = -6424 - -6425. Is r greater than 5/19?
True
Let a(f) = f**2 - 7*f. Let q be a(3). Let t(l) = l + 20. Let s be t(q). Let j be 17/(-12) - 1 - (s - 10). Which is smaller: 0 or j?
j
Let m be (-5)/(-10) + 138/(-4). Let a = m + 34. Suppose -9*p + 9 - 18 = a. Is 24 at least p?
True
Suppose -56*w + 32469 + 120075 = 0. Which is smaller: w or 2723?
2723
Let r = -2696941/19787 + 48528444607/429081095. Let z = r + 2/21685. Is -22 > z?
True
Let g be (-99)/66*(129157/84 - 1/4). Is g greater than -2307?
True
Let r = -103 - -292. Let u = 189.3 - r. Which is greater: -3 or u?
u
Let y be 100/15*3/1. Let a(n) = 6*n + 3. Let u be a(0). Suppose -u*w - w = -76. Is w < y?
True
Let z(b) = 246*b - 4943. Let v be z(21). Suppose -t = -0*k - 2*k + 450, -3*t = 12. Is k greater than v?
False
Suppose 0 = -3*m - 11 - 1, -4*m - 8 = 4*h. Suppose 0 = -16*z + 18 - h. Does z = -2/997?
False
Let p(n) = 11*n**2 + 249*n + 13. Let r be p(-34). Which is bigger: 4264 or r?
4264
Let n be 1/(-5)*(-15)/(-48). Suppose 4*l = 2*c - c + 110, -5*c = 5*l - 125. Suppose -1 = -l*u + 28*u. Which is bigger: u or n?
n
Let z be (-1)/28*992/(-81964). Is z at least as big as -0.1?
True
Let q be (-6)/27 - 48/27. Let i be (6049/27180 - (-26)/(-117))*-2818. Let y = i + 5/151. Is y greater than q?
True
Suppose 0 = 18*b - 11*b - 364. Let p be (-60)/35 - -2 - b/(-14). Which is smaller: 0 or p?
0
Let b = 0.9 + 5.7. Let u = b + -1.4. Let j = -2.2 + u. Which is greater: j or 1/4?
j
Let y = 888.9791 - 889. Are y and 2/5 equal?
False
Let t(z) = 2*z**2 + 27*z - 212. Let d(y) = 2*y**2 + 26*y - 214. Let f(q) = -3*d(q) + 2*t(q). Let o be f(10). Do o and -222 have different values?
False
Let y = 2149/11845 - 16/103. Let a(b) = -2*b**3 - 34*b**2 - 121*b + 184. Let o be a(-8). Is y < o?
False
Let k = 711 + -491. Let n = 139 - k. Are n and -81 nonequal?
False
Let s(w) = 2*w + 13*w**2 + 14 - 2 + w**3 - 41*w**2 + w**3. Let p be s(14). Is 39 greater than or equal to p?
False
Let s(g) = -2*g - 3. Let w be s(-2). Suppose 3*i - w - 5 = 0. Suppose i*j = -5*p + 59, 65 = 7*p - 2*p + 5*j. Is 11 smaller than p?
False
Let a = -550.4 - -546. Let k = -4.282 + -0.018. Let q = a - k. Which is bigger: -5 or q?
q
Let n(f) = 5*f**2 + 12*f + 15. Let k(d) = 9*d**2 + 24*d + 31. Let q(v) = 6*k(v) - 11*n(v). Let t be q(15). Let b be 9/63 + t/21. Which is smaller: 2 or b?
b
Let i(m) = 3*m**2 - 88*m + 23. Let z be i(29). Let p(w) = -w**3 - 5*w**2 - 11. Let c be p(z). Is c smaller than 25?
False
Let p = -14 + 14. Let x = 1.429 + -2.129. Are p and x unequal?
True
Let i = -10452280950925/3609 + 26065618244/9. Let r = -8857 + i. Is r < 0?
False
Suppose 5*x - 97 = 3*k, 2*k = 5 - 3. Suppose 0 = -2*u - 3*u + x*u. Let b be (-6)/7 - 2/7. Is u at least as big as b?
True
Let k = 287.08 - 287.14. Is k greater than or equal to -907?
True
Suppose 0 = 61*m + 752 - 20. Which is greater: -47 or m?
m
Let d(n) = n**3 + 12*n**2 + 17*n + 78. Let u be d(-11). Let w be (4/6)/((-2)/(-183)). Let k = w - u. Is 49 > k?
False
Let m = 4.552 + -0.862. Let x = 3.79 - m. Is x at least as big as 344?
False
Let j = 6 + -53. Let z = -66 - j. Let g = 1.053 - 0.053. Which is bigger: g or z?
g
Let l(i) = 3*i - 1. Let u be l(2). Let b be 23 - (8 - (0 + -1)). Suppose -26 = -3*f + c, -2*f + 0 + b = c. Which is greater: u or f?
f
Let d be (9 + 168/(-18))/(4/12). Is -78 less than d?
True
Let m = 262 + -275. Let a = m - 124. Is a bigger than -138?
True
Let x(q) = q**3 + 7*q**2 + q + 12. Let d be x(-3). Which is smaller: d or 656/15?
656/15
Let m = -6797.1 - -6797. Is m > 548?
False
Let j be (16/(-24))/((-4)/(-18)*-3). Let f(o) = -o**3 + 1. Let z be f(j). Suppose z = -4*q - h - h - 24, -5*q - 2*h = 32. Which is bigger: 1 or q?
1
Let u(o) = o**3 - 11*o**2 + 10*o - 1. Suppose 7 = 2*t - 15. Let r = t + -1. Let l be u(r). Is 0.6 less than or equal to l?
False
Let s = -513.5 - -550.5. Which is smaller: 13 or s?
13
Let y be 2*(-12070)/(-25)*5. Let p be 0 - (0 + y/17380). Let o = -2/395 - p. Which is bigger: o or 0?
o
Let k be (-12848)/40 + (-4)/5. Let t be ((-3)/6*-23)/((-7)/k). Let l = 8461/16 - t. Which is smaller: l or -1/3?
-1/3
Suppose 222 = -2*f + 3*u, 2*f - 66 = -u - 288. Let b = -103 - f. Let o be (-6)/b + ((-759)/(-60))/11. Which is smaller: o or -6?
-6
Let m = 4 + -4. Let l = -1303/272 + 165/34. Which is greater: l or m?
l
Let f be 0/((4/(-22)*1)/(1/(-11))). Which is smaller: 20/187 or f?
f
Let o = -1804 + 1376. Suppose -3*w - s - 1289 = 0, 4*s = 3*w - 133 + 1397. Is o greater than w?
False
Suppose 0 = -2*w - 3*b - 19 - 63, 0 = -2*w + b - 98. Is w <= -11?
True
Let t be (-44)/(-11) + -1*2 + 1 + 5676. Which is smaller: 5678 or t?
5678
Let i = -632 - -635. Suppose 5*w + 8 = -2, -2*w = -i*p + 7. Do 264 and p have different values?
True
Let r be 9798/3422 + -9 + 6. Let b = 4/59 + r. Suppose -2*z - 4*x = x + 8, z = -2*x - 3. Which is smaller: z or b?
b
Let h be 105/(-70)*(-2)/12. Let g be 2/(-3)*(-9)/(-12). Does g = h?
False
Let j be 18/81 + (-951)/27. Let d = j - -74. Let n = -11 - d. Is -49 at least as big as n?
True
Let t(o) = -112*o - 44. Let s be t(-14). Suppose 0 = 5*d + 7*d - s. Let m = d + -380/3. Is 0.37 <= m?
False
Let k(v) = v + 3. Let h be k(0). Suppose h = 5*f + a - 2, -3*f + 5 = a. Let l be (-5954)/507 + 11 + (-8)/(-104). Are f and l equal?
False
Let p(i) = 24*i - 366. Let y be p(15). Let l be 64/y - (-62 - -54). Let t be 28/(-6) - 2/(-3). Which is smaller: l or t?
t
Suppose 2 = j, 7*j = -3*c + 2*j + 10. Suppose -3*v = 2*r + 63, -2*r + 2*v - 50 + 2 = c. Is r smaller than -300/11?
False
Let u be ((-4)/(-10))/(1/10). Suppose 0 = 3*b - 4*x - 52, 5*b + 14 = -u*x + 58. Suppose 17*s - b*s = 0. Which is bigger: 2/25 or s?
2/25
Let x = -15 - 3. Let p = -261.32 + 264. Let s = p + -1.68. Which is greater: x or s?
s
Suppose 0 = -4*p + 24, -5*c - 5*p + 4520 = -6355. Is 2169 less than or equal to c?
True
Let w(u) = -49*u - 3308. Let k be w(-43). Is -1200 at most k?
False
Let t be ((-1*6)/2)/((-