). Let p be 27/n + 162/(-176). Is 7 greater than or equal to p?
True
Let v = 1589/352 - 50/11. Suppose 3*n = -0*n. Suppose n - 5 = -4*z - 5*p, 3*z = 3*p - 3. Is v < z?
True
Let j(k) = 10*k**3 - 7*k**2 + 10*k - 24. Let f(a) = -7*a**3 + 5*a**2 - 7*a + 16. Let n(l) = -7*f(l) - 5*j(l). Let s be n(4). Let i = -75 - s. Is i >= -15?
True
Let i = 34 + -31. Let r = 51/4 + -81/8. Is r > i?
False
Let i be (10/70)/((-1)/(-16)). Let a be ((-60)/75)/(9/((-135)/6)). Is a less than or equal to i?
True
Let u(y) = y**3 - 52*y**2 - 52*y - 100. Let o be u(53). Which is smaller: -780/17 or o?
o
Let i = -38104 - -38290. Is i <= 183?
False
Suppose -3*m + 1742 - 286 = -1721. Is 1059 at least as big as m?
True
Let a = 383.46 + 6.54. Let j = a + -392. Which is greater: j or -112?
j
Let q be (-12)/(-26) - 12852/22100. Do -0.43 and q have the same value?
False
Let x = -15082 + 15252. Which is smaller: x or 0.32?
0.32
Let i be 38*(510/28 - 10/(-35)). Let t = 39367/56 - i. Is t less than -1?
False
Let g = -0.2892 - 428.6108. Let w = -427 - g. Let l = 1 + -1. Are l and w equal?
False
Let m(d) = -d**3 - 42*d**2 + 88*d + 1. Suppose -792 = 8*j + 10*j. Let y be m(j). Let p = 0.12 + 2.48. Is y at least as big as p?
False
Let b be -57 + (-2)/(-2) + (-8 - -13). Let x be 2/(-3) - (-258)/(-18). Let k be 760/x + 1/(-3). Is k equal to b?
True
Let o be 1 + -30 + 1/1. Let i = o + 16. Let u = 18 + i. Is 5 at most u?
True
Let m = 128 + -127.7. Let g = 0.067 + -112.067. Is g < m?
True
Let t(u) = -u**2 - 39*u - 619. Let p be t(-26). Is -280 at most as big as p?
False
Suppose -5*a + a - 20 = 0. Let p(b) = b**2 + 4*b + 1. Let u be p(a). Suppose -35*j + 55*j + 63*j = 664. Is j at most u?
False
Let k = -18/3341 - -97819/18776420. Is k bigger than 1?
False
Let n = -167 - -281. Let j be (-126)/(-8)*(-266)/n. Which is bigger: j or -37?
j
Let s be (-6)/4 + 13 + -2*17457/(-88). Are s and 409 equal?
False
Let a(y) be the first derivative of -y**4/2 - 2*y**3/3 + 3*y**2 + 2*y - 31. Let p be a(-3). Let r be -3*(-2 + p/12). Which is bigger: 13/7 or r?
13/7
Suppose 0*n = -n + 123 - 139. Does n = -5?
False
Suppose 0 = -2*w - 2*t - 8, -3*t + 6*t = 5*w + 4. Suppose 0 = 2*c - 4*c + 12. Suppose -s = -4*y - 11, s - 3*y = -c*y - 10. Which is bigger: s or w?
s
Let x = -6/4783 - -17840/6595757. Let b = -1172/6895 - x. Which is smaller: -1 or b?
-1
Let c be 6/15 + 6/10. Let i(q) = c - 2*q + 4*q + q**2 - 4 - 3. Let o be i(-4). Which is greater: 8 or o?
8
Let s = 51 - 10. Let k = s - -3. Let t = k + -81. Which is greater: -2 or t?
-2
Let f be 8/(-20) + (-1 - (-1008)/20). Suppose f = m + 51. Which is smaller: m or 0?
m
Let j be (26/(-18) - -2) + 1. Let b = 636 + -621. Suppose -31*d = -26*d - b. Which is smaller: j or d?
j
Suppose 5 = 2*o + 5*q - 22, -4*q = 3*o - 23. Suppose 2*z + 7 = 2*k - 1, 3*z + 3*k + 24 = 0. Let s be (-3542)/(-470) + -7 - z/(-10). Are o and s unequal?
True
Let b = 12277 - 12277.44. Which is smaller: 103 or b?
b
Let b be 6/5 + 2/(-10). Suppose b = -3*a - 2*a - 4*d, 4*a + 3*d = -1. Which is greater: 6/71 or a?
6/71
Let b(h) = -11*h**2 + 274*h - 107. Let z be b(13). Is -3 bigger than z?
False
Let a be 5 + 0 + 12 + -14. Suppose 2*f - 4 = 0, a*l + 55 = -2*f + 4*f. Let g(y) = -y - 18. Let j be g(0). Is l smaller than j?
False
Let x(v) = 9*v - 36. Let z be x(13). Suppose -19*i = -z - 147. Let h = -406/3 + 146. Is i at most h?
False
Suppose 4*d - 4 + 24 = 24*d. Let t = 405 + -281. Let k be (-8)/t*(-6)/4. Is d equal to k?
False
Let l = -10322 + 4201057/407. Which is greater: 0 or l?
l
Let z = -110717 - -110668. Let u = -17264/3 + 5706. Which is smaller: u or z?
z
Let h be 88/(8 - 404/50 - 2688/30150). Is -519 less than h?
False
Let n be 6606/549 + -6*2. Suppose -3*r - 4*w = 12, r + 17 = -5*w + 2. Which is smaller: r or n?
r
Let v = -3115.199 + 3112. Is -2/7 > v?
True
Suppose f = -5*u + 415 + 122, 2*u = -f + 213. Which is smaller: -25 or u?
-25
Let a = 12644 - 12872. Which is greater: -1.1 or a?
-1.1
Let v = -44.90839 - -0.51039. Let m = 0.402 - v. Let l = m - 7.8. Is l greater than or equal to 1/3?
True
Suppose -3*y = 2*y + 5*z + 5, -4*z - 20 = 0. Let o be 3/(-7) + y + (-1696)/28. Which is greater: -59 or o?
o
Let h be -1 + (-260)/(-326) + (-18)/(-90). Let f = -157/2445 + h. Which is greater: 2 or f?
2
Suppose 28 + 42 = 5*r. Let g = r - 8. Suppose -2*a - 4*v = 0, -4*a + 1 + 32 = -3*v. Is a >= g?
True
Let j(p) = -7*p**2 + 19*p + 4*p**2 + 12*p - 7. Let l be j(10). Suppose 0*f = o - 3*f + 7, 0 = -l*o - f - 41. Which is smaller: -55/4 or o?
-55/4
Let w = -137.6 - -379. Let f = -222 + w. Let c = 21 - f. Which is smaller: c or 2?
c
Suppose 2298*z - 2310*z = -12. Let q(b) be the third derivative of -b**6/60 + b**5/30 + b**4/12 - b**3/2 + b**2. Let g be q(z). Which is smaller: g or -6?
-6
Let u = -125 + 125.69. Let x = -9.968 - -9.178. Let b = x + u. Are b and -2 non-equal?
True
Let s = 18462 - 59890725/3244. Which is smaller: s or 1?
s
Let d be (-24)/(1 + 2) - 0. Let f(r) = -2*r**2 - 21*r + 101. Let n be f(-14). Which is bigger: d or n?
n
Let u(j) = -j**3 - 17*j**2 + 7*j + 121. Let s be u(-17). Is 44/61 at most as big as s?
True
Let j = -164 + 182. Suppose j*h + 19 = 17*h. Is h bigger than -61/3?
True
Let o be 389 + (1 - 5) + 2/(-2). Suppose -2*u = 3*u - p + 386, -5*u - p = o. Let a = u + 108. Is a at least as big as 30?
True
Let a = 6103 - 6131. Which is greater: a or 0.3?
0.3
Let f = 809 + -1016. Let g = -232 - f. Which is smaller: g or 11/2?
g
Let q be 3 + 141/(-45) + (-314192)/(-2134515). Which is smaller: q or -1?
-1
Suppose -5 = -4*n + 75. Suppose 3*g - 285 = -3*k, -3*k + 4*g = -253 - 39. Suppose 2*f - l = -3*f + 94, l - k = -5*f. Which is bigger: n or f?
n
Let c = 804.5 + -803.5. Is 1068 <= c?
False
Let n = -49.9 - -51.8. Let z = -0.4 + n. Is z != 0.02?
True
Let m = 74109521/6831 + -10849. Is -1 greater than m?
False
Suppose 2*u + 9 = b + 3*u, 0 = -5*b - u + 25. Suppose 32 = -b*d + 56. Let x be 12/14*d*4/(-6). Which is smaller: x or -2?
x
Let b be (-20)/(-25)*3*20. Suppose 3*k - 8*o + 3*o + 36 = 0, -2*o + b = -4*k. Suppose 2*a - 7*h = -2*h - 15, -4*a + 3*h - 51 = 0. Which is bigger: a or k?
k
Suppose 441*z = 211*z - 13340. Suppose p = -19 - 41. Which is greater: z or p?
z
Let c = -29325/11 - -2666. Is c equal to -2.23?
False
Let m = 199 + 83. Let j = m - 281. Is 142 < j?
False
Suppose -4912*l + 4916*l = 1832. Is 462 smaller than l?
False
Let a be 6/(-36) + (-2)/(-4). Let i = -445 + 399. Which is smaller: a or i?
i
Let w = 820.8 - 819.7. Which is smaller: 44 or w?
w
Let n = 51 - 47. Suppose -3*a + 5*l = -a - 115, -5*a + n*l + 296 = 0. Suppose 9*o - a = 3*o. Is o <= 11?
True
Let g = 1395 - 1355. Which is smaller: g or 12?
12
Let q = -84 - -138. Let s = 295 - 252. Let h = -44 + s. Is h < q?
True
Suppose 3*f + 12*a - 241 = 13*a, -3*a + 304 = 4*f. Is 552/7 > f?
False
Let j = 0.7292 + -0.5287. Do 4 and j have the same value?
False
Let r be -9*(-10)/945 + 604/(-8106). Let m = -599/965 + r. Which is smaller: -11 or m?
-11
Suppose 0 = -201*v + 202*v - 5*s - 3793, 3*v - 4*s = 11357. Is 3782 greater than or equal to v?
False
Suppose 0 = -3*d + 11*d + 48. Let x(s) = 7*s**2 - 9*s - 37. Let n be x(d). Is 0.2 at most n?
True
Let l(n) = 8*n - 116. Let i be l(15). Is i bigger than 1/125?
True
Let s(r) = -r**3 + r**2 + r + 2. Let c be s(2). Let h = 115.94721 - 0.23721. Let w = h - 115.7. Which is bigger: c or w?
w
Let d = -902 - -250. Let r = d + 797. Do -3/5 and r have the same value?
False
Let q = 9227 + -4659637/505. Suppose 0 = 3*h - 5*d + 23, 3*d - 14 = -2*h - 4. Which is smaller: q or h?
h
Let u = 1 - 1. Let i = 3.0453 - -10.0837. Let w = i + -0.129. Is w greater than u?
True
Let n be (-42)/20*1197180/(-2835). Is n greater than 1/2?
True
Let c be 224/(-28) - (-5 - -1). Let h be (-78)/780 - (6/c + 1). Suppose 2*k - 3*k = -4*z + 6, 2*z + k = 0. Is z < h?
False
Suppose -4*q - 1825 - 2200 = 3*q. Which is smaller: q or -573?
q
Let c(a) = 5*a - 3. Let v be c(3). Let y be (-109 - (10 - -4))*((-258)/63 + 4). Which is bigger: y or v?
v
Let z be 4/22 + 1/((-1496)/406730618). Let h = z + 271866. Let p = h - -31/17. Is p less than or equal to -12?
False
Let m = 33 - 30. Suppose -m*t + 5*t = -476. Let x be -3 - (234/t + 0 + -2). Which is greater: x or 1?
1
Let b be 2/((3/(-15))/((-93)/(-15))). Suppose 5*n = 3*u - 318, -5*n + 