/9 at least as big as u?
True
Suppose -12 = 12*u - 0. Which is bigger: -5/48 or u?
-5/48
Let a(g) = -7*g**2 - 4*g - 32. Let w(l) = 13*l**2 + 9*l + 64. Let b(r) = -11*a(r) - 6*w(r). Let j be b(-6). Let z = -2 + 1. Is j bigger than z?
False
Let j be (-2550)/(-25)*(-5)/(-30). Let z = -0.2 + 0.2. Let n = z - -1. Is n smaller than j?
True
Let v be 32/56 + (-474)/21. Let b be (v/4 - -5)/((-2)/(-172)). Is b > -43?
False
Let r be -1*(-1 + 0)*2. Let h = 26 + -21. Suppose 2*o - o + 3*i = 0, 0 = -h*i. Which is smaller: o or r?
o
Suppose 0 = m - 8 + 3. Let y(d) = d**3 - 4*d**2 - 5*d - 3. Let n be y(m). Let q be ((-3)/(-2))/(3/(-6)). Is q at most as big as n?
True
Let y = 10 + -8.8. Let t = y + -0.2. Let s = -1578 - -1578. Is t greater than s?
True
Let d be (-8)/4 + (-217 - -2). Let u be (-4)/6 + d/(-168). Let r = -31/24 + u. Which is greater: r or 0.1?
0.1
Let l = -48 - -57. Let v = l + -8.6. Which is greater: 7 or v?
7
Let x(b) = -6*b - 4. Let j(m) = -7*m - 5. Let d(o) = -5*j(o) + 6*x(o). Let q be d(13). Let h be 3/(-7) - q/(-21). Is -18/13 smaller than h?
True
Let n = 14 + -7. Let o = n - 7. Which is smaller: o or -2?
-2
Let l(u) = u**2 + 6*u + 2. Let j be l(-6). Suppose j = -3*b - 1. Which is greater: -1/8 or b?
-1/8
Let y = -2 - -1. Let p be (-176)/64 - y/4. Let g = -1.8 + 2. Is p < g?
True
Let p be 6/(-45) + ((-5818)/(-15))/(-1). Let l = p + 6594/17. Which is smaller: -1 or l?
-1
Let t = -1837 + 328. Let i = -164483/109 - t. Is i greater than or equal to 1?
False
Let c = -225.7 + 219.7. Suppose 0 = 2*q - 8 + 24. Which is smaller: q or c?
q
Let c(n) = n**2 - 6*n + 4. Let p be c(4). Let o = 9 - -5. Let b = 13.6 - o. Is p < b?
True
Let b be (2/(-124))/(-7 - (-232)/32). Let t = 1.4 - 0.4. Is b <= t?
True
Let j(b) = 7*b**2 + 2*b - 7. Let s be j(-3). Let c = 86 - s. Suppose -3*y - y - 2*p - c = 0, 4*p - 19 = 5*y. Are -6 and y non-equal?
True
Suppose 3*w - 3*x - 207 = 0, 3*w + 3*x - 133 = w. Suppose -5*v + v = w. Is v > -17?
False
Suppose k = 5*j + 12, -2 = -j + 2*k - 8. Let p be j/(-9) + (6 - 5). Let t = p + -139/99. Which is smaller: t or 1?
t
Let s = 103 + -44. Which is smaller: s or 1?
1
Let a = 6489003/515 - 12600. Is -1 at most a?
True
Let w = -1003 + 979.16. Let s = 0.16 - w. Is s at least -0.1?
True
Suppose -4 = 3*b + z - 0, 5*b = -3*z. Let q be b*1/6*2. Is q smaller than -1/133?
True
Let n = -173 - -152. Which is smaller: 2/9 or n?
n
Suppose 0 = 2*u + 2*u - 52. Let j = -2 - u. Let s be 12/j*(-4)/(-32). Is 0 <= s?
False
Let c(t) = t + 4 + 3*t + 2*t**2 - 3*t. Let y be c(0). Suppose -4*o + 6 = 2*b, -5*b - 3*o = -4*b - y. Which is greater: b or -2/91?
b
Let q(x) = -2*x**2 + 7*x + 2. Let v be q(6). Let b(i) = -2*i**2 + 8*i + 6. Let l be b(6). Let t = v - l. Which is bigger: -11 or t?
t
Let a = -6166/27475 - -46/157. Is a at least as big as -1?
True
Suppose -z = -5*z - 5*f + 44, 4*z + f - 28 = 0. Let d(u) = -u**3 - 17*u**2 + 14*u - 65. Let r be d(-18). Does r = z?
False
Let b(m) = -m - 1. Let c be b(-1). Let r = 218/3 + -6328/87. Which is smaller: r or c?
r
Suppose 3*b = -2*f - 9, 4*f = -5*b - 16 + 1. Let g = 505 - 519. Is g less than or equal to f?
True
Let q be 56/(-6)*3/(-2). Let s = q - 14. Let o be ((-3)/66)/(4/(-144)*3). Is s less than o?
True
Suppose -3*m + m = 0. Let p = m - -5. Suppose 3*d - n = -25, -3*d - p*n - 1 = -0*d. Which is smaller: d or -8?
-8
Suppose -16*w + 11*w + n - 3 = 0, 5*w = -n + 3. Is w <= 6/175?
True
Let a(n) = -n**3 - 12*n**2 + 12*n - 16. Let w be a(-13). Let x = 7 + w. Suppose 3*m = -2*d - 0*d - 12, x*m = -3*d - 16. Which is greater: 1/23 or d?
1/23
Let v = -3576 - -489909/137. Is v > 1?
False
Suppose 220*f = 222*f - 2. Is f less than or equal to 46/39?
True
Let l = 0.31 + -0.28. Let t = l + -5.83. Let v = t - -6. Is v at least as big as -1?
True
Let k = 65 - 64. Let v be 1*(k + -1) + (-14)/49. Suppose 1 = -d - 0. Is d smaller than v?
True
Let s be (-404)/50 + 30/375. Is s not equal to -5?
True
Let g(a) = -3*a - 14. Let d be g(-10). Let l be 56/d*(-4)/(-14). Which is smaller: 0 or l?
0
Let u be 11 - ((-16)/2)/(-2). Let b be 129/u + (-9)/21. Which is bigger: 17 or b?
b
Let h = -1 - -1. Suppose h = 4*g - 14 + 6. Suppose 2*u - 6 = -g. Is u > 1/5?
True
Let q be (-6)/(-8)*8/3. Let c be 150/(-10) + 2/q. Let y(m) = m**2 + 2*m - 14. Let x be y(0). Is c < x?
False
Let d be 45/(-18)*2 + -204. Is -207 smaller than d?
False
Let t = 132 + -126.3. Let l = -6 + t. Let h = l - -0.1. Which is bigger: 3 or h?
3
Let o = -36 + 35.7. Which is bigger: -18 or o?
o
Let l = -2211 + 24337/11. Are l and 2 nonequal?
True
Let b = 12.04 + -12. Let u = b - -0.06. Let m be 1/3*(-36)/(-44). Is m > u?
True
Suppose -5*j + 6*d - d = 260, 5*j + d = -248. Suppose 5*c + 3*v = 91 - 327, 0 = 4*c + 3*v + 187. Which is smaller: c or j?
j
Suppose 13*g - 33 - 6 = 0. Is 2 less than or equal to g?
True
Let k be (-2 - 76/(-36))/(1/9). Is 12 equal to k?
False
Let s = -7.514 + 7.25. Which is bigger: 0.2 or s?
0.2
Suppose -4*h = -2*g - 52, 0 = -5*g - 8*h + 6*h - 94. Is -24 greater than or equal to g?
False
Let r(f) = -127*f - 474. Let l be r(-9). Which is bigger: l or 670?
670
Let f = -1330 - -1359. Are f and 27 unequal?
True
Let b = -7.5 + 7.3. Let v = -17.091 - -0.091. Which is greater: v or b?
b
Let b be (-3)/(-15)*(165/(-5) + 4). Is b smaller than -28?
False
Let v be (-38)/(-8) - (-21)/(-28). Suppose y = 5*y - v. Is 3/8 smaller than y?
True
Suppose 2*p - 5*d = 8, 5*p - 20 = 2*d - 5*d. Suppose 0 = 5*b + c + 2*c + 23, 0 = p*b + 3*c + 19. Let w = -10 - -8. Is w less than b?
False
Let r = 38 + -28. Suppose 7*c - 2*c = -r. Which is smaller: -16/7 or c?
-16/7
Let o(i) = -2*i + 3. Let t be o(4). Suppose -31*q = 201 - 46. Is t > q?
False
Let k = -51 + 73. Suppose -3*t - 18 = -4*a, 2*a + 2*a - 5*t - k = 0. Let x be (-2 - -1)*(2 - a). Do x and 1/12 have the same value?
False
Suppose 5*h + 22 = 3*y, 8 = 3*h + 4*y - 2. Let n be (-175)/(-378) - h/(-4). Suppose -17*t = -10*t. Which is smaller: n or t?
n
Let a be (-8)/20*6/4. Let s = 941/33 - 310/11. Which is smaller: a or s?
a
Let j = -25 + 534. Which is bigger: 510 or j?
510
Let o = -475452/185 + 2570. Let k = -1145 - -1144. Are o and k equal?
False
Let y(q) = 3*q - 23. Let l be y(6). Let c be 1*(-3 - (-16 - (-15)/l)). Do -2 and c have different values?
True
Let y = 18904/2155 + 12/431. Suppose 10*z - 7*z = 27. Which is smaller: y or z?
y
Suppose -48*i + 4108 = -100*i. Is -82 < i?
True
Let n(s) = s**2 + 5*s + 6. Let k be n(-4). Suppose 5*l + 30 = -z, 0*l - 15 = k*z - 5*l. Let b = 14 + z. Which is smaller: 2/9 or b?
b
Suppose 38*z - 45 + 7 = 0. Which is smaller: z or 19/9?
z
Let d(u) = 4*u**2 - 107*u - 26. Let h be d(27). Is h at least -1/26?
True
Let o be (-20)/(-1)*(2 - 0). Let k = o + -41. Which is smaller: -2/3 or k?
k
Let l(y) be the first derivative of 7*y**2/2 + 47*y + 36. Let f be l(6). Is 90 != f?
True
Let g(n) = 5*n + 15. Let y be g(-5). Is y <= -14?
False
Let w = 2131 + -2133. Are 555 and w nonequal?
True
Let x be 24/18*3/(-2). Let h be (x/(-6))/(6/(-1)). Let m = -278 + 278. Do h and m have different values?
True
Let k = -243.9 + 244. Which is smaller: k or -181?
-181
Let s be (-4 - 72/(-20)) + (-6)/(-20). Is s < -6?
False
Let u(y) = -2*y**2 - 74*y + 108. Let l be u(-39). Which is greater: -49 or l?
l
Let q be 6/18 - 43/3. Let m(v) = 8*v + 3. Let a be m(-2). Is a equal to q?
False
Let b be 7/(-28)*(0/(-1) - -1). Let k = -1.13 - -0.03. Let g = k - -0.9. Are g and b equal?
False
Suppose -4*v + 75 = -v. Suppose 524 - 68 = 19*m. Is m at least v?
False
Let n = -44713 + 63358324/1417. Which is bigger: n or 0?
n
Let u(j) = j**3 - 15*j**2 + 39*j - 56. Let r be u(12). Are r and -2 non-equal?
True
Suppose u + u = 12. Suppose 0 = 2*r - 3*r - 2*z - 2, 5*r - 16 = 3*z. Let i be (r - 5) + 72/8. Is i at least as big as u?
True
Let v(b) = -97*b - 883. Let s be v(-9). Is s bigger than -53?
True
Let d be -5 + (5/2105)/((-6)/(-12612)). Is 0 != d?
True
Let v be (-1)/((-2)/(-794))*(-15)/325. Let k = 87/5 - v. Are k and 0 non-equal?
True
Let y = 196 - 232. Do y and -36 have different values?
False
Let y = 284 + -337. Is y at least -50?
False
Let b = -0.06 - 1.94. Let v = -2.1 - b. Let c = -117/4 - -29. Which is greater: c or v?
v
Suppose 0 = -4*j - 3*f + 8 + 7, f + 14 = 5*j. Let g = 15816/11 + -1436. Are j and g non-equal?
True
Let s = -156 