Is o equal to 11?
True
Suppose -v + 3 - 2 = 0. Suppose 4*z = -2*r - 12, -3*z - 1 - 4 = r. Let m be 105/126*(-6)/r. Which is smaller: m or v?
m
Let m(b) = -b**3 - 2*b**2 - b - 16. Let h be m(7). Let t = 9746/21 + h. Suppose 0 = -3*r + r. Which is greater: r or t?
t
Let t = -739 + 1226. Is 486 less than or equal to t?
True
Let p(u) = -u**3 - 6*u**2 - u + 2. Let r be p(-5). Let m(n) = n**3 + 5*n**2 - 107*n - 447. Let i be m(-4). Is i at least as big as r?
True
Suppose 1512 = 32*v - 856. Which is bigger: 80 or v?
80
Suppose -4*c + 104 = 100. Which is bigger: 2/141 or c?
c
Let l(z) = -5*z + 6. Let d be l(4). Let t = -14 - d. Suppose t = 13*v - 12*v. Which is smaller: -19 or v?
-19
Let s = 4 + -52. Let m = 6 + s. Let d be ((-9)/m)/(1/(-12)). Which is smaller: d or -3?
-3
Let t = -0.6 - -0.4. Let w = -1/1364 - 13633/9548. Is w not equal to t?
True
Let f = 25.1 + -25. Let v be (-214)/210 + (-3)/(-9). Let m = -2/7 - v. Is f at most m?
True
Let a = 2143.3 - 2143. Which is smaller: a or -67?
-67
Let z be ((-48)/(-32))/(3/(-5))*-4. Let d be -5 - -6 - z/7. Is -1/5 greater than or equal to d?
True
Let j = -704 + 504. Is -199 at least as big as j?
True
Suppose 0 = 3*v - 3*h + 6, -v - 5*h + 23 = 7. Let u be (v + -5)*(-3)/(-22). Let q(t) = t**2 - 71*t + 446. Let o be q(64). Which is greater: o or u?
u
Let f = -20923461552859/41190478 + -55636/420311. Let a = -1016465/2 - f. Let s = -264 - a. Is 0 bigger than s?
True
Let g = 1341 + -1341. Suppose 0 = -m + 1, -3*a + 0*a + 2*m + 10 = 0. Suppose a*i - j - 24 = 0, -2*i = 3*j - 1 - 11. Which is greater: i or g?
i
Suppose -10*p - 9 = 1. Is 10/261 less than or equal to p?
False
Let h be 6/(-27)*(0/(-3) + -12). Let a = 55/24 - h. Is a < -1?
False
Let o(a) = 3*a**2 - 46*a + 43. Let k(q) = -2*q**2 + 31*q - 29. Let s(b) = -7*k(b) - 5*o(b). Let m be s(12). Let h be 11/22 - (-1)/(-2). Is m bigger than h?
False
Suppose -10 - 5 = -3*w. Let k = w + -5. Let z be 0 + (0 - k)/2. Which is smaller: z or 2?
z
Let q = 19.681 - 3.671. Let f = q - 0.01. Let a = f - 16. Is 2/11 at most a?
False
Suppose 8 = 2*b + 8. Is -7/36 not equal to b?
True
Let x be (1 - -45)*(-4)/8. Let f = -32 - x. Let a = -6 + f. Is -15 less than or equal to a?
True
Suppose -3*y + 9 = -9. Suppose -5*r + 7*r - y = 0. Suppose r*m - 84 = -m + o, 3*m - 63 = -5*o. Is m bigger than -0.1?
True
Let c = 14276.1 - 14276. Let v = -9.4 - -11. Let b = v - -4.4. Which is smaller: b or c?
c
Let l = -3 + 8. Suppose 396 - 26 = -5*k. Let h = k + 79. Do h and l have different values?
False
Let n = 10 + -21. Let c = n - -11.6. Is -1/7 != c?
True
Let q = -14.89 + 15.9. Let x = q + 8.99. Is 5 <= x?
True
Let i be (0 + 0)*85/(-170). Let d = 23462/25389 - 2/1953. Is d at most i?
False
Let u be (12/10)/((-27)/(-90)). Let b = 12.8 - 13. Is b < u?
True
Suppose -3*f - 2*f - 2*w + 20 = 0, 3*f + w - 11 = 0. Suppose 5*b + 3*m - 17 = -132, -m - 46 = f*b. Which is greater: b or -24?
b
Let f be 821767/460 - ((-6)/2 - -2). Let c = 1787 - f. Is c != -1?
True
Let i = 3.074 - -2.926. Which is greater: 61 or i?
61
Let o = 6 - -337. Is 1/4 smaller than o?
True
Let y(f) = f**2 + 5*f + 4. Let q be y(-5). Let r(a) = -5*a + 18. Let o be r(q). Which is smaller: -5 or o?
-5
Suppose -9*k = -8*k - 20. Let c be k/6*(48/30 - 2). Is -1 at most as big as c?
False
Let x = 0.008 - -0.992. Which is smaller: -2/201 or x?
-2/201
Let v be 84/(-105) + (24/5)/6. Are -17/110 and v unequal?
True
Let i(n) be the second derivative of -11/6*n**3 + 0 - 7/2*n**2 + 4*n - 1/20*n**5 + 2/3*n**4. Let o be i(6). Are o and 4/13 unequal?
True
Let n = 255 - 255.03. Is n > 0?
False
Let m be (-76)/(-2)*3*5/30. Let c = 17 - m. Which is smaller: c or -0.2?
c
Let i be (-1 + 4)/3 - -19. Let l = 20 - i. Let k = 0 - l. Which is smaller: 2/13 or k?
k
Let d(x) = 5*x - 4. Let a be d(2). Let k be a/(-9) + (-28)/12. Let q = 4 + k. Which is greater: 0.9 or q?
q
Suppose -4*l = -50 + 18. Let i be (6/(-100))/(l/(-20)). Let y = -790 + 791. Which is smaller: y or i?
i
Let k(i) = -i**3 - 6*i**2 + 8. Suppose 0 = -7*d + d + 234. Let f = 33 - d. Let w be k(f). Is 8 <= w?
True
Let u be -4*(-2)/(-4)*(-1 + -3). Suppose u*z + 18 = -z. Are -10/11 and z non-equal?
True
Let s = -487/5 - -97. Let c(y) = -y - 10. Let k be c(-13). Let i be 4*((-26)/(-8) - k). Are i and s nonequal?
True
Let h = 7 - 16. Let j = h + 47/5. Is -1 > j?
False
Suppose -7*p = -15*p - 88. Let t be ((-5)/57)/(p/33). Do 1 and t have different values?
True
Let y(r) = -r**2 - 39*r - 340. Let k be y(-27). Which is smaller: -18 or k?
-18
Let n(o) = 10*o**2 + 2*o + 1. Let v be n(-1). Suppose 0 = -m + v + 1. Suppose 0 = -5*c + 5*l + m, -5*l = 5*c - 0*l. Which is smaller: c or -1.6?
-1.6
Let q(v) = -5*v + 28 + 12 + 0*v. Let u be q(8). Is -1/2 less than or equal to u?
True
Suppose -4*c - 154 = 3*v, -55 = 4*v + c + 172. Let n = 82 - 247/3. Are n and v non-equal?
True
Let p = 110719971/8819590 + -3/135686. Let x be (-5)/(50/(-4)) - -12. Let w = x - p. Which is greater: 1 or w?
1
Suppose -s - 470 = 15*y - 14*y, 0 = s + 2*y + 466. Which is smaller: -475 or s?
-475
Let z(x) = -2*x**2 + 3*x + 2. Let y be z(0). Is 3/5 at most as big as y?
True
Let y be ((-24)/(-540))/((-2)/20). Let d = y + -196/45. Which is smaller: -4 or d?
d
Let p be 22/18 - (-28)/(-14). Let i = -10 - -10. Is i less than or equal to p?
False
Let a be (-1)/(-3)*2/((-70)/15). Which is bigger: a or -50?
a
Let d be 4*(-4)/(-96)*1426/253. Which is smaller: 1 or d?
d
Let v(z) = -2*z**3 + 3*z**2 + 6*z - 6. Let d be v(3). Let g be (1/(-4))/(d/(-30)). Which is smaller: g or 0?
g
Let r be (-16)/17832*(-9662)/1. Let w = r - 2/743. Which is bigger: w or 8?
w
Let l be 5 - (0 + 1*-1). Suppose 0 = -2*m + 3*m - 4*q, -m - 3*q - 7 = 0. Let d be (-5 - m)/(-1) + 6. Is l greater than d?
False
Let n = 3.5 + -3. Let z = 0.5 - n. Which is smaller: z or 31?
z
Suppose -5*h + h = -3*x + 34, -h - 5*x = 20. Which is greater: 0.8 or h?
0.8
Suppose 0 = -18*d - 52 - 20. Let f be (48/10)/(d/(-80)*-3). Is f > -32?
False
Let l = -11867/1194 - -21/199. Suppose 22*j + 1031 - 833 = 0. Which is smaller: l or j?
l
Let s = -57 - -60. Suppose 0 = s*h - 3*g + 45, 7 - 19 = -4*g. Let l(t) = -t**3 + 6*t**2 - 6*t - 6. Let f be l(5). Is f bigger than h?
True
Let f = 378 + -371. Which is greater: f or 3?
f
Let s = -295.8 + 296. Which is smaller: 28/3 or s?
s
Let z(k) = 0*k**2 + k + 2*k**2 - 16 + 14 - 2*k**3. Suppose -27*r + 26*r - 2 = 0. Let l be z(r). Is 20 < l?
False
Suppose 2*s + 3*l - 123 = 0, s + 2*l - 34 = 6*l. Suppose 0 = c - 4*c + s. Let d be (-1 - 16/(-1)) + 24/8. Is c >= d?
True
Let q(c) = -c**3 + 24*c**2 - 18*c + 11. Let t be q(23). Let s be (-408)/t - (2 + (-8)/3). Are s and -4 unequal?
True
Suppose -572 = b + 3*z, -2*b - 2*z + 5*z = 1135. Let i be 6/12*b/5. Let o = i - -57. Which is smaller: o or 1?
o
Let b be 0 - -3*(-4 + 5). Let m be ((-6)/(-6))/(2/14). Let s = m + -3. Which is smaller: s or b?
b
Suppose z = 6*z + 175. Let w = -3005 - -9121/3. Let o = z + w. Is o < 12?
True
Let s = 0.17 - 0.1. Let k = -457.88 - -458. Let d = s - k. Are -0.2 and d non-equal?
True
Let q = 56/3 + -21. Let v = -57 + 59. Suppose -v*o - 7 = 5*b, -o + 0 + 4 = -5*b. Is q greater than or equal to o?
False
Let o = -13 - -7. Let i = -94 + 93. Let c be (o/(-36))/(i/4). Do 9 and c have different values?
True
Let a = 0.3452 - 0.1452. Is 268 smaller than a?
False
Suppose -6*h - 5 = -h. Let a be (-1 - 0/(-2)) + (-12)/72. Is h greater than a?
True
Let v = 9.84 + 31.16. Which is smaller: 0.4 or v?
0.4
Let t = 904.06 + -901. Is t at least -0.1?
True
Let d = -8 - -10. Suppose d*s = -s - 306. Let u be ((-21)/(-14))/(s/8). Which is greater: u or 1/2?
1/2
Suppose -a + q = 1 + 2, -5*a - 5*q + 15 = 0. Do a and 3/298 have the same value?
False
Suppose 32 = -2*h + 6*h. Suppose 3*u = -3*j + 18, j + 2*j = -15. Which is greater: u or h?
u
Let a = 5 - 6. Suppose -4*o = -o - 18. Suppose 0 = -3*x - 0 - o. Which is bigger: x or a?
a
Let v = 0.139 - 443.139. Which is greater: v or 2/7?
2/7
Let v = 134 + -132. Is 54 != v?
True
Suppose -5*j - 26 = k, -k + 3*j = -4*k - 42. Suppose -45 - 39 = 7*o. Is o < k?
True
Let d be 0/(3 + -2) + 4. Suppose 2*s = -0*p + 4*p + d, -2*p - 14 = 5*s. Let m = 1887 - 1888. Is m at least s?
True
Suppose 0 = -9*s + 989 - 35. Is 2/3 >= s?
False
Let c = -0.096 - 22.204. Is c at most as big as 0.2?
True