rue
Let z(h) = -h**2 - 7*h - 6. Let u be z(-6). Let r(k) = 7*k**2 - 89*k - 20. Let j be r(13). Let p be 8 + ((-48)/27 - j). Which is greater: p or u?
p
Let r be 3/(1 + 29) + 816175/(-8166750). Is -1 less than or equal to r?
True
Suppose 4*j + 4*x = -90308, 112927 = -5*j + 9*x - 7*x. Is j > -22583?
False
Suppose -4*b + 25858 = 3*d, -24559 - 9860 = -4*d + 3*b. Which is greater: d or 8609?
d
Let v = 76227976410122/16775490453 - -44/73900839. Let d = 4544 - v. Is d at least 0?
False
Let k(o) = -o**3 + 9*o**2 + 13*o + 6. Let x be k(10). Let z = 37 - x. Let t be z - (-6 + 3) - 3. Is 13/6 at least t?
True
Suppose 0 = 207*q - 209*q + 10. Suppose q*f - 4*w - 8 = -39, -3*w = 4*f. Let g be (-6)/(-4)*(10/f + 4). Which is smaller: 2/129 or g?
2/129
Suppose -56*m - 4002 = -271811 - 53015. Which is greater: m or 5728?
m
Let s(r) = 58*r + 41. Let f be 6545/605 - 3/(33/(-2)). Let l be s(f). Let k = 10169/15 - l. Is k < 0?
True
Suppose 0 = -21*l + 19*l - 6. Let z(b) = b**2 - 11*b - 42. Let c be z(l). Let v be (-4)/(-22) + (-1 - -1). Which is greater: c or v?
v
Let f = 358 + -331. Suppose -f*r + 583 = -848. Which is greater: r or 3?
r
Let j(n) = -n**3 + 6*n**2 + 6*n + 8. Let t = 6 - -1. Let o be j(t). Let r(m) = m**2 - 14*m + 42. Let w be r(12). Which is smaller: o or w?
o
Let x be (0 + (-5 - -2))*32/(-24). Let o be (29 - 31)/(10/x). Which is smaller: o or -2?
-2
Suppose 0 = -2*y + y - 30. Suppose -84*t + 32256 = -120*t. Let c be (-242)/t + y/105. Is c less than or equal to 1?
True
Let i = -13.2 + 13.133. Let q = i + -0.033. Which is bigger: 0.021 or q?
0.021
Let w be (((5/2)/(-1))/(-5))/(-13 - -8). Which is bigger: 1.07 or w?
1.07
Let d be (0 - (-3)/7) + 70169*(-1)/(-1386). Is 51 at most d?
True
Let f = 1/1334 + 46019/5336. Suppose 29*p - 397 + 165 = 0. Is f at least p?
True
Let m be 1013956/5742 + (-4)/18. Let i = -494722/2805 + m. Which is bigger: i or 1?
1
Let c(y) = 3*y**3 + 50*y**2 + 33*y + 12. Let f be c(-16). Let x be 1*(-7)/14 + (-2)/f. Is x less than or equal to 1/970?
True
Let x = 969/298631 + -77487379501/31057624. Let m = x - -2495. Which is smaller: m or 0?
0
Let x(l) = -156*l - 1644. Let o be x(-10). Which is smaller: o or -81?
o
Let v = 29562 + -29560. Which is smaller: -379/8 or v?
-379/8
Let a = 2/5111 + 5021/229995. Which is bigger: -0.02 or a?
a
Let k be (-716 - -728)/((-12)/(-1)). Let r be 4/(-42)*(-18)/1. Which is smaller: k or r?
k
Let t = -388.87553 + -0.12447. Is t >= -0.14?
False
Let m be 5*3*(13285/(-25) + -8)/(-1). Which is smaller: m or 8092?
m
Suppose 4*o = 6*j - j + 26, 5*j - o + 14 = 0. Let q be j/(-4)*(-124)/(-93). Which is smaller: -0.14 or q?
-0.14
Let x = 261 - 10704/41. Do x and 3 have the same value?
False
Suppose -23*t + 24 = -21*t. Let y be (0 - -1)/(2/18). Suppose -37 = -3*p + r, y*r + 17 = p + 4*r. Is p equal to t?
True
Let z = 94.9 + -95. Let r = -0.1 - -10.1. Let p = r + -16. Is p bigger than z?
False
Let f = -256 - -129. Let q = f - -131. Which is smaller: 3/7 or q?
3/7
Let s be 8/(-32) - 23/4. Let v(i) = -i**2 - 4*i + 14. Let w be v(s). Suppose -c - c = 5*m - 144, w*m + 5*c = 66. Which is smaller: 27 or m?
27
Let b(m) = -38*m + 721. Let w be b(19). Is w at least as big as 411?
False
Let x(k) = -3*k + 79. Let j be x(20). Suppose 0 = p + a - 2 + 3, -5*p - j = -2*a. Which is smaller: p or -13/3?
-13/3
Let o(k) = 2*k**2 + 7*k - 103. Let h be o(12). Suppose 267*g = h*g - 18. Which is smaller: g or -11?
-11
Let k be (285/(-7) - (3306/203 + -16))*-6. Which is greater: k or 282?
282
Suppose 333*n - 130490 = 157*n + 89862. Is 1252 < n?
False
Let d = -17566/63 + 2512/9. Which is greater: d or -548?
d
Let o = 21038 - 21039. Is o at most 495?
True
Suppose 5*n - 252 = 113. Let q = -50 + n. Let m = q + -70/3. Is m equal to 2?
False
Let p = 1928 + -1112. Let w = 425 - p. Which is bigger: w or -389?
-389
Let i be (-2 - 126/(-5))*378/(-216). Which is smaller: i or -42?
-42
Let i = -4948.1 - -4969. Is i at least 11/5?
True
Let h = -19941/7 + 2849. Let w = -38 - 33. Which is smaller: w or h?
w
Let l = -2446/31115 + 24/635. Which is smaller: 51 or l?
l
Let f = -10 - -119. Let x = f - 127. Let p = -47/5 - -193/20. Which is greater: p or x?
p
Suppose -2*y + 9*y = 315. Let z be 20983/y - (-12)/(-30). Let a = z + -465. Is 1 greater than or equal to a?
True
Let s be ((-8)/(-146))/((16/(-24))/(13/39)). Which is smaller: s or -1?
-1
Suppose 49*m - 52*m = -3*k - 18, -3*k = -m + 10. Is -3606 bigger than k?
False
Suppose 5*i = -41*b + 46*b + 25, i = -6. Let r be 2 + -4 - (-112)/(-12). Which is greater: r or b?
b
Let i be 2*(-27)/9*(-22)/4. Let n be i/77*4/(-6). Is 13 < n?
False
Let a be 1/4*((-7 - -11) + -8). Is a less than -10/1301?
True
Suppose -s + 1 - 4 = 0, 3*c - 4689 = -4*s. Suppose 3*d + 1070 = -4*g, -5*d - 2*g = c + 207. Let o be 1059/d - 9/(-3). Are o and 0 equal?
False
Let m = -3258 + 3256. Which is smaller: -67/24 or m?
-67/24
Suppose 0 = 33*f + 99*f - 441 - 879. Let m(g) = g**2 - 8*g + 8. Let s(w) = w**3 + 3*w**2 - 6*w - 1. Let u be s(-4). Let i be m(u). Are f and i non-equal?
True
Let o = 16517671/16632 - 7945/8. Let a be (-41275)/8316 - (-4)/(-14). Let h = o - a. Is h at least as big as 4?
True
Let a be 4/(-10) - 30608/(-4520). Let f = 59709/791 + a. Let g = f - 82. Are g and 0.2 equal?
False
Suppose -5*a + 4*q + 4783 = 1234, -3*a = 4*q - 2155. Let d = -10703/15 + a. Are 0 and d equal?
False
Let u = -2.8462 - 0.1538. Let n = 12.12 + -0.12. Which is bigger: u or n?
n
Let c(n) be the first derivative of -n**3/3 - 2*n**2 + 3*n - 45. Let q be c(1). Let m = -0.02 + 0.09. Which is greater: m or q?
m
Suppose f = -s - 172, 0 = 2*f + s + 263 + 88. Is -171 greater than f?
True
Suppose -11*h + 5*c = -7*h + 24, 3*c - 19 = 7*h. Are h and -1/1361 nonequal?
True
Let v = 18971 - 20538. Which is smaller: 3/5 or v?
v
Let j = 5 - 2. Suppose 121 = 5*l - x, 3*l - 68 = -x - j*x. Suppose -7*k + l = k. Is 1 bigger than k?
False
Let u(z) = -4*z**2 - 14*z + 15. Let v be u(-5). Let o be v/12*-4 + 1899/(-380). Which is smaller: o or 0?
0
Suppose 1190*d + 3872 = 1311*d. Let n(a) = -2*a**3 - 2*a**2 + 2. Let p be n(-2). Do p and d have the same value?
False
Let u = -203.107 - -203. Let s = u + -0.893. Let g be 6*(-2)/18*-1. Which is smaller: s or g?
s
Suppose -3*p = 52 + 50. Let t be 5/((-525)/3438) - -72*86/(-15480). Is p smaller than t?
True
Suppose -2 = -3*i - 2*m + 15, -4*i = -4*m + 4. Suppose x + i*x = 4. Let t(v) = 3*v**3 - 11*v**2 - 5*v + 2. Let l be t(4). Which is greater: x or l?
x
Let n(u) = -3*u**2 + 26*u - 27. Let y be n(14). Let x = y + 752/3. Are -18 and x equal?
False
Suppose -g + 127 = 2*y, -2*y = 4*g - 9*g - 133. Which is greater: 70 or y?
70
Suppose -12 - 58 = -5*b. Let k = -59 - -89. Suppose 17*z - k = 11*z. Is b less than z?
False
Let j be 33000/198 + (-1)/(-3). Suppose -m + 6*m = 830. Is m greater than or equal to j?
False
Suppose 0 = -p - 3*p + 1027 - 863. Which is greater: -11 or p?
p
Suppose 22*l - 314 = 60. Let c = l - 17. Is 5/17 greater than c?
True
Let t(y) = -y**3 + 31*y - 28. Let l be t(5). Suppose -3*v - j - 16 = 0, 40 = -3*v - l*v - 5*j. Is 1.2 at most v?
False
Let d = -29/12 - -8/3. Let h be 12/(-22)*7700/(-1400) - 62/17. Is d <= h?
False
Let t(a) = -3*a**3 + 19*a**2 - 24*a - 14. Let m be t(6). Let z(d) = -4*d**2 - 3*d - 6. Let l be z(5). Which is bigger: m or l?
l
Let h = 27828/59884987 + 2/17363. Which is smaller: h or -1?
-1
Let c be (-16)/(-12)*218/(-2) - 55/(-165). Let n(a) = a**2 + 4*a - 6. Let o be n(-5). Which is bigger: o or c?
o
Let w(o) be the third derivative of o**4/24 + 31*o**3/6 - 2*o**2 - 10. Let b be w(-13). Which is bigger: b or 7?
b
Suppose 0 = -3*p + 3*f + 743 - 2534, -p - 577 = 4*f. Let w = -405 - p. Which is bigger: 189 or w?
189
Let q = -5951/26 + 229. Let o = 835 + -834. Do o and q have the same value?
False
Let y be (-7134)/(-1044) + (-20)/(-6). Is y less than 10?
False
Let k(y) = -y**3 - 54*y**2 + 37*y + 480. Let l be k(-54). Which is greater: -1517 or l?
-1517
Let b = 62 - 59. Let a be -1*(-5 - (b - 6)). Suppose a*x + 1 = -o, -3*o = 3*x - 0*o. Is 1 less than x?
False
Suppose -17 = 198*g - 33 + 16. Let x = -5855/36 - -1468/9. Is g bigger than x?
False
Let f = 53101 + -53124. Let t be -31 + 6/(6/3). Which is bigger: t or f?
f
Let d = -758 - -774. Suppose -d*v - 2000 = 9*v. Which is smaller: v or 0.5?
