smaller: p or b?
p
Let h be (-4)/(-6) - 70/(-21). Suppose 5 - h = k. Which is smaller: -1 or k?
-1
Let y = 11 + -15. Let r = -4.1 - y. Which is greater: r or -3?
r
Let n = -3429983/387 + 8863. Let i = n - 28/129. Which is bigger: 0 or i?
0
Let p be ((-42)/(-35))/((-2)/(-5)). Let y be p/(-2) + (0 - -2). Is y at least as big as 1?
False
Let n = 1.2 - 0.2. Let v = 11 - 6. Suppose 4*f - 6 = -d + 3*d, v*d + 15 = 0. Is n > f?
True
Let t = -14 - -14. Is t equal to -4/13?
False
Let j = -140382 + 1545843/11. Let p = -149 + j. Which is bigger: 0 or p?
p
Let z(d) = -d**2 - 6*d + 41. Let h be z(4). Let x be (-3)/((-62)/20 + 1). Is h less than x?
True
Suppose 0 = -b - 4*f + 13, 4*b + 0 = f + 1. Which is bigger: b or -2/99?
b
Let f = -8 + 11. Let q = f + -1. Is q equal to 2?
True
Let r be (20/6 - -1) + 1/(-3). Is -2 < r?
True
Suppose 0 = 2*o - 0*o + 4. Let s = -39.6 + 40. Does o = s?
False
Let k be (3 - 8)/((-1)/(-2)). Let a be (-3 + 8)*(-4)/k. Do a and 0 have the same value?
False
Let b = -77 - -73. Suppose -m - 6 = -0*w + 3*w, -5*w - m = 12. Do b and w have different values?
True
Let x = 145/3 + -48. Let d = -5 + 4. Is d at most x?
True
Let r = 90 + -357/4. Let c = 3 + -5. Which is bigger: r or c?
r
Let m = 53/84 + -8/21. Which is smaller: m or -1?
-1
Let x(f) = -f**2 - 6*f. Let w be x(-4). Suppose l + w = -l. Is l equal to -4?
True
Let f(g) = -g**3 + 8*g**2 - 9*g + 14. Let v be f(7). Let m = 71 + -1205/17. Is m at least v?
True
Suppose -55 = 3*i + 2*i. Is -11 greater than i?
False
Let l be (30 - 32)/((0 + -1)/(-7)). Suppose 0*q + 39 = -3*q. Is q < l?
False
Let z be ((-16)/(-10))/(2/10). Let g = 22 - 14. Let u be ((-14)/g)/((-3)/12). Is z less than u?
False
Let b = 8 + -7.87. Let g = b - -0.07. Let i = 0.4 + -0.3. Which is greater: i or g?
g
Let u = -11 - -6. Let b be (u - 0)*4/110. Which is bigger: 1 or b?
1
Let q = 10/141 + 8692/705. Let p be 4/6 + (-114)/9. Let o = p + q. Is o at least as big as 1?
False
Suppose 0 = 2*k - k. Suppose -43 = -5*n + 3*b, k = 5*b + 2 + 3. Suppose -6*h + n = -2*h. Is h < 2?
False
Suppose 0*j = -3*j + 9. Suppose -3*i - 9 = m + 2, -j*m + 17 = -i. Let y = 122 - 119. Which is bigger: m or y?
m
Suppose -3*y + 5 = 2*l - 2, 3*y + 5*l = 22. Which is greater: y or 3?
3
Let a = 12 - 8. Suppose -3*k + 14 = 2*h, 0 = h + 2*k - a*k. Is h smaller than 5?
True
Let j = -0.8 + 0.5. Are 2/17 and j non-equal?
True
Let a(y) = -y**2 - 6*y - 8 + 2 + 2. Let f be a(-4). Is 5 != f?
True
Let f(u) = u + 1. Let o be (-69)/12 + 2/(-8). Let z be f(o). Let m be (24/(-3) - 1) + 5. Which is smaller: m or z?
z
Let i(k) = k**3 + 3*k**2 - 6*k - 4. Suppose -3*n = -5*n + 8, -4*n + 20 = -v. Let p be i(v). Is p less than 5?
True
Let u be (((-265)/2)/(-5))/(1/2). Are 54 and u unequal?
True
Let i be (-6)/(-7)*(-2)/6*-1. Is i less than 1/3?
True
Let m be ((-4)/10)/((-3)/(-5)). Let j be 2 - (2 + (-4)/1). Suppose -6*k = -j*k. Which is smaller: m or k?
m
Suppose -3*m = 15, 4*s - 41 = 5*m - 4*m. Let b = -4 + s. Is 4 at least as big as b?
False
Let d(j) = -10*j**2 + 2*j + 1. Let q be d(-1). Let t be 290/(-20) - (-3)/2. Which is smaller: q or t?
t
Let h = 47867/1235 + -504/13. Is 1 at least h?
True
Suppose -6*x + 5*x = 0. Is x != -5/7?
True
Let x be ((-7)/((-21)/(-6162)))/(-9). Let v = 228 - x. Which is smaller: v or -2?
-2
Let h be (-1 - -4)/(1 - 0). Suppose h*w - 2*w = 0. Is w bigger than 2?
False
Let n = -10.1 - -3.1. Are n and 0.2 nonequal?
True
Let f(q) = 11*q + 40. Let x be f(6). Which is smaller: x or 107?
x
Suppose 4 = -4*h, n + 15 = -3*n - 3*h. Let x(t) be the third derivative of -t**5/60 - t**4/6 - t**3/6 - t**2. Let b be x(n). Is b smaller than 3?
True
Let z be 2 - -2 - (-1)/(-1). Let t be 3 - z - (-4)/2. Suppose 2*r = -3*j, 2*r - 10 - 6 = 5*j. Is r bigger than t?
True
Let a = 35 + -18. Let b = -12.9 + a. Let r = -4 + b. Which is bigger: 0.2 or r?
0.2
Let t = 0.3 - 0.29. Let r = 0.65 + -0.55. Which is bigger: t or r?
r
Let c(t) = -t**2 + 7*t + 48. Let r be c(11). Let l(n) = n + 5. Let m be l(-3). Suppose -4*q + 6 + m = 0. Which is greater: r or q?
r
Let o be (3 - 5) + 2 + -882. Let p = 14998/17 + o. Are p and 1 equal?
False
Let h = -103 + 102. Which is greater: -10 or h?
h
Let s = 41 + -40.9. Which is smaller: 2/9 or s?
s
Let t be (6/(-14))/(6/(-4)). Suppose -10 = 5*b - 0*b. Let j be b/8 - (-1)/2. Which is bigger: j or t?
t
Let h = -3.03 + 3. Is h <= 0.1?
True
Let m = 1 + -1. Let i be (-1 - -2)/((-1)/(-5)). Suppose -4*t + 2*w + 10 = 0, 0 = i*t - w - 0*w - 8. Are t and m equal?
False
Suppose 63 = 2*b + 9. Does b = 28?
False
Suppose -120 - 48 = 7*m. Is -24 > m?
False
Let y be (-2)/(-15) + 3/(-9). Let t = 2.9 - 13. Let b = 10 + t. Is b at least y?
True
Let r be -10*(4 - (-24)/(-10)). Are r and -16 equal?
True
Suppose 0*m = m - 7. Suppose -6 + m = i. Which is smaller: i or 1/19?
1/19
Suppose 3*y + 2*y = 30. Suppose -7*r = -5 - 30. Do r and y have the same value?
False
Let v = 38.041 + 0.059. Let s = v + -35. Let r = -3 + s. Is 1 greater than r?
True
Let r be (1 - 1) + (-4)/(-34). Suppose 4*x = 10 - 14. Is x equal to r?
False
Let l(n) = n**3 + 11*n**2 - 10*n + 25. Let t be l(-12). Is t equal to -4/23?
False
Let v = 7 + 0. Suppose -6 = -p - v. Is -2 at least as big as p?
False
Let r = -245 - -2453/10. Which is smaller: r or 1?
r
Let y = 197/7 - 29. Let x = 0.2 - 0.2. Does x = y?
False
Let z = -63 - -191/3. Do z and -0.76 have the same value?
False
Let d = 1 + -1.1. Let x = -0.3 + d. Let c = x + 0.5. Is 2/3 > c?
True
Suppose -4*u + 3*u = 0. Let y = 75/2 - 303/8. Do y and u have different values?
True
Let h be 4 - 4 - 9/(-3). Let g(q) = -2*q - 2. Let l be g(-4). Suppose h*z - l*z = -3. Is z at least as big as 2/9?
True
Let j = 1216/4321 - -30/149. Let w = -1/58 - j. Let t = 0.2 + -0.3. Which is smaller: w or t?
w
Let s = 2830/11 - 258. Suppose 0*k - 5 = 5*b + k, -4*b - 3*k - 4 = 0. Which is smaller: s or b?
b
Let p = -4 - -2. Let y be (p/14)/((-1)/(-2)). Suppose 1 = i + 4*g + g, -2*i - 5*g + 2 = 0. Is y bigger than i?
False
Suppose -m = 3*m - 4. Let o be (m - 0)/(0 + 1). Let p(d) = d - 4. Let w be p(4). Is o at most w?
False
Let u = -0.151 + -0.049. Let z = 3 - 4. Let h = 0.9 + z. Is u != h?
True
Let l(g) = g**3 - 5*g**2 - 4*g - 6. Let p be l(5). Is p >= -27?
True
Let p(t) = 14*t**3 + t**2 - 2*t + 1. Let k be p(1). Suppose 0 = -3*q - 2 + k. Is q not equal to 5?
True
Let t = -0.3 - -0.1. Let z = -0.2 - t. Let h = 55.9 + -56. Which is bigger: h or z?
z
Let u be (-2)/9 + 234/(-1134). Which is smaller: u or -1?
-1
Let t = 11 + -45/4. Let g = 3.1 - 0.1. Which is bigger: t or g?
g
Let z(u) = -u**3 + 6*u**2 + 2. Let t be z(6). Suppose 3*n = -t*n. Which is greater: 2/11 or n?
2/11
Let m = 1 + -3. Let p(j) = -j - 4. Let t be p(-4). Which is smaller: t or m?
m
Let b(v) = 2*v - v - 2 - v - v. Let h be b(-4). Is 2 at most h?
True
Suppose 11 - 27 = -4*r - 4*t, 3*t - 3 = 0. Suppose -r*w + 8 = w. Which is smaller: -1 or w?
-1
Suppose 5*f - d - 59 = -0*d, 5*d + 43 = 4*f. Suppose -4 = -2*x - f. Which is smaller: x or -5?
-5
Let t(f) be the third derivative of f**4/24 - 2*f**3 - 5*f**2. Let u be t(10). Are 2 and u equal?
False
Let c = -1.26 + 0.26. Which is smaller: c or -2/5?
c
Let s be (-6)/4*(8 - 0). Is s less than -25/2?
False
Let k be -1 - (-5 + (-130)/(-35)). Is k smaller than -0.8?
False
Let d be ((-21)/14)/((-9)/(3/3)). Which is bigger: -3/29 or d?
d
Let l = -21 + 19. Does -22/9 = l?
False
Suppose -4*b + 4*l - 22 = 2*l, -9 = -3*l. Let f be (-13)/b + (-1)/4. Let c be (-3)/(-2 - (-1)/2). Is f smaller than c?
False
Let p = -0.2 - -0.19. Let q = 43 + -43.71. Let a = p - q. Is a at most as big as 2/3?
False
Let l be -17 - -19 - (0 + -2). Let d(r) = 2*r**2 + 2*r - 1. Let p be d(-2). Is p smaller than l?
True
Let k(m) = -m + 1. Let f(h) = h + 6. Let t be f(0). Let a be k(t). Let q = 6 + a. Which is greater: 2/15 or q?
q
Let n(v) = -v**3 - 4*v**2 + 2*v - 2. Let i be n(-4). Let g be 6/(-45)*i/(-6). Let o(b) = b**2 - 8*b + 7. Let m be o(7). Which is smaller: g or m?
g
Suppose 5*i = 3*v - v + 186, 2*i - 4*v - 84 = 0. Let c be 6/i*15/2. Which is bigger: 1 or c?
c
Let q = -3 - -1. Let m be (8/10)/((-44)/30). Is m smaller than q?
False
Let g be ((-76)/(-35))/(24/(-60)). Is -5 > g?
True
Let h = -1/18 - 5/18. Let f be 3*(-4)/(-16)*4. Which is greater: h or f?
f
Suppose 7*m - 11*m = 0. Is 1 a