 less than h?
False
Let u = 1330 + -1330. Suppose t = -3*w - 13, -t = -2*w - 1 - 11. Which is bigger: w or u?
u
Let z = -157 - -17. Let f be (-1)/(2/(-6))*z/(-21). Is f at most as big as -3?
False
Let a = -25/2 + 79/6. Let y = -6.568 + -0.132. Let k = y + 5.7. Is k not equal to a?
True
Suppose -4*k + 5*s + 253 = -122, -2*k + 225 = 5*s. Which is smaller: 67 or k?
67
Let a = 4046 - 68781/17. Are a and 8.5 equal?
False
Let o be -1 - 1/((-10)/((-330)/(-183))). Which is smaller: -2 or o?
-2
Let q be (-18)/((-9)/(-4) + -3). Let k be ((-2)/(-6))/(252/q). Is 0 <= k?
True
Let k be (28 - 59076/2070)/(((-4)/(-10))/2). Which is bigger: k or -2?
-2
Let c be -5*(-3)/5 + 30/(-2). Let m = c - -40. Let t = m + -30. Does -1 = t?
False
Let v = -326 + 182.7. Let f = 0.1782 - -142.8218. Let z = v + f. Which is greater: z or 2/31?
2/31
Suppose 8*b = 790 - 894. Let s(y) = -18*y - 328. Let a be s(-18). Which is smaller: a or b?
b
Let a = -971 - -1078. Is a at least as big as -1?
True
Suppose 6*j - 19389 = 12483. Let q be j/913 - 2/(-11). Which is smaller: q or 21?
q
Suppose 0 = -4*a + 79 - 35. Suppose -41 = -3*j + 4*w, -2*j + j + a = -4*w. Is j less than or equal to -4?
False
Let y(f) = -11*f - 20. Let o = -109 + 105. Let g be (2 - 10/2) + 8/o. Let z be y(g). Is 33 at most z?
True
Let y = 3418 + -3419. Suppose -z - 17 = -3*a, -3*z = 2*a - 4*z - 13. Suppose 2*p + 19 = t, 2*p + a = -4. Is t at least as big as y?
True
Let v(p) = 7*p + 1127. Let s be v(22). Is s < 1281?
False
Let j = -126 - -127. Let d be (2 - -28)/(-6)*(0 - j). Which is greater: d or 8?
8
Let x be -2 - -1 - (-28 + (3 - 4)). Let t be x/(2*(3 - 4)). Let u(l) = -l**3 - 13*l**2 + 11*l + 4. Let n be u(t). Is 1 bigger than n?
False
Let y = -192 + 348. Suppose -4*l - y = -5*u, 3*u + 128 = -4*l + 4. Suppose 5*v - 4*v + 34 = 0. Is l at least v?
True
Suppose 6*l - 51*l = -8*l + 26*l. Is l < 10/2073?
True
Let t(v) = -v**2 - 10*v - 27. Let u be t(-5). Let z be (-225)/(-225) - (-6)/4*u. Does -9 = z?
False
Let y be (45723/1 + -4)/31. Let s = y + -1475. Which is smaller: -1 or s?
-1
Let a(q) = 2*q**2 + 2*q - 12. Let j be a(3). Let l be ((-4)/j)/((-15)/45). Which is smaller: 349 or l?
l
Let t(u) = 2*u**2 - 17*u - 14. Let s be 2/(-8) + (-350)/(-56). Let v be t(s). Which is bigger: -46 or v?
v
Let h = 17061 + -18170. Is -1105 bigger than h?
True
Let y = -43 + 45. Let h(o) = 2*o. Let g be h(y). Suppose 9 - 13 = g*v. Is v at most 21?
True
Let v = -3705 - -3321. Which is smaller: -369 or v?
v
Let p(g) = -g**2 + 151*g - 1149. Let d be p(8). Let m = -9 + 6. Let t = m - -9. Is t equal to d?
False
Let t = -58698 - -59087. Let f be 3 - (21/15 - -2). Is f != t?
True
Let l(v) = -v**3 - 33*v**2 + 72*v + 58. Let m be l(-35). Let t be 1256/(-16) + (-2)/(-4). Let r be (-13)/t*129/(-2). Which is greater: m or r?
r
Let b = 3941119/148 + -26629. Let n = b - -5/74. Which is greater: n or 2/85?
n
Let l = 15/412 - 135811/3752908. Is l > -1?
True
Suppose -10181*k + 10207*k = 19292. Is k smaller than -10?
False
Suppose 4*d - 4752 = -3*g + 7*d, -6346 = -4*g - d. Is g < 1587?
True
Let j = 3.356 + -3.35. Let b = 4254.594 + -4258. Let g = b + j. Which is smaller: g or 0.1?
g
Suppose 2*k = -3*c + 106, -3*c = 4*k + c - 212. Let p = -43 + k. Let i be 69/(-30) + p/5. Is i smaller than -1?
False
Let t = -2 - -4. Let s(m) = 2*m**3 + m + 2. Suppose -15*v = 4*v. Let b be s(v). Is t != b?
False
Let w be 26*(-2 - 0)/4*-1. Suppose -4*n - w + 29 = 0. Suppose -5*u - k - 2*k = 8, -k = 3*u + n. Is 2/21 greater than or equal to u?
True
Let i(u) = 6*u**2 - 128*u - 32. Let a be i(21). Is a greater than -82?
True
Let o = -0.4178 - -0.4918. Is o less than 6?
True
Suppose -y - 3*p - 110 = 0, -5*y - 10*p - 518 = -11*p. Let x = 22 - 126. Is x at most as big as y?
True
Let y be (-735)/(-441) - (-4287)/81. Is y smaller than 55?
True
Let w be 3/(-2)*(-92)/(-10). Let y = 173 - 170. Suppose 0 = 5*v + 4*o + 50, -3 = -v - 4*o + y. Is v greater than or equal to w?
False
Let n(m) = -2*m + 3. Let y be n(2). Let l = -1 - y. Let s = 2/4228601 - -4228555/97257823. Are s and l nonequal?
True
Let o be (-4)/(-6) - (-118035)/(-44010) - -2. Is o smaller than 0.2?
True
Suppose 42*r + 27619 = -15446 + 1065. Is -1004 != r?
True
Let b = 6 - 5. Let o(y) = -2*y**2 - 15*y - 18. Suppose -p - 2*q = 2*p + 8, 2 = -2*p - 2*q. Let u be o(p). Which is bigger: b or u?
b
Let x = -59/107 - -1169/1926. Which is smaller: 0 or x?
0
Suppose 13*s = 11*s - 50. Let r = s - -25. Let y be 270/(-12)*2/20 - r. Which is greater: y or -1?
-1
Let g = 265.0369 + -0.0369. Is 20 at most g?
True
Suppose 4*k = -4*q - 1866 + 770, -3*k - 282 = q. Is -271 less than q?
True
Let v be (-1)/2 - 886113/(-1771338). Is 0 at least as big as v?
False
Let z = 715/2 - 3579/10. Which is bigger: -13/45 or z?
-13/45
Suppose -85 = -3*w + 5*x, 5*w - 69 = -x + 26. Let q be 21/4*w/5. Suppose -o = -n + 4*n - 67, 5*n + o - 111 = 0. Is n at most q?
False
Let s = 40/187 + -1095/748. Let h(a) = a**3 - 3*a**2 + 4*a - 3. Let y be h(3). Is y at least as big as s?
True
Let z be -7 + (-2)/((-2)/(-77)) - 0. Does z = -418/5?
False
Let q(f) = -3 + 2*f - 9*f + 0*f - 7*f. Let c be q(1). Let s = c + 51. Is s >= 34?
True
Suppose v + 0*v + 5 = f, -5*f - 4*v = 20. Let n be (5*(-19)/(-48450))/((-54)/(-8) + -7). Is f bigger than n?
True
Suppose -8 = 562*w - 566*w. Let p be 1/w - (2478/(-12) + -2). Is p >= 209?
True
Let f = -13 + 18. Let v be 9/(-21) + -15 + 23165/1148. Is v less than or equal to f?
True
Let f = -5 + 9. Let u be -3 - 1 - (372 + -371). Is u bigger than f?
False
Suppose -7 - 1 = 4*j, 4*c + 5*j = -6. Let d = 4180/41 + -102. Is c < d?
False
Let p = -34883 + 34974. Let z(m) = m**3 - 7*m**2 - 9*m + 6. Let t be z(8). Let v be (28/6)/(t/(-39)). Is v at most p?
True
Suppose 0 = -2*o + 1 - 3, 2*o = -v - 93. Suppose -3*t - 5*z = 14 - 23, -5*z = -5*t + 15. Is t bigger than v?
True
Let z be 8/10 - (455/50)/7. Let x be 8/(-7)*(-1085)/4185. Which is greater: x or z?
x
Let v = -2/15639 + -3768989/78195. Let q = v + 48. Let t = 1.34923 + -0.34923. Is t < q?
False
Let u(n) = -111*n + 490. Let m be u(5). Let w = -13 - -13.1. Which is smaller: m or w?
m
Let b = -8440 - -8435. Are b and 978 non-equal?
True
Let x = 429108010/4859 - 88312. Is x at least 0?
True
Suppose 3*x = 5*j - 0*j + 73, 2*x + 76 = -4*j. Let g = 135 - 809/6. Which is greater: j or g?
g
Let x(o) = -o**2 - 114*o + 1. Let v be x(0). Which is greater: v or -3/2260?
v
Let r(z) = 46*z + 3192. Let k be r(-69). Which is greater: k or -158?
k
Let y = 264 + -254. Let d be -12*y/4640*(-16)/(-18). Let x = -1 + 0. Are x and d equal?
False
Let r = -656 - -649. Which is smaller: r or 215?
r
Let c(j) = 16*j - 15. Let z be -4 + 36/8 - 9/(-6). Let t be c(z). Let k(l) = 4*l - 18. Let x be k(t). Is 52 less than or equal to x?
False
Suppose 8*w + 69 - 21 = 0. Let q = 13 + w. Let f be q + -10 + (-2)/((-18)/(-1)). Is f >= -2?
False
Let k be ((6 - (-1 + 4)) + -2)*4. Suppose -k*a - 178 = -298. Which is greater: 36 or a?
36
Let p be (-1)/(((-85)/630)/17). Suppose -p*t - 4 = -128*t. Which is smaller: 8 or t?
t
Let i(w) = -w**3 + 44*w**2 - 42*w - 49. Let g = -1 + 44. Let h be i(g). Let m be (3/4)/(2/(-8)). Which is bigger: m or h?
m
Let r(a) = 2*a**2 + 2*a + 0*a**2 + 0*a**2 - 4*a**2 + 4. Let l be r(-1). Which is smaller: l or 2/343?
l
Suppose -2*x - 22 - 10 = 0. Let g be 3/(-6) + 60/x. Let o = 191 + -195. Which is smaller: g or o?
g
Let i = 18.083 - -4.917. Is 94 bigger than i?
True
Let b(c) = 7 - 4*c**2 + 12 - 42 + 2 - 20*c. Let t(w) = -2*w**2 - 10*w - 10. Let z(o) = -4*b(o) + 7*t(o). Let y be z(-6). Is 28 smaller than y?
False
Let n be (4 - -4) + (-1624518)/203049. Which is bigger: n or -1?
n
Let k be (-16700)/(-220) - 4/(-44). Is 77 less than k?
False
Suppose 0 = -15368*c + 15333*c - 14245. Is c not equal to -383?
True
Let n(l) = -19*l - 59. Let s be n(-5). Let x be (-4)/(-18) + ((-160)/s)/2. Let b be ((-1)/90*x)/((-36)/(-72)). Which is smaller: 1 or b?
b
Suppose -25*y - 769 = 156. Let f(r) = -r**3 + 17*r**2 + 2*r - 41. Let m be f(17). Let i = m + -30. Is y > i?
False
Let d = -322 - -208. Let l = d + 199. Which is bigger: 84 or l?
l
Let w(a) = -a**3 + 7*a**2 - 9*a - 13. Let k be w(6). Let h = -92/3 - k. Is h bigger than -0.5?
True
Let v(n) = -13*n + 248. Let d be v(17). Is 40 smaller than d?
False
Let y = -22451 + 24699