 Let n be g(3). Let h be a(n). Let w be (13 - h)*2/(-14) - 0. Which is smaller: w or 103?
w
Let d = 794/1287 + -120/143. Which is smaller: 1036 or d?
d
Let g(j) = j**3 + 3*j**2 + 10*j + 22. Let d be g(-2). Which is smaller: -236 or d?
-236
Let r = 582 + -1186. Which is smaller: -605 or r?
-605
Let r = -37292.95 + 37293. Which is bigger: r or 209?
209
Let s = -80 - 57. Let z = 220 + s. Is z less than 1?
False
Let r be 4/1 + (99/(-11) - (35 - 44)). Let a(o) = o**2 - 6*o - 1. Let h be a(6). Which is smaller: h or r?
h
Let j be -2*(-11)/(-6)*(-9)/(-6). Let b be 2/(-9) - (-56)/9. Suppose -b*z = -10*z. Is z less than j?
False
Let p(h) = h**2 + 80*h - 1535. Let q be p(16). Is 179 at least as big as q?
True
Let p = -17/30 - 1/10. Let o = -147 + 151. Suppose 0 = 5*i - o*y + 20, 4*i = 5*y - 22 - 3. Which is smaller: p or i?
p
Let q(l) = 31*l + 1233. Let r be q(-29). Which is bigger: 333 or r?
r
Suppose -54*b + 60*b - 1638 = 0. Suppose -260*j - 156 = -b*j. Is j <= 57/5?
False
Let r be -6*12/(-135) + 17/((-935)/66). Which is smaller: r or -193?
-193
Suppose 0 = 5*f + 4*o - 218, -2*f - o + 99 = 10. Let l be f/(-115) + (-4)/(-5). Are 172 and l equal?
False
Let i(p) = -10*p**3 + 439*p**2 + 41*p + 152. Let o be i(44). Let l = -1 - 0. Is o equal to l?
False
Suppose 9*o = 291 - 426. Let b be -2 + -1*(-255)/(-18). Which is smaller: o or b?
b
Let n(y) = 2*y**2 + 240*y - 254. Let k be n(-43). Does k = -6878?
False
Let n = 56 + -56. Suppose n = 4*x + 26 - 42. Suppose 90 = x*g - 58. Is g != 38?
True
Let u = 5886 + -8841. Is -20694/7 not equal to u?
True
Suppose -4*l + 2*l + y = 44, -l = -6*y + 44. Let r be 24/3*-3 - -1. Which is bigger: r or l?
l
Let j = 24.73 - 25.73. Do j and -1067 have different values?
True
Let d = 257 + -12. Let i = d - 314. Which is greater: -1 or i?
-1
Let l = 100086 - 100101. Let a(s) = -19*s. Let f be a(-2). Suppose 0*r + 4*m = 5*r + 49, 0 = -2*r - 3*m - f. Is r bigger than l?
True
Let r be (-3)/(-5) - (-4)/10. Let g = 0 - r. Let b = -1421593/19 - -74821. Which is smaller: g or b?
g
Suppose 9*r + 3*y - 251038 = 20*r, 2*r + 5*y = -45671. Which is greater: r or 1?
1
Let t = -4 - -6. Let g be t/(-2) + (-16)/12. Suppose 48136*j = 48153*j + 51. Which is smaller: j or g?
j
Let h = -21758819458226519289311609231/141685307 + 153571460011915839528. Let q = 6/3014581 - h. Let c = q + 652. Which is bigger: c or 1?
1
Suppose 64*p = 99 + 29. Is 24 greater than or equal to p?
True
Suppose -6 = -4*s + s. Let b be ((-16)/(-28))/((-3)/(-21)). Suppose x + 3*z + 54 = b*x, -s*z = x - 33. Are 23 and x equal?
True
Let r be 21430/2508 - 472/(-7788). Which is greater: r or 10?
10
Let o = 2848 + -193661/68. Is o greater than or equal to -1?
True
Let j(r) = -r**3 + 4*r**2 + 6*r - 3. Let a be j(4). Let n = 29847 - 29825. Which is greater: n or a?
n
Let a = -83.3 + 83.3829. Let y = a - -71.9171. Is y smaller than -0.03?
False
Suppose -3*s + 2652 = 5*g - 3397, -2*g = 2*s - 4038. Is s at least as big as 1?
True
Let z be 2/(-39) - (-361840)/(-1560). Which is bigger: -241 or z?
z
Let b(v) = -11*v**2 + 3*v - 2. Suppose -25 = -5*a, -2*a - 1 = -p - 10. Let s be b(p). Let r be (-8)/(-12) - 1/(-6)*s. Which is smaller: r or 1/6?
r
Suppose -32*p + 10375 + 4441 = 0. Which is greater: 459 or p?
p
Suppose -5*j + r = -493, 2*r + 202 = 2*j + 4*r. Let y = -26 + 27. Let g be y/(j/294) - 9/3. Is g <= -1?
False
Suppose 0 = 1868*c - 1888*c - 1091 - 1309. Is -35 at most c?
False
Let i be (16/(-2))/4 - (-3626)/(-490). Let d be (-54)/(-10) - 8/20. Let r = d + -14. Which is smaller: i or r?
i
Let o = 0 - 11. Let c = 53590.8 + -53590. Which is bigger: c or o?
c
Let j = -29 + 14. Let v be 14/(-21)*j/(-2)*-1. Suppose v*u - 5*c + 42 = -3, 4*u + 5*c = -27. Is u at most as big as -10?
False
Suppose 3*p - 703 - 365 = 0. Suppose -73 = 3*k + p. Which is bigger: k or -144?
k
Let c be (-12)/(-18) - 144/(-48)*5/(-9). Which is greater: -83/67 or c?
c
Let t be -2*(-2)/(-416)*(-108396)/(-135). Let x = t - -33/130. Which is smaller: -7 or x?
x
Let x be ((-164)/246)/((-1)/3 - -1). Let t be (-242)/(-34) - (x + 57/51). Which is smaller: -2 or t?
-2
Suppose 4*r - r - 68 = -2*j, -j = 5. Suppose -6*o + 20 = -r*o. Are o and -2/1071 equal?
False
Let d = 0.02 - -0.08. Let c = -7.69 + 11.02. Let z = c - 3.34. Is d less than z?
False
Let a be (-216)/378 + 339426/12096 + 8/(-6). Is a greater than 25?
True
Let h(p) = -3*p - 3. Let a(k) = -k**2 - 10*k - 18. Let l be a(-8). Let q be h(l). Suppose j - q = -5. Is j at most -2/3?
True
Let w = -25596323/39781 + 13/5683. Are -643 and w unequal?
True
Let p be 21 + -4 - (10 - -7). Let n = -25 + 24. Are n and p nonequal?
True
Let h = -246647681/5728 - -43060. Are 0 and h non-equal?
True
Suppose -2*o + 3*v + 94 = 0, 2*o - 98 = 15*v - 14*v. Let r = -61 + o. Do -9 and r have different values?
True
Let w = 28 - 162. Let v = w - -229. Which is smaller: 96 or v?
v
Let v = 7572 - 7559. Which is greater: v or 51?
51
Let v = -104.67 + 9.678. Let t = 95 + v. Let f = t + 0.292. Which is bigger: f or 18?
18
Let g(p) = 161*p - 1. Let d be g(0). Suppose 4*h - 4 = -3*x - 2, 0 = -5*x - 2*h - 6. Let q be (-3)/(-6)*(0/x)/d. Is -4/25 greater than q?
False
Let f be 1/((-24)/120)*(-2)/7. Is f greater than or equal to 2.8?
False
Suppose -18*c - 1084 + 1066 = 0. Let r = 410728/137 + -2998. Which is smaller: c or r?
c
Let f be (-4)/326*(5 + (-32052)/12816*2). Which is bigger: 0 or f?
f
Suppose 96*y = 86*y - 220. Is y greater than -6?
False
Let f = 8 - 3. Let q be 2/(-36)*(-40)/f. Let u = 8.96 - 8.9. Are q and u unequal?
True
Suppose -12*q + 7566 = -29*q + 88809. Is 4777 less than or equal to q?
True
Suppose -30 = -94*m + 109*m. Let v be (-3 + 4 + 1)/m. Which is greater: 1/5 or v?
1/5
Let y be (-2)/30*166*-5*(-25)/(-15). Do 92 and y have different values?
True
Suppose 41*l = -47*l. Is l equal to 9/596?
False
Let p(y) = -3*y - 11*y + 21 - y. Let z be p(-14). Suppose z - 45 = -2*u. Which is bigger: -92 or u?
-92
Suppose -s + 1753 = 4*f - 8572, 0 = -s - f + 10328. Is 10330 greater than s?
True
Let t = 605 - 1154. Let j = 549.1 + t. Which is smaller: j or -136/5?
-136/5
Let r(h) = -h**2 - 21*h - 2. Let u be r(-11). Suppose 0*d - 3*d = u. Let y = 111 + -148. Which is greater: d or y?
d
Let o = 315.8 + -314.8. Are o and -5/67 nonequal?
True
Let h = 38 - 30. Let y(b) = b**3 - 8*b**2 + 12*b - 9. Let x be y(h). Let a = 62 - x. Which is smaller: 0 or a?
a
Let q(t) = -t**3 + 10*t**2 - t + 20. Let n be q(10). Suppose 14*o = n*o - 80. Is o less than or equal to -19?
True
Let a be -85 - (-1 + 3) - 3. Let f be (-4)/(-24)*514 - (-3 - 2). Let k = f + a. Are k and 1/52 equal?
False
Suppose 72 = -v + 107. Suppose -v*a = -32*a + 1383. Is -461 >= a?
True
Let i be (-23688)/(-210)*(-16)/4*5/78. Is i equal to -29?
False
Let b = 0.08 + 0.02. Let q = -2929.938 - -2930. Is b >= q?
True
Let w be 5*1/1 - 19 - 18. Suppose -3*p + 24 = -b, 0*p + 3*p = -12. Let n = -70 - b. Is w less than or equal to n?
False
Let q(f) = -6*f. Let a(s) = s + 1. Let c(i) = 9*a(i) - q(i). Let k(b) = 61*b + 37. Let l(u) = 9*c(u) - 2*k(u). Let w be l(-3). Is -30 bigger than w?
True
Suppose 637*w = 704*w + 1809. Does w = -44?
False
Let n(w) = -w**3 - 4*w**2 + 8*w - 13. Let c be n(-6). Suppose 22 - 11 = -c*x. Which is smaller: x or 2/109?
x
Suppose 19 = 2*w - 17. Let p be 6/w + (-4120)/(-33). Let u = p + -125. Do 2/9 and u have the same value?
False
Let z be (-3)/1 + (-8 - 3/(-1)). Let a be (2 + 1278/(-642))*z/4. Let v be 2/(2 + -4*1). Is v equal to a?
False
Let z(c) = -c**3 - 8*c**2 - 11*c - 6. Let j be z(-6). Let a(b) = 5*b + 3. Let f be a(-2). Let h be f/(-35) - 519/45. Which is smaller: j or h?
j
Let w = 9 + -32. Let r = 38 + w. Let i = r - 16. Is -15 at most i?
True
Let k be -121*3/357 - -1. Suppose b + 51 = 4*b. Suppose -4*y - b = 5*d - 6*d, -7 = 5*d + 3*y. Which is greater: d or k?
d
Let s(z) be the second derivative of -2*z**3/3 - 41*z**2/2 - 2*z. Let g = -4615 + 4605. Let m be s(g). Which is smaller: m or 2/361?
m
Let g = 12002 - 12903. Is -898 != g?
True
Let q = 88/413 - -30/413. Is 4/23 > q?
False
Suppose 0*t = -3*t. Let d be 40/16*-2 + 4. Let q(m) = -2*m**3 + 10*m**2 + 13*m + 2. Let f be q(d). Which is bigger: t or f?
f
Let a = -9973.7 + 9972. Which is greater: -1.6 or a?
-1.6
Let j be ((-11)/(-4))/((-13565)/2260 - -6). Is -1242 bigger than j?
