 8*x + 14*x - o*x = 0. Do 40 and x have different values?
True
Let p(m) be the third derivative of -m**4/8 + 49*m**3/6 + 158*m**2. Let v be p(18). Are 4/7 and v nonequal?
True
Let k = 17 - 13. Suppose -2*i + 26 = 4*d, 5*i + 0*i - k*d = 51. Let g = 1210 + -4797/4. Which is bigger: g or i?
i
Let u = 194 + -179. Let l be -8*-1*(-1 + (-27)/u). Is l bigger than -22?
False
Let c = -170 - -202. Let n = c - 51. Which is greater: n or -0.5?
-0.5
Let b = -5.1129 - -36.1129. Let d be ((-4)/(-5))/((-3)/(-5)). Is d < b?
True
Let n be 4*((-7)/(-2))/(-7)*236. Let g = n + 473. Which is greater: -21/43 or g?
g
Let t = 1564647 - 17222955/11. Let y = t - -675206/627. Which is greater: y or 0?
y
Suppose 44 = -4*z + 880. Suppose 13*t - 2730 = -0*t. Are t and z equal?
False
Let u be -4 + 10 + (3 - 9). Is -8/163 bigger than u?
False
Let h be 460/120 - 1/(-6). Let b be h - (-74)/(-12) - -1. Is b less than 0?
True
Suppose 179*o + 66*o - 442645 - 3478335 = 0. Is o != 16005?
True
Let o(u) = 5*u + 9. Let l be o(1). Suppose -l*v = 31*v + 3735. Which is greater: v or -82?
-82
Let f(z) = z**3 + z**2 - 2*z + 23. Let x be f(-6). Let s = 4063/28 + x. Is s >= 1?
False
Let v = 2206/25 + -6091/25. Is v not equal to -155?
True
Let b(d) = 4739*d + 602. Let p be b(-1). Which is bigger: -4136 or p?
-4136
Let u be 6/((-51)/(-935)*(-2)/4). Let y = u + 217. Suppose -h - 14 = -b - 5, 5*h = -3*b - 5. Is y bigger than h?
True
Let n(r) = 15*r + 423. Let y be n(-41). Let m = -1136580/11 - -103518. Let s = m + y. Which is smaller: s or 4?
s
Let i = -101 + 167. Let p = 217/12 - 1003/12. Let v = p + i. Which is bigger: 0 or v?
v
Let m be ((-133)/(-76))/((-4)/(-1856)). Which is smaller: 815 or m?
m
Suppose 2*n - n = -z, n = 5*z. Suppose 0 = j + 3*j + 4*w - 364, 0 = 4*j - 5*w - 382. Let r = 929/10 - j. Which is smaller: r or n?
r
Let k be (-6)/(-45) - (3874/30 + 4). Let o be (-8)/42*k/38. Is o > 0.2?
True
Let t be 12/(-3) - (-11072)/3080. Let h = t - -2/385. Is h equal to 55/2?
False
Suppose -l + 87 = -4*a, -4*l = -l - 5*a - 268. Let w be (0 - 2)/((-14)/l). Is 11 < w?
True
Let a = -4904 + 58643/12. Let f = -14915/852 - a. Is f != 0?
True
Let n = 253.8 - 239.8. Which is bigger: -1.27 or n?
n
Let v(c) be the second derivative of 0*c**2 + 1/20*c**5 + 0 - 8*c - 1/2*c**3 - 1/12*c**4. Let w be v(4). Which is smaller: w or 35?
35
Suppose 0 = 10*q - 7*q + 4299. Let i be (-10)/(-35) - q/7. Which is smaller: 204 or i?
204
Suppose -9 = 5*i - 4. Let p be -8 - (-12 - -1) - (-736)/(-252). Are p and i equal?
False
Let b be (2*1)/(1202464/8 + -3). Let l = b + 306922788/1653355. Let p = l - 186. Which is smaller: p or 1?
p
Suppose 2*q + 125 - 127 = 0. Suppose x - 2*n + 8 = 0, 0 = -5*x - 5*n - 4 + 9. Let y be 110/195 - x/(-3). Do y and q have the same value?
False
Let a = 2026 + -1946. Is 629/8 >= a?
False
Let v = -48.6801 - 0.3199. Let w = 98 - 52. Let i = v + w. Which is greater: i or -9?
i
Let q = 13 - 13. Suppose -k + 5*f = 6, q*f = k - 2*f. Suppose -k*u - 2*o + 16 = 0, 2*u - 5*o + 3 - 11 = 0. Are 4 and u nonequal?
False
Let n = -14346 - -22119. Are 7775 and n unequal?
True
Let p(b) = b + 2. Let z be p(2). Let k(r) = -r + 28. Let i be k(16). Suppose -52*a + 49*a = -i. Is z less than a?
False
Suppose -21 = -k + 2*v + 3, 5*v = -2*k + 3. Suppose -k = -4*s - 214. Are s and -52 unequal?
True
Let r(n) = -2*n. Let f(x) = -9*x - 20. Let u(d) = -f(d) + 5*r(d). Let h be u(22). Let o = -525/4 - -130. Which is greater: o or h?
o
Let m = 43 + -44. Let y be m + 3 + (-2 - 2)/4. Are y and 5/53 equal?
False
Let g = -24.293 - -3.293. Is 18.9 greater than or equal to g?
True
Suppose 81*w - 86*w = -175. Let t(k) = 4*k - 18. Let z = 5 + 8. Let b be t(z). Which is smaller: w or b?
b
Let y = 546 - 526. Suppose -1890 = 2*r - y*r. Which is smaller: r or -1?
-1
Let r be 15*((-1577)/171 - 4/(-18)). Is -129 less than r?
False
Let y = 33 + -77. Let n(a) = -8*a**2 - 54*a - 28. Let t be n(-7). Let k = t - y. Which is smaller: k or 20/11?
20/11
Let o be ((-52)/(-24))/13*13. Let p = 18.65 + -18.55. Which is greater: o or p?
o
Let m be ((-3)/9)/(4/(-144)). Suppose 3*b + 127 = 2*q, -5*b = -b - m. Is 67 at least q?
False
Let q be 33*(-1)/3 - (-217305)/19725. Is 1 <= q?
False
Let g be (-6)/(-2 - 1) - 0. Suppose -k + 3*y + g*y + 37 = 0, -3*k = -4*y - 56. Let m be -2*(-3)/k*-2. Is -1 != m?
False
Let v = -891 - -844. Let c = -34 + 34. Which is bigger: c or v?
c
Suppose -4*y = w - 3621, 0 = 1666*w - 1671*w - 15. Is y at least as big as 901?
True
Let x = 1251 - 71306/57. Is 1 at least x?
True
Suppose -2*y + 4 = 4*b, -3*y - 3*b = -2*y + 1. Let d be (-37 + 34)*y/6. Is -76/17 less than d?
True
Let w(o) = -27*o + 25. Let y be w(3). Let k be 2373/y + (0 - 9/(-24)). Is -42 > k?
False
Let q(m) = 51*m**2 - 8*m + 10. Let j be q(2). Let n be 1 + 804/j + -5. Suppose -3*x - 3*i - 9 = 0, 0*x + 3*i + 9 = 4*x. Are x and n unequal?
True
Suppose 0 = -50*l + 49*l - 4*k - 19, 0 = 2*l + k + 10. Let o be ((-7)/l)/((-127)/1143). Let p(c) = 3*c - 5. Let g be p(-5). Is o at most g?
True
Let x(v) = 714*v - 5234. Let s be x(7). Are s and -250 non-equal?
True
Let s be -5 - (5 + 7) - 2/(-1). Let h be (-12)/(-90) + 14/s. Let b = -3/10 + 1/20. Is b at least h?
True
Let h = -82572 + 82543. Let p be 20/(-15)*(17 - -1). Let t = -54 - p. Which is smaller: t or h?
t
Let p = 2.18 - -19.12. Let o = -9 + p. Let m = -2.3 + o. Is m < -2?
False
Suppose -6 = 4*h + 3*g, -7*g - 10 = -2*g. Let i be (55 + -55)/(h + (-1 - 1)). Is 1/6 < i?
False
Let m = 941/33 - 85/3. Let k be (-6)/(-1)*(-2)/4*196/(-2940). Which is smaller: k or m?
m
Suppose 2*n = -i - 50 - 68, -5*i + 2*n - 626 = 0. Is i equal to -117?
False
Let t = -12.7 + -0.3. Let c = 2/39597 + -35198/13199. Which is smaller: t or c?
t
Suppose -4*c + 26 + 82 = 0. Let u(v) = -v**2 - 9*v + 9. Let p be u(-6). Is p < c?
False
Let n = 31366 - 15062. Let r be n/120*1/(-2). Let c = r - -68. Which is smaller: 0 or c?
0
Suppose 3*s = 12, -2*d + 3*s = -0*s - 298. Let o = d - 148. Which is smaller: 70/11 or o?
70/11
Let r be (16/(-310))/((-40)/1200). Let v(w) = -2*w - 13. Let m be v(-7). Is m greater than or equal to r?
False
Let b(m) = -2*m**2 - 99*m - 900. Let o be b(-12). Let k be 1 - 24/47*2. Which is bigger: o or k?
o
Let d = 11.24 + -0.24. Let g = -559 + 751. Let m = -197 + g. Which is bigger: d or m?
d
Let b = 5 - 7. Let t = 28105 - 45501993/1619. Let v = -38842/11333 - t. Do v and b have different values?
True
Suppose -f + 676*t = 673*t + 4923, -4*t - 24520 = 5*f. Which is greater: -4909 or f?
f
Let z = 2568 - 2805. Which is bigger: -233 or z?
-233
Suppose -5*c = 15, -19341 = -3*m + 616*c - 614*c. Which is smaller: -1 or m?
-1
Let a = 387091/450 + -7742/9. Is a bigger than 1/97?
False
Let v(r) = r + 2. Let j(s) = s**2 - 9*s - 6. Let k be j(9). Let w be v(k). Let b be 0/((-3)/(w/(-4))). Which is greater: b or -0.4?
b
Suppose -4*l - 3*r = 2*r - 14, 0 = 2*l - r. Suppose a + 6 + l = 2*k, -19 = k + 4*a. Which is smaller: k or -16/49?
-16/49
Let n(h) = h**2 + 6*h - 39. Let r be n(4). Let u be ((-20)/(-1010))/(-1 - r). Is 0 greater than or equal to u?
True
Let u(a) = 5*a + 51. Let c be u(-10). Let h = 496/3 + -48106/291. Is c at most h?
False
Let i = -1.2 + -1.3. Let n = i + 7.5. Which is bigger: 16 or n?
16
Let k be (-1 - -48) + (-5)/(20/12). Let v = -37 + k. Suppose 19 = v*u - 107. Does u = 17?
False
Suppose 3*b - 10 = -5*j, 4*b - 5 = 3*j - 8*j. Suppose j*g + 4*v - 534 = 5*v, 0 = g - v - 106. Which is smaller: g or 106?
106
Suppose -4765*b + 4752*b = 1365. Which is smaller: -103 or b?
b
Let a be -1*(2 + 0)*-3. Suppose d = -a*d. Suppose 3*n + d = 3. Which is smaller: n or -1?
-1
Let g be (-21)/14*(-34)/(-6) + 3. Suppose -2 = -3*s - 5, -4*p - 1 = s. Is g smaller than p?
True
Suppose 1299*p = 1298*p + 2889. Are p and 0.1 equal?
False
Let x be (555/(-295038))/((-10)/6). Which is smaller: 1 or x?
x
Suppose 5*h - 4*c = 23, 4*h = 4*c + 183 - 163. Suppose 3*y + 11 = -z + 8, 3*y = -h*z - 9. Suppose 6 = k + k. Which is greater: k or y?
k
Suppose 4*t + 16 = 0, t - 2 - 2 = -4*z. Suppose 0 = 139*d - 340*d + 402. Suppose d*w = 5*p - 143, -274 = -2*w + 6*w + z*p. Are w and -70 equal?
False
Let r(v) = 12*v + 155. Let k be r(0). Let t = 176 - k. Is 18 < t?
True
Let p be 210/72*2/(-8)*-6. Let o = -5/8 + p. Suppose 3*r = 2*r + 5. Is r smaller than o?
False
Let s(i) =