 smaller: -1 or l?
-1
Let n be 0 - 1 - (-65)/95. Let d(x) = -x**3 - 5*x**2 + 6*x + 1. Let y be d(-6). Does n = y?
False
Let b be 3/(3/66*2). Let f be (b/(-18))/(5/(-4)). Let z = -4/5 + f. Is z != -0.1?
True
Suppose 2*o = 3*y - 7*y, -4 = -2*o. Let l be 4/2*(-2)/2. Let j be 0/(2 - 2 - l). Which is greater: y or j?
j
Let n = -2.2 - 0.2. Let t = n - -0.4. Is -0.1 < t?
False
Suppose -4*z = 3*t - 3, 4*z + t = 3*t - 2. Which is smaller: 2/65 or z?
z
Let x be 19 + 2/2*1. Let p(g) = -g - 5. Let z be p(3). Let q be (-17)/x - 2/z. Is q at most as big as -1?
False
Let r be (2/5)/((-7)/(-5)). Suppose -1 + 7 = -w. Let h(o) = -o**3 - 6*o**2 + o + 7. Let y be h(w). Is r at least y?
False
Suppose -13*r + 10*r + 3 = 0. Which is greater: 3/4 or r?
r
Suppose -21*t = 17 + 4. Suppose -3*n = -0*n - 18. Which is bigger: t or n?
n
Let o(b) = -b**2 - 4*b - 4. Let f be o(-4). Is f equal to -13/4?
False
Let q(i) = -5*i**2 - i + 2. Let s be q(-4). Let v = 369/5 + s. Is 1 < v?
False
Let i(m) = m**2 + 8*m + 7. Let d(n) = -n**3 - n**2 + 3*n + 2. Let c be d(-2). Let j be (1 - (2 + c)) + -6. Let s be i(j). Is s greater than or equal to 0?
True
Let i = -82 + 57. Which is smaller: -24 or i?
i
Suppose 5*l - 5*h = 0, -5*l - 3*h + 19 = 3. Suppose -l*n - 6 + 0 = 0. Let x be n*(-4)/(-6) - -3. Is x > 2?
False
Let r = -0.2 + 0.3. Let t = 0.4 - r. Let l = -1147/28 + 165/4. Is l at least as big as t?
False
Suppose b + 7 - 3 = 0. Are -4 and b unequal?
False
Let z be (-2)/7 - (-8)/28. Which is smaller: -2/3 or z?
-2/3
Let s(v) = v**2 + 8*v + 12. Let a be s(-10). Let w be (42/4)/((-1)/(-3)). Let g = w - a. Are 0 and g equal?
False
Let i = 329 - 327. Let v = 41/63 + 1/63. Is i <= v?
False
Suppose 11*g + 5 = 6*g. Let x = -31 + 281/9. Let h = x - 19/45. Is g bigger than h?
False
Let u be (-9)/(-12) - 2/(-8). Let f be (3/(-9))/((-2)/(-18)). Let b = f + 4. Is u != b?
False
Let y(k) = 3 - 2*k**2 + 3*k**3 + 12*k**2 - 10 - 4*k**3 + k. Let m be y(10). Let g(n) = -n**3 + 4*n**2 - 4*n. Let c be g(m). Do c and -4 have different values?
True
Let t be (-15)/6 - -2*1. Which is smaller: 0.1 or t?
t
Let c(n) = n**2 - 2*n. Let p be c(3). Let k be 0 - ((-6 - -3) + p). Let d be (-3 + 3 + k)/(-1). Which is smaller: 2 or d?
d
Suppose 4*c + p - 15 = 0, -9 + 0 = -4*c + p. Let n be 3/(-2)*(4 + (-154)/21). Is n not equal to c?
True
Let g(r) = 2*r**2 - 2*r - 16. Let b be g(5). Does b = 24?
True
Suppose -4*z - 3*m = -626, -2*m - 2*m + 783 = 5*z. Let g = z - 1393/9. Is g at most 1?
True
Let w be (1/(-2))/(16/32)*0. Is 0.03 < w?
False
Let x = 5205/18239 + -17/61. Do x and 0 have the same value?
False
Suppose -32*w = -31*w. Let s = 14 + -29/2. Is s at least w?
False
Let x = -1.2 - 0.3. Let t = -2.5 - x. Which is smaller: t or 3?
t
Let t = 3573152/9 - 396268. Let s = -748 + t. Are 1 and s nonequal?
True
Let f = -2 + 4. Let v(g) = -g**2 + 6*g + 5. Let i be v(6). Suppose -i*d - 4*y = 16, -d + 0*y = f*y + 8. Which is greater: d or -4/7?
d
Let j(g) = g**2 + 3*g + 3. Let x be j(-4). Suppose 0 = -x*q + 8*q. Which is smaller: -4 or q?
-4
Let n be (2/(-6))/((-2)/(-4)). Which is greater: 0 or n?
0
Let p = 11/45 + -4/9. Suppose -5*b + 4*b - 1 = 0. Which is greater: p or b?
p
Suppose -c + 0 - 3 = 0. Is -5 greater than c?
False
Let c = 430 - 8173/19. Which is smaller: c or 1?
c
Let f be 4/(-22) + 872/(-44). Which is bigger: -19 or f?
-19
Let d = -56 - -40. Let x = d - -16.5. Let t = -1/71 - 137/355. Which is bigger: t or x?
x
Let c = -18 - -16. Which is greater: c or -4/3?
-4/3
Let f = 3/14 + 9/7. Which is bigger: 3 or f?
3
Suppose 2*s - 3*k + 6*k = -24, -16 = 4*k. Let f = 2 + s. Which is smaller: -2 or f?
f
Suppose -16*k = -5*u - 11*k + 475, -u - k + 105 = 0. Is 99 less than or equal to u?
True
Let a = 5 - 18. Which is smaller: -12 or a?
a
Let f = -31 - -29. Do 2/9 and f have the same value?
False
Suppose 0 = -4*u + 2 + 14. Let y be (u - 3)*(-2)/1. Are -10/3 and y equal?
False
Suppose -5 + 1 = -4*u. Let m(b) = 2*b - 6. Let n be m(4). Suppose -5*c + 12 = n. Which is bigger: c or u?
c
Let c(i) = i**3 - 6*i**2 - 4*i - 20. Let q be c(7). Is 1 greater than q?
False
Let w = 4.03 - 2.4. Let b = -1.7 + w. Let o = 0.07 + b. Is -1 equal to o?
False
Let i = 0.88 - 0.82. Is i equal to -5?
False
Suppose 5*w - 3*w = 6. Do w and 2 have the same value?
False
Let v be (-26)/4*(-4)/(-10). Which is smaller: v or -4?
-4
Let s = 0.94 - -0.06. Let j = 0.27 + 0.83. Is j greater than or equal to s?
True
Let y = -142 + 226. Let u be (-1)/(y/(-8))*1. Does u = -1?
False
Suppose v - i = i - 3, v + 15 = 5*i. Suppose 7*y = 3*y + 3*s + 21, -v*s - 15 = 0. Suppose -p - 14 = -5*o, -2*p + 11 = -y*p + 4*o. Which is smaller: p or 4?
p
Let h = -12 - -27. Is 15 smaller than h?
False
Let q = -12.3 + 11. Let j = q - 2.8. Let s = 4 + j. Is s greater than -0.1?
False
Let i = -2740 + 8302/3. Let k(s) = -3*s - 6. Let h be k(7). Let c = h + i. Which is bigger: c or -1?
c
Let u = 4/7 - 6/35. Which is smaller: u or 5?
u
Let s(g) = -g**2 - 4*g - 3. Let u = -3 + 1. Let p be s(u). Which is bigger: -8 or p?
p
Suppose -10*b + 15*b = -290. Is -57 less than or equal to b?
False
Let h be (-27)/(-18)*(-6)/9. Which is smaller: 2/69 or h?
h
Let k be -1 + 4 + (3 - 85). Let q = k - -1263/16. Which is greater: 0 or q?
0
Suppose 3*f + 3*f = 0. Let l be 3183/(-4023) - -1 - 0. Let j = l - -2/149. Which is smaller: f or j?
f
Suppose 3*k - 7*k = 84. Let y be -1 + (-1 - k/12). Is y at most as big as -5/4?
False
Let m = -1031/2 + 525. Which is smaller: 9 or m?
9
Let b = 0 + 2. Let z be (-31)/(-3) + b/(-6). Let d be (((-7)/z)/(-7))/(-1). Are d and 0.1 unequal?
True
Suppose -3*w = -0*w. Suppose -3 = -a - w*a. Suppose 3*k - 13 = -r - 4, -a*r + 3*k + 15 = 0. Which is bigger: 7 or r?
7
Let o = 24 - 23. Is -1/24 <= o?
True
Let g = -3 + 8. Suppose 0 = -5*s + 15 - g. Does s = 2?
True
Let i = -2267/10817 - -1/373. Which is smaller: 1 or i?
i
Suppose y - 105 = -4*y. Suppose 5*k - 27 = -2*i, -i - 5*k + y = -5*i. Which is bigger: 3/2 or i?
3/2
Suppose -2*c - 6 = 3*h - 0*h, -h - 10 = -2*c. Suppose c*w + 2 = 5. Let u be (0 - w) + (-1 - -2). Which is smaller: -1/7 or u?
-1/7
Suppose 0 = -5*p + 19 - 24. Is p <= -1/18?
True
Suppose -7 = -5*q - 4*y + 18, 5*q = -2*y + 25. Which is bigger: q or 7?
7
Let q be (0 - (-4 + 1)) + -9. Let x be (q/45)/(3/9). Is x at least -6?
True
Suppose -5*z + 4*l - 145 = 0, 0 = 2*z + 5*l - 2*l + 58. Are 0 and z unequal?
True
Let v(d) = d**2 + 10*d + 16. Let n be v(-7). Is -16/3 bigger than n?
False
Let q = -28 + 28. Which is smaller: -4 or q?
-4
Suppose -3*b - 18 = 6. Let p(u) = -u**3 - 7*u**2 + 8*u + 6. Let z be p(b). Suppose 4 = -5*a - z. Is -1 greater than a?
True
Suppose 2*m = m. Suppose 5*s + m = 10. Let i be (-7)/((-21)/6) - s. Which is smaller: i or 2/5?
i
Suppose -33*c = -35*c - 92. Is c greater than or equal to 2?
False
Let k be 4*1 + (-18)/4. Which is smaller: -1 or k?
-1
Suppose -2*n = -5*z + 37, 5*z + 1 + 14 = 0. Which is smaller: -53/2 or n?
-53/2
Suppose -4*s - 219 = -75. Is -36 greater than s?
False
Let o be (-1)/(-9)*-4*1. Let i = o - 2/9. Which is greater: i or -2?
i
Let d(o) = -o**3 - 3*o**2 + 2*o - 4. Let v be d(-4). Let u = 6 - 2. Let t be (2/u)/((-1)/(-2)). Which is smaller: t or v?
t
Let i = 21 + -6. Suppose -8*j + 3*j = -i. Suppose -o - j = -0*o. Is -3 bigger than o?
False
Suppose 0*g + 12 = g + 4*d, -46 = -3*g - 2*d. Let c be (4 - (1 + 1))/g. Which is bigger: c or 0?
c
Let g = 22 - -9. Do 33 and g have the same value?
False
Suppose 4*i + i - 14 = -3*t, 5*t - 20 = -5*i. Let r be (i - -1 - 1) + -1. Suppose l + 0 - 1 = 0. Which is greater: l or r?
l
Let m = 4 + -9. Suppose -5*w = -2*w - 4*f + 14, -10 = 2*w - 2*f. Are m and w unequal?
True
Let l be 54/5 - (-4)/20. Let d(k) = k**3 - 10*k**2 - 12*k + 13. Let t be d(l). Is t smaller than 2?
False
Suppose -4*h + 4*j = -8, 0*h + 3*j = -h - 6. Which is smaller: -1/3 or h?
-1/3
Let u = -47 + 48. Is u greater than or equal to -29/4?
True
Let s(a) = -a**3 - 6*a**2 - a - 7. Let v be s(-7). Let k be (-4)/14 - 3710/v. Let d = k - -526/7. Is -1 at least d?
False
Let l = 9 - 12. Let z(w) = 11*w**2 + 5*w - 21. Let n(t) = 5*t**2 + 2*t - 10. Let h(b) = -13*n(b) + 6*z(b). Let m be h(l). Which is smaller: m or -2/11?
-2/11
Suppose -6 = 2*a - 2. Let v(t) = -3*t - 1. Let z be v(a). Which is bigger: 1/3 or z?
z
Let v = 88 - 614/7. Suppos