 -5*w + 2*q + 1036. Do 206 and w have the same value?
True
Suppose -181 + 73 = 4*u. Let j be 1*(1 + 4 + 330). Suppose 14*v + 71 + j = 0. Which is smaller: v or u?
v
Suppose 46096 = 10*s + 13166. Which is greater: s or 3291?
s
Let s be -4*(-7)/((-252)/(-6381)). Suppose -716*x = -s*x. Let h be 25/84 + 1/(-3). Is x smaller than h?
False
Let m = -1834 - 6472. Is -8305 less than m?
False
Let p(c) = 7*c**2 - c - 2. Let i(w) = -w - 7. Let x be i(-6). Let j be p(x). Let b be (1 - 3)/j*-3. Are b and 2/51 equal?
False
Let z be ((-1)/(-4))/(80/(-1120)). Are 3.23 and z equal?
False
Let t be (3 - 2)*0/(-1). Suppose t = 3*m - 50 - 4. Is 20 < m?
False
Let g be 1/(-9) - (344/860)/(18/(-101705)). Do 2253 and g have different values?
True
Let u(f) = 50*f - 43. Let g(y) = -498*y + 432. Let r(c) = -4*g(c) - 42*u(c). Let l be r(-3). Which is smaller: 401 or l?
401
Let t be (80/528 + (-11)/((-121)/2))*-3. Is -1/3531 > t?
True
Suppose 0 = -26*s + 29*s - 306. Suppose 3*c - c = 12. Let k be s/(-20) - c/(-10). Is -6 > k?
False
Suppose 0 = -i + 7*i - 6. Let s = 2707/6 + -449. Is s not equal to i?
True
Let w be 1299*(-152)/57 - 22. Is w greater than -3489?
True
Suppose -2 = -2*f + 2*u, 4 = -2*f - u + 3. Suppose -3*v + 4 + 29 = f. Suppose -2*w = g - v + 1, 3*w - 15 = 0. Which is bigger: g or -9/11?
g
Let o = -11889 + 12344. Which is bigger: 453 or o?
o
Suppose 0 = -51*n - 30*n - 39771. Which is smaller: n or -489?
n
Suppose -36 = -2*y - n - n, -2*y + 3*n = -26. Let r be (520/y)/(-13)*(-24)/5. Which is greater: 6 or r?
r
Suppose -2*k + 20 = 5*p, 4*p = -5*k + 11 + 5. Are -60/107 and k non-equal?
True
Let d = -552 + 592. Let s = 3 - 4. Let j be 55/d - (-1)/s. Which is smaller: 1 or j?
j
Let r(p) = p**2 + 0*p - 55*p**3 + p - 2*p**2 + 1 + 70*p**3. Let x be r(-1). Let l = 16 + x. Is 0.5 > l?
True
Let l = -0.0174 + -6.8026. Let b = l - -6.92. Is -16 smaller than b?
True
Let f = 1330 - 1336.01. Let g = 0.71 + f. Let w = g + -4.7. Do 2 and w have the same value?
False
Let d be ((-1)/4)/((-61)/244). Is d > 1/4772?
True
Suppose v - 120 = -56 + 344. Is v equal to 8?
False
Let b be 4/(-2) - (3 + 3). Let n(d) = 3*d - 39. Let r be n(13). Suppose r = 4*o - 5*o - 8. Is b greater than or equal to o?
True
Suppose 4*x + 6 = -3*p, 2*x + 0*x = 2*p + 4. Let v(y) = y**3 + 7*y**2 + 8*y + 2. Let r be v(p). Let m(g) = -6*g + 8. Let o be m(r). Is -29 != o?
True
Let j(o) = -30*o**2 - 69*o - 650. Let d be j(-8). Does -14130/7 = d?
False
Let x(k) = -97*k + 680. Let n be x(7). Let f = 20 - 8. Let z be (2/(-52))/((-6)/f). Is z less than n?
True
Let t(n) = n**2 + 13*n - 51. Let h be t(-18). Let j = -57 + h. Is -4 not equal to j?
True
Let h be (36/5346)/((984/(-9))/(-4)). Which is greater: h or 1?
1
Let b(i) = -96*i + 12003. Let m be b(52). Is 7011 equal to m?
True
Let z(k) = k**2 + 16*k + 38. Let t be z(-14). Let u(m) = 2*m - 19. Let r be u(t). Is -97 not equal to r?
True
Suppose -20670*a - 189 = -20643*a. Which is smaller: a or 0.072?
a
Let z = -243 - -248. Suppose -4*o - 505 = z*y, -2*o - 303 = 3*y - o. Which is smaller: y or -100?
y
Let y(t) = -284*t**3 - 2*t**2 - 12*t - 11. Let s be y(-1). Is 0.2 less than or equal to s?
True
Let m = 100 + 624. Let o = 738 - m. Which is smaller: o or 22?
o
Let d be ((-2)/4)/(4/((-48)/3)). Suppose -d*i + 36 = 2*f, 2*i + 0*i = 4*f - 42. Do f and 168/13 have the same value?
False
Let j = -121 - -121.7. Let k = -22 - -30. Let r = 6 - k. Is r != j?
True
Let s be (-1015)/(-2) - (-147)/42. Which is smaller: s or 515?
s
Suppose -6*j = -13 - 5. Let l be (1/j*0)/3. Suppose 2*v = 3*v - 2, 4*w - 4*v + 8 = l. Do w and -9/8 have the same value?
False
Let j = 1.76 - 0.12. Let z = 1.62 - j. Is z greater than 0.1?
False
Let d(b) = -61*b + 793. Let k be d(13). Which is greater: k or -2/2719?
k
Suppose -5*n + 2*j - 2159 = 0, -222 = -2*j - 228. Is -431 at least n?
True
Let b be (-36)/(-12)*(0 + (-462)/(-279)). Are b and 4 unequal?
True
Let o = 1339/92158 - 14/649. Suppose -2*q + 7*q = g + 1, -3*q + 5 = -5*g. Which is greater: o or q?
q
Let z = -115 - -120. Let l(p) = p**2 + 3*p - 36. Let d be l(z). Is 5 != d?
True
Suppose -14*t - 415 + 118 = -25*t. Suppose 2*p = -2*x - x + 40, -4*x - 16 = 0. Is t > p?
True
Let i = -527 - -531. Let f(t) = t**3 - 3*t**2 - 4*t + 2. Let u be f(4). Suppose u*s = i*s - s. Which is greater: s or 1/6?
1/6
Let g be 8 + (-6 - (-7 - -5)). Suppose -43 = 2*c + g*b + 53, b = 4*c + 183. Is c >= -48?
True
Let m = 99.4403 + 0.5597. Is m not equal to 19/11?
True
Let m be 290941/(-890) - 2/20. Which is smaller: -329 or m?
-329
Let c be ((-36)/8 - -5)*52. Let v be (-4)/c - (-84)/(-130). Is v at least 10?
False
Let x(n) be the first derivative of 11*n**2/2 + 9*n + 9. Let j be x(3). Suppose 0 = -3*y + 3*m - 8 + 50, -j = -3*y + 2*m. Which is smaller: y or 12?
12
Let k = -6 - -14. Suppose 0 = y + 2*h + 6, -4*y + 2*h = -0*h + 24. Let i be 3/1 + ((-14)/y)/(-1). Which is smaller: i or k?
i
Let k = -429 - -4289/10. Let i = 426 - 419. Which is smaller: i or k?
k
Let h(x) = -2*x + 2. Let v(z) = 11*z + 92. Let q(m) = h(m) - v(m). Let y be q(-7). Which is greater: y or 11?
11
Let y(j) be the third derivative of -j**4/24 - j**3 - 8*j**2. Let u be y(-6). Suppose u = -s + 6*s. Which is greater: -27 or s?
s
Let m be (1 - 6/(-18))/((-6)/(-9)). Let g be (m/(-3))/(60/810). Suppose -1 - 44 = 5*w. Does w = g?
True
Let f = -297/62 - -119123/24738. Which is smaller: f or -1?
-1
Let l be (-2721)/(3763/(-4452) - (-2)/21). Is l greater than 3628?
False
Let i = 121651/7 - 17559. Let d = -601 - -422. Let k = d - i. Is -0.3 bigger than k?
False
Let u = -92 - -96. Suppose 2*s - 155 = -3*s. Suppose -d + 3*d = p + s, -u*d = 3*p + 103. Is p bigger than -33?
False
Let y be (12294/27)/(6/9). Suppose 5*g + y + 152 = 0. Is -167 smaller than g?
False
Let f be (-2)/(-4) - 2/4. Let o(t) = t**3 - t**2 + 3*t + 46. Let x be o(f). Which is smaller: x or 47?
x
Let y = -322 + 18356/57. Let d = -2.9 - -11.9. Is y < d?
True
Let g(w) = 9*w**2 - 13*w + 97. Let p(u) = -16*u**2 + 28*u - 195. Let d(h) = -7*g(h) - 4*p(h). Let t be d(14). Which is smaller: t or 5?
t
Let x(b) = 152*b - 852. Let l(h) = -228*h + 1280. Let r(f) = -5*l(f) - 7*x(f). Let q be r(0). Does q = -436?
True
Let d = -298 - 79. Let x = -375 - d. Is 7 < x?
False
Suppose 27 = 7*n - 8. Suppose -3*x - 5*h = -0*x - 44, 2*x = -n*h + 36. Let s be 9/x*(-44)/33*-3. Is s > 6?
False
Suppose -4*q = -4*c + 4, -5*q + 0 + 3 = -3*c. Suppose 2*d - 71 = -c*l - 1, -83 = -5*l - d. Are l and 14 non-equal?
True
Let f = -701.3 - -701.2881. Which is smaller: f or -2/5?
-2/5
Let v = -111.7 + 111.5. Let g = -74.1 - 21.9. Which is smaller: v or g?
g
Let r = 358 + -177. Let i = -44 + r. Is 137 >= i?
True
Let v be (40/11)/(-2) - (-6)/(-33). Let w(q) = q**3 + 3*q**2 - 6. Let d be w(v). Which is bigger: -28 or d?
d
Let x be 4/2 + 8/((-32)/(-468)). Let k = 99 - x. Is k bigger than -21?
True
Suppose -4*l + 200 = 2*r, -5*l - 86 = 2*r - 282. Suppose 570 = -98*z + r*z. Which is smaller: 56 or z?
56
Let r = 463 - 279. Let a be 92/48 - (7300/2336 - (-15)/(-8)). Is a <= r?
True
Let d(h) = 2*h + 12. Let s be d(4). Let p = -14001/20 + 2877/4. Which is smaller: s or p?
p
Let r = -966.9429 + 967. Let c = -6.1571 + r. Which is smaller: c or -2/5?
c
Suppose 0 = -38*f + 13*f + 10 + 15. Do -4897 and f have the same value?
False
Let s be (19/5 - 3)/(8/220). Let b(o) = 242*o**2 - 241*o**2 - 11*o + s + 0*o - 4*o. Let r be b(14). Which is bigger: 11 or r?
11
Let t = 631 - 430. Let x = t - 220. Let b = 32 - 50. Is b less than or equal to x?
False
Let z be (-3619)/(-66)*(-4 - -13). Let m = 497 - z. Is m equal to 4?
False
Let d be (((-33)/(-6))/1 - (10 - 5))/(-2). Is d not equal to 1.284?
True
Let g = 3.21 - -58.79. Let n = -68 + g. Let b = -5 + 3. Are b and n nonequal?
True
Let u = 134 - 131. Suppose -u*t + 1 = -5. Is t greater than or equal to 2/13?
True
Let s(y) = -25*y + 25. Let i be s(1). Suppose 5*b - 2 + 22 = i. Let n = 105/2 - 55. Which is bigger: n or b?
n
Let d(y) = -y**2 + 3*y + 2. Let t(c) = -c**2 + 1. Let g(k) = d(k) - 5*t(k). Let o(b) be the first derivative of g(b). Let v be o(-1). Is v greater than -12?
True
Let r = -477.9118 - 0.0882. Let h = 479.34 + r. Which is bigger: 0.1 or h?
h
Let t = -445/7 + 125933/1981. Is 0 greater than or equal to t?
True
Let z = 101 - 269. Let m = 165 + z. Are 1