64)/(-3)*105/14. Let t(x) = -x**3 - 8*x**2 + 3*x - 9. Let b be t(-10). Is b < o?
False
Let y(l) = l**3 - 53*l**2 + 17*l - 658. Let i be y(55). Is i less than or equal to 6327?
True
Let v = 437559728/922257 + -2/102473. Do 474 and v have the same value?
False
Let k be -6 - (-16)/((-4)/(-18) + 410/180). Is k >= -448/57?
True
Let l be 1*4*(303 + -272). Which is smaller: l or 67?
67
Suppose -11*p = 50 - 127. Suppose -41 = 5*x + 4*r, 0 = -p*x + 2*x - 2*r - 43. Which is smaller: -31/4 or x?
x
Let t(w) = w**3 + 6*w**2 - 1. Let g be t(-6). Let k be (g - 1)*5/(-62955)*3. Let p = k - -33526/104925. Which is bigger: 1 or p?
1
Let c be (-240)/700*(-10)/4. Which is smaller: c or 9/4?
c
Let z = -169 + 175. Let t(y) = -y**2 - 2*y + 2. Let r be t(0). Suppose -r*s - 35 + 49 = 0. Which is smaller: s or z?
z
Let x = -55154/3 + 18553. Which is smaller: x or 169?
x
Suppose -8 = -2*x + x - 4*z, x = 4*z + 32. Suppose -3*a = -5 + x. Let u be 336/690 + 2/a. Which is greater: 0 or u?
u
Let c be -4*16/160 - 2/(-5). Which is bigger: c or 7/1100?
7/1100
Suppose -2948*t - 7 = -2941*t. Is t < 3/2222?
True
Suppose p - 4*u - 19 = 0, p + 5*u + 35 = 3*p. Suppose c = 3*c - 2*y - 12, c = 4*y + 18. Let m be -1 - (10/75)/(c/(-220)). Which is bigger: p or m?
p
Let i be (-71)/(-93) - (-4)/(-6). Let b = -3.4037 - -3.1037. Is b < i?
True
Let j = -673 + 1140. Let u = j - 470. Is -1.2 at least as big as u?
True
Let m(k) be the first derivative of 4*k + 17*k - 6 - 2 + 0 + 3*k**2. Let a be m(-10). Which is smaller: a or 1?
a
Suppose 100*r + 246893 - 60693 = 0. Are r and -16766/9 nonequal?
True
Suppose -34748 + 34728 = -20*d. Is d greater than or equal to 2/551?
True
Let i = -48 + 62.8. Let d = 22 + -17.2. Let h = d - i. Which is bigger: h or -1?
-1
Let y = -1974 + 6084. Is 4109 smaller than y?
True
Let t(g) = 2*g**3 + 56*g**2 - 10*g - 134. Let j be t(-28). Is j bigger than 143?
True
Suppose 2*k - 5*v + 6*v - 34 = 0, 2*k + 4*v = 34. Let t = 38 - 22. Let g = k - t. Is g not equal to 2/5?
True
Let k be 33/264 - (-21)/1048. Let j = -647/13493 + k. Is -1 at least j?
False
Suppose 3501 = 61*j - 10102. Which is greater: -6 or j?
j
Let l be (-18)/(-2) - (5592/120 - 38). Which is bigger: -840 or l?
l
Let u(b) = -134*b - 766. Let x be u(-8). Which is smaller: x or 1528/5?
1528/5
Suppose 67*z - 154 = 78*z. Let t be (-8)/2 + z/(-3). Which is smaller: t or 0.034?
0.034
Suppose 2 = -a - 4 + 5. Is a smaller than -11/16?
True
Let w be -10 + (-208017)/(-18909) + -1. Is -1/2 at most w?
True
Let t = -311 + 332. Let c be 1 - (t/(-6) - -4). Which is smaller: c or 231/2?
c
Suppose -785225 = -210*j + 195055. Is 4668 at most as big as j?
True
Let z = 4339 - 4338. Which is greater: z or -5621?
z
Let x = 3 - 2.58. Let b = x + -0.44. Let o = 0.22 + b. Is 1/11 bigger than o?
False
Suppose 20 = -107*x + 103*x. Let q be ((-2)/(-4))/(((-3210)/(-4))/x). Which is bigger: -1 or q?
q
Let q be 1/((-3)/(-3)) + 0 + 2. Suppose q*d + 56 = -160. Let k be (5/2)/((-6)/(d/15)). Which is greater: k or 9/5?
k
Let p = 88 + -4. Suppose 2*a - p = -5*a. Let r be ((-40)/a)/(-2)*3. Which is greater: 8 or r?
8
Let p be (-91 - 2)/(-41 - -106). Which is greater: p or -1?
-1
Let b(z) = -3*z**2 + 15*z - 37. Suppose -140 = -20*c - 0*c. Let o be b(c). Which is greater: o or -76?
-76
Let s be -2*(-1)/(-1)*21/(-2). Let m = -21 + s. Let w = 772/9943 - 18/163. Is m >= w?
True
Suppose -16*y = -2*y - 168. Let h be -2*(210/y)/5. Does -4 = h?
False
Let a be 7 + -3 + 589 + 8. Let l = 592 - a. Is l != -8?
True
Let n(f) = 51*f - 228. Let r be n(6). Is r <= 87?
True
Let d be -4 + (-174)/(-45) - 7/560*16. Let n(y) = 2*y**3 + 4 + 0*y + 6*y**2 - 3*y**2 - 3*y. Let o be n(-3). Which is greater: o or d?
d
Let q(g) = -78*g**2 - 165*g - 879. Let x be q(-6). Are -2697 and x non-equal?
False
Let p = -282.97792 - 0.02208. Is -16 at least as big as p?
True
Let l be (-258)/43 - 16/(-2). Let f = -2 + -13. Which is smaller: l or f?
f
Let d = 27296 + -27357. Suppose 2*q + 53 = -a, 3*a - 2*a + 51 = -4*q. Is a >= d?
True
Let g = 382 + -1904/5. Suppose 0 = -21*d + 19*d + 10, 8*t + 2 = 2*d. Is t greater than g?
False
Let l(m) = -7*m + 35. Let z be l(-4). Suppose 4*t + 4*k = 148, 5*t + 2*k - z = 113. Which is bigger: 36 or t?
36
Let q = 1.2198 + -0.2198. Is q < 4225?
True
Let j = -179 + 187. Let d be 0/((j - 15)/(-7)). Is -7/11 != d?
True
Let z(w) = -w**3 + 24*w**2 - 21*w - 34. Let v be z(23). Suppose -65 = -v*h + 31. Suppose -8*r = -h - 0. Which is bigger: r or -4?
r
Suppose 59321*r + 9087 = 59308*r. Is -694 > r?
True
Suppose -5*n = 2*d + 550, -4*n + 4*d - 333 = 107. Let h be (-8)/2 + (n/(-25) - 0). Which is smaller: h or 3/46?
3/46
Suppose 0 = 5*l + 74 + 866. Let j = -6483 - -6296. Which is greater: l or j?
j
Let i(p) = 37*p - 127. Let q be i(9). Let k = 574 - q. Is k at least as big as 368?
True
Suppose 6 = h - 3. Let a be (14/(-4) + 3)*30. Let n(d) = 2*d + 40. Let y be n(a). Is h > y?
False
Let m = -746.862 - -11.562. Let i = m - -741. Let v = 2 - 3. Is i greater than or equal to v?
True
Let r = 328 + -412. Let l be -636*-3*(-7)/r. Are l and 159 unequal?
False
Let f(l) = -l**3 - 5*l**2 - 4*l + 1. Let c be f(-4). Let t(z) = -z**3 + 5*z**2 + 7*z - 42. Let y be t(4). Let a be y*(9 + (-9040)/1004). Is c != a?
True
Let j be (-4 + 236/16)/((-3)/(-924)). Let p be 2/(-2) + (-1)/((-3325)/j). Is -1 bigger than p?
False
Let d be 51/(-140) + 6/15. Let o(g) be the first derivative of -g**4/4 + 4*g**3 - 4*g**2 - 34*g - 4. Let j be o(11). Is j less than d?
True
Suppose 3*o + 331 - 322 = 0, 2*b + 5*o + 17 = 0. Which is smaller: b or -5/1648?
b
Let i = -417.85 - -416. Let j = -2.05 - i. Which is bigger: j or -40?
j
Let u be -4 + 8*8/16. Let v = 5.62 + -4.7. Is u <= v?
True
Suppose 16*y = -9*y + 50. Suppose 3*z + 225 = y*r, -z - 3*r - 67 = -r. Which is greater: 0.2 or z?
0.2
Let v = -13134619/175 - -75055. Suppose 6*q = 3*q - 3. Is q less than or equal to v?
True
Let z = 3454.7 + -3459. Suppose 2*y - 20 + 2 = -5*k, 0 = -2*k - 4*y + 20. Which is smaller: z or k?
z
Let n(t) = -t - 3 - 13*t**2 + 3*t - 22*t**2 + 1. Let x be n(1). Suppose 112 = -3*a - 4*r, 4*r + 1 = -3. Is a smaller than x?
True
Let j = 15712758/89495 - -1/12785. Is j != 177?
True
Let h(d) = d + 26. Let s be h(-6). Suppose -s = -4*g, 2*l + g + 6 + 73 = 0. Suppose -34 = u + 9. Which is bigger: u or l?
l
Let h = -3330 - -3350. Which is smaller: h or 6?
6
Let g = -1038 - -1058. Is g != 38?
True
Let d(z) = -59*z - 226. Let o be d(-4). Suppose 3 = a, -a + 162 = -9*g + o*g. Is g greater than 158?
True
Suppose -4*x = -k - 0 + 2, k + 2*x - 2 = 0. Suppose 0 = k*g - 4*g + 32. Suppose -2*p - g + 104 = 0. Do 44 and p have the same value?
True
Let y be -1 - 0*(2/4 + (-1)/1). Which is greater: -332 or y?
y
Let a = 187 + -183. Suppose -a*g + 15 = -g. Which is smaller: 0.2 or g?
0.2
Let d = -9108 + 9109. Which is smaller: d or 20?
d
Let f(d) = 16*d - 58. Let a be f(3). Let b(c) = -2*c - 43. Let z be b(a). Which is greater: -11 or z?
-11
Suppose 0 = -3*h + 4*q - 67, -h = -q + 2*q + 20. Let j be (-124)/(-42) - (-6)/h. Let f be -3*(0 + 3)*-8*13/312. Are j and f non-equal?
True
Let b(p) = -311*p - 1727. Let v be b(-7). Is v at least as big as 448?
True
Suppose -5*m - 12*r + 9*r = -471, -r + 477 = 5*m. Which is smaller: 6 or m?
6
Suppose -8*q + 4*q - 5 = 3*j, q - 7 = 2*j. Suppose -5*u + 0*g = -4*g + 13, -3*u - g = q. Is 2/363 at least as big as u?
True
Suppose 3*u - 621 = -99. Suppose 3*f - 58 = -v, 2*v - f - u = -v. Let t be (14/102)/(3/(v - 4)). Which is smaller: t or 2?
2
Let h = 116 + -190. Let x = h + -39. Is x at most -113?
True
Let k = 23.55 - 0.55. Let a = k - 22.953. Let v = 2.047 - a. Is -2 at least as big as v?
False
Let n = -3925 - -3925.047. Which is smaller: n or 41?
n
Suppose 3 = q + 5*y - 6, -y - 11 = -3*q. Let n be 6/4 - (-380)/40. Let v be n*-1 + 1*q/(-2). Is -16 != v?
True
Let j be (-200)/825*(-162)/(-42). Are j and -1 equal?
False
Let c be 328/(-20)*((-208)/(-1144) - (-776)/22). Does c = -581?
False
Let y = -520 - -350. Let p be -3 + 6 - y/(-58). Is p > 1?
False
Let o be (75098 - (-2 + 2))*(-36)/(-128). Let b = -21111 + o. Which is bigger: 11 or b?
11
Let q(o) = 15*o + 30. Let a be q(-1). Let h be 3 + ((-20)/(-4) - a). Which is greater: -63/10 or h?
-63/10
Let r(w) = 86*w - 3. Let m be r(-1). Which is bigger: -69 or m?
-69
Let 