47. Which is smaller: -2 or r?
-2
Let a be (5 + (-64)/12)/(3/(-9)). Let r = 191/4 - 10131/212. Let x = 120/371 + r. Which is bigger: x or a?
a
Let d = 24 - 13. Suppose -7*a = -d*a + 32. Are a and 6 non-equal?
True
Let n = 22.02 - 0.02. Let g = n + -21. Do g and 0.14 have different values?
True
Let a be 1*(-6)/(-9)*219. Let l be (-1 - 3)*a/8. Let y = 367/5 + l. Is -0.1 less than or equal to y?
True
Let a = -19333/122 - -317/2. Is a equal to 0?
False
Suppose -2*n - 2*o + 4 = -0, -3*n + 5*o = 18. Let l be 3/(-18)*-1*n. Let b be 0/1*(-1)/3. Which is bigger: l or b?
b
Suppose 2 = -z - 3, -2*m = -z - 17. Suppose s + m = 9. Is 2 smaller than s?
True
Suppose 0 = 3*c + 2*z + 37, -4*z = -c - 16 - 15. Let b = 22 + c. Let h be (-2)/4 + (7 - b). Are -1/8 and h unequal?
True
Let d(l) = -l - 5. Let z be d(-5). Which is bigger: -1 or z?
z
Let d = -7 + 8. Suppose b + d = 2*b. Does b = 1?
True
Suppose -5*t + 18 + 1 = -u, 0 = -4*u + t - 38. Are -15/2 and u nonequal?
True
Let c(m) = m + 15. Let r(t) = t + 16. Let h(i) = -7*c(i) + 6*r(i). Let l be h(-8). Is l at most as big as -2/5?
True
Let q = 12 + -11. Is q at most 1?
True
Let z = -5 + 1. Let x(u) = u**2 + 5*u + 6. Let d be x(z). Suppose 31 = -5*g - 2*o, -d*o = 4*g - 16 + 42. Is g smaller than -5?
False
Suppose 0 - 4 = -z. Let f be (0 - 0)*2/z. Are f and 1/2 equal?
False
Let k = -4 + 4. Is 2/7 bigger than k?
True
Let n(b) = -b - 21. Let m be n(-18). Which is smaller: 4 or m?
m
Let s be ((18/(-56))/(-1))/(102/119). Let b(y) = y - 1. Suppose -6*l = -2*l. Let c be b(l). Which is greater: c or s?
s
Let w = -37 - -38. Let x = 6.7 + -0.7. Is x less than w?
False
Let c = -21/46 - -537/874. Let l = 18759 - 1782082/95. Let t = l + c. Is 0.3 greater than or equal to t?
False
Suppose 2*y = -y. Which is smaller: y or -3/4?
-3/4
Let l(a) = -a + 1. Suppose 4*y + 11 = 31. Let f be l(y). Let s = f + 3. Are s and 0 equal?
False
Let g be 3/23*(-4)/(-6). Let u(i) = i**2 - 6*i - 1. Let q be u(6). Do g and q have different values?
True
Let y(r) = -r + 13. Let x be y(11). Let q = 0 + 1. Which is smaller: q or x?
q
Let l(y) = -y + 6. Let d be l(7). Let k = 1.07 + 0.23. Let p = 0.3 - k. Is p > d?
False
Let v = 7 - 7. Let i = 2 + -1. Let h = i + v. Which is smaller: -1/6 or h?
-1/6
Let f = 1 - 2. Let i = 24.7 - 21.7. Which is smaller: f or i?
f
Let i be (2 - 4) + 0 - -3. Suppose i = -2*z + 7. Is 2 >= z?
False
Suppose 2*n - 28 = n. Let h be ((-6)/n)/(6/8). Suppose -5*g + 3 = -8*g. Which is bigger: h or g?
h
Let n = -2 + 5. Suppose -5*i - 3*c = -n, -4*i + 3*c = -i + 3. Is i at most as big as -2/23?
False
Let g = 47 - 42. Which is smaller: g or -5?
-5
Let l = 6 + -1. Suppose 12 = -2*y - 5*j, 11 = -y - 5*j - l. Suppose y*p = 8, 8*b + 10 = 3*b + 5*p. Is b less than 0?
False
Let a(t) be the second derivative of -t**4/12 - t**3/6 - t**2/2 + 5*t. Let c be a(0). Which is greater: -2/5 or c?
-2/5
Let w = 0 + 22. Let v be w/(-56) - (-1)/4. Let c = 11/4 - 5/2. Does v = c?
False
Suppose -2*a - 35 - 6 = -5*t, -2*t + 8 = 2*a. Suppose -t = -4*q - 3. Which is smaller: -4/9 or q?
-4/9
Let q be (-10)/(-22)*6/15. Let a = 8.9 - 9. Which is greater: q or a?
q
Suppose 3*z - 21 = -3*m, 2*m - 3*m + 2*z - 8 = 0. Let b be (4/(-6))/(3/18). Let y = b - -5. Which is smaller: m or y?
y
Let h(u) = u**3 + 3*u**2 - u + 3. Let o be h(-3). Let d be (-4)/6 - 2/o. Let w = -11/6 - -19/12. Is d greater than or equal to w?
False
Let w be 602/(-2842) + 2/14. Which is greater: 1 or w?
1
Let o = -34/21 + 9/7. Let d(z) = z**2 + z - 21. Let m be d(4). Is m at least o?
False
Let x = -9/682 - -581109/3410. Suppose 2*t - 150 = 192. Let p = x - t. Is 0 greater than or equal to p?
True
Let q = 16 - 13. Is 0.2 at least q?
False
Let z = 11 + -7. Suppose -6 = 4*q + 3*h, -z*q + 2 = -2*h - 2. Let d = 2 - 3. Which is greater: q or d?
q
Let j(u) = -u**2 - 3*u + 1. Let q(k) = k**3 + k**2 + 1. Suppose -2 = p + 5*t + 25, 4*t + 10 = 5*p. Let f be q(p). Let o be j(f). Is o <= 2/9?
False
Suppose -2*b - 2*s = -22, 0*s = 3*s - 9. Let i = b - 2. Suppose -3*v + f + i = -f, 15 = -5*f. Which is greater: v or 1?
1
Suppose 39 + 15 = i. Which is smaller: 53 or i?
53
Let i = -38/117 + -3/13. Is i not equal to -0.1?
True
Let y be (-2)/3 - 9/(-6). Which is smaller: 1 or y?
y
Let f = 15/4 - 109/28. Let o = -36.96 - -38. Let z = 0.04 - o. Is z smaller than f?
True
Let r = -19 + 25. Which is smaller: 1/2 or r?
1/2
Suppose -3 = 4*w + 1. Is 2/63 greater than w?
True
Let t be (1 + 0)/((-48)/16). Which is smaller: t or -0.102?
t
Let j = -57.2 + 57. Which is greater: j or 0.07?
0.07
Let y = 0 - 0.6. Let l = -0.097 + -0.103. Do y and l have the same value?
False
Let h = -20 - -20. Which is smaller: -24 or h?
-24
Let i(w) = -5*w - 1. Let s be i(-1). Suppose -5*l = s + 6. Is l less than 2?
True
Let s be (2 + (-12)/10)*5. Suppose -16 = -s*i - 3*f, 4*i = 5*f - 4*f. Is 4/3 < i?
False
Let z = 439/7 - 63. Let b = -11 - -7. Let i(p) = p**3 + 3*p**2 - 5*p - 3. Let d be i(b). Which is greater: z or d?
d
Let l = -18 + 16. Let b be (l - -1)/((-35)/(-10)). Which is smaller: b or -1?
-1
Let u be (3/((-60)/8))/(9/15). Which is greater: u or 3/19?
3/19
Let g(i) be the first derivative of 3*i**2 + 2*i - 2 + 1/3*i**3. Let l be g(-6). Is 2/3 less than l?
True
Let l = 2 + -1. Is 4 != l?
True
Let t = -4 - -1. Let d = -3781/7 - -537. Which is smaller: d or t?
d
Suppose -3 = 2*p - 5*h - 0, 0 = p + 5*h - 6. Are p and -1/7 unequal?
True
Let l be (5/(-3))/(98/42). Let i = -4 + 4. Which is smaller: i or l?
l
Suppose 0 = 2*r - 7*r + 5. Is r equal to 0?
False
Let h = 3/70 - 11/140. Is h > -2/7?
True
Let n = 15 - 13. Let t(u) = u**2 - 2*u + 3. Let v be t(n). Which is bigger: 1 or v?
v
Let o(l) be the first derivative of -l**4/4 - l**3 + 5*l**2/2 + 2*l + 18. Suppose -4*p - 1 = 15. Let q be o(p). Which is bigger: -3/5 or q?
-3/5
Let p = -107/2 - -53. Let k = -4 - -7. Which is greater: k or p?
k
Let h be -3*1/(-4 + 29). Which is smaller: -1 or h?
-1
Let w = 8.8 - 8.5. Is -6 <= w?
True
Let x be 8/36 - (-139)/(-747). Let m = x - 187/581. Which is bigger: -1 or m?
m
Let u(y) = -y**3 + 3*y**2 + 5*y - 4. Let d be u(5). Let c = d - -19. Is -11 >= c?
False
Suppose -30 = 5*o - 0*o. Let l be o/(-40) - 1/4. Is l greater than or equal to -1?
True
Let x(m) = -m**2 - 3*m + 15. Let w be x(4). Which is bigger: -8 or w?
-8
Let y = -7 + 9. Let i = y + -2. Let l = 7 + -7. Is i greater than or equal to l?
True
Let b = -6246541281817/22400 + 278863450. Let m = -1/896 - b. Let s = m - -3/25. Which is greater: 1 or s?
1
Let f = 18 - 17. Is f greater than -1/5?
True
Let p = -0.14 - -0.33. Let m = p + 0.81. Let z = 1.6 - 2. Do z and m have different values?
True
Suppose -f - 5*w - 24 = 0, -3*f = -6*f - 4*w - 72. Let h be ((-18)/f)/((-5)/4). Are h and -2 equal?
False
Suppose -2*a = 5*r + 33, -53 = 4*a + 3*r - 6*r. Is -15 at most as big as a?
True
Let a = 12.9 + -13. Is 6/5 bigger than a?
True
Let k = -0.72 + -1.28. Which is smaller: k or 1?
k
Let a = -131 + 58. Let s = -76.9 - a. Let c = -4 - s. Which is smaller: c or 2?
c
Let p = 176 - 209. Does p = -30?
False
Let o be (-1)/(1 + -1 - 72/(-16)). Which is smaller: o or 0.5?
o
Let h be (50/(-15))/((-8)/6). Is h at least 4?
False
Suppose 2*c = k - 1, -c = -4*k - k + 23. Suppose -2*n + 0 - c = 0. Which is smaller: n or 0?
n
Let x = -13 - -16. Suppose t + a = -x*t - 41, a = -1. Is t >= -10?
True
Let u = 3 + -5. Let w be 4*((-3)/u - 1). Suppose 3*i - 15 = -w*i. Is i greater than or equal to 4?
False
Let p = 121327/115 + -1055. Does 1 = p?
False
Suppose 2*t = -6*t + 8. Which is smaller: -2/35 or t?
-2/35
Let b(v) = -v**3 + 9*v**2 - 8*v + 1. Let q be b(8). Let j be (-2)/10*(-2)/22. Let z = j + -58/165. Which is bigger: z or q?
q
Let v be ((-13)/3 + 4)*6. Is v greater than or equal to -4/7?
False
Let m = -13 - -6. Let p = 33 - 36. Are p and m unequal?
True
Suppose 2*o = -3*o. Suppose 2*u = -o*u - 4. Suppose 27 = -5*h + 4*v, -5*h + 0*v = -3*v + 24. Do u and h have the same value?
False
Let d = 10.91 - 11. Let h = -2.89 - -3. Let b = d - h. Which is greater: 2/9 or b?
2/9
Let c be (14/21)/(2/(-3)). Suppose -3*i + 4*h = -28, -2*i - 5*h - 6 = 6. Let a be (i/(-6) - -1)/1. Is c greater than or equal to a?
False
Let j = 297/10 - 30. Which is greater: j or 0?
0
Suppose -4*p = -5*p + 3. Is p less than 16/7?
False
Suppose 7 = o - 3. Let u 