y be (-22)/(-18) - m/(-45). Is 3 greater than y?
True
Let t be (-5 + 3)*(-1)/(-2). Suppose -18*z = -11*z - 14. Do z and t have different values?
True
Suppose 2 = 3*o + 23. Let q(d) = -d**3 - d**2 + d + 11. Let l be q(0). Let p = o + l. Are p and 3 unequal?
True
Let d(p) = -p**3 - 6*p**2 + 6*p - 10. Let x be d(-7). Let r = -2 - 1. Is x > r?
False
Let y(l) = -l**3 - 8*l**2 + 21*l + 12. Let q be y(-10). Which is bigger: -0.6 or q?
q
Suppose -4*z + 10 = -z + 4*q, -2 = 5*z + 2*q. Let f be (1/(-3))/(z/(-12)). Is f less than -5?
False
Let g = -19 + 26. Let s = 7 - g. Which is smaller: 8 or s?
s
Let y = -19 - -20. Which is smaller: 0 or y?
0
Let z = -18.69 + -0.31. Let f = z - -11. Is 2/5 at least f?
True
Let i = 221 + -220. Let o = 0 + 2. Let r be (1 - -1)/o*1. Is i <= r?
True
Let n be (1 - 2)/((-1)/(-17)). Let h be -4*(n/6 + 3). Which is smaller: -1 or h?
-1
Suppose -2*r + 6 = 5*g - g, -16 = g - 3*r. Suppose -2*j = -j - 17. Let k = j - 152/9. Is g smaller than k?
True
Let z = 135 + -134.8. Which is bigger: z or -7?
z
Let i be (-93)/33 + (-4)/22. Which is smaller: i or 0?
i
Let b = -16.3 - -17. Let j = b - 0.5. Let m be (2/4)/((-5)/(-10)). Which is bigger: j or m?
m
Let o be -2 - (-4 - -3 - 0). Let y = 0 + o. Is 1 smaller than y?
False
Let f = 3/22 - -29/110. Let b = 5.1 + -4.73. Let z = b - -0.03. Is f smaller than z?
False
Let b be 2/(-4)*(0/4)/5. Is b < -2/3?
False
Suppose -3*n - 1 + 13 = 0. Let a be 50/18 + n/18. Which is smaller: 1/4 or a?
1/4
Let a(b) = 6*b. Let c(t) = -7*t. Let d(l) = -5*a(l) - 4*c(l). Let f be d(-2). Let m be 2/8 - (-3)/f. Is m bigger than 1?
False
Let f be ((-40)/6)/((-1)/(-3)). Suppose -40 = 9*t - 7*t. Is t greater than or equal to f?
True
Let y be 5/(40/(-52)) - -2. Let j(q) = -q**2 - q - 6. Let a be j(0). Are a and y unequal?
True
Let p(n) = n - 18. Let g be p(8). Is -34/3 at least as big as g?
False
Suppose 0*x = -x + 5. Let i(q) = q**3 + 8*q**2 - q - 3. Suppose 0 = -4*h + 5*g - 42, -3*h + 0*g + 2*g - 28 = 0. Let m be i(h). Is m > x?
False
Suppose 5*g + 0 = 5. Is g at most as big as 3/13?
False
Let j = -3 - -3. Suppose -4*k = -5*s - 3, -4*s + 8*s - 2*k = j. Suppose -g = s + 1. Which is smaller: -3 or g?
-3
Let l(f) = f**3 - 3*f**2 - 2*f + 2. Let i be l(3). Suppose 0 = 9*o - 4 + 22. Is o at most i?
False
Let g = -3.9 - -0.9. Let h(l) = l**3 - 4*l**2 - 7*l + 4. Let v be h(5). Let c be 1/(v/4 + -2). Does c = g?
False
Let t = 18152/29 + -626. Is t smaller than 0?
True
Let x be 6 + 3 + (-8)/2. Suppose -x*w - 2 = -7. Is 2/7 less than or equal to w?
True
Suppose 5*v - 24 - 1 = 0. Let f(b) = -3*b**3 - 6*b**2 + 2*b - 5. Let q(p) = -p**3 - p. Let c(w) = -f(w) + 4*q(w). Let h be c(v). Does 0 = h?
True
Let a be 23/5 - 2/(-5). Let v(p) = -p - 8 + a + 0*p. Let i be v(-3). Is i > 1?
False
Let s = -9 - -17. Suppose -5*o - s = 12. Do -4 and o have different values?
False
Let d(i) be the second derivative of i**4/6 - 2*i**2 - i. Let r be d(-2). Which is smaller: r or 2?
2
Let r = 18 + -1. Suppose 2*j = -a - 1, 0 = -2*j + 4*a + r - 3. Which is bigger: j or 4?
4
Let x = 119/2 - 61. Is x > -1?
False
Let a be 1 - ((-444)/93)/(-4). Let i = -38131353/217 - -175721. Let u = a + i. Which is smaller: u or -2?
-2
Suppose 0*b + 17 = -3*u - b, 0 = -u + 3*b + 1. Let h be -2 - (2 + (1 - 2)). Let q be (-4)/(-6) - u/h. Is -1 != q?
False
Let k = -29 + 21. Let j = k + 5. Let f = j - -3. Which is greater: f or 3?
3
Suppose 3*p - 8*p + 3*r - 137 = 0, 5*p - 5*r = -135. Let x be p/10 + (-5)/25. Let b be 0 - x/(3/(-2)). Which is greater: b or -1?
-1
Let o be (-9*2)/((1 + -2)*1). Which is greater: o or 17?
o
Let y = 21 - 15. Let i be y/(-27) + 8/9. Is i bigger than 2?
False
Suppose 4*y + 5*w - 22 = 0, 0*w + 2*w + 11 = 5*y. Suppose 5*x = -y*t - 31, 0*x + 3*x + 17 = -t. Suppose 9 = -2*v + 3. Is t less than or equal to v?
False
Suppose 3*x + 3 = 6*x. Which is smaller: 2/7 or x?
2/7
Let q(p) = p**2 + 9*p. Let g be q(-9). Suppose -4*j = -8*j - 8. Which is bigger: g or j?
g
Let j be 1/(-6) - -1*51/90. Which is smaller: j or 2/47?
2/47
Let l = 0.04 + -7.84. Let o = -8 - l. Do o and -1/2 have the same value?
False
Let h = 5 - 0. Suppose 11 = t + 2*y, 72 - 28 = 4*t - h*y. Suppose 4*o - 4*i = -9 - t, 3*i = 5*o + 19. Which is smaller: o or -3?
-3
Let z be 6/(-21) - 131577/(-189). Let o = 697 - z. Which is greater: o or 2?
2
Let r = 9.8 - 7.8. Which is smaller: r or 16?
r
Let q = 3 - 4. Let c = -0.6 + 5.4. Let s = 5 - c. Which is smaller: s or q?
q
Let o = 0.95 + -0.05. Let p = o + -0.8. Is -0.1 less than or equal to p?
True
Let t be 75/27 + (-4)/(-18). Let w = t + -5. Let o be w/3 + (-1)/12. Is -1 at least o?
False
Let m = -47 + 30.1. Let j = m + 17. Which is bigger: j or -5?
j
Let q = -258/1339 + 4/103. Suppose 4*s = 4*a + 4, -3*s + 3 = -a - 0. Is q < a?
True
Let n be (112/(-70))/(4/(-90)). Let y be 1/(-5) - n/(-80). Which is bigger: y or 0?
y
Let j = 15 - 14. Which is bigger: j or 0?
j
Suppose 3*a = 5*w - 5, 1 = 3*a - 2*w + 3. Let j be 30/(-8) + (-48)/(-16). Which is smaller: a or j?
j
Let p be 2/3*6/(-10). Let s be ((-6)/(-9))/((-46)/(-6)). Are p and s equal?
False
Let f be -2 + 2 - 3*1. Let w(t) = t + 2. Let m(u) = u + 1. Let h(d) = 2*m(d) - 3*w(d). Let n be h(f). Is n bigger than 1/8?
False
Let b be 421769/(-304)*(-4)/(-123). Let n = 2488/57 + b. Let k = n - -9/41. Is k at least as big as 0?
False
Let g be (1 - 0)*(-6)/9. Let q be (1/(-15))/((0 + -5)/10). Is q != g?
True
Let k(v) = v**2 - 2*v - 1. Let d be k(3). Suppose -r = -4*q + d - 10, -2*q - 4 = -3*r. Which is smaller: r or -1/3?
-1/3
Suppose 4*m - 60 = 40. Suppose f + 2*q + 10 = 0, -3*f + 2*f = 5*q + m. Which is smaller: f or 1?
f
Let q = 33 + -32. Which is smaller: q or 12/11?
q
Suppose -t - a = -3*t + 2, 4*t = a + 4. Which is smaller: t or -5/17?
-5/17
Let f(k) = -k - 13. Let w be f(-11). Let d be 64/(-12) + (1 - w). Let l = d - -2. Which is bigger: l or 1/2?
1/2
Let m be (-3)/((-3)/19) + 3. Suppose -2*k = 4*d - 20, 3*k + 5*d = 3*d + m. Let h be k/(-10) - 222/(-120). Which is smaller: 0 or h?
0
Suppose 4*j + j = 0. Let c = j - 1. Let u = -4 - c. Is -4 greater than u?
False
Let b be (-1)/(-15) - (-2)/(-5). Which is smaller: 2 or b?
b
Let d = -0.5 - -0.8. Let i be (-1)/((-14)/(-4)) - (-228)/504. Which is smaller: d or i?
i
Let w be (-10 - -6) + -1*3/3. Do w and -19/4 have the same value?
False
Let i be (-2)/(-2) + -5 + 6. Suppose 7*l + 5*n = 2*l + 20, -4*n = -i*l + 8. Is 4 less than l?
False
Let x be (1 - (0 - 0)) + 12. Let d = x - 10. Suppose 4 = 2*a - 4. Is a not equal to d?
True
Let o = -2.7 - 8.3. Let m = 10 + o. Is m > 7?
False
Let t(o) = o + 1. Let n be t(3). Let s(f) = 5*f**2 + f - 1. Let b be s(2). Suppose 5*a + 1 = b. Is a not equal to n?
False
Suppose 15*t + 20 = 19*t. Is t <= 5?
True
Let j be (8/(-10))/((-4)/(-382)). Let h = j + 77. Let u = 23/30 - h. Which is smaller: u or -1?
-1
Suppose f - 4 = w + 2*f, -41 = 5*w - 2*f. Let l = -6 - w. Which is smaller: 2 or l?
l
Suppose -2 + 3 = -b. Let u be (-1)/(-1) - (-1 + 0). Let c be 1/(0 - 6/u). Is c < b?
False
Let w = 15/17 + -677/748. Is w less than or equal to 2/3?
True
Let w = 17828/25 + -713. Let h(g) = 3*g + 19. Let m be h(-6). Which is smaller: m or w?
w
Let z be 28/(-21)*(-15)/(-2). Let v be z/(-38)*11 - 3. Which is bigger: v or -2/9?
v
Let s = 809/200 - 33/8. Which is bigger: s or 0.1?
0.1
Let k = 2.92 + -3. Let j = -22.1 + 22. Which is greater: j or k?
k
Let d(c) = c**3 + 5*c**2 - c - 2. Let j be d(-5). Suppose -6 = -4*s - z + j*z, 4*z = -4*s + 12. Suppose -s*p - 6 = -0*p. Are p and -3 nonequal?
False
Suppose -a + 6 = -4*z + 24, -5*z = a - 18. Is 2/7 not equal to a?
True
Let c = -61 + 61. Is -3/8 less than c?
True
Suppose 0 = -3*r + r + 4. Suppose h + h = -r. Is -3/7 < h?
False
Let p = -0.02 + 0.32. Let n = p + -0.4. Let x = 0 + n. Is x at least -0.3?
True
Let l = -0.443 + 0.143. Is l greater than or equal to -7/3?
True
Let y = -0.2 - -0.2. Are y and 9 unequal?
True
Let a(s) = -2*s**2. Let q be a(-1). Let p(y) = y + 9. Let v be p(-4). Suppose -h + 3*b + 1 = -2*h, v*h + 5 = 4*b. Are h and q nonequal?
True
Let v = 1.2 - 1.2. Let c = 0.3 - -0.7. Let y = c - v. Which is greater: -3 or y?
y
Let r(v) = -v - 14. Suppose -4*n = 25 + 27. Let j be r(n). Which is greater: j or 2/15?
2/15
Suppose 2*p = -2*s - 14, 3*p - s = -1 - 0. Let x = p - -12/7. Does x