oes r = z?
False
Let a be (-1309)/132 + (-4)/3. Let o = 91/8 + a. Is 3 less than or equal to o?
False
Let x be (9/(-6))/(6/16). Let r be (1 - 4)*(-1 - 4). Let v be r/(-3) - (-28)/7. Is v > x?
True
Suppose 0 = -g - t - 0*t, 0 = 5*t + 15. Suppose -3*z + 56 = -c, 2*z + g*c + 0*c = 19. Suppose 11 = -x + z. Which is smaller: x or 4?
4
Let z(s) = -s**2 + 17*s - 23. Let q(i) = 6*i**2 - 85*i + 115. Let v(r) = -2*q(r) - 11*z(r). Let y be v(-17). Suppose -3*f - 13 = -82. Is y smaller than f?
False
Let w = 33 - 36. Is 2 at least as big as w?
True
Suppose -4*f - 28*c + 25*c = -15, -3*f - 10 = -2*c. Are f and 9/317 nonequal?
True
Suppose -2*i + z = 37, 5*z = 3*z - 2. Suppose 73 = 3*h + 5*s, 2*h = 3*h + 5*s - 31. Let t = h + i. Is t bigger than 9/11?
True
Let x(b) be the third derivative of 4*b**6/15 + b**4/24 + 19*b**2. Let d be x(1). Are d and 33 equal?
True
Suppose 41 + 49 = p + 5*q, 4*p - 3*q = 314. Is 79 at most p?
True
Let m be (-262)/(-3) + 3/(-9). Let j = -15805/177 - -96/59. Let z = m + j. Which is smaller: z or 3/4?
z
Let l be 4/(-6) - (-62)/84. Let f be (1/3)/(160/(-30) - -5). Is f at most as big as l?
True
Let l(t) = t**2 - 11*t + 8. Let j be l(10). Which is bigger: j or -8/9?
-8/9
Let j = 987/4 + -247. Is -19/5 != j?
True
Let c = 1.05 + -1.52. Let q = c + 0.18. Let j = 0.3 + q. Do -0.1 and j have different values?
True
Let v = 2032 - 327151/161. Which is smaller: v or 0?
0
Let v = 4 + -6. Let z = 83 + -59. Let r be (-19)/z + -7*5/(-210). Is v greater than or equal to r?
False
Suppose -4*r = 5*x - 28, 4*r - 2*x = 2*x - 8. Suppose 2*h + r = 4. Let d = 8 - 41/5. Which is bigger: d or h?
h
Let g = 13 - 13. Let x = 22.9 - 23. Let b = x - g. Which is bigger: b or 11?
11
Let k = 1159 - 193552/167. Is -0.1 <= k?
True
Let t be 4/158*(-21)/(-6). Is t less than -1?
False
Let b be -1611 + (53/(-11) - 86/473). Is b not equal to -1616?
False
Let n be (-2)/4*(-3 + 5). Let t = 13163/1811005 + -3/6139. Which is smaller: n or t?
n
Let x = 415.103 + -415. Which is smaller: x or -0.2?
-0.2
Let w = -33606.047 + 33592. Let g = 0.047 + w. Which is smaller: 0.2 or g?
g
Suppose 50*r - 24 + 74 = 0. Which is bigger: 22/45 or r?
22/45
Let c(x) = x**2 + 5*x - 22. Let p be c(-8). Let o be -2*p*(2/(-5) - 0). Which is smaller: 2 or o?
o
Let c = 0.231 + -0.031. Do 5.9 and c have the same value?
False
Suppose 6*o + 5*o = 0. Is o >= 4/69?
False
Let h = 6 - 8. Let o = 0.11 - 0.18. Let v = 2.07 + o. Which is greater: v or h?
v
Let n = 9.2 + -10.05. Let s = -0.41 - n. Is s smaller than 0.1?
False
Let x = -29 + 95/3. Which is smaller: x or 2?
2
Let p = -580 - -15658/27. Suppose -7 = 3*u - 34. Suppose 4*y - 3*c = u, 4*y = -c - 4 + 1. Are p and y equal?
False
Suppose 0 = 4*y - 2*y + 262. Let a = y - -157. Which is smaller: 24 or a?
24
Suppose 189*p = 191*p - 18. Suppose -8 = 3*h - 4*h. Let i = p - h. Is -1/26 smaller than i?
True
Let v = 474 + -454.1. Let u = v - 0.9. Let y = u + -19. Which is smaller: -1 or y?
-1
Let s = 13.6 - -9. Let j = 0.24 + 22.76. Let y = s - j. Is y >= 3/2?
False
Let h = 33.98 - 34. Let q = h + -4.98. Which is smaller: -2 or q?
q
Let k = 396 + -2778/7. Is k less than or equal to 1?
True
Suppose 20*u + 2 = 19*u. Let n be (-963)/90*u/(-3). Let q = n + 34/5. Are q and 0.2 unequal?
True
Let u = -816 + 1519. Are 702 and u unequal?
True
Let s(b) = 3*b**2 + 12*b + 10. Let d be s(-5). Suppose -4*u - 106 = -4*t - 2*u, -2*u = 2. Which is bigger: t or d?
t
Suppose a + 3*r = 10, 1 = a + r - 3. Is -12/139 greater than a?
False
Let b = 0.371 - 0.471. Which is greater: 681 or b?
681
Let n = 0.134 - -0.866. Do 10.5 and n have the same value?
False
Let t = -944 - -943.8. Are 0.04 and t equal?
False
Let u = -6 - -20. Let j be (-10)/25*u/(-4). Does j = 2?
False
Let k(g) = -70*g**2 - 3*g - 2. Let b be k(-2). Let x = b - -862/3. Is x <= 11?
False
Let m = -3 - -1. Let t = m - -2. Let o = 0.1926 + -0.0926. Which is smaller: o or t?
t
Let x be 18/16*26/117. Let a = -29/995 + -134488/62685. Let z = -17/9 - a. Which is greater: x or z?
z
Let j = 30 + -28. Let b = 16 + -11. Suppose 3*a - a - 4*f = -6, 4*f - 13 = -b*a. Is a greater than j?
False
Suppose -q - 2*q = -2*v + 141, 70 = v - 2*q. Let o be 2/(-8) - (-2025)/100. Let z be (v/o + -4)*1. Is z >= -1?
True
Let m(j) = -j**2 - 5*j - 2. Let f be m(-4). Suppose -2*c + 2 = f*y, -3*y + 3 = -2*c + 10. Suppose g + 0*g + c = 0. Which is smaller: -5/7 or g?
g
Let s be -10 + 14 - (-7656)/(-1916). Is s > -1?
True
Let i = -1353 + 1352. Are i and 0 unequal?
True
Suppose -1644 = 48*x + 420. Do x and 0.1 have the same value?
False
Let l(r) be the third derivative of r**6/120 + 3*r**5/20 + 3*r**4/8 + 7*r**3/6 + 6*r**2. Let u = 18 + -26. Let f be l(u). Are -0.03 and f unequal?
True
Let j = -853 + 4313/5. Suppose 2*i + 5*t = 22, 2*i - 5*t + 4*t - 22 = 0. Which is bigger: j or i?
i
Suppose -7*j = 4*g - 6*j - 42, -4*j = -8. Let n be 2/4 + ((-155)/g - 3). Let f(h) = 19*h. Let v be f(-1). Is n greater than or equal to v?
True
Suppose 2*w + 2592 + 337 = -5*j, -4383 = 3*w - 3*j. Which is smaller: w or -1461?
w
Suppose -8 = 7*h - 9*h. Suppose -4 + 20 = h*a. Suppose -2*j - w - 1 = -0, a*w = -j - 4. Is -8 not equal to j?
True
Let x be -10*(5/(-2) + 2). Let b be x - (-1 + 1 + 2). Suppose -b*g = g. Is g less than 1/5?
True
Let c = 1220/207 + -110/23. Let t be 3*(-2)/(-3)*2. Let q = t + -2. Which is bigger: q or c?
q
Let m(z) = z**3 - 15*z**2. Suppose 0 = -2*p + 43 - 13. Let w be m(p). Is w >= 24?
False
Let b = -61 + 301/5. Let r = -5 - -5. Which is smaller: b or r?
b
Let w = 17 - 11. Let x be (-10)/w + 0/(-2). Let a = 18/79 - -25/237. Which is greater: a or x?
a
Suppose 0 = -8*y + 4 + 20. Let m be (4 - 1) + 42/y. Is 16 less than or equal to m?
True
Let d = -252 - -251.9. Let p be (-4)/22*3/2. Which is greater: p or d?
d
Let d = 17.3 - 13.3. Is d >= 0.1?
True
Suppose -u - 21 = 4*r, 6*u + 2*r = 9*u - 7. Which is greater: 2/105 or u?
2/105
Suppose 94*t = 172*t - 25740. Are 329 and t unequal?
True
Let q(a) = 2*a + 37. Let b be q(-16). Suppose 2 = f - 1, -f = b*h + 2. Is h bigger than 2/49?
False
Suppose 4*f = 5*a + 2*f + 70, -f - 19 = 2*a. Let q = -10 - a. Let z be 0/5*(-1)/q. Which is smaller: -2 or z?
-2
Let b = -2200/7 + 310. Let d be (-6)/(-9)*(-225)/50. Which is smaller: d or b?
b
Let t = -1522 + 1348. Is -526/3 >= t?
False
Let i be (-5)/(-12) - 2/3. Suppose -2*y + 6 = t + 1, 15 = 3*t - 3*y. Suppose 0*o + 5*r = -o + 1, 3*r - t = -5*o. Which is smaller: o or i?
i
Suppose 3*r = -0*r + 3. Let j = 326 - 10104/31. Let d = j + 15/248. Is d bigger than r?
False
Let p = 1508 + -1509. Is 2/2767 greater than p?
True
Let f = 422 - 421.713. Is -2/7 at least f?
False
Suppose -4*p = -0*p - 8, 0 = 5*t - 5*p - 15. Suppose 2*l - 4*w = -2, -2*l + 0*l + w + 10 = 0. Let m be t*l/(735/(-6)). Which is bigger: 2/7 or m?
2/7
Suppose -39 = -4*f - 11. Let a = -5 - f. Which is smaller: a or -10?
a
Let v(y) be the first derivative of -2*y**3/3 + y**2/2 + y + 5. Let x be v(-1). Let g = -2 - -1. Which is greater: x or g?
g
Let s(n) = n**2 + 8*n - 12. Let b be s(-10). Suppose -w - 3*y = -19, 2*w - b = 3*y + y. Is w equal to 8?
False
Suppose 5*o = 2 + 3. Let a be 1969/495 - (3 - -1). Is a less than o?
True
Let j = 556 + -3894/7. Is j greater than or equal to -1/5?
False
Let x = 205 - 453. Are x and -246 unequal?
True
Let t = -14 + 17. Suppose -3*x - 30 = -t*h, 15 = h + x - 3*x. Suppose -11*b + 6*b + h = 0. Is b at least as big as -4/13?
True
Suppose 5*a + 780 = 10*a. Let i be (-9)/36 - (-207)/a. Which is smaller: i or 0?
0
Suppose -o = 5*c - 13, 3*c - 3*o - 12 = c. Is 5 greater than c?
True
Suppose 0*p = 5*o - p + 5, 0 = -3*p - 15. Let c be o - 2*34/(-4). Suppose 2*s = 7*s - c. Is 5 >= s?
True
Let p be 4/6 - (-508)/3066*-4. Are 0 and p non-equal?
True
Suppose -3*g + 7*g = 12. Suppose -5*k = -g*z + 9, 1 = z - k - 2. Is z <= 4?
True
Let w be -1 + (-48)/34 + (36 - 33). Is -1/4 <= w?
True
Let k(h) = -11*h - 372. Let l be k(-24). Is l less than -111?
False
Let h(o) = o + 8. Let w be h(-8). Let z = -3255.037 + 3255. Which is smaller: w or z?
z
Let l(t) = -t - 7. Let d(n) = -2*n - 13. Let o(x) = -3*d(x) + 5*l(x). Let j be o(-5). Is j != 1/9?
True
Let k = 6.162 + -0.162. Which is smaller: -1/12 or k?
-1/12
Let n = -33743/13 + 2597. Which is greater: n or 0?
n
Suppose 4*b + 1020 = 16*b. Which is bi