 Let z be -2*y/(-6)*(-114)/(-133). Which is greater: z or 36?
36
Let d = -1718.088 - -1718. Is d greater than -1/4?
True
Let a(j) = -j**2 + 4*j + 49. Let q be a(9). Suppose 3*i + 4688 = -q*g, 5*g - 196 + 6087 = 4*i. Let r = g - -55227/47. Which is smaller: r or 0.3?
r
Suppose 69*g = 67*g + 152. Is g < 0?
False
Let f = -0.2164 + 4.5964. Is f less than 1/7?
False
Let z be 3/2*(-351 + 299). Which is bigger: z or -0.56?
-0.56
Suppose -1634 = -3*m - 4*p + 1616, 1092 = m - 3*p. Which is smaller: m or 1081?
1081
Let u(b) be the third derivative of -b**4/6 + 38*b**3/3 - 35*b**2. Let l be u(23). Which is greater: -61/4 or l?
-61/4
Let t = -96 + 97. Let j be 0/((-2)/(t - 0 - -1)). Is j at most as big as -1/195?
False
Let c be (-8)/2*(-9)/(-12). Let o = 83 - 48. Let t be 2/c*15/o. Which is greater: t or 1?
1
Let a = -32 - -90. Suppose -3*r - 5*p = -88, -5*r + a = -2*r - p. Suppose 75 = -5*i - 4*d + 194, 2*i = -5*d + 51. Is i smaller than r?
False
Let p be 4*(-3)/110*(-1640)/246. Which is bigger: 20 or p?
20
Let k = 3.14 - 0.83. Let l = 13.69 + k. Is l > 0.01?
True
Let k be ((-6)/27)/(64/(-226944)). Which is smaller: k or 3939/5?
3939/5
Let x = 69 - 48. Let a = 55 - x. Let h = -33.9 + a. Is -32 less than or equal to h?
True
Let p be 5/(5/(-6)) + 136915/23630. Let a(y) = -y**3 + 7*y**2 + 9*y - 8. Let o be a(8). Is p < o?
True
Let r = -128 + 128. Let m(s) = s**2 - 4*s. Let k be m(4). Suppose -4*l - 2 - 2 = k. Is l < r?
True
Let h = 19777 + -19776. Does h = -8/469?
False
Let a = -966.307 - -966. Let i = a - 9.693. Which is bigger: i or -22?
i
Let u(l) = -275*l + 813. Let c be u(5). Which is smaller: 3/4 or c?
c
Let b = -0.3262 - 0.3738. Is -0.124 equal to b?
False
Let j(h) = -8*h - 320. Let q be j(-42). Let z be q/6*(534/(-92) + 6). Suppose 0 = 3*k + 2*k. Are k and z unequal?
True
Let x = 158 + -157. Is x > -31.64?
True
Let b(v) = -v**2 + 28*v - 153. Let u be b(21). Let o be (34/5 + u)*5/2. Which is bigger: o or 8?
8
Let p = -644027 + 644032. Let g = -21 - -38. Let j = g + -9. Which is smaller: p or j?
p
Let t be (-48)/(-32) - (2 - 6/(-4)). Let u be ((-74)/(-185))/((-8)/t). Which is greater: 0.11 or u?
0.11
Suppose -32 = -3*g + 4. Let j be (3/(-4) + g/4)*-24. Let y = j + 54. Which is smaller: -6/31 or y?
-6/31
Suppose 4*m - 2*w - 422 = 0, 3*m - 2*m + 3*w - 123 = 0. Let t be (-21)/7 - (m/(-21) + 2). Suppose -2*u + 0*j - j = 2, 2*u - 5*j = 10. Which is bigger: t or u?
t
Let p(d) = -351*d - 7910. Let w be p(-23). Which is greater: 134 or w?
w
Let z = 2213 - 2212.7. Is -2/233 < z?
True
Suppose -121*v + 5*o + 14 = -119*v, -v = -2*o - 6. Which is smaller: 134/47 or v?
v
Let o = 146800 - 146813. Let s = 117 + -259/2. Is o > s?
False
Suppose 190*y = -24*y - 28*y - 242. Which is smaller: 22/477 or y?
y
Suppose 0 = -40*z - 1755 + 1075. Is 7/2 >= z?
True
Let l = -446887/20548 + -8/5137. Which is greater: -154 or l?
l
Let z = 6792 - 6906. Is z bigger than -1028/9?
True
Let i be (-3)/9 - (-6409)/174. Suppose 138 = 4*m + 2*g - 12, 2*m - 5*g - 81 = 0. Are i and m equal?
False
Let q = 119 + -38. Let o = 21008 + -20925. Is q >= o?
False
Let j = 13236 + -9240. Let w = -24079/6 + j. Is -16 not equal to w?
True
Suppose 5 - 3 = -3*v - 2*s, 3*v = -4*s - 10. Suppose 9*p - 110 = -v*p. Let u = -10 + p. Is 1 greater than u?
True
Let k be (5 - -17)*(-2)/4*13. Let g = k - -298. Suppose -5*r + 4*w - 150 = 0, -g = 5*r - 0*r - 3*w. Is r less than or equal to -34?
True
Let u be (66/(-8))/((-770)/392 + 2). Which is smaller: u or -263?
-263
Suppose 4*m - 130 - 2 = -8. Which is smaller: m or 32?
m
Let t = -75 + 92. Let i = -0.346 + 0.356. Which is bigger: t or i?
t
Let c = 11.72 - 3.72. Let h = c - 7.9. Which is bigger: -7/4 or h?
h
Suppose 0 = 24*j + 22715 + 5581. Is -1177 < j?
False
Let u = -5 + 8. Let f be (10/(-2 - 3))/((-6)/(-24)). Let l be -10 + u + 4 + (-30)/f. Which is smaller: -2 or l?
-2
Let y = 0 + 0.1. Let g = -36 + 96. Let l be (g/(-6) - -5)*(-2 + -1). Is l != y?
True
Let h = 1496.0821 + -1496. Are h and 1 equal?
False
Let a be (-120)/(-18)*(-90)/4. Is a greater than -179?
True
Suppose 4 + 1 = -7*i - 2. Is -2/1079 > i?
True
Suppose 264*m = 334*m - 9940. Which is bigger: 124 or m?
m
Let s = 57/17 - 66359/19771. Do -1 and s have the same value?
False
Let k(i) = -i**2 - 128*i + 288. Let x be k(-68). Which is bigger: 4369 or x?
4369
Let v be 3/(72/(-159)) - (1 + -3 - 2). Which is smaller: v or 0.48?
v
Suppose n - 22 = -p, 2*p - 3*n - 16 = 3. Suppose 16*s = p*s - 120. Suppose 2*q - 52 = q - a, -2*a = -2*q + s. Is 56 < q?
False
Let a = -97379/16 + 6085. Which is smaller: -0.07 or a?
a
Let c(z) = -z**2 - 14*z - 17. Let p be (-3 - 0) + (-4 - 1/(-1)). Let v(f) = -2*f**2 - 28*f - 33. Let o(w) = p*v(w) + 13*c(w). Let y be o(-12). Is -0.052 > y?
False
Suppose -5*v = 3*f + 6 + 3, 2*v = -5*f - 34. Let y(p) = p**2 + 4*p - 34. Let u be y(f). Is u > -11/15?
False
Let d be ((-3368)/32)/(28/236). Let h = d - -887. Which is smaller: -1 or h?
-1
Suppose -5*c - 85*b = -81*b + 3909, -5*c = -2*b + 3873. Is c at least -771?
False
Let p = -9711/269 - -14178839/389781. Let d = -2/207 - p. Is d at most as big as -13?
False
Let s(b) = -3*b + b + b**2 - 1 - b + 5*b**2. Let h be ((-30)/18)/(5/6). Let n be s(h). Which is smaller: 30 or n?
n
Let u be (-52)/14 + (27 + 6 - 29). Does 582 = u?
False
Let s = 3303459336/11723 + -281793. Which is smaller: s or -1?
-1
Let v be (136/10 + 0)/((-6)/(-30)). Let r = v - 78. Let t be 6/(-40) + r/(-40). Does t = 3?
False
Suppose l + 91 = -2*g, 2*l - 142 = 3*g - 2*l. Let r = g - -70. Suppose r*c - 25*c = 0. Which is smaller: 4/3 or c?
c
Suppose -4*s = -2*j - 3*s + 3, 4 = -4*s. Let m be ((-2)/j)/(11/(-154)). Is 28 >= m?
True
Suppose -v = -5*v + 4. Let k be ((-8)/300)/(-27 + (-1086)/(-40)). Are k and v non-equal?
True
Let n(k) = -2*k + 9 + 1 + 2 + 2. Let p be n(13). Let d be (-1)/(-1 + 2)*p/(-240). Is d >= 1?
False
Suppose -4*w + 26 = 6. Suppose -3*b = -9, -f + w*b - 45 = 34. Do f and -65 have different values?
True
Let j = 403463/93 - 13073/3. Does -20 = j?
False
Let k = -720 + 682. Let n(l) = l**3 + 37*l**2 - 39*l - 29. Let g be n(k). Is 7 at most as big as g?
True
Let y be 576996/153 + (-28)/(-238). Let v = y + -3734. Which is greater: 38 or v?
38
Let u(r) = 25*r**2 - 1. Let i(f) = -f**2 - f - 1. Let z(q) = -3*i(q) + u(q). Let m be z(-12). Let y = 28061/7 - m. Is 10 smaller than y?
True
Let u be (-9)/12 - (-372)/(-155)*355/16. Which is smaller: u or -95?
-95
Let n(a) = a**3 - 2*a**2 - 18*a + 10. Let p be n(9). Suppose 0 = 5*v + 2*i - 7*i + 395, -5*v - p = -i. Is v at least -84?
True
Suppose -p = -6*p. Let l = -102 - -111. Suppose l*y + 84 = -5*y. Which is bigger: y or p?
p
Let q be (-8)/40 - (-107)/35. Let n = -33/14 + q. Is 31 >= n?
True
Let x = 9.49 + -10.8. Let f = 31.69 - x. Is f less than or equal to 0.2?
False
Suppose 5*b - 76 = 34. Let l(w) = 2*w + w - 2*w + b. Let n be l(-17). Is 5 smaller than n?
False
Let s be (-68)/(-272) + 275*1/4. Let u = s - 72. Which is greater: u or -23/9?
-23/9
Let g(z) = 3*z + 10. Let p be g(6). Let u(c) be the third derivative of c**6/120 - c**5/15 - 5*c**4/12 + 8*c**3/3 - 16*c**2. Let t be u(6). Is t <= p?
True
Suppose -22*k - 21264 + 3188 = 2054. Which is smaller: -11 or k?
k
Let v be 38/6*(3 - 6). Let z = v - -24. Suppose 2*n = 7*n - z. Is n <= 1/14?
False
Let n = 8810 + -14661. Is n bigger than -5850?
False
Let x = 534 - 405. Let k = -133 + x. Which is smaller: k or -46/13?
k
Let z(d) = -40*d + 46*d + 2*d**2 - 4 - 15*d. Let q be z(5). Are 2/363 and q nonequal?
True
Let j be 770/(-110) - 1341/(-195). Let r(o) = o**3 - 4*o**2 + o - 5. Let p be r(4). Which is greater: j or p?
j
Let t = 742 + -391. Which is smaller: t or 1409/4?
t
Let t = 5791 - 2534. Is t less than 3257?
False
Let i be (-5670)/17090 + 43/(-43) + (-4)/(-3). Is -1 != i?
True
Let i(r) = 6*r**3 - 3*r**2 + 6. Let j be i(2). Let w = 79 - j. Let p = w + -39. Is p < -5/6?
True
Let c = 88.26 - 1.26. Let y = 36 + c. Let w = -122 + y. Is -19/4 not equal to w?
True
Let m = 547 - 1264. Let g = 610 + m. Which is bigger: g or -744/7?
-744/7
Let s be (-4)/(-5) + 187/85 + -4. Let l = 48/29 - 2. Is s != l?
True
Suppose -1220 = -2*q + 1132. Let m be -12*(q/(-198) + 6). Which is greater: m or -2?
m
Suppose 2881 - 5759 = -b - 2879. Which is bigger: 5/5724 or b?
5/5724
Let p(w) = 102*w**2 -