b**2 + 4. Let u be s(1). Suppose 531*i - 1118*i + 41090 = 0. Which is greater: u or i?
u
Let s be ((-90)/2)/3*(3 - 530/15). Is s at least 484?
True
Suppose -5*p = 25, -4*p = 5*v - 0 - 5. Suppose -3*h + 2*j + v - 3 = 0, -3*h + j + 4 = 0. Let t be 18/(-27) - 4/3. Is t <= h?
True
Let t = 1/76 + -183/8132. Suppose 221 = 25*u - 8*u. Suppose -3*b = 15, -u - 11 = 4*w + 4*b. Which is bigger: w or t?
t
Let u(a) = a**3 + 18*a**2 + 81*a + 1. Let g be u(-8). Let t(s) = 97*s + 207. Let l be t(g). Is -472 greater than l?
False
Suppose 30 = -0*a - a. Let n = 2159 - 2187. Which is smaller: n or a?
a
Let j be ((-6)/(-4) - 2)*-14*(-26)/91. Which is smaller: -82/63 or j?
j
Let v = -35 - -34.88. Let x = v + 0.04. Let j = -5.08 - x. Is j > 0.3?
False
Let f = 6.08 + -93.08. Let s = f + 140. Which is bigger: s or -0.1?
s
Let i = -37.46 + 36.66. Which is smaller: i or 3/2?
i
Let r = -5883/124 + 1494/31. Is r bigger than -5969?
True
Let m = -4/861 - -1199951/861. Is m greater than 1395?
False
Let c = -2080.3 - -2087. Are 0.3 and c unequal?
True
Let u = -25 + 25. Let v = 6416 + -4292303/669. Is v != u?
True
Let l be 2/(-8) - 14/8. Let w be l/3 + (-16)/3 + 5. Suppose 0 = p + 3*p - 12. Which is bigger: p or w?
p
Suppose -5*a + 68 = -32. Suppose w + 4*h - a = 0, 0 = w + 2*w - 2*h - 4. Suppose 5*v = -2*c - w, v + 16 = 4*c + 2. Is v at most -8/3?
False
Let d(r) = 3*r + 35. Let c be d(-11). Suppose -5*a = -c*a. Suppose a = -4*k + h + 1 - 4, -28 = 4*k + 4*h. Which is bigger: k or 1?
1
Let m(t) = t + 7. Let l be m(-3). Suppose -4*r + r + 4*s = -l, -s - 10 = -3*r. Let g be (2*(-5)/80)/(2 - 1). Which is smaller: r or g?
g
Suppose 5*u + 384 = -2471. Let j = -574 - u. Let z = 55593/133 + -2937/7. Is j < z?
True
Let h be -1 + (-45)/(-20) - 1*(-12077)/(-52). Which is smaller: -233 or h?
-233
Let s be (-1 - -1)*(-1)/2. Let a be ((-6)/10 + s)*(-9 + -1). Suppose -5*d = c + 20, 3*c - 44 = a*c - d. Which is greater: -14 or c?
-14
Suppose 4*x + 60 = -0*x. Let d be -2 + 1/((-4)/50). Which is greater: d or x?
d
Let i = 24235 + -24234.8719. Which is smaller: i or -7?
-7
Let p = -311 + 311.076. Let b = 1.924 + p. Is -4/7 != b?
True
Let q(i) = 2*i + 10. Let b be q(-5). Suppose 9*x - 40 + 13 = b. Let u(r) = 2*r**3 - 3*r**2 - 5*r + 6. Let j be u(x). Which is greater: j or -1/3?
j
Let g be 1 - (-9)/(-11) - 8/77. Let w be 1*4 - (-14 - -19). Is w >= g?
False
Let v = 214 + -213. Let a = v - 0.9. Let u be (-8)/6 + (-8)/12. Is u greater than or equal to a?
False
Let a = -12.941 + 46.941. Which is greater: -3/13 or a?
a
Let p = -12.22 - -0.52. Let o = 176.3 - p. Which is greater: 1/4 or o?
o
Suppose -49 = -8*g + t + 1186, -5*g + 5*t = -785. Is g greater than or equal to -1?
True
Suppose -5*u + 5*x = -30, -21*u - 18 = -19*u + 4*x. Are u and 1/2158 non-equal?
True
Let m = -407 - -147. Let x = m - -260.31. Which is smaller: 8 or x?
x
Let q(g) = -11 - 66 - 2*g**2 - 7*g + g**2 + 31*g. Let s be q(20). Is s at most -2?
False
Let g = -86.35 - -86.34. Is g <= 34/31?
True
Suppose 5*y + 2*g + 5 = 12, 5*y - 4*g = 31. Let m be 1/y + (75/(-9) - -5). Let t be ((-10)/(-15)*7)/((-2)/m). Do t and 6 have the same value?
False
Let j be 509 - (3*78/27 - (-6)/(-9)). Which is greater: j or -36?
j
Let s = -31 + 14. Let q be (-9)/((12/14)/((-12)/21)). Let m be (-1)/(-3 + q + 50/(-17)). Is s < m?
False
Let z(v) = 6*v - 23. Let j = -154 + 158. Let g be z(j). Is 2/295 at least g?
False
Suppose -120*c + 8 = -122*c. Let p be c*(-6)/40 + (-6)/10. Suppose -126*v + 121*v + 130 = p. Is v equal to 24?
False
Suppose 3*g + c = 6*g, -c - 1 = -4*g. Let y = -10 + 45. Suppose y = 8*s + 11. Is s <= g?
False
Let y = -15.18 + 15.08. Is y less than -0.1434?
False
Suppose -w - 657 = 4*h, -2*h + 2*w - 324 = -2*w. Is -491/3 less than or equal to h?
False
Let q(m) = -m**3 + 8*m**2 + 57*m + 9. Let f be (-1)/8*-2 + 43/4. Let a be q(f). Does 274 = a?
False
Let v(c) = -60*c + 6110. Let q be v(102). Let j be (-4)/(-14) - (-134884)/70. Let g = 1917 - j. Is q <= g?
False
Let v(m) = -2*m**2 - 46*m + 107. Let q be v(-25). Suppose -14*l = -6*l - q*l. Are -1/91 and l equal?
False
Let j = -4 + 3.8. Let p = 2106.4 + -2117. Which is smaller: j or p?
p
Let g = 3841 + -4184. Which is greater: -337 or g?
-337
Let v = 525 + -867. Do v and -1 have different values?
True
Let t be (5 + 0)*(-868)/(-10). Suppose -3*w = 4*j - w - 820, -5*w = -2*j + t. Let d be 23/j - (1 + -2). Is d at least 0?
True
Let k be 3/12*(-92)/(-21 + 44). Is 1/642 less than k?
False
Let q(y) = -5*y**2 + 43*y - 106. Let g be q(4). Which is bigger: g or -12?
-12
Let j = 126501 - 126552. Let b be (464/42)/(4/(-18)). Which is greater: j or b?
b
Suppose 72034 = 117*x - 17120. Which is bigger: x or 763?
763
Suppose -m + 4*j = 2, 4*m - 15*j + 12*j - 31 = 0. Is 108 greater than or equal to m?
True
Let g be 20/150 - (4/(-30))/(432/(-382)). Is g greater than 1?
False
Let n be ((-30)/1575)/((-1)/12280). Let a = -234 + n. Let l = 2 - 2. Which is bigger: a or l?
l
Suppose 3*a - a + 8 = 0. Let d be 9/27 + a/(-6). Let f be 4/((-792)/1374) - (-6 - 1). Is d smaller than f?
False
Suppose -4*s - 6*t = -5*t - 19, 3*s - 4*t - 38 = 0. Suppose -2*g + 4*g = -s, -190 = -2*i + 4*g. Let h = 1955/22 - i. Which is smaller: -1 or h?
-1
Suppose -5*c + 221 = z, 10*z = 11*z - 4*c - 230. Let s = 169 - z. Which is greater: s or -55?
-55
Let i(u) = u**3 - 4*u**2 - 1. Let d be i(4). Let q = -930641/40 + 23266. Which is bigger: d or q?
q
Let q(v) = 2*v**2 + 31*v + 10. Let u be q(-17). Suppose 56*o = u*o. Which is smaller: 7 or o?
o
Let l(q) = -q**2 + 7*q - 17. Let u(t) = -6*t**2 + 36*t - 85. Let k(b) = 11*l(b) - 2*u(b). Let y be k(-7). Is y smaller than -48/11?
False
Let s = -27.24 - -27.175. Are -21 and s non-equal?
True
Suppose -5*g + 12 = -2*g. Suppose g*i + 4*q = -0*q - 24, -18 = -2*i + 4*q. Which is smaller: i or 2/75?
i
Let y(u) = 9*u - 103. Let f be y(13). Let r be -2 + f + (-4 - 6). Let i = 8172/13 - 628. Is r <= i?
False
Let n(y) = y**3 + 5*y**2 + y - 7. Let k be n(-4). Suppose 4*o + 4*h = 3*h, -k*o - 2*h = 0. Are 3/8 and o non-equal?
True
Let j(q) = 7*q**2 - 82*q - 21. Let r be j(-18). Which is bigger: 3724 or r?
3724
Let h = -102/5 + 4804/235. Let q(z) = 7 + 11 - 26 - 2*z + 11. Let s be q(2). Which is greater: s or h?
h
Let m = 65 + -323/5. Let y = -0.47 + 1.02. Let l = 0.51 - y. Which is smaller: l or m?
l
Let x(f) = f**3 - 10*f**2 - 10*f - 3. Let t be x(11). Let u(g) = -t*g**2 - g**3 - 5*g + 14*g**2 + 0*g - 3. Let q be u(4). Do 10 and q have the same value?
False
Let o = 2449/21684 + -7/417. Suppose -83*t + 22 - 98 = 7. Is o at least as big as t?
True
Let n = 58 - 44. Let s be (-2)/((-1092)/163) - 4/n. Suppose -5*l + 9 = -4*c, -c - 5 = 2*l - 6*l. Is s at least as big as c?
True
Suppose 0 = -2*n + 5*b + 340, b = 11*n - 7*n - 662. Let z = 29455/178 + 2/89. Does z = n?
False
Let c = 327 - 304. Suppose c*a + 1488 = -30. Do -67 and a have different values?
True
Let n(l) = l**3 + 13*l**2 + 12*l + 9. Let h be n(-12). Let j be (-228)/(-36) + (-3)/h. Is j >= 11?
False
Let u be -10 + ((-2)/9 - (-116)/36). Let o = -14 + u. Let i be (28/12 + 1)*-6. Which is bigger: o or i?
i
Let m be (-30)/(-135) + 1004/(-4464). Which is bigger: 0.1 or m?
0.1
Let z be 2/61*1/(-4). Suppose -4*o - 16 = 219*n - 215*n, 5*n = o + 4. Is z at least as big as n?
False
Let h(j) = 8*j + 146. Let g be 54/(-4)*(10 + 26/(-3)). Let f be h(g). Let a = -401 + 4013/10. Which is smaller: f or a?
a
Let k = 35.8 + -21.5. Let n = k + -14.5. Which is smaller: n or -33?
-33
Let d be -2*(-1)/9 + 438/1917. Which is greater: d or 1?
1
Let x(j) = 7*j + 155. Let u be x(-6). Which is smaller: u or 99?
99
Suppose -2*l + 14*l - 324 = 0. Suppose -2*p + 4*k - 13 - l = 0, 2*p - k + 28 = 0. Which is greater: p or -67/5?
p
Suppose -4*q = -2*q, 0 = -2*i - 4*q - 12456. Let p be 6/(-8) + (-15)/i*313. Let n = p + 3076/9861. Which is smaller: -1 or n?
-1
Let a = 143/14 + -61/7. Which is smaller: a or -0.81?
-0.81
Let x be 5/(45/2) + (-25)/((-225)/(-236)). Suppose 4*s = 3*y + 77, -2*y - 2*s - 11 - 31 = 0. Which is smaller: x or y?
x
Suppose -6*y + 480 = -0*y. Let a = 10604.8 - 10605. Is a greater than y?
False
Let c = -29297 - -145467/5. Is c less than -205?
False
Let i = 45 - 46. Let o = 170.3 - -47.7. Let c = -161 + o. Which is smaller: c or i?
i
Let d be (6/5)/((-4)/10). Let q be -7*(-