1/3 at least f?
True
Suppose 0 = -5*d + 19*d - 224. Does d = 14?
False
Let l = 141 - 9. Let h be ((-2)/(-4))/((-6)/l). Is -11 bigger than h?
False
Suppose -3*u + 6 = 3*f, -8*f = -u - 12*f + 8. Is u <= -2/837?
False
Let j = 33 + -28. Suppose -j*h + 5*l + 20 = 0, 2*h = -4*l - l + 1. Is h not equal to -3?
True
Let g = -2 - 2. Let w = 0.43 + 3.52. Let m = g + w. Which is smaller: m or 1?
m
Let c = 10.01 + 111.79. Let o = 122 - c. Let j = -3 - -2.6. Do o and j have the same value?
False
Let o be 6 + (-2 - -4 - -2). Let g be o*5/(-10)*1. Is -3 > g?
True
Let r(f) = -2*f**2 - 5*f - 6. Let m(s) = -s**2 - s. Let k(v) = -m(v) + r(v). Let x be k(-4). Which is smaller: 0.2 or x?
x
Let p be 3632/(-80) + (-16)/10. Which is smaller: p or 5?
p
Suppose -24 = a + 5*g, 3*a - 4*a - 4*g - 19 = 0. Is 2/59 less than a?
True
Let o = 108 + 53. Is o at most as big as 161?
True
Suppose 0 = -5*t + 2*t - 18. Suppose 19 = 4*c - 9. Suppose -c*x - 1 - 34 = 0. Which is smaller: x or t?
t
Let j be (-4 - (-1428)/260) + (-44)/55. Is 2 bigger than j?
True
Let x = -9.4 - -6. Let i = -4.7 - x. Which is smaller: 1 or i?
i
Let l be ((-140)/40)/(-1 + 1/2). Is l greater than or equal to -23?
True
Let k be 66/(-4)*16/60. Let x = 80 - 84. Which is smaller: x or k?
k
Let a be (6/(-12) + (-18)/(-20))*-70. Do a and -16 have the same value?
False
Suppose 4*i = 5*m + 508, 5*m + i + 492 = -3*i. Let c = -41 - m. Suppose 3*j + 15 = 6*j, -4*o + j = -c. Which is bigger: o or 17?
17
Suppose 50*u - 47574 = 3476. Are u and 1021 equal?
True
Let f(m) be the first derivative of -m**3/3 + 2*m**2 - m - 4. Let s be f(3). Let a be 2*(-2 + 3/s). Is -1/23 greater than a?
True
Suppose -4*r + 12 + 16 = 0. Suppose r*x = 11*x. Which is bigger: x or 17?
17
Let g(r) = -4*r - 2. Let p be ((-18)/12)/(2/4). Let m be g(p). Let l be (-2)/m - 1/(-5). Which is smaller: 2/11 or l?
l
Suppose 2*x + 2*b - 14 = 0, -4*x - 3*b + 16 = -2*b. Suppose 2*l + 10 = -4*o, l - 10 + 0 = 3*o. Is o at most x?
True
Suppose -3*i = -3*z, -2*z + 2 = -6*i + 2*i. Suppose -o - 5 = 0, -2*o + 12 = 2*q - 14. Let b be (3 + (-53)/q)*3. Which is bigger: b or i?
b
Let f be 20/90 - 11/9. Let k = f + 12. Is k equal to 11?
True
Let q = 4 - 3.2. Let z = 3.2 + -2.82. Let v = 0.48 - z. Is v greater than q?
False
Let o = -33 - -33. Let x = 3 + o. Is 1/9 greater than x?
False
Let z = 27 + -28. Let q be z/5 + (-14)/(-70). Is q smaller than -2/37?
False
Let m = 0.05 - -0.11. Let j = m + -0.06. Let q be (-1 + -2)/(147/(-14)). Is q at least as big as j?
True
Suppose 9*v + 222 = -1929. Which is greater: v or -240?
v
Suppose -v + 25 = -129. Let x be 44/v + (-320)/1022. Is x greater than or equal to 0?
False
Let b = 5357/620 + -133/31. Is b at most -2/5?
False
Let p = -2/12127 + -290998/303175. Let x = p - -4/25. Is 0.2 greater than or equal to x?
True
Suppose 0*o - 5*o = 3*o. Is o not equal to -1/81?
True
Let x = -42.992 + -0.008. Let t = 43.07 + x. Is t smaller than -1/2?
False
Suppose -6*r = -3*r + 540. Let m be 2/(-10) - r/(-100). Which is smaller: -7 or m?
-7
Let m = -2312 - -2313. Which is smaller: 0.343 or m?
0.343
Suppose -3*y = r + 26, 0 = 2*r + 3*y + 50 - 13. Let t = 26 + r. Let l = 15 - t. Is 1 greater than or equal to l?
True
Let t be (20/(-15))/(36/378). Which is bigger: 16 or t?
16
Let v = 20 + -182/9. Let w(l) = -l**2 + 8*l + 2. Let j be w(7). Is v greater than j?
False
Let g(j) = 2*j**2 + 16*j + 17. Let b be g(-13). Are b and 146 non-equal?
True
Let r = 465 - 462. Let z = 10 - 7. Suppose 4*x - z = x. Is r bigger than x?
True
Let u(m) = m + 1. Let j be u(1). Suppose f + 2*d = j*f - 12, -60 = -4*f + 2*d. Is f greater than 15?
True
Let c(n) = -n**2 + 17*n + 4. Let t be c(17). Suppose 0 = -2*r + 3*r - 2, 2*r = t*p + 28. Let y be (-14)/40 - p/(-15). Which is bigger: 0 or y?
0
Let f = 1.1281 + -0.1281. Let m be 0 - (6/(-25))/3. Which is smaller: f or m?
m
Let p(z) = z**2 + 5*z - 9. Let q be p(-7). Suppose -3*g = -5*u - 3, g = q*u + 2 - 1. Let x(j) = j - 6. Let v be x(7). Which is greater: v or u?
v
Let w(l) = 325*l - 643. Let k be w(2). Let q = -10 - -5. Let f be (12/q)/(6/(-20)). Is k less than f?
True
Let x be 196/(-42) + (2 - (96/9)/8). Let d(g) = -g**3 - 6*g**2 - 6*g. Let j be d(-4). Is x greater than or equal to j?
True
Let o = -62 - -93. Suppose 36*m - 1096 = 20. Is o greater than or equal to m?
True
Suppose 15 = -5*x, -2*x = -3*o + 16 + 8. Suppose 2*a - 4 = 0, 2*y + 4*a = 22 - o. Which is bigger: y or 6?
6
Suppose 17*q - 2712 = 518. Is 379/2 equal to q?
False
Suppose 2 = -978*o + 980*o. Which is greater: 599 or o?
599
Let k = -6 - -15. Let t be 2/9 + 1750/225. Which is smaller: k or t?
t
Let v(p) = p**3 + 20*p**2 - 15*p + 117. Let r be v(-21). Let f = -1 - -1. Is f >= r?
True
Let h be ((-19)/114)/(2/(-24)). Is 15/16 smaller than h?
True
Let z be 6/(-8)*(-48)/(-162)*9. Suppose 0 - 3 = l. Is z less than or equal to l?
False
Let m = -12 - -8. Let z be (-1 + -8)*(-4 - -3)/(-3). Is z greater than m?
True
Suppose 2*t + 0*t = 0. Suppose 2*p - 4*p = -2*o - 2, -4*o - 2*p + 2 = t. Suppose -n = -o*n - 2. Are n and 2 non-equal?
False
Suppose -4 + 4 = 7*f. Suppose f*q + q = -5*q. Which is smaller: -2/37 or q?
-2/37
Let n = 253 + -251. Which is greater: n or 32?
32
Let l = -4179 + 8199/2. Let s be ((-30086)/52)/7 + 3. Let r = s - l. Is 0 at least as big as r?
True
Let i(d) = 2*d**3 + 15*d**2 - 2*d - 14. Let z be i(-6). Which is smaller: z or 108?
z
Suppose -3*p + 32 = 2*n, 3*p = -2*n + 5*n - 78. Let q = 23 - n. Do 2/69 and q have different values?
True
Let t = -315 + 329. Which is bigger: t or 11?
t
Let g = -29.8 + -241.2. Is g not equal to 1?
True
Suppose 1 = 2*q + a, -7 = -4*q + 2*q - 3*a. Let v be q*4/(-8)*4. Let i be 16/4 - 9/v. Are i and 1.1 unequal?
True
Let b(d) = 2*d**2 - 5*d + 4. Let g be b(3). Let r = g + -20. Which is bigger: r or -12?
-12
Suppose -4*n = 2*n + 24*n. Which is smaller: -15/73 or n?
-15/73
Suppose 2*i = 2 - 74. Let b be (i/(-21))/3*35/(-10). Is b at most -18/31?
True
Let v(l) = -l + 2. Let b(c) = 2*c**3 - 2*c**2 + c. Let f be b(1). Let q be v(f). Let i = q - 2. Which is greater: i or -2?
i
Suppose -2*p - 2*k = -0*p - 16, 2*k - 22 = -4*p. Let r(z) = -z**3 - 6*z**2 + 3. Let x be (-4)/12 - 34/6. Let b be r(x). Are p and b nonequal?
False
Let k = -22 + 27. Suppose k*u - u = 0. Suppose 2 + u = 3*z + 5*r, 5*r - 5 = 0. Do z and 3/7 have the same value?
False
Let d be 5 - (0 - 0) - (-2 + 64). Which is smaller: -59 or d?
-59
Let o = 466 - 364. Do o and 99 have the same value?
False
Let b = -2.9 + 3. Let a = -0.81 + 57.81. Let g = a - 81. Do g and b have the same value?
False
Suppose 5*r = -4*r + 7*r. Suppose t = 3*j - r*j + 1, -4*t + 31 = -3*j. Is 10 at least as big as t?
True
Let l = 67/2 + -33. Let g = -752 + 1565/2. Let x = g - 28. Are x and l equal?
False
Let a = 17858/4745 - 26/365. Is a not equal to 3?
True
Suppose -3*t = -12, -2*t = 5*v + 2*t + 4. Let l be (8 + -4 + v)/(-1 + -1). Is 3 greater than l?
True
Let z = -62 - -65. Which is smaller: z or 4.4?
z
Let q be 675/216*(39/15 - 3). Let s(m) = -m**3 + 6*m**2 - 5*m. Let a be s(5). Is q at most a?
True
Let h = -51 - 1. Let p(k) = -6*k**2 - k + 5. Let x be p(3). Are x and h unequal?
False
Let x = -1024 + 960. Which is smaller: -62 or x?
x
Let b be 1*4/3*54. Let d be ((-34)/(-64))/(2/b). Let k = 19 - d. Is k >= 1?
False
Let u(x) = 11*x - 10. Let d(q) = -32*q + 31. Let n(k) = -6*d(k) - 17*u(k). Let z be n(8). Let i be 37/7 + z/(-84). Which is smaller: i or 2/7?
2/7
Let m = -92 + 54. Let w = 38 + m. Is 3/38 greater than or equal to w?
True
Let s be 1/4 - (-4)/(-8). Let u = -10.12 + 9.9. Is u bigger than s?
True
Suppose 0 = 26*v - 4*v - 7282. Are 331 and v unequal?
False
Let i = 18.6 + -17.6. Is i >= 15.5?
False
Suppose 0 = -3*d + 4*m - 1 - 3, 5*d + 3*m - 3 = 0. Suppose -3*t + 5*h - 16 = d, t + h = -0*h + 8. Suppose -5*p = 2 + t. Is p equal to -2?
False
Let t = -20.1 + 20.91. Let l = 0.09 + t. Which is smaller: 3 or l?
l
Let k(v) = v**2 - 6*v - 66. Let j be k(12). Are j and 2 equal?
False
Let j be (-11)/(88/64) - -7. Which is smaller: j or -4/363?
j
Let g be ((-3)/(-9))/(74/187392). Let q = -844 + g. Let l = 21/148 + q. Which is greater: -0.4 or l?
l
Let l(u) = -u**3 + 2*u**2 + u + 5. Let k be l(3). Suppose -2*b = -4*t - 8, -3*b + t - 28 = 5*t. Does k = b?
False
Let b = 71 + -125. Let d = -53.9 -