6 + -2). Which is bigger: -204.3 or k?
k
Let b(h) = 6*h**3 + h**2 + 3*h + 2. Let z be b(-1). Let q be ((-9)/54)/((-966)/(-240) - 4). Do z and q have different values?
True
Let f = 440 - 684.5. Let q = 240 + f. Which is greater: q or 2/7?
2/7
Let n = -632/3897 + -26/433. Does n = 84?
False
Suppose 344*o + 23579 = 161*o + 166*o. Is -1386 < o?
False
Suppose 0 = 17*j - 94 + 111. Are j and -1/417 unequal?
True
Let h be (-4)/10 - (-73)/220. Suppose 7*i = 4*l - 24, -24 = 3*i - 148*l + 144*l. Is i greater than h?
True
Let d be (-295)/15 - (48/9 + -4). Let v be (-56)/(-24)*(30/d - 0). Which is bigger: -3 or v?
-3
Let n be (-1)/(-3) - 56595/169407. Is n not equal to -1?
True
Let m = -12/107 + -1105/642. Let j = -70 + 74. Is m greater than or equal to j?
False
Suppose 697*m - 49899 - 21153 = 685*m. Which is smaller: 5922 or m?
m
Let c be 4 - (2 - (-3547400156656)/41124). Let p = c + 86261066. Let d = p + -18/149. Which is smaller: 0 or d?
d
Let v = 22 + -5. Let q = 15296 + -15296.03. Is v less than q?
False
Let y(o) = -23*o + 126. Let g be y(5). Is 11 less than g?
False
Let w be (-272)/170*(-42315)/52. Which is smaller: w or 1306?
w
Suppose -2*w - 25*w - 129168 = 0. Which is smaller: -4783 or w?
w
Let z = -36.1 + 43.26. Let g = z - 7.2. Which is greater: g or 4?
4
Let r(b) = -31*b - 125. Let o be r(-4). Is o > -15/34?
False
Let l(c) be the first derivative of 15*c**2/2 - 61*c - 3. Let m be l(4). Are m and -66 nonequal?
True
Suppose -2*i - 5*p + 390 = -3*p, i - 4*p = 195. Let h = 112 - i. Let u = h - -92. Is 12 less than u?
False
Suppose -4*l - 21 = 7. Let r(j) = -j - 10. Let s be r(-15). Let g = s + -6. Do l and g have different values?
True
Let a = 94 - 78. Let v = a - 14. Is 9/5 > v?
False
Let s(g) be the second derivative of -5*g**3/3 + 32*g**2 - 24*g + 1. Let v be s(10). Is v less than or equal to -40?
False
Let o be ((-44)/8)/((-4)/(-8)). Let t = 23/2 + o. Let c = 0.538 - 0.589. Is c at most t?
True
Suppose 31*d - 300 = 26*d. Let p(h) = d - 69*h + 34*h + 33*h. Let w be p(20). Are 17 and w equal?
False
Suppose 113 + 313 = 2*n. Let b be n*(-3)/(45/5). Let v = b + 70. Is v less than or equal to 1.1?
True
Let p(n) = 12*n**2 - 113*n + 46. Let l be p(9). Let u be (20/424)/(1/(-6)). Which is greater: u or l?
l
Suppose n = -s + 412, -10*n + s + 836 = -8*n. Which is bigger: n or 412?
n
Suppose -5*w - 6 + 29 = 3*t, -w + 20 = 2*t. Suppose -2*i - 439 = 5*p, -4*i - t*p = -10*p + 833. Is -208 bigger than i?
False
Let y = 4363 - 4670. Which is smaller: y or -315?
-315
Let p be -4*2/(-4) - -1. Suppose p*b + 150 = 27. Let l be 469/98 + -5 - 15596/392. Are b and l non-equal?
True
Suppose -29*v - 29*v = -3422. Is v smaller than 65?
True
Let k(n) = -n**2 - 6*n - 3. Let t be k(-5). Suppose 0 = -t*s + 2*q - 622, 6*s + 4*q + 961 = 3*s. Which is greater: s or -316?
s
Suppose 5*g + 3*m - 17 = 2*m, 0 = 2*g + 2*m - 10. Let j(w) = -76*w + 116. Let h be j(g). Which is smaller: h or -2?
h
Suppose -3*y = 36*g - 38*g - 9, 0 = -17*y + 51. Which is smaller: g or -46/619?
-46/619
Let o be (-81630)/20 - (3/6 - 0). Are -4084 and o unequal?
True
Suppose 21*n + 12 = 25*n. Let d be 166/(-930) + 5/75*n. Let r(x) = x**3 + 19*x**2 - x - 18. Let s be r(-19). Is d <= s?
True
Suppose 2*n = -2*s - 100, -2*s + 120 = -5*s + 3*n. Let i = -47 - s. Let f be 140/(-198) + -4*1/22. Which is smaller: i or f?
i
Let t be -6*(-4)/16 - 1/(-2). Suppose t*s - 180 = 4*o + 4*s, 3*o - 5*s + 148 = 0. Is o greater than -45?
False
Let r(i) = -2*i**2 - 17*i + 10. Let t be r(-9). Let x be t*1/2*4 - 2. Let g be (-7)/4 - (-2 - -1). Is g != x?
True
Let a be 2/((-1)/(22252/2736)). Let y be (-2685)/(-20)*(-3)/342*4. Let m = a - y. Which is smaller: -11 or m?
m
Suppose 55 - 379 = -324*b. Are b and 3/740 non-equal?
True
Suppose -12*s + 33*s - 65 = -44*s. Which is smaller: 2/83831 or s?
2/83831
Suppose 297 = -2*t - 3*q, 3*t - 768 = 8*t - q. Let p = -153 - t. Which is smaller: 86/5 or p?
p
Let o = 17840 + -17805. Is o < -96?
False
Let b = -0.5661 - 0.0139. Let p = b + 2.58. Let a = -37 - 0. Which is smaller: p or a?
a
Let y = -95 + 35. Let u = 94 + y. Suppose 28*v = -24*v - 8*v. Is u < v?
False
Let v(n) = n**3 + 2*n**2 - 38*n - 15703. Let f be v(0). Is f < -15704?
False
Let q = 56 + -50. Let d(w) = -16*w + 16*w**2 + 2*w**3 + 20 - 9*w**3 + q*w**3. Let c be d(15). Do -1/2 and c have the same value?
False
Let z = -41 - -19. Let g be 55/z*(2 - 20). Suppose m - 9*v + g = -4*v, 4*v = 3*m + 157. Which is smaller: m or -54?
m
Let p(u) = -440*u**3 + 2*u**2 - 8*u + 7. Let s be p(1). Let d = 396 + s. Does d = -41?
False
Let d(w) = w**3 - 7*w**2 - 80*w + 22. Let r be d(13). Which is bigger: r or -91?
r
Suppose -245*a + 255*a = -19480. Do a and -1947 have different values?
True
Let w(i) = i**3 - 36*i**2 - 233*i + 46. Let m be w(-20). Is m equal to 1/2?
False
Suppose -40 = -r + 87. Let o = r - 125. Let i be -1*1 + (-4 - -8) - o. Which is smaller: -6/19 or i?
-6/19
Let f be (3688/56)/((-11)/(-77)). Let k = 299 - f. Is k not equal to -160?
True
Suppose -5*c - 3*n - 5185 = 0, -n - 2294 = 3*c + 821. Let k be (-15)/40 - 270/c. Which is bigger: k or -2/3?
k
Let a be (11/((-1848)/(-47568)))/(5/(-14)). Is a != 1/6?
True
Suppose -2*d + 5*q + 32 = 0, -6*q = -5*q. Let f(g) = g - 2*g + 2*g**2 + 19*g**3 - 5*g**3. Let u be f(1). Is d greater than or equal to u?
True
Suppose 3*o - 5*g = -77, 0 = -4*o + g - 98 + 1. Let u be (-2)/o*6/4. Suppose 6*v = -38 + 44. Is v < u?
False
Let r be 4/(-14) + (680/28 - -3). Which is smaller: r or 28?
r
Let x be 3 + -2*(-7)/2. Suppose 5*b + x = 3*a, 5*a + 84 - 34 = -5*b. Let t(j) = -j + 7. Let h be t(7). Which is smaller: a or h?
a
Let b(j) be the second derivative of -j**4/6 + 4*j**3 - 12*j**2 + 67*j. Let u be b(17). Is u at least -578/3?
False
Let a = 107420/3 - 37018. Which is bigger: -1211 or a?
-1211
Let q = 135317/30 - 13748/3. Which is bigger: -72 or q?
-72
Suppose 2 = 5*j - 3, t + j - 41 = 0. Suppose -4*w - t - 40 = 0. Suppose -7*f = -0*f + 147. Which is smaller: f or w?
f
Let i = 0.06371 + 0.04629. Let a = 2/169597 - -31204978/73774695. Let o = 2/87 - a. Which is smaller: o or i?
o
Let n = 3130 + -2595. Is 537 < n?
False
Let z be -3*(14 + (-4572)/324). Let q = -10 + 12.2. Let y = 2.234 - q. Do y and z have different values?
True
Let i = -4.7 + 5. Let f = -188.4 - -173. Let w = -18.4 - f. Which is bigger: i or w?
i
Let b = 11614.78 + -11617. Is b at least -0.3?
False
Suppose -8*w - 1622 = 2402. Let h = w - -504. Which is greater: h or 29/17?
29/17
Suppose -12566*t + 12567*t + 2 = 0. Which is smaller: -300/121 or t?
-300/121
Let r = -697467/151 + 4619. Let x be 6/(-8) - 18/(-24). Which is smaller: r or x?
x
Let g be (((-4)/10)/(96/60))/(15/(-60)). Let r = 690778/1845 + -1872/5. Is r >= g?
False
Let j(n) = -n + 16. Let k be j(9). Let o be (((-3300)/72)/(-55))/((-10)/(-78)). Do k and o have different values?
True
Let c = 807580/21 + -38484. Is -27 smaller than c?
False
Let y = 434 - 435. Let i(q) = q**3 - 2*q**2 - 20. Let z be i(0). Let x be (-9)/(-6)*z/15. Which is smaller: x or y?
x
Let j = -9/103 - 407/1236. Let a(p) = -16*p**2 + 9*p - 8. Let r be a(1). Let d be 105/r*(-4)/28. Which is bigger: j or d?
d
Let x be 2/6*(-8)/14. Let s be ((-15)/(-2) + (-3)/6 - 0) + -6. Which is bigger: s or x?
s
Let b = 8/6931 - 517586/460433261. Which is greater: 1 or b?
1
Let v = 10.8 + -13.5. Which is greater: v or 65?
65
Let g be 5/(-2)*(-47064)/370. Which is smaller: g or 317?
317
Let j(y) = -36*y + 55*y + 17*y**2 + 9 + 1. Let r be j(14). Let w be 612/r - 10/55. Which is greater: w or -1?
w
Let s be 7/(-14)*16 + -3824. Is s greater than -3831?
False
Let b = -184 + 922/5. Let h be 12/18 - 150/9. Which is smaller: h or b?
h
Let k(v) = v**2 - 14*v + 5. Let u be k(14). Suppose -116 = -q + u*w, -3*w - 252 = -2*q + 2*w. Suppose -q = -j - 3*j. Which is smaller: j or 33?
33
Let i = -22363 - -26634335/1191. Let m = -8321/9528 - i. Is -1 at least m?
False
Let h = 37 + -26. Suppose h - 16 = 5*x. Let b be (7/44)/(2/(-8)). Which is smaller: b or x?
x
Let t = -475.7 - -522. Let j = 16.9151 + -14.9151. Is j != t?
True
Suppose 1046*j + 1252*j + 23*j = 0. Let o be 4/14 - (-363)/(-1638). Is j equal to o?
False
Let t = -3.911 - -166.811. Let w = 163 - t. Is w less than or equal to -66?
False
Suppose 2*g + 1721 = -3*u, u - 188 + 785 = 4*g. Let a