 -1.626. Are 3/4 and q unequal?
True
Let i(n) = -n**3 - 8*n**2 + 3. Let f be i(-8). Suppose -3*h + f = 6. Let d = -36 - -143/4. Which is smaller: d or h?
h
Let v = -141739250/51 + 2779100. Let f = v - -101. Suppose 0 = -9*y - 0*y. Which is smaller: f or y?
y
Let k = 0 + -16. Let d = k - -18. Let h be (10/55)/(-28 + d)*-2. Is h bigger than 0?
True
Let f = 547 - 535. Suppose f*b - 8*b = -l - 25, -5*l = b + 11. Suppose 0 = -0*o - 4*o - 20. Is o less than or equal to b?
False
Let o be 400/(-360)*3/5935. Which is smaller: o or 0?
o
Let o = 4.97 + -5. Let g = -191722 + 191728. Which is smaller: o or g?
o
Let g = 112 + -108. Suppose g*j + 112 + 284 = 0. Let z = 86 + j. Which is smaller: -86/7 or z?
z
Suppose -5*d - 6 = -a, d - 2*d + 3*a = -10. Let v = -22590/11 - -2053. Is d <= v?
True
Suppose -56 = -5*l + 94. Let r = l - 11. Suppose -2*t + 13 = -3*z, -t = -4*z + 2*t - r. Is -3/22 less than z?
False
Let c(i) = -i**3 + 7*i**2 - 5*i - 4. Let b be c(6). Suppose -36 = 2*a + 5*h, -a - b = -4*h + 3. Which is bigger: a or -15?
a
Let j(n) be the third derivative of n**6/24 - 7*n**4/24 + 5*n**3/6 + 6*n**2. Let b be j(-3). Let t = -119 - b. Is -10 at most as big as t?
True
Let k = 24.85 - 24.81. Is 51 less than k?
False
Suppose -9*i - 5*i + 372 = -15*i. Does -373 = i?
False
Let k = -1511.6 + 1513.6. Is k != 116/45?
True
Suppose -2*k = 2*f + k - 4, k = f - 12. Suppose 3*p - f = -4*j - 29, -j - 3 = 0. Let m be (-5)/(-9)*-3 - -2. Which is smaller: m or p?
p
Suppose -2*p - 288 = p. Let v = 107592 + -107687. Is v less than or equal to p?
False
Let p be ((-10)/224)/5*18. Let z = -89/56 + p. Let o = 993 + -996. Are z and o non-equal?
True
Let x be 15/(-6)*(-6)/3327. Let f = 157453/5545 + x. Which is smaller: 28 or f?
28
Let h = -0.012 - -1.087. Let c = -0.075 + h. Is 10 at least as big as c?
True
Let j = -4298 + -1502. Let o be j/(-48) + 6/(-2). Let u = o - 7837/66. Which is smaller: u or 2/7?
u
Let p = -66.6 - -57. Let u = p - -9.64. Let l = u - -0.96. Does -3/14 = l?
False
Let t(n) be the first derivative of n**3/3 + 11*n**2/2 - 11*n - 25. Let r be t(-8). Let j = 36 + r. Which is smaller: -6/29 or j?
-6/29
Let c = -4100 - -3858. Which is bigger: 0.04 or c?
0.04
Let a(v) = -62*v - 306. Let n be a(-5). Suppose -3*y = -2*q + 1586, y + 3162 = n*q - 0*y. Is 790 >= q?
True
Let h = -1801 - -1801. Which is greater: -6/349 or h?
h
Let t be 2/6 - (-154)/6. Let l be (-5 - (-301)/189)*(-240)/32. Is t <= l?
False
Let v be 1 + 6 + (3363/(-1062))/((-2)/(-4)). Let f be (0 + -1)*(-3 - -19). Which is smaller: f or v?
f
Let q = -12.495 + -2.575. Let c = 14.5 + q. Which is smaller: 2 or c?
c
Suppose -5*k = -0*k. Let d = 97/4 + -2789/116. Which is smaller: k or d?
k
Suppose -32*k + 34*k + 4*i + 526 = 0, -1028 = 4*k + 2*i. Let s be 6/k*(-1)/(-5). Is s >= -1?
True
Let f = 2731 + -2728. Is f > 31/17?
True
Let z = -0.0851 - 87.0149. Let v = z - -87. Is 0.28 > v?
True
Suppose -50*q = -23*q - 4644. Let u = q - 170. Is 2 smaller than u?
False
Let t = -0.08069 - -0.05069. Is -150 greater than or equal to t?
False
Suppose -12*o + 3090 = -2*o. Suppose 4*i - i + o = 3*g, -4*i + 5*g - 417 = 0. Let p be (-33)/9*(23 - (1 - 5)). Which is bigger: i or p?
i
Let h = -331/32 - -38989/224. Let s be 2/9 - (-5912)/(-36). Let g = s + h. Is -0.3 smaller than g?
True
Suppose -72*h = -69*h + 27. Let i be (-2)/((h - -16)*(-2)/(-14)). Is -11/6 != i?
True
Suppose 0 = 2*u - 4*q - 92, -4*u - 4*q + 235 + 9 = 0. Let h be u*7/70 + -6. Let x = 0.99 - 1.8. Which is greater: x or h?
h
Let o = 37.8 + -39. Let y = -1.19 - o. Is y smaller than 0.08?
True
Suppose -g + 6 = 1. Let w be 0*g/(-10) - 1. Let q be (-1 - w)*(-3 - -2). Are q and 0 equal?
True
Let n = -9.726 + 3.726. Is n less than 1/21?
True
Let g be 705/65*(-84)/18. Are -50 and g non-equal?
True
Suppose -5*h = 2*i - 0*h + 69, 0 = -i + 4*h - 54. Let g = i - -38. Is g >= -18/5?
False
Let u = -398977/3 - -135145. Is u equal to 2154?
False
Let d(u) = -u**2 - 16*u + 147. Let h be d(8). Let v be (-12 - 612/h)*(-10)/(-52). Which is greater: v or -0.9?
v
Suppose -5*y - 2*t + 74 = 0, 1 = t - 1. Let u be 4 - 24*y/9. Which is smaller: u or -34?
-34
Suppose -2*b - 33 = -5*b. Suppose 0*q = b*q - 1012. Is q smaller than -1?
False
Suppose 1 + 0 = x. Let h = 2 - x. Suppose -11323 = -163*b - 8878. Do b and h have the same value?
False
Let p(k) = -k**2 - 9*k + 63. Let o be p(5). Let m(x) = -x**2 - 6*x + 3. Let h be m(o). Is h at most as big as -4?
True
Let y = 0.035 + 0.177. Let m = y + -0.112. Is -0.062 smaller than m?
True
Let m = 461136781/124974299 + -4072/66089. Let i = -114/31 + m. Is i equal to 1?
False
Let j be 6306/(-15) - (54/(-225))/((-2)/5). Which is smaller: -430 or j?
-430
Suppose j + 18*o = 13*o - 25, -4*j - 10 = 2*o. Are j and -17/239 nonequal?
True
Let f = 663 + -428. Let l = f - 230. Which is bigger: l or -1.3?
l
Let h = 161585656/2183 - 74020. Which is greater: h or -1?
h
Let q = -1802 + 1859. Is 0.3 smaller than q?
True
Let t(n) = -3*n. Let h(p) = p - 48. Let a(c) = -h(c) - 2*t(c). Let f be a(8). Is f at most 175/2?
False
Let q be (26370/20)/(((-7)/2)/(-7)). Suppose q - 406 = 23*g. Do 98 and g have the same value?
False
Let l(t) = 16*t + 11*t + 74 - 10*t. Let b be l(-5). Is -12 bigger than b?
False
Let i(o) = -o**3 + 3*o**2 - 4*o + 4. Let w be (-7)/2*(-4)/7. Let r be i(w). Suppose -3*l - f + 0 - 1 = r, -5*f = -3*l - 13. Is 0.15 less than l?
False
Let c = -4.11762 - -4.0845. Which is greater: 0.3 or c?
0.3
Let q = 327 + -327. Let c be 1 + 0 - q/6. Which is greater: -6/137 or c?
c
Let j be (2/(-6))/((-9)/108). Let u be (17/j)/(((-57)/(-36))/(-19)). Suppose -i - 3*i = -2*v + 210, 4*i = 5*v - 213. Which is smaller: i or u?
i
Let o be ((-9)/(-6))/(4/(-56)). Let k be 8/(((-16)/28)/(6/o)). Suppose 2*l - g = k*l + 5, -4*l + 3*g = 5. Is l smaller than -6/7?
True
Suppose 1663 = 2*w - 5*k, -w - k = -4*k - 833. Suppose 29*u - 25*u - w = 0. Do u and 1/4 have different values?
True
Let t be 5 - 3 - (0 - -1). Suppose 0*j + 3*j + 30 = 3*w, 5*w + j = 20. Suppose -3*p + 5*c = 1, 3*p - 2 - w = c. Which is smaller: t or p?
t
Let v = -55 + 106. Let g be (-36)/162 - 2/((-90)/(-125)). Which is smaller: g or v?
g
Suppose -2*w - 79 = -399. Let z = w - 130. Which is smaller: 31 or z?
z
Suppose 0 = 137*n + 35213 + 13559. Is -370 equal to n?
False
Suppose 0 = -11*s + 10*s. Suppose s = -2*q - 10 + 36. Suppose -3*r = 53*r - 784. Is r at least q?
True
Let w be 136/10 - (355 - 341). Which is greater: 1.22 or w?
1.22
Let a be 25008/(-9)*-1*6/4. Let t = a - 125051/30. Which is smaller: t or 0?
t
Let g be 5373/9552 + (3/(-2))/3. Are 7 and g nonequal?
True
Let c = 2.04 - 0.04. Let h(m) = -43*m**2 - 15*m + 99. Let g be h(5). Let t = -1078 - g. Are t and c nonequal?
True
Suppose -15*x - 17*x = 4697 - 40761. Is 2/7 less than x?
True
Let o = 34.9 + -34.9. Which is smaller: o or -2/3793?
-2/3793
Let z be (12 - (-35307)/(-2943))*(-6)/7. Which is smaller: z or 0?
z
Let d be ((-2)/5)/(21/(-135)). Let k = -385 - 7. Let z = 394 + k. Does z = d?
False
Let p(a) = 3*a**3 + 3*a**2 - 3*a - 10. Let c = 100 - 104. Let o be p(c). Which is greater: o or -143?
o
Let u be (-111)/(-185)*((-6)/9 + 1). Is 10/47 > u?
True
Let k = -514903/5 - -102415. Which is smaller: -567 or k?
-567
Let f = 289 + -347. Let d = f - -120. Which is smaller: 3/5 or d?
3/5
Let a = 1303/5 - 262. Let g = -97 + -37. Let l = -134 - g. Which is smaller: l or a?
a
Suppose -2*r + 127 - 9 = 2*j, -5*j + 185 = 3*r. Let h be 748/r - (-4)/10. Let w be (5/(-3))/(-12 - (-499)/42). Is h equal to w?
True
Let i = 59 + -202. Let p = -143 - i. Is 0.062 greater than p?
True
Let g = -4.79 + 4.136. Let p = -0.65 - g. Let o = 3.996 + p. Is -12 bigger than o?
False
Let g be (-8)/12*19/((-38)/(-336)). Let d = -99 - g. Which is bigger: d or 14?
14
Suppose -16173 = -4*k + 3*q, 42*q - 43*q + 20221 = 5*k. Are 4044 and k equal?
True
Let q be (2 + 5/(-2))*(3 - 5). Let m(x) = -92*x**3 + 2*x**2 - 2*x + 1. Let r be m(q). Let l = -107 - r. Is l > -17?
True
Let c(j) = 18*j**2 + j + 51. Let f be c(0). Let i(m) = 9*m - 14. Let q be i(7). Is q at least as big as f?
False
Suppose 16 = -9*j - 20. Let c be j - (-3 + (2 + 6 - 1)). Let q be (2 + 28/(-21))*2/c. Do 2 and q have different values?
True
Suppose 370 = 4*p - 1297 - 301. Is 3436/7 at most p?
True
Let y = 1/2428 + -167539/169