(a) = a**2 + 12*a + 11. Let o be u(-11). Suppose g = 3*i, -i = -o*i + 4*g. Is -2/47 less than or equal to i?
True
Let r = -507/2 - -236. Which is smaller: -18 or r?
-18
Suppose 54 = 4*a - 2*g, 0 = a - 2*a + 3*g + 26. Suppose -6*t + 4*t = -8. Suppose -t*f - 4*b = -8, -f - 4*b + a = -6*b. Which is greater: f or 4?
f
Let g = -11 + 7. Let t = g - -6. Let a be 500/6250 - (-102)/(-25). Which is greater: a or t?
t
Let t = 4/177 + 38/59. Let a = 217/3 - 71. Is a > t?
True
Let g be (-3)/(-8) - 7704/37440. Are g and -1 non-equal?
True
Let p = 4 - 36. Let a = p - -14. Let f = -17.93 - a. Is f at most as big as 2?
True
Let r(z) = 3*z - 9. Let w(a) = -4*a + 14. Let x(p) = 7*r(p) + 5*w(p). Let k be x(-5). Let q(o) = -16*o - 49. Let b be q(-3). Are b and k equal?
False
Suppose -48*g = -33*g + 15. Is 3/74 at least g?
True
Suppose 48*j = 51*j - 90. Is 1 at least as big as j?
False
Suppose 40 = 2*o + 3*o. Let b(s) = 3*s + 5*s - 6 - 7*s. Let f be b(o). Which is bigger: f or -1?
f
Let o be ((-5)/(-15) - 0) + 2/3. Which is bigger: o or -1/353?
o
Suppose 4*q = -q. Suppose q = 3*u - 9 - 0. Let t = 2439 - 2434. Do u and t have different values?
True
Let m = -233/8 - -61/2. Let u = m - 17/24. Let x be 3*(-1 + 4)/(-9). Which is bigger: x or u?
u
Suppose 0 = 5*z - 3*z - 14. Let u = -15 + z. Let h = 7 + u. Which is greater: 3/25 or h?
3/25
Let p = -276.9 - -217. Let k = -60 - p. Is k not equal to 26?
True
Let t = 0.2 - 0.3. Suppose 2*m - 32 = -2*m. Suppose m*o - 13*o = -5. Is o >= t?
True
Suppose 4*m - 2*o - o - 165 = 0, o = -5*m + 192. Is m smaller than 39?
False
Let k = 165 - 112. Suppose -46 + k = -g. Which is greater: 3 or g?
3
Let w = -0.87 - 0.13. Let a = w - -4. Let k = a + -3.07. Which is greater: k or 2/7?
2/7
Suppose -48 + 6 = 3*a. Let q be ((-48)/84)/(4/a). Suppose -q*k = -0*k + 4. Is -12/11 at least as big as k?
True
Let n = 76482/21535 - 684/295. Is 1 less than n?
True
Suppose o - 5*z + 75 = 0, 4*o = 3*z - 61 - 222. Which is smaller: -68 or o?
o
Let s(k) = -37*k**3 - 1. Let r be s(1). Let q = 23 + r. Let d be q/50*10/(-18). Which is greater: d or 1?
1
Let p = 2 + -2. Let n be ((-1)/(-4))/(203/518). Let t = n - 4/29. Which is greater: p or t?
t
Suppose n = -3*n - r - 2, -3*n - 8 = 4*r. Let m = -45/14 + 2371/742. Which is smaller: m or n?
m
Let g = -2 - -1.8. Suppose -10*k - 16 = -6*k. Let z be k/6*(-6)/(-14). Which is smaller: z or g?
z
Let z = 175/8 + -517/24. Which is greater: -12.6 or z?
z
Let v(d) = -4*d - 3 - 9 - 11. Let w be v(-7). Is 6 less than w?
False
Let h = -221 - -136. Which is greater: 0 or h?
0
Let y = 31 + -59. Let n be -3*(-3 - y/10). Which is smaller: n or 2?
n
Let k be 2*(-2)/(-8)*-2. Let l be ((-1)/(-2) - 1)/(63/(-14) + -9). Which is smaller: l or k?
k
Suppose 5*m - 5 = 10*m. Let u be (m/((-2)/(-2)))/((-6)/(-198)). Is -33 greater than or equal to u?
True
Suppose x + 5*y = 30, y + 0*y = 5. Suppose f = -5*u - 23, -f - x = 4*f + 3*u. Suppose -f*i = i - 3. Do -3 and i have the same value?
False
Let h be 2*4/((-24)/(-9)). Let l be 7/(h/((-15)/5)). Is l greater than or equal to -4?
False
Let l(h) = -h**3 - 7*h**2 + 3*h + 5. Let c be l(-7). Let s be c/72 - 194/(-144). Suppose -5*a - 5 = 0, -5*p + 2*a - 9 = -21. Which is bigger: s or p?
p
Let v(p) = -p**2 + 4*p - 3. Let t be v(2). Let m = t - 3/4. Is 0 smaller than m?
True
Let p = 0.45 + -0.45. Let z = -13 - -22. Let c = -9.1 + z. Which is bigger: p or c?
p
Suppose -5 = -2*c - 3. Let p be (-1)/2 + c/(-6). Suppose -33*b = 52*b + 170. Is p bigger than b?
True
Let i = 3 + -7. Let b be (i/(-26))/(32/2096). Let p = b - 10. Is -1 > p?
False
Let t = 395474/377 + -1049. Which is smaller: -1 or t?
-1
Let a(m) = -m + 1. Let d(w) = 2*w - 6. Let v(k) = -3*a(k) - d(k). Let g be v(-9). Let f be ((-2)/35)/(g/14). Which is smaller: 3 or f?
f
Let h(d) = -27*d**2 - 9*d. Let c be h(5). Let b be c/88 - (-2)/11. Let g(j) = -j**3 + 4*j**2 - 2*j - 2. Let n be g(4). Which is smaller: n or b?
n
Let a(v) = 8*v**2 - 14*v + 41. Let k be a(3). Is 72 at most k?
False
Let r(x) = x**3 - 19*x**2 - 19*x - 26. Let c be r(20). Is -1.61 >= c?
True
Let k = -2 - -3. Let l = -27 - -27.08. Let a = l + 0.92. Is k != a?
False
Let o be (0 - (-46)/2) + -1. Let p = 1091 - 1069. Is p greater than or equal to o?
True
Let q be (-194)/(-3)*9/(-24). Let w = q - -24. Let t = 2 - 3. Are t and w equal?
False
Suppose 21*i - 6 = -8 - 19. Let t = -6 - -111/19. Is t at least i?
True
Let h(i) = i**2 - 7*i + 7. Let u be h(7). Let s(g) = -5*g**2 + 2*g**2 + 2*g**2 + 4*g - u + 11. Let m be s(5). Is m greater than -1/18?
False
Let l(c) = 3*c - 12. Let s be l(5). Suppose s*d = -d - 8. Let i be 0 + 1 + d/(-1). Do i and 2 have the same value?
False
Let x = -0.31 + -0.09. Suppose 5*b - b - 4 = 0. Which is smaller: x or b?
x
Let c = 24 - 16. Let v = c + -9. Let r be 6/(-27) + 106/(-90). Is v > r?
True
Let q = 0.038 - 15.038. Let f = 16 + q. Is -19/4 greater than or equal to f?
False
Suppose n + 36 = 2*n. Let o be ((-6)/n)/(1/(-2)). Is o less than or equal to 2/3?
True
Let p be (1 + 2)*(-1)/(-1). Let c be 61 + 3/9*-3. Let m = 64 - c. Is p < m?
True
Let z be (1 + -11)/(6 + 1). Let y = 0.912 + 0.088. Is y at most as big as z?
False
Let r be (2/(-40))/((-22)/31576). Let a = 359/5 - r. Is 1 >= a?
True
Suppose 15*a - 17*a = 138. Let u = a + 485/7. Is 4/9 > u?
True
Let a = -8 - -12. Suppose -4*y - 2*x = 47 + 61, -16 = a*x. Is y at least as big as 2?
False
Let i = -14 - -8. Suppose -k - 4*k = 25. Let y be (-3)/(-15)*(4 + k). Is y greater than or equal to i?
True
Let n = 0.507 + -0.307. Which is greater: n or 0.15?
n
Let l be ((-18)/15)/((-8)/20). Let i be (l + (-68)/12)*3. Which is greater: -6 or i?
-6
Let r(o) be the first derivative of -2*o**2 + 4*o + 9. Let b be r(0). Let j = 8 - 5. Do b and j have the same value?
False
Let i = 1593 - 1459. Is 133 not equal to i?
True
Let m = -41 - -44. Suppose 4*g + z - 6 = g, m*g + 2*z - 9 = 0. Is 0 bigger than g?
False
Let y(v) be the first derivative of -v**4/4 - 8*v**3/3 + v**2/2 + 8*v + 1. Let b be y(-8). Let n = 3 - 2.6. Which is bigger: n or b?
n
Suppose 10 = -4*r + 4*i + 2, 5*r + 6 = i. Let a(g) = -g + 3. Let z be a(-3). Let n be (z/(-88))/((-12)/(-8)). Does n = r?
False
Let t = 10.469 - 10.5. Let l = -1.969 + t. Do l and 25 have the same value?
False
Let j be (-8)/(-28) + 54/7. Let a(l) = -l**2 + 5*l + 8. Let v be a(j). Which is smaller: v or -17?
-17
Let n = 1.992 + 0.008. Which is bigger: -3/205 or n?
n
Let c = -71838/11 - -6546. Does 16 = c?
False
Let i = -0.14 - -6.14. Let l = -4 + i. Let n(t) = -t**2 - 9*t - 20. Let w be n(-4). Which is smaller: w or l?
w
Let i(g) = 12*g**2 - 2*g + 3. Let a be i(3). Do 105 and a have the same value?
True
Let p be (-3)/2 - (4 - (-5)/10). Let y = -20 - -14. Let c be (y/(-9))/(8/p). Which is smaller: 2 or c?
c
Let k = -225 - -229. Which is smaller: 10 or k?
k
Let q be (132/(-110))/(-1 + -1). Which is smaller: -1/16 or q?
-1/16
Let q(t) = t**3 + 5*t**2 + t - 16. Let m be q(-5). Which is bigger: -4 or m?
-4
Let b(g) = g**2 + 3*g - 8. Let q be b(4). Suppose 4*r - h - 13 = 0, -3*r + 8*r - 5*h - q = 0. Let u be (-14)/(-4 - 1*-2). Is u >= r?
True
Suppose -10*c + 23 = -27. Which is greater: c or 7?
7
Let t(l) = l**3 - 15*l**2 + 2*l - 30. Let o be t(15). Let y = 116 + -809/7. Let a = 8/63 + y. Is o < a?
True
Let q be (5 + 27/(-6))*(45 + -1). Suppose -q + 13 = c. Is -9 less than c?
False
Suppose -r = -2*r - 20. Let n be (r/6 + 4)*-27. Is n greater than -17?
False
Let l be (-7 - -42)/(-105)*5*15. Let g(k) = -k**2 + k - 24. Let o be g(0). Does l = o?
False
Let v = 216 - 195. Which is greater: 23 or v?
23
Suppose 33 = 4*d - 5*m, 4*m + 9 = 7*m. Which is bigger: d or 1?
d
Let k = 177/10 - 15763/890. Let w = -1 - 0. Is w bigger than k?
False
Let p be 0 - (0 - 1)/1. Let h = -387 + 390. Which is smaller: h or p?
p
Let s(l) = l**2 + 10*l + 9. Let u be s(-1). Which is smaller: u or 15/23?
u
Let o = -787/36 + 87/4. Let r(q) = q**2 - 7*q - 18. Let h be r(8). Let x be (-8)/10 - h/(-50). Which is bigger: x or o?
o
Let g = -1 + 5. Let r = -4 + g. Let f = 53/2 - 797/30. Is r at most f?
False
Suppose 22*b = 25*b. Let i(r) = r + 0*r**2 - 5 + b*r**2 + r + r**2. Let f be i(-3). Is f greater than 1?
False
Let b be (-3 - -402)*3/9. Suppose b - 443 = -5*c. Is c less than 62?
False
Suppose -11*s + 26*s = 420. Which is 