4. Which is bigger: d or 3?
3
Let m = -0.2 + 0. Let k = -0.1 + -2.9. Let v = k + 3. Is m at most v?
True
Let q = -0.46 + 0.26. Suppose 4*c - g + 10 = 0, -g - 4 = 4*c + g. Which is smaller: q or c?
c
Suppose -2*d + 2 = -d. Suppose 3*v + 2*i = -0*i - 3, -d*v - 3*i = 2. Is v at least as big as 2/27?
False
Let q = 4 - 6. Let u be (-2)/8 + (-21)/(-20). Which is greater: u or q?
u
Let g(h) = -h**2 - 6*h - 8. Let d be g(-4). Which is smaller: -1 or d?
-1
Let f be 1 - (-1 - 0/3). Let r(l) = -3*l**f + 3 + 4*l**2 - 6*l - 4. Let h be r(6). Is 1/8 greater than or equal to h?
True
Suppose -3 = -w + 2*p, -3*w + p + 31 = 6*p. Do 8 and w have the same value?
False
Let l = -1.2 + 6.2. Let s = 56 + -61. Let x = l + s. Are 2 and x equal?
False
Suppose 0 = 3*d - 6*d. Suppose g - 1 = -d. Let p = -217 - -1951/9. Is g equal to p?
False
Let h(f) be the first derivative of f**2/2 - 7*f - 2. Let y be h(8). Are y and 3 unequal?
True
Let v = -34.5 - -35. Is v not equal to -0.3?
True
Suppose -5*s + 4*r = -r - 30, 4*r = 4. Suppose -4*a = -19 + s. Is a < 3?
False
Suppose 4*x + 10 = -10. Let z = 7 + x. Let i be (-20)/(-32) + 1/8. Is z at most as big as i?
False
Let l = -0.08 - -0.18. Which is greater: l or 0.05?
l
Let k = 4.8 + 1.2. Let h be ((-6)/10)/(6/4). Which is smaller: k or h?
h
Let i = -72 + 218/3. Is i smaller than 18?
True
Suppose 0 = -m + 3*m - 2. Are m and 0 nonequal?
True
Suppose -2*z + 150 = -4*d, -5*z + 4*d + 350 = -d. Which is smaller: 66 or z?
z
Suppose -3*n - u + 11 = 0, -3*n + 7 = -5*u - 10. Suppose -n*m = -5*m. Which is greater: 1 or m?
1
Let i(c) = 15*c - 2. Let w be i(-2). Let o be 6/(-21) + w/(-14). Suppose 5*u = 3*t + 36, 2 = u + 4*t - o*t. Is 5 < u?
True
Suppose 0 = -i + 5*g - 24, -g = 5*i - 2*g. Suppose -1 = 5*f + 4. Is i < f?
False
Suppose v - z + 6 = 0, v - 3*z + 10 = 2*v. Let n(q) = -q**2 - 3*q - 2. Let g be n(v). Which is smaller: g or -1?
-1
Let r(c) = c**2 + 11*c - 1. Let n be r(-11). Let u = -13 + -2. Let d be 6/u + 6/(-10). Do d and n have the same value?
True
Let s be (-100)/60*(0 + 2/(-10)). Is 10 < s?
False
Suppose -j - 4*s - 30 = 0, -j = 4*j + 4*s + 102. Let l = j + 125/7. Let m = 2.1 - 2. Is m bigger than l?
True
Suppose 0 = -2*m - 9 - 1. Suppose -z = -3*b + 7 - 22, -3*b + 2*z = 15. Is b equal to m?
True
Let u = 4 - 4.8. Let r = -0.2 - u. Let y = r - 1.6. Which is greater: 1 or y?
1
Suppose 176*a - 170*a + 714 = 0. Is a not equal to -119?
False
Suppose -4*o = -2*o + 10. Let k(u) = -2*u - 7. Let m be k(o). Suppose 2*h + 5*y = 3, 2*h - 6 = y + m. Which is greater: 5 or h?
5
Let k = 2.5 - -10.5. Do 3/5 and k have the same value?
False
Let w(b) = b**2 - 12*b - 16. Let c be w(13). Is c at most -1?
True
Let l(g) be the third derivative of -g**4/12 - g**3/6 - 3*g**2. Let s be l(-3). Let d be 2*(5/2)/s. Is 2/21 at least d?
False
Let q(k) = k + 12. Let c be q(-10). Suppose 0 = w - c*w - 7. Suppose 16 = r + 23. Do w and r have the same value?
True
Let o = -113 - -113. Which is smaller: o or -2/313?
-2/313
Let i be (-88)/3 + 5/15. Let a = 115/4 + i. Do a and -0.01 have different values?
True
Let v be ((4/(-6))/2)/(228/(-108)). Which is smaller: v or 0?
0
Let w be 2/5 + 18/5. Suppose -5*j + 72 = -3*p, 2*p + 94 = w*j + 38. Suppose -4*n - 8 = j. Is -6 smaller than n?
True
Let s = 600 - 1828/3. Let f = 8 + s. Which is smaller: f or -0.1?
f
Let q = -41 + 37. Let a be (1/5)/(4/(-5)). Are q and a unequal?
True
Let f(u) = -u**3 - 8*u**2 - 12*u - 4. Let g be f(-6). Which is bigger: g or 2/9?
2/9
Let p be (2/(-4)*-1)/1. Let w = 0.16 - 0.09. Let b = -0.23 - w. Are p and b non-equal?
True
Let s = 2 + -4. Let f be (-3 - s)*3/12. Which is smaller: f or 0.1?
f
Let k = 16 + -25. Is k smaller than -9?
False
Let d be 29 + -10 + (-6)/(-2). Is 1 at most d?
True
Let s be (-8)/(-40) + (-471)/105. Is s less than -3?
True
Let a(q) = -q + 7. Let r be a(6). Suppose 5*l = -14*l. Which is bigger: r or l?
r
Let f be 6 + 0/1 + 1. Let u = -7 + f. Which is smaller: u or -1/11?
-1/11
Let c be (6 - 7)*(-1 - 0). Is c > 17/7?
False
Let u(r) = -r**3 + 17*r**2 - 16*r + 1. Let x be u(16). Does -1/7 = x?
False
Let m be 1 + 6322418238/(-8548501455) + 0. Let p = -12/1623647 + m. Let k = -4/135 + p. Is k != -1?
True
Let l(b) = b**2 - 6*b - 11. Let v be l(8). Suppose -5*p = -5*m, -v*m + 4*m + 12 = 5*p. Suppose -x - 1 + p = 0. Are 1 and x non-equal?
False
Let g = 961/2226 - 1/318. Suppose 4 = -5*l - 1. Which is greater: l or g?
g
Let k = -1.3 - -0.9. Which is bigger: k or -0.2?
-0.2
Let m(a) = a**2 + 8*a - 4. Let v be m(6). Suppose 5*k = -5*l + v, -k + 10 = l - 3*k. Let x be l/(-8) - 4/(-16). Is x greater than or equal to -1?
False
Let r = 43 + -28. Is 16 bigger than r?
True
Suppose -j + 2 - 5 = 4*k, -2*k - 4*j = 12. Suppose -2*r = -0 + 4. Is k < r?
False
Suppose 5*j - 25 = -10. Suppose 4*c - 4*i - 16 = 0, j*c = c - 3*i + 3. Let d be ((-2)/(-4))/(2/8). Is d bigger than c?
False
Let k be (72/(-21))/((-1)/7). Let b be (-14)/k*(-15)/10. Let w = b + -27/40. Is w less than 0?
False
Let l = 139 + -141. Is l less than or equal to -0.048?
True
Let w = 24 - 24.2. Is 3 at least w?
True
Let f = -8 - -7.9. Let r = -1 + 0.9. Is r < f?
False
Let x be 4 - 2 - 0/(-3). Suppose 4 = -d + x. Let q = d - -3. Which is smaller: 1/2 or q?
1/2
Let i = 15 - 15. Suppose i = -3*z + 5*z - 42. Is z less than or equal to 22?
True
Let s(y) = y**3 + 10*y**2 + 10*y + 3. Let v be (-3)/(-7) - 132/14. Let b be s(v). Let c be b/(-99) + (1 - 1). Is -1 not equal to c?
True
Let p = 6.3 - 9.35. Let x = 3 + p. Let w = x - -0.15. Which is greater: w or -0.1?
w
Let u = 0.13 - -2.27. Is 0 at most as big as u?
True
Let x(y) = -9*y + 2*y**2 + y - 8*y**2 + y**3 + 4. Let z be x(7). Is -5 at most as big as z?
True
Suppose -3*r + 6*r - 17 = -u, 0 = -r - u + 7. Which is smaller: r or 0.1?
0.1
Let v be ((-2)/(-4))/(1/2). Which is smaller: v or -1?
-1
Let s = -3.98 + -0.02. Let y = s + 3.9. Let v = -0.1 + -0.1. Which is greater: y or v?
y
Let c = 4 + -3. Suppose 6*s = 7*s. Are c and s non-equal?
True
Let h = 0.1 - 0.1. Let y = -2.2 + 2. Let u = y - 0. Which is greater: h or u?
h
Let i = 605 - 608. Suppose -4*z + 0*u - 4*u = 0, -3*z - 5*u = 10. Suppose 5*q + 10 = 4*k, -2*q - z*k - 6 = -2. Which is smaller: q or i?
i
Suppose 0 = 5*r + 3*t - 252, -r - 4*r = 5*t - 260. Let f be (r/(-9))/(1/(-3)). Let w be 4/(-6)*12/f. Which is smaller: -2 or w?
-2
Let g(k) = 5*k - 14. Let x(l) = -6*l + 14. Let i(j) = 5*g(j) + 4*x(j). Let a be i(0). Let b be ((-7)/a)/(2/(-32)). Are b and -8 non-equal?
False
Suppose k + k - 6 = 0. Suppose -g + 2*g + 5*y - 13 = 0, 4*y = k*g + 56. Is -12 at most as big as g?
True
Let y = -4 - 2. Which is smaller: y or 0?
y
Let c(t) = -t - 6. Let x be c(0). Suppose -2*f - 3*j = 27, 2*j + 31 = -f - 3*j. Let p = x - f. Is -2/7 not equal to p?
True
Let z be (-2)/3 + (-5)/15. Is z >= 1?
False
Let j be 25/(-6)*8/6. Let h = j - -119/36. Is -3 less than h?
True
Let u be -18 + 0*(-1 + 0). Let z be (1/3)/(15/u). Suppose 2*q - 4*p = -p + 6, -10 = -q + 5*p. Is z greater than q?
False
Suppose 16*y - 2*y = -574. Are 1 and y non-equal?
True
Suppose 5 = -2*z + 3. Is -2/11 less than or equal to z?
False
Let p = 2581 + -152285/59. Let s be (0 - -66)*4/(-885). Let d = s + p. Which is greater: d or 1?
1
Let x(f) = f. Let l be x(0). Suppose 2*r - 3*q + 2 = l, r - 4*q + 2 = -3*q. Is -3 smaller than r?
False
Let s = -15/76 + -1/19. Which is bigger: 0 or s?
0
Let f(k) = -3*k + 13. Let c be f(6). Is c < -6?
False
Let y(n) = -n**2 + 8*n. Let k be y(8). Let z(p) be the third derivative of p**5/60 + p**4/24 - p**3/3 - p**2. Let d be z(k). Which is bigger: -0.1 or d?
-0.1
Let u = -11 + 11. Is u not equal to 4/55?
True
Let p = -0.25 - -0.05. Suppose -d + 56 = 5*i, -i + 3*i + 112 = 2*d. Let b be 44/d - 1/2. Which is greater: p or b?
b
Let h = -75 + 81. Is 4 bigger than h?
False
Let u = 50/5083 + 4/1547. Let h = u - 813/644. Let g = 201 + -202. Is h at least as big as g?
False
Let s be 4/6*9/(-12). Let u = 6 + -1. Is u greater than s?
True
Let n be (-5)/8*(414/(-15) + 4). Is n less than 15?
True
Let j = -4 + 8. Let d = 11 - j. Let w = d - 6. Is 0 at most w?
True
Let d = 8 + 5. Let o be -3 + (d/(-3) - -4). Which is smaller: o or -3?
o
Suppose 4*y = 12*y - 8. Which is greater: 1/4 or y?
y
Let w = 2 - 0. Let y be 5/6 + w/12. Is -5 at most as big as y?
True
Let v = -