58 at most as big as n?
True
Suppose 3*b - y = -581, 0 = 3*b + y + y + 584. Let p = 156 + b. Which is bigger: -37 or p?
-37
Let w = -3585 + 2837. Is -748 greater than or equal to w?
True
Suppose 153*f - 81*f = 0. Is f != 2/51585?
True
Suppose -23*p + 5*f + 12 = 4898, 2*f = 4. Is 2 bigger than p?
True
Let t = 14627 - 14979. Which is bigger: 4 or t?
4
Let i = 287 + -282. Suppose -201*h + i = -196*h. Which is smaller: h or 289?
h
Let m(x) = 43*x**2 + 376*x. Let y be m(-6). Are y and -716 equal?
False
Let w = 27 - 11. Let u = 474 - 335. Suppose -145*p + u*p = 0. Which is smaller: p or w?
p
Let a(t) = -3*t + 16. Let o be a(0). Let s(k) = -k + 15. Let w be s(o). Let u be (3/(w + -2))/(1/7). Which is smaller: -25/3 or u?
-25/3
Suppose 0 = 5*q - 6*q - 5*m + 166, 0 = -3*q - m + 484. Suppose 147 = -7*y - q. Let l = 1363/31 + y. Which is smaller: -1 or l?
-1
Let v be (-4)/(-8)*(2 + -10). Let q(f) = f**3 - 20*f**2 - 22*f + 22. Let u be q(21). Is u smaller than v?
False
Let u(f) = -f**3 + 17*f**2 + 84*f + 4. Let z be u(21). Let o be z/(-38) + 714322/(-6517). Which is smaller: -110 or o?
-110
Let q(b) = 127*b - 6605. Let s be q(52). Is s >= 33/94?
False
Suppose 3*m = -3*w + 6, -m + 4*w - 47 = -64. Suppose 5*u + 0 = 20. Suppose -2*i + 79 = m*d, -i - u*i + 250 = -5*d. Which is smaller: 48 or i?
i
Let u be (-2829)/(-92) - 8 - 14/8. Which is greater: 197/9 or u?
197/9
Let u be 126/8*(-2)/(-12). Let p = 20 - 20. Suppose p = 35*n - 31*n - 8. Which is bigger: u or n?
u
Let q = -1222 + 1186. Suppose i - 5*t = 23 - 5, -3*i - 5*t = 6. Let x be i - 0 - q/(-10). Which is bigger: x or -1?
x
Let s be 12/8 + 5663*9/126. Is 406 less than s?
False
Suppose -171 = 7*b - 801. Suppose -4*h + 5*v = -180, 4*v - v = 2*h - b. Which is smaller: 229/5 or h?
h
Let r be (4 + (-1024)/(-20))*(-13)/(117/(-510)). Is 3130 greater than r?
True
Let x = -61 + 551/9. Let k = 15.3 + -15. Let o = -0.2 + k. Is o less than x?
True
Let i(h) = -2 - 4 - 2 + 7. Let u(o) = -2*o + 12. Let p(g) = 2*i(g) - u(g). Let t be p(5). Which is smaller: -5 or t?
-5
Let p(l) = -l**2 + 27*l + 403. Let h be p(37). Which is bigger: h or 34?
34
Suppose 113837 - 122703 = -26*u. Let q = -10.1 + 10. Which is smaller: u or q?
q
Let b be (-3)/(-2)*8/3. Suppose 7*l = -m + b*l + 4, -3*m = -2*l + 10. Let a be (-19)/m + 7/14. Does a = 10?
True
Let x = 124 + -120. Suppose -3*n + 288 = -7*n - x*h, 5*n - h = -372. Are -73 and n equal?
False
Let o be 6756/21 + ((-280)/(-35) - 108/14). Suppose -3531 = -5*z - 6*z. Which is greater: z or o?
o
Let m = -14895 - -29793/2. Is -0.2439 greater than or equal to m?
False
Let l = 40586 - 45739. Is l >= -5149?
False
Let v(c) = c**3 - 3*c**2 + 2*c + 2. Let x be v(2). Suppose -5*i + 3*l = 39, -2*i + x*l = 2*i + 30. Let n be ((-1)/108)/(i/8). Which is smaller: 0 or n?
0
Suppose 5*i + 629 = 4*o, -6*i + 2*i = 3*o - 433. Let w = o - 146. Is w smaller than 10?
True
Let i be 33/(-12)*18*10. Let a be i/(-75) - 4/(-10). Suppose -4*o - 4*z - 4 = 0, 0 = 3*o - 2*z + 7*z + a. Which is smaller: o or 1/3?
1/3
Let t = -0.32053 - -13.00053. Is t > 9?
True
Let o = -36593/10 - -3667. Let u(y) = y**3 - y**2 + 4*y - 3. Let z be u(2). Is o bigger than z?
False
Let n(h) = h**3 + 17*h**2 - 52*h - 43. Let l be n(-20). Let s = l - -277. Is -2/5 smaller than s?
True
Let b = 369/22 - 49/22. Let g = -181/11 + b. Which is smaller: g or -2?
-2
Let v be 2/((-26)/(-78) + (-1)/(-3)). Let w(a) = a**3 - 3*a**2 - 10*a + 31. Let j be w(v). Is 42/23 >= j?
True
Let d = -214 + 224. Suppose -2*r = -92 - 12. Let o = d - r. Do o and -43 have the same value?
False
Let g(c) = -c**2 + 4*c + 6. Let p be 6/(184/36 + -5). Let b = 65 - p. Let z be g(b). Which is bigger: -70 or z?
-70
Let h = 24492 - 29610. Which is smaller: h or -2?
h
Let q = 59.9 + -6.9. Let s = 52 - q. Let k = -0.241 + -0.059. Is s greater than k?
False
Let s = -269 + 227. Let y be 5 + 192/s + (-6)/14. Is 3/17 > y?
True
Suppose -27*f + 65*f - 476520 = -38*f. Do 6269 and f have the same value?
False
Let z be (19 + -3)/(-2)*8. Which is smaller: -63 or z?
z
Let c be (-2 + 2)*1/(-2). Let n be (24/9)/(-2 - (-11)/6). Let j be 27*2/n - (-18)/6. Which is smaller: j or c?
j
Suppose -37246 - 23378 = 144*s. Is s bigger than -421?
False
Suppose -92*p = 149*p - 338 + 1061. Which is greater: p or -36/19?
-36/19
Let h be (-3)/(3/(-8)) - 369/820*20. Which is greater: h or 3/10027?
3/10027
Let z = -1 - -2. Suppose -10 = -5*c, 114*b - 110*b = -c + 14. Which is smaller: b or z?
z
Let k = -8 + 11. Let j = -573 + 573. Suppose 5*x + 2*d + 0*d = -13, j = -k*x - 4*d - 19. Is 1/19 bigger than x?
True
Suppose -5*j = n - 128, 4*n = -4*j + 203 + 277. Let c = n + -106. Is c <= 32/3?
False
Let v(w) = -w + 8. Let c be v(10). Let f be 1*(c/(-2) + 0). Let k be 9/(-4)*(f + (-22)/6). Is k <= 6?
True
Let z(f) = -3 - 4 + f**2 + 0 - 5*f. Let y be z(6). Let p = 670 - 659. Are p and y nonequal?
True
Let s = 56 - 129. Let f be (((-9)/6)/3)/((-10)/340). Suppose -f*h - 365 = -12*h. Is s less than h?
False
Suppose 20*i - 17*i + 4*s - 24 = 0, 0 = -3*i + 5*s - 30. Which is smaller: i or 189?
i
Suppose 0 = 5*f - 17 + 132. Let s be (f - -27)/(8/62). Which is smaller: s or 28?
28
Let x(d) = 79*d + 474. Let q be x(-6). Let l be (-36)/(-1056)*(-2 + 3 + q). Is 0 not equal to l?
True
Let i = 0.326 - -3.46. Let k = 0.214 + i. Which is bigger: -0.1 or k?
k
Let y(m) = -m**2 + 3*m - 1. Suppose 11*t - 1 = 10*t. Let c be y(t). Suppose -7*g = 13 + c. Which is smaller: g or -11/4?
-11/4
Let h(g) = -g**3 - 50*g**2 - 65*g - 236. Let j be h(-51). Is 5680 at least as big as j?
True
Let j(d) = 5*d**3 + 16*d**2 - 25*d + 5. Let t(q) = q**3 + 2*q**2 + 2*q + 1. Let v(k) = j(k) - 4*t(k). Let h be v(-11). Is 2/327 greater than h?
False
Suppose -3*h = 26 - 20, 4*h + 16324 = -4*z. Is -1 less than z?
False
Suppose -2*k - 3*s + 28 = -2*s, -k = -2*s - 4. Suppose 0 = i - k + 10. Suppose w - 2*q + i = 0, 1 = 2*q - 9. Is 9 less than or equal to w?
False
Let i = 234 + -333. Let x be (-10)/120*-8*-573. Let f = 283 + x. Is i greater than f?
False
Suppose -11*w + 1018 = -82. Let q = 104 - w. Suppose 5*g + 15 = 3*h - 8, -q*g - 60 = -5*h. Is h > 29/2?
True
Let y(l) = -l + 11. Let v be y(9). Suppose 0 = v*u + 4*t - 16, 2*u = 4*t + 24. Let c be u/9 + (-3 - -5). Are 2 and c non-equal?
True
Let x be 32956/(-66)*(-3)/5. Let k = 299 - x. Which is smaller: 0 or k?
k
Let f = 63011404 + -1373207528587/21793. Let j = f - -1/589. Which is bigger: j or -1?
j
Let k = -5/12 + 3/4. Let t = 0.281 - 0.511. Let s = -0.248 - t. Which is smaller: k or s?
s
Let f = 103 - 103. Let v be ((-1227)/24 - f) + (-3)/(-24). Is -2 at most v?
False
Let c be (2/(-6) - 33/(-45)) + (-991)/115. Is -9 > c?
False
Let c = -481.8 - 17.2. Let o = c - -498.7. Which is greater: 18 or o?
18
Let r = -159 - -348. Let d = r - 117. Suppose 26 = -5*z - 4*t - d, -5*z - 80 = -5*t. Which is bigger: z or -20?
z
Let r = 52 + 42. Let n = -340 + 262. Let v = r + n. Is 16 at least as big as v?
True
Let l = 3 + -7. Let c be (95/(-220))/(45/360). Is c greater than or equal to l?
True
Let q = -1.05964 + 0.05964. Which is smaller: 1035 or q?
q
Suppose -11*b - 12*b + 184 = 0. Which is bigger: b or 95/12?
b
Suppose 2*o + 16*o - 36 = 0. Suppose t + 0*d - d - 22 = 0, 2*t + o*d = 24. Is t less than or equal to 20?
True
Let b be (0 + 41)*2080/32. Let y be ((-1)/2)/(b/890 - 3). Which is bigger: y or 0.1?
y
Let i(r) = -r**3 - 50*r**2 + 68*r + 21. Let t be i(-50). Is -3378 bigger than t?
True
Suppose q - 5*m = 12, 2*q - 5*m - 19 = -0. Suppose q*u - 6 - 1 = 0. Let a = -1/340 + -131/1700. Which is bigger: u or a?
u
Suppose -p = 7*p + 288. Let r = 39 + p. Let l be (6/(-6) + r)*19/2. Are 19 and l unequal?
False
Let a be 23/7 + (-10)/4*(-240)/(-200). Let o = -281.9 + 249. Which is smaller: a or o?
o
Let s be 59/(-2) - (-2)/4. Let x(q) = -q**2 - 32*q - 87. Let m be x(s). Is m bigger than -5/54?
True
Let w = -13 - -7. Let g be (4 + (-32)/8)/(-2). Which is smaller: w or g?
w
Suppose -6*y = -27 + 9. Suppose 24 = y*j + 9. Let h be (j/(15/6))/((-1)/2). Is -20/7 <= h?
False
Let g be (14/(-4))/(78/(-12) + 6). Suppose 10*j = -g - 43. Does -8 = j?
False
Let s(z) = -7*z + 220. Let f be s(31). Let g(i) = i**3 - 12*i**2 + 13*i - 8. Let m be g(11). Let r = 15 - m. Which is greater: f or r?
f
Suppose 0 = 8*h - 118 - 42. Let v be h/30 - (-78)/(-9