 Are z and -63 non-equal?
True
Suppose 1200 = -106*d + 114*d. Let t = 149 - d. Is -7/88 less than t?
False
Let b = 72 + -89. Let i = -46 - b. Let d = i - -28.8. Is -12 != d?
True
Let q(d) = -11*d**3 - 6*d**2 + 2*d. Let p be q(-2). Which is bigger: p or -11?
p
Suppose -2*g + 42 = -4*s, 5*s + g + 34 = 2*s. Let d(q) = -q - 2. Let o be d(s). Is 9 bigger than o?
False
Let t be (-3)/(-2)*(-16)/(-3). Suppose -4*n - 47 - 23 = -5*f, 0 = 3*f + n - 42. Suppose 0 = -5*g - 4*c + 36, -c + 25 = 5*g - f. Is g equal to t?
True
Let u = 821 + 4615. Let p = u + -5425.035. Let a = p + 0.035. Is 4 bigger than a?
False
Suppose -16*t + 23*t - 21 = 0. Let g be t*-11*(-12)/18. Let d(q) = -12*q - 3. Let z be d(-2). Is z at least as big as g?
False
Let o be -1*((-26)/(-2) - -1). Let r(p) be the first derivative of -p**3/3 + p**2 + 22*p + 20. Let g be r(-5). Which is bigger: g or o?
g
Let t be 2 + 1 - 18/((-126)/1673). Which is smaller: 241 or t?
241
Suppose -127*h + 138*h = 231. Is h smaller than 1/8?
False
Suppose 196*r = 151246 - 13262. Is 696 at most r?
True
Let w = -13.96 - -14.76. Let a = -0.154 - 21.846. Is w != a?
True
Let n(w) = w**2 + 24*w + 23. Let b be n(-23). Let s(u) be the first derivative of -u**2/2 - 3*u - 6. Let o be s(-1). Which is bigger: o or b?
b
Let l be ((-56)/6 + 8)*(-4 - -1). Is 157/31 < l?
False
Let k = -3.988 + 4. Let a = 24.682 - 24.64. Let i = k - a. Are i and -3 unequal?
True
Let c(a) = 23*a - 77. Let o be c(9). Let k = o - 129. Is -1/201 less than k?
True
Let c be -218*(75/(-10) + 8). Let s = -108 - c. Is s bigger than 2/1705?
True
Let g be (-1 + 0)/(1/(-1)). Let h be 45 + (2 - 4)*-1 - g. Let t = 14 - h. Which is smaller: -34 or t?
-34
Let u(f) = f**3 + 5*f**2 - 5*f + 13. Let y be u(-7). Let v = y - -55. Suppose i + 22 = v*l, -2*i - 40 = 2*i + 4*l. Which is bigger: -0.3 or i?
-0.3
Let v(r) = r**3 + 3*r**2 - 13*r + 8. Let a be v(-6). Let o = a + 22. Is 2/425 greater than o?
True
Let c(j) = -j - 9. Let s be c(-9). Suppose 2*g - 68 - 14 = s. Suppose -3*d - 5 = -g. Which is smaller: d or -1/4?
-1/4
Suppose -4*a - 2488 = 5*w - w, 3*w - 12 = 0. Let f = 626 + a. Let g be ((-2)/(-88))/((-9)/24). Is f > g?
True
Let b = -4056 + 3366. Which is smaller: b or -691?
-691
Let i = -1212.41 - -1212. Which is smaller: -93/2 or i?
-93/2
Let x be (3/(-5))/(1152/(-17520)). Let l = -2003/216 + x. Which is smaller: l or 1?
l
Let t = -50.82 + 51. Let q = -4.28 + t. Let w = q + 4.3. Which is bigger: w or -0.8?
w
Let u(g) = 4*g**2 + 24*g - 48. Let z be u(2). Which is bigger: 3/10 or z?
z
Let m = 786 + -847. Let o = -154 + 86. Let i = m - o. Is -1/8 not equal to i?
True
Suppose 3*f - 3 - 9 = 0. Let l be f + (1268/(-11416))/((-4)/(-144)). Let a = -1541/81339 + l. Is 0.1 < a?
False
Let m(s) = -s**3 + 102*s**2 - 203*s + 270. Let c be m(100). Which is smaller: -128 or c?
-128
Let i = 1033 - 7930. Which is smaller: i or -6896?
i
Let j = -6085 + 6531. Is 451 less than or equal to j?
False
Let z = 94.75 - 0.75. Let w = -68211 - -68212. Which is bigger: w or z?
z
Let i be 2/(-7) + 54/140. Suppose 7 = -20*l + 27. Suppose n = -6*x + 5*x - l, 0 = x - 5*n + 1. Is x smaller than i?
True
Let s = -17185 - -17185.08. Which is smaller: 1/117 or s?
1/117
Let j = -17855/202 - -90/101. Let h = 11733453/26 - 451199. Let k = j + h. Which is greater: 1 or k?
1
Let k(c) = 11*c**3 - 23*c**2 - 8*c + 9. Let y be k(2). Let i = -24 + 9. Is y at least i?
True
Suppose -3733 = 19*p + 1663. Do -279 and p have the same value?
False
Let v = -360 - -356.6. Let f = v - -3.4. Which is smaller: f or 33?
f
Let q be (-938)/1176 + 3/4. Let l = -128.44 + 128.4. Which is bigger: l or q?
l
Suppose -32*l + 31*l + 2 = 0, -2*l = -8*k - 4. Which is greater: k or 3/2278?
3/2278
Let l = -2539/796430 - 5/2182. Which is smaller: -1/34 or l?
-1/34
Let t be (-3)/4*32/72*-6. Suppose t*k + 2*k - 8 = 0. Suppose 5*l + 1 = 3*o + 20, 0 = 3*o + k*l - 16. Which is smaller: o or 8/7?
8/7
Let n be ((-112)/(-665))/((-4)/(-10)). Let g(p) = -2*p**2 - 62*p - 4. Let d be g(-31). Let i be 0/((-6)/(24/d)). Is n less than or equal to i?
False
Let t(x) = -x**2 + 52*x - 1. Let q be t(52). Let w = 2262964/124665 - -6/290885. Let d = w - 128/7. Which is smaller: d or q?
q
Let y(g) = g**3 - 4*g**2 + 13*g - 14. Let w be y(3). Is w greater than or equal to 11?
True
Suppose -5*v - 10 = 4*k, k + v = -4*k - 2. Are k and 2/971 equal?
False
Let j be (-6)/5*(-9 + (-116)/(-12))*-1430. Which is greater: j or 1145?
1145
Suppose -3*v + 4*v = -5*g - 64, 2*g + 179 = -3*v. Let i = 64 + v. Let p be i/(-1) - (-7 - 2). Which is greater: p or 12?
12
Suppose 150 = 55*n - 52*n. Let j = n - 31. Suppose 3*q + 3*y + 52 - j = 0, -2*q - 20 = y. Is q < -9?
False
Let f be (-55)/(-22) + (-2)/4. Suppose 0 = f*w - 14 - 14. Suppose 3*c + 3*d + 0*d = 30, 56 = 4*c - 4*d. Is c at least w?
False
Let o(t) = 5*t**2 + 4*t - 5. Let d be o(1). Suppose -7*k + r - 8 = -8*k, 3*k - 5*r = -8. Does k = d?
True
Let i(j) = -22*j + 223. Let y be i(10). Suppose -v + 44 = -y*g - 177, 2*v = -g - 62. Is g at least as big as -71?
False
Let l be (-6)/(-8) + ((-22041)/(-186))/(-7 - -1). Is -409/20 smaller than l?
True
Let t = -73.76 + 73.66. Which is bigger: t or 3539?
3539
Let h = -10457 + 9803. Which is bigger: -656 or h?
h
Let y(s) = 371*s - 2204. Let x be y(6). Let a(z) = z**2 + z + 2. Let v be a(4). Is v less than or equal to x?
True
Suppose 64 = 2*j + 24. Let z = -111.284 + 111. Let g = -0.184 - z. Is j less than g?
False
Let i = 8 + -14. Let u be i*(-12)/(-27) - -3. Let n = -6.9 - -7. Which is smaller: n or u?
n
Let m = -580/41 - -91118/6273. Is 0 at most as big as m?
True
Let s = 3243 - 3217. Which is greater: -3/11 or s?
s
Let b be (-36)/36 - (1 - (-33)/(-16)). Is b < 2/31?
True
Let f = -141 - -140. Let v be 2/f + 8 + 14. Let a be (-4 - -7) + 165/9. Which is bigger: a or v?
a
Suppose 108*y - 109*y = -3*s + 17932, -y - 5980 = -s. Is s bigger than 5976?
False
Let n(a) = a**3 - 13*a**2 + 21*a + 9. Let l be n(11). Let d(f) = 7*f + 14. Let k be d(l). Let z = 20/27 - 1007/1323. Which is smaller: z or k?
z
Let s(g) = g**3 - 10*g**2 - 36*g + 33. Let k be s(10). Is k >= -330?
True
Suppose 35*y - 90 + 90 = 0. Do y and -24/131 have different values?
True
Let s be (-1)/((-513)/(-129) - 4). Let p = -44 + s. Let l(w) = w**2 + 3*w + 1. Let q be l(p). Does q = -1?
True
Let b be (-4)/(-26) - (-203478)/(-858). Is b <= -2134/9?
False
Suppose 0 = 3*u - 9, 0 = -4*i - u + 4*u - 69. Let k = 537 + -555. Which is bigger: k or i?
i
Let a be 0 - (-10 - -6) - 404. Let h = a - -2006/5. Suppose 0*k = -2*k. Is h greater than k?
True
Let g = 2 - 31. Let x = g + -34. Let a = 47 + x. Which is smaller: -1 or a?
a
Suppose 188*j - 67*j = 80*j. Which is bigger: j or -2/3413?
j
Let h = 200.8 - -7.2. Let x = -79 + h. Let s = x - 128.7. Do -7 and s have different values?
True
Let j be 8/20 - 1312/2255. Is j bigger than 140?
False
Let w = 188 + -321. Let t be (-3 + w/(-14))*(-3 - 1). Is -26 >= t?
True
Suppose 0 = -0*v - v. Suppose 4*a - 6 = p + 8, -2*p + 5*a = 16. Suppose -p*r = -2*m, m - 18 = -5*r - v*m. Which is smaller: 3/2 or r?
3/2
Let i(o) be the first derivative of -o**4/4 + 7*o**3/3 + 19*o**2/2 - 12*o - 17. Let n be i(9). Let d be ((-5)/30*n)/(3/6). Which is bigger: 9/19 or d?
d
Let q = -0.557 + 1.557. Which is bigger: q or -0.768?
q
Let y be 10/35 - 2/7. Suppose -2*v = j, y = -5*j - 0*j + 3*v. Is -1/333 <= j?
True
Let h be 5/2*(-120)/(-75). Suppose 12 - h = -k. Let o be -19 + (6/33 - k/(-44)). Is -21 < o?
True
Let i = 0.52 + -0.47. Let l = 317 - 32. Let z = l + -3137/11. Which is greater: i or z?
i
Let p = 12162.819 + -12163. Which is bigger: p or -3?
p
Let c = -616 - -425. Let m be 6 + (-341)/55 + 1898/(-10). Which is smaller: c or m?
c
Let g(k) = 11*k**2 - 10*k + 3. Let n be g(2). Let s be n/(-24) + (-8)/(-64). Which is bigger: s or -1/21?
-1/21
Let a be -7 - -1 - 5/(5/88). Is a less than or equal to -93?
True
Suppose 4*j + 25 = 2*j - 3*f, 5*j = f + 14. Which is smaller: -1/4410 or j?
-1/4410
Let x(i) = -258*i + 2091. Let b be x(8). Is b > 340/13?
True
Let d = -3712 - -3149.3. Let o = 564 + d. Is 2 smaller than o?
False
Let j(m) = m**3 + 4*m**2 + 4*m + 4. Let s be j(-3). Let n be (-16)/(-20)*(19 - 4784/253). Is n less than s?
True
Let q be (-12)/78 + ((-3972)/39 - -2). Let n be (2 - 42/15)*(-4335)/(-34). Is n < q?
T