 4. Let j = i + 4. Is 2/5 less than or equal to j?
True
Let w = 1.9 - -7.1. Is 0.1 greater than w?
False
Let z = 5 + 3. Is z at least 2?
True
Suppose -5*m + 33 = -8*m. Are -10 and m unequal?
True
Let y = -3 + 5. Suppose z = 5*x + 7, -z + 7 = 2*z - x. Let t = y - z. Is 1 bigger than t?
True
Let y = 6 - 5.4. Let i = 5 - 4.5. Let w = i - y. Are w and -0.1 equal?
True
Suppose 2*s - 9 = 5*d, 4*d = 3*d - s + 1. Let t = -3 - d. Let m = -2 - t. Is -2/5 smaller than m?
True
Let o = -4/27 + 475/3024. Is -1 bigger than o?
False
Let i be (20/16)/((-3)/(-36)). Do i and 16 have the same value?
False
Suppose 0 = 2*d + 3*d + 550. Is -110 not equal to d?
False
Let k be ((-39)/52)/(6/(-16)). Let q = 0 - -3. Is q at least k?
True
Suppose -x + 13 = 3*l, -2*l = -6*x + 2*x - 18. Which is smaller: x or -1?
x
Let z be 14/78*11 - 2. Which is bigger: 1 or z?
1
Let r = 12.13 - 12. Let p = -4.87 - r. Let c = p - -3. Which is bigger: c or 1?
1
Let h = 1 + 1. Let m = 5 + -4.5. Let v = -0.7 + m. Which is smaller: h or v?
v
Let c(l) = -5*l**3 - l - 1. Let g be c(-1). Suppose -g*x + 14 = -2*a + 3*a, 4*x - 16 = -2*a. Let o be 12/81*3/x. Are o and 0 nonequal?
True
Suppose 4*d - 13 = 3. Suppose -4*v + 2*f = -f - 11, -d*v - 4*f + 4 = 0. Suppose 6 = -2*h - 2*s, -3*s - 6 = 2*h + v*s. Is h != -2?
True
Suppose 0 = -4*i - 4 + 24. Suppose i = 3*m - 1. Which is smaller: 6/5 or m?
6/5
Suppose -3*v = -17 + 2. Do v and -3 have the same value?
False
Suppose 4*q = -43 - 29. Do q and -17 have the same value?
False
Suppose 3*u = 3*l + 15, -4*u + 3 = 3*l - 3. Which is bigger: -6/5 or l?
-6/5
Suppose 3*a + 4*b = 2*b + 4, a + 12 = 2*b. Are a and -15/8 nonequal?
True
Let r = -7 + 9. Suppose 0 = 4*b - 5*x + 33, 0 = -3*b + 5*b - r*x + 16. Which is greater: b or -8?
b
Let b(m) = m**2 + m. Let k be b(1). Let h be (-45)/(-18) - k/(-4). Are h and 1 equal?
False
Suppose f - 2*f + 3 = 0. Suppose -5 = -p - 0*p - 3*i, f*p + 11 = 4*i. Suppose 7*v - 2*v + 10 = 0. Does p = v?
False
Let d be 2/((-4)/(-10)) - (-6 - -5). Suppose 4*q + 2 = u + 7, 5*q + 2*u - 16 = 0. Let c be q*-6*2/(-4). Do c and d have different values?
False
Let p(b) = -b**3 + 4*b**2 + 4*b + 6. Let o be p(5). Let i = o - -3. Suppose 5*w + 16 = -4*z, -4 - i = 5*w + 2*z. Which is greater: w or -1/2?
w
Let v = 0.76 + 0.14. Are v and -0.2 nonequal?
True
Let h = 0.26 - 0.3. Let y = h - 1.96. Suppose -w = 5, 20 = 4*n - n - 4*w. Which is smaller: y or n?
y
Let s = -1 + 7. Let t = -166 - -166. Is t smaller than s?
True
Suppose -2*w = -12 + 2. Suppose -w*r - 30 = r. Are r and -6 unequal?
True
Let k = 5.9 + -6. Let o = 0.1 - k. Suppose u + 2 = -0*u. Is o greater than or equal to u?
True
Let l = -3 + 5. Let x be 15/(-18) - l/(-6). Is 0 greater than or equal to x?
True
Let k(h) = h - 1. Suppose p - 10 = -5*w, 4*w - 2 = -3*p + p. Let s be k(w). Suppose 2*x = -2*b - 0*x + 4, -4*b - s = -x. Does -1 = b?
False
Let s(k) = -k**2 + 2*k + 2. Let t be s(-1). Suppose -o - 2 = o. Is o not equal to t?
False
Let f = 8 - 4. Let b = 120 - 121. Is b <= f?
True
Let q(z) = z**3 + 3*z**2 - 4*z + 3. Suppose 4 = -4*g - 4, g = 4*m + 14. Let p be q(m). Which is smaller: 2 or p?
2
Suppose -18 = -5*b + 17. Let o(c) = -c + 5. Let f be o(b). Is f greater than 0?
False
Suppose 5 = -3*r - 0*r - 2*i, 4*r = -i. Let v(j) = j - 5. Let o be v(3). Let p be (-2)/9 - o/(-18). Is p at least as big as r?
False
Suppose 0 = -2*l + 15 + 11. Suppose -l = 2*k + 1. Which is bigger: -5 or k?
-5
Let g = 88 - 86. Is 0 equal to g?
False
Let u(b) = -b**2 + 9*b + 10. Let q be 4 - 4 - (-10 - 0). Let j be u(q). Let l = -3 + 2. Which is bigger: l or j?
j
Let a = -38/13 + 216/65. Which is bigger: a or 1?
1
Let z(b) = 7*b**3 + 2*b**2 - 1. Let t be z(1). Suppose 4*v - t = -0*v. Let l = -8 + 9. Which is smaller: v or l?
l
Let d = 6 - 0. Which is smaller: 5 or d?
5
Let l = 1.3 + -3.3. Let x = 4 + l. Let c = -0.2 + -0.1. Which is smaller: c or x?
c
Let p = 128 - 1279/10. Is 1 bigger than p?
True
Suppose 2*q - 7 = -15. Are q and 3 non-equal?
True
Let s = 23 - 24. Is -1 bigger than s?
False
Let c = 51 + -57.1. Let v = c - -6. Does v = -1?
False
Let a = 46 + -320/7. Does 3 = a?
False
Let h = 61 + -42. Which is greater: h or 18?
h
Let g(x) = x**2 + 7*x - 9. Let p be g(-7). Let a be 26/6 + 3/p. Is a greater than 4?
False
Suppose -4*c + 3*c - 10 = 0. Let r be 2/c - (-62)/10. Is 5 greater than or equal to r?
False
Suppose 5*d + 5*f = -0*d + 15, 9 = 3*f. Suppose d = -t - 3*x - 2 + 3, -6 = 3*x. Let w be (1/t)/(1/2). Is w != -1?
True
Suppose -6 - 10 = 2*u + 3*r, -2 = -5*u + 3*r. Let v(k) = k**2 - k - 1. Let p be v(u). Are 4 and p equal?
False
Let t = -10 - -10. Suppose -4*v + 2*v + 18 = t. Let l = v - 9. Which is smaller: 1 or l?
l
Suppose 0 = 2*a - 6 - 6. Is 4 greater than or equal to a?
False
Let z(l) = 16*l + 6. Let f be z(5). Let i = -59 + f. Let a be 1 - (48/i - 1). Is 1 less than a?
False
Suppose -g - 5 = -0*g, -2*g - 8 = 2*t. Suppose 0*d - 3 = 3*d. Which is smaller: d or t?
d
Let i = -13 - -13. Which is greater: i or 14?
14
Let j be (82/(-369))/(-1*1/2). Which is smaller: -3 or j?
-3
Let d = 6 - 12. Let u be 1/(-3 - 20/d). Is 3 != u?
False
Let u = 132.02 + 2.98. Which is bigger: u or 0.1?
u
Suppose 5*g + 9*r - 35 = 4*r, 4*g - 53 = r. Let d be (g/(-5) + 2)*5. Which is greater: -6 or d?
d
Let m = 1 + -1. Suppose 0 = -m*i + 2*i. Let g be -2 + i + (3 - 2). Are 0 and g nonequal?
True
Let c(f) = f**2 + 4*f + 4. Let j be c(-5). Let y = j + -11. Is -3 less than or equal to y?
True
Let q be (-3)/(-2) + (-2)/4. Let r be -6*((-21)/18 + q). Let x = -1533/58 - -53/2. Which is greater: r or x?
r
Suppose -2 = -4*h - 18. Let c be (2 + 0)/(3 + h). Let n(o) = -o**2 - 5*o - 3. Let l be n(c). Which is greater: 4 or l?
4
Let o be 3 + (-3)/(-3) + -1. Suppose 4*d - o*a = 11, 5*a - 3*a + 9 = 3*d. Let c(h) = -h**3 + 5*h**2. Let p be c(d). Is p at most as big as 1?
True
Let x = 28 - 85/3. Suppose -2*m + h + 9 = 0, -5*h + 2 = 4*m + 19. Suppose m - 3 = -l. Is l bigger than x?
True
Let y be (-114)/39 - -1 - -2. Let f = -140 - -139. Is y at least as big as f?
True
Let n = 8 - 8.02. Let d = 4.98 - n. Let l = 6 - d. Does l = -2/19?
False
Let c be (0 - -6)/(12/6). Suppose -3*v - f + 7 = -2*f, -4*v = -c*f - 1. Is 4 bigger than v?
False
Let c(a) = a**2 - 5*a - 8. Let m be c(7). Let x be (15/(-40))/(m/(-4)). Which is greater: x or 9?
9
Let a be 2/(1 - (-21)/(-15)). Let p be 28/a - (-8)/(-20). Is -8 at least p?
False
Suppose 0 = 13*g - 16*g - 12. Is g less than -7?
False
Let d = -2/127 - -424/10795. Are d and 1 unequal?
True
Let h be 3/6 + 1/2. Which is smaller: h or -4/9?
-4/9
Let p be (-3)/(-9)*(2 + 1). Which is smaller: p or -1/3?
-1/3
Let p = -5.7 - -5.5. Is p not equal to -0.2?
False
Let v be -4 + (-266)/(-63) - 274/(-144). Is v greater than or equal to 1?
True
Let y(d) = 0 - d**3 - d - d**2 + 0*d**2 + 2*d - 1. Let x be y(-2). Which is smaller: -2/7 or x?
-2/7
Let s(a) = 5*a**2 + 6*a - 2. Let i(u) = -9*u**2 - 12*u + 4. Let p(w) = 6*i(w) + 11*s(w). Let r be p(6). Let q = r + -4. Is q at least as big as -1?
False
Let v = -3 - -3. Let i(n) = -n - 3. Let q be i(-3). Let k = v + q. Which is smaller: 3/4 or k?
k
Suppose -2*y = -2*v + 14, 5*v + 0*v - 29 = 2*y. Suppose 0 = v*u - u + 2*b - 6, -3*u - b + 2 = 0. Is -3/7 > u?
True
Let v(m) = m**2 + 8*m. Let b be v(-8). Let n = 17 - 16. Is b greater than n?
False
Suppose 0 = -4*h + 17 + 47. Is 17 at most as big as h?
False
Let k be 0*(4 + (-9)/2). Is -1/4 bigger than k?
False
Suppose -2*z = -5*n + 2, 0*z - z + 14 = 5*n. Suppose -z*r + 4 = -0. Let k = -0.06 + 0.06. Is k bigger than r?
False
Let k(n) = 3*n**2 - 41*n + 2. Let d be k(14). Which is smaller: 14 or d?
14
Let z be 1/(-4)*76/129. Let v = z - -3/215. Is v less than or equal to -1?
False
Let n = 1.26 - -0.14. Let x = 1.33 - n. Let h = -75 + 75. Is x > h?
False
Let r be (3/(-4))/(1/(-4)). Suppose k = 5*k - 12. Let h be k/(2*r/(-6)). Is -4 greater than or equal to h?
False
Suppose -33 = -w + 3*h, 0 = -3*w + 2*w + h + 27. Suppose -3*u = 4 - 1. Let o be (-1)/u*(-4)/w. Is o greater than or equal to -1?
True
Let m = 6.7 + -6.6. Is m less than 46?
True
Let f = 137 + 39. Let w = -1/161429 + -198557663/1130003. Let l = w + f. Which is greater: l or 0?
l
Let x(c) = c**2 + 5*c + 3. Let k be (-2)/(-8) - 21/4. Let u be x(k). Suppose 0*y + 3*y + u*t = 0, -4*t - 3 = 