l to 0?
False
Let s = 25839 - 26497. Is s at most as big as -659?
False
Let x(p) = -18*p + 4. Let a be x(0). Suppose a*n = -5*o - 212 - 599, 2*o - 5*n + 298 = 0. Is -159 not equal to o?
False
Let n(y) = -10*y**2 - 31*y + 5. Let x be n(-11). Let u = 867 + x. Let c be ((-2)/(-10))/((-2)/5). Is u <= c?
False
Let m = 66.5 - 3.5. Let a = -8466 + 8395. Let q = m + a. Is q bigger than -2?
False
Let t be 4/(-38) - (-108378)/(-342). Let w = t - -325. Is w bigger than 25?
False
Let g = -2034 - -34566/17. Which is smaller: g or 0?
g
Let q = 6564 + -6564. Which is smaller: q or -11/346?
-11/346
Let g = 132 - 223. Suppose 13*y - 270 = 10*y. Let l = g + y. Is 0 less than or equal to l?
False
Let m = -8419.71 + 8420. Which is bigger: m or -1.94?
m
Let i be (-412)/138 + (412/103)/(-6*1). Which is bigger: i or -5?
i
Suppose 0 = -20*j + 24*j - 12. Suppose -18*b = j*b - 21. Are 20/33 and b equal?
False
Suppose 0 = -4*b + 3*t + 225, 3 = 2*t + 1. Let p = b + 7. Let r = -64 + p. Which is bigger: 1/19 or r?
1/19
Suppose 0*v = 3*v - 24. Let r = -6 + v. Let l be (-4)/20 + r/110. Which is greater: l or -1?
l
Suppose -3*f - 2*n + 20 = f, 2*n = f + 5. Let p be 4/21*f/58. Suppose 3*k = 13*d + 61, 4*k + 109 - 172 = -d. Which is smaller: p or d?
d
Suppose -3*c + 3 = w, 0 = 3*c + c - 4*w + 12. Suppose -s + 20 = -c*s - 3*b, -25 = 5*b. Suppose -x = 2, 4*y - s*x - 46 = y. Which is bigger: 11 or y?
y
Suppose 3*a - 3 = 3. Suppose -4*d = 2*j - 10, 4*j + 303*d - 299*d - 20 = 0. Suppose -3*v = a*v + j. Do v and -4/3 have the same value?
False
Let i be (-15)/(4/(-3) - (-165)/225). Suppose i*s - 29*s = -396. Is s >= 100?
False
Let r = -223807/16 + 13986. Suppose q + 12 = 10. Do r and q have the same value?
False
Suppose 3*c + 3*i = 6, 4*i = 3*c + 2*i + 4. Suppose -n + 25 = -c*n. Suppose 0 = -s + 5*m - 19, 7*s = 2*s - 5*m + n. Which is bigger: s or -1/67?
s
Let p(q) = 8*q**2 - 6*q + 5. Let t be p(3). Let y = t + -53. Let g be 6/y + (3 - 78/21). Which is bigger: 0 or g?
g
Let z be (-6 + (-5918)/1970 + 9)/(4/10). Let a(l) = -l**2 - 6*l - 4. Let o be a(-5). Which is smaller: z or o?
z
Suppose 548*w - 555*w + 4*z = 96, -w = 5*z - 3. Suppose -4*k = -17 - 3. Let p(d) = -d**2 + 3*d - 3. Let x be p(k). Are x and w nonequal?
True
Let d(i) = -58*i**2 + 7*i. Let w = -169 + 170. Let q be d(w). Is -51 greater than or equal to q?
True
Let y be (-5 + 4)*-6 + 0 + -2. Suppose -3 = -x - y. Which is greater: 2/453 or x?
2/453
Let m = -4088 - -5456. Which is bigger: m or 1367?
m
Let w be (2/3 + -1)/(16*26/(-341952)). Suppose 3*j = 4*j - 273. Is w at least j?
True
Let w(q) = q**3 - 10*q**2 + 3*q - 11. Let b be w(10). Suppose -b = 8*v + 21. Is v equal to -5?
True
Suppose 5*m + 4*p - 884 = 0, p - 87 + 81 = 0. Which is smaller: 1200/7 or m?
1200/7
Let h = 0.21 - -0.69. Let b = h + -3.4. Let z = -0.5 - b. Which is smaller: 0 or z?
0
Let h(b) = -16 - 15 - 3*b**2 + 19 - 22 + 6*b. Let u be h(10). Are u and -274 equal?
True
Suppose -3*a - 19488 = -4*a - 11*a. Is a equal to 1625?
False
Let v = -0.14541 - -0.24541. Which is smaller: v or -2.1554?
-2.1554
Let b be 8/6*(7 + (-3989)/569*1). Which is smaller: 1 or b?
b
Suppose 4*x - 3 = -3*q, -5*x - q = 3*q - 4. Let k be 0 + (3 - 305255/99365). Let s = k + 10/119. Is s at most as big as x?
False
Let z = -972613/7 + 139242. Does 298 = z?
False
Let s = -172 + 49. Let f = 126 + s. Suppose 11*k + f*k - 14 = 0. Do 1/8 and k have the same value?
False
Let x = 326 - 325.4. Let y = x - 0.81. Which is bigger: -2 or y?
y
Let h(z) = 7*z - 17. Let x be h(5). Suppose -70 = 2*b + x. Which is bigger: 0.9 or b?
0.9
Let r = 21.25 + -19. Let b = 214 + -211.8. Let h = r - b. Which is bigger: h or 1/3?
1/3
Let h be (23 - 26)/((-6)/40). Let n be (3 + 1)/h*(-5)/(-4). Which is smaller: 0.8 or n?
n
Let o(h) = -h - 4. Let y be o(-12). Suppose -5*s + 2 = -y. Suppose 3*q = 2*q + z + 10, s*z = -q + 1. Does q = 8?
False
Let r = -23125 + 23125. Which is smaller: -25/394 or r?
-25/394
Suppose 0 = 5*r - 771 + 746. Is 118/25 at most as big as r?
True
Let c(f) = 31*f + 67. Let i(k) = -15*k - 34. Let b(j) = 3*c(j) + 7*i(j). Let v be b(-3). Which is greater: v or -1/123?
-1/123
Let z = -893 - -894.197. Let f = z - 1.13. Let b = f + -0.167. Which is smaller: b or -3?
-3
Let y(p) = p**2 - 352*p - 1424. Let r be y(-4). Is 13/62 equal to r?
False
Let h = -234.975 - -235. Let r = 0.175 + h. Which is greater: r or 74?
74
Let l(d) be the first derivative of -20*d**2 - 125*d + 24. Let v be l(-3). Is 9 less than v?
False
Let n(b) = b**2 - 3*b + 1. Let z be n(1). Let p be -1 + 1 + z + 69/3. Let s be (-1)/1*(5 - 30 - -1). Which is smaller: s or p?
p
Suppose 0*i - 5*i = -5*l + 385, 0 = l - 5*i - 61. Let y = l - 79. Suppose y*j + 74 = 16. Is j < -29?
False
Let b(w) = 2774*w - 35. Let q be b(7). Suppose q = -36*h + 2319. Are h and -474 equal?
True
Let y be -62*1/1*(-6 + 5). Suppose 10*r - 72 + y = 0. Is 3/683 less than r?
True
Let p be (2 + (-18)/20)*450/(-270). Suppose 4*f - t + 5*t + 40 = 0, 5*t + 40 = -3*f. Let w be f - -5 - (1 + 0). Is w not equal to p?
True
Let n = 218.436 - 0.436. Let w = n - 208.9. Let q = w - -27.9. Which is bigger: -2 or q?
q
Let v(c) = c**2 - 10*c + 58. Let i be 6 + 1/(2/4). Let x be v(i). Is x at most 42?
True
Let f(l) = 206*l + 9306. Let g be f(-45). Let h be -3*(16/6 - 2). Let u be (h - 1)/((-3)/2). Which is greater: g or u?
g
Let v(l) = l**3 - 70*l**2 + 134*l + 486. Let y be v(68). Are 351 and y equal?
False
Suppose 5*f - 476 = 3*f + 4*l, 2*f - l - 488 = 0. Suppose 0 = -248*t + f*t + 4. Is t equal to 0.07?
False
Let c be -18 + (-2 - -14) - ((-6)/(-2) + -12975). Is 12965 <= c?
True
Let i = 3.331 + -3.231. Is i >= -2943?
True
Suppose -204*b + 197*b + 35 = 0. Suppose 13*a - b*g + 49 = 15*a, 4*a - 80 = -4*g. Suppose d - 2*d = -18. Is a >= d?
False
Let i(y) = 21*y**3 + 4*y**2 - 12*y - 18. Let c be i(-4). Let o be (5 - (c/(-15) - 2))*3. Is o at least as big as -227?
False
Suppose 233 = 3*y + y - r, 0 = -3*y + r + 174. Let j = y - 72. Which is smaller: j or -14?
-14
Let h = -299327/481 - -8150/13. Which is smaller: h or 5?
h
Let y(r) = 6*r**3 + 30*r**2 + 19*r + 94. Let j be y(-5). Is 3/4982 smaller than j?
False
Let k = -3209 - -3212. Let t be 6/(-8) + (-3)/(-4). Let l = 7 - t. Which is greater: k or l?
l
Let a = 2.826 - 0.826. Which is bigger: a or -25/11?
a
Let o(r) = -14*r + 1. Let h(x) = -13*x + 2. Let w(g) = 5*h(g) - 4*o(g). Let u be w(-1). Let s be (95/u + 2)/((-2)/(-3)). Is s greater than 14?
False
Let f be (-22)/(-4) - 33/(11286/1911). Which is greater: f or -6/13?
f
Let d be (-8)/(420/(-207) + 2) - 0. Let k = d - 277. Is k at most as big as -1/7?
True
Let v(b) = 96*b**3 + 49*b**2 + 111*b + 9. Let m be v(-2). Is m at least as big as -0.1?
False
Suppose -20*y = 52*y - 576. Suppose -6 + 1 = g, 4*s = 4*g - y. Is s less than or equal to -11?
False
Let i be 652/(-46) + (456/532)/((-2)/(-14)). Which is smaller: i or -7?
i
Let d = -2/325 + -128/325. Let p be (-12)/16 - 1/(-4). Is p <= d?
True
Let c be (10225/5113 - 2)*(-35)/(840/36). Is c <= -1?
False
Let l = 2241.19 + -2241.6. Which is smaller: l or 254?
l
Suppose -19*b - 1539 = -0*b. Let u be (-6 - b/12)*-28. Let h(i) = 19*i - 1. Let f be h(-1). Which is bigger: u or f?
f
Let q = -4/2025 + -29966/2025. Let w be (3/2)/((-20)/200). Is w smaller than q?
True
Let q = -0.8 - 3.75. Let d = q - 0.05. Let y = d + 4.7. Is -12 equal to y?
False
Suppose -35*h = 2 - 317. Let m be 12/h - (-1898)/(-78). Is -15 less than or equal to m?
False
Let o(r) = 2*r**2 + r. Let n(k) = 5*k**2 + 17*k - 13. Let j(c) = n(c) - 3*o(c). Let y be j(14). Let q = 19 + -33. Which is smaller: y or q?
q
Let i = -881/105 + 41/5. Suppose 5 = 2*x + 1. Suppose -h + 1 = x. Which is bigger: i or h?
i
Let x be 725*-2*(191 - 196). Which is smaller: 7249 or x?
7249
Suppose -112 = -2*a + 5*d - 130, 2*a - 2*d = -6. Which is greater: -2/415 or a?
a
Suppose -4*x + 1860 = 3*j, 12 = 5*j - 8. Let v be (-10596)/x - 4/(-7). Which is bigger: -21 or v?
-21
Suppose -41327 + 190547 = -27*n - 63*n. Is -1667 at least as big as n?
False
Let n = 2744 + -2743. Is 869 != n?
True
Suppose 0 = -h + l + 5453, -3*l = 7*h - 4*h - 16347. Which is smaller: 1 or h?
1
Let y be 2/(-2) - (-136)/35. Let v = 13/5 - y. Let s = 9380 - 9379.1. Is v equal to s?
False
Let r = -4.4 - 4.9. Let k = -9.257 - r. Suppose -p = 