ave the same value?
False
Let a be 14/(210/815) + 8/(-6). Which is smaller: 48 or a?
48
Let m = 265 + -270. Which is smaller: m or -9/19?
m
Let k be (-5 + 75/5)*13/84. Let b = 12/7 - k. Is -21 <= b?
True
Let h = -13 - -22. Let n = -8 + h. Let t = 2/77 - 85/308. Which is greater: n or t?
n
Let w(g) be the second derivative of g**5/120 + 5*g**4/24 - 5*g**3/6 + 3*g. Let s(m) be the second derivative of w(m). Let k be s(-4). Is k smaller than 1/7?
False
Let x be 1/1 + (9 - 180/(-21)). Which is smaller: 18 or x?
18
Suppose 4*b = j + 17 + 176, 3*b = -5*j + 162. Let v be ((-30)/b)/(2/(-14)). Which is smaller: v or 3?
3
Let l = 776 + -774. Is l greater than or equal to 3/329?
True
Suppose 0 = -4*h - h - 4*v - 35, -5*h = 2*v + 25. Let k = 2 + h. Which is greater: k or 0.01?
0.01
Let m(u) = -u**2 + 3*u - 2. Let i(a) = a**2 - 5*a + 1. Let o be i(5). Let p be m(o). Which is smaller: 1 or p?
p
Let r be (-17)/(-34) + (-142)/4. Is r not equal to -33?
True
Let x(w) = -w**3 + 5*w**2 + 20*w - 19. Let g be x(7). Which is greater: g or 34?
34
Let n = 27 - 30. Let d be 2/(-8) - n/(-132). Is -1 < d?
True
Let u = -114.3 - -121. Let h = 6 - u. Let q = h - 0.3. Do -0.2 and q have different values?
True
Let h be 9/18 - (-638)/140 - 5. Suppose -3*j - 1 = -2*j. Which is greater: h or j?
h
Let i = 3022453/17004 + 2/4251. Which is smaller: i or 177?
177
Suppose 2*q - 16 - 38 = -4*i, -3*i + 46 = -4*q. Suppose -i*c - 12 = -18*c. Suppose 0 = -c*g - p - 2 - 6, -5*g - 4*p = 18. Is g at most as big as 1?
True
Let q be 3/(-36) + (-885)/(-90) + -10. Suppose h - 2 = 2*h. Which is greater: q or h?
q
Let u = 33 + -32. Let x = -0.06 - 0.94. Let m = 3 + x. Is u greater than or equal to m?
False
Let r(n) = n**3 + 13*n**2 + 11*n - 8. Let m be r(-12). Suppose -120 = 4*a + m*d, 3*a - d + 26 = -44. Which is greater: -1 or a?
-1
Let l be 2/(-9) + 2/9. Let q be (l/1)/(5/5). Let p be (1/(-2))/(64/(-16)). Is p at least q?
True
Suppose 171 = -3*h - 3*i, -4*h = h + 4*i + 280. Let s = h - -50. Is s greater than or equal to -5/8?
False
Suppose 22*a - 40 = 14*a. Suppose 3*c - 6 = 4*q, 3*c - 4*q + 2*q - 6 = 0. Suppose -3*k - c = -3*i - i, 0 = 5*i - a*k. Which is bigger: 0 or i?
i
Suppose -d - 4*d - 2*k = -2, 8 = -2*k. Suppose 4 = -2*g + d. Is g greater than -2/17?
False
Suppose -3*l - 29 = -2*a + 7*a, -4*l - 87 = -3*a. Suppose 15*h + 192 = -25 - 38. Is h at most l?
False
Suppose -y - 16 = -2*h, 9 + 7 = 2*h - 5*y. Suppose 3*q - 4*m - 14 = 0, -m - h = -2*q + m. Suppose 3*a - 4*d = 15, 0*a + a + d = -q. Which is greater: a or -0.2?
a
Let b = 17/33 + -2/11. Let l = -263 - -259. Is b at most as big as l?
False
Let r = -69 - -59. Let l = r + 13. Which is smaller: l or 9?
l
Let r = 148 - 146. Are 19/10 and r unequal?
True
Let o be (-10189)/15686 + (-4)/(-22). Let u = o + -1/31. Which is smaller: -3/4 or u?
-3/4
Let w be -6*((-4)/(-9))/((-18)/27). Let l be ((-2)/w)/(5/(20/(-3))). Does l = 85?
False
Let a = -36 + 71. Let t = 31 - a. Is t smaller than 1/6?
True
Suppose 25 = -26*d + 31*d. Suppose 0 = 4*j - 5*m, -2*j + 5*j + d*m = 0. Which is bigger: j or 1/40?
1/40
Let s be (6/(-10))/((-2)/20). Let n be 16/s - (-2)/(-3). Suppose -n*j + 8 = -12. Which is smaller: j or 0?
0
Suppose 4*i - v = i - 184, 5*i + 5*v + 340 = 0. Let p be (-959)/15 + (-2)/(-6). Let r = i - p. Are r and -1/7 non-equal?
True
Let y(u) = 3*u - 30. Let z be y(19). Let i = -28 + z. Are -5/7 and i equal?
False
Suppose -12*a + 196 = -5*a. Let h = -1 + 28. Is h at least a?
False
Let g(n) = -n**3 + 25*n**2 - 23*n - 8. Let p be g(24). Let l be p/6*9/6. Is l greater than or equal to 1?
True
Let y be (-6)/(-4) + (-54)/4. Let z = y - -16. Let d = 1 + 3. Are d and z equal?
True
Let u be (173/(-51))/(4/24). Let k = u - 5682/85. Let r = 86 + k. Is r greater than -1?
False
Let s = -52/7 + 13274/1785. Is -1 bigger than s?
False
Let s be ((258/(-3))/1)/(-4 - -2). Suppose -170 = -5*p + 45. Are p and s non-equal?
False
Let y be (-2)/6*9/(-18). Let q(b) = -b**3 + b**2 + 1. Let c be q(0). Suppose -3 = 2*i - 3*i + t, -5*i + t - c = 0. Is i less than y?
True
Let a = -33/2 + 107/10. Which is greater: -6 or a?
a
Let p(z) be the third derivative of -z**6/120 + 5*z**3/6 - z**2. Let x be p(0). Let j be 2/8 - ((-390)/(-24))/(-5). Which is greater: j or x?
x
Let p = 2/65 - -1/52. Let w = 12/31 - 29/155. Let f = p + w. Which is smaller: -1 or f?
-1
Suppose 29*u = 14*u. Is 25/46 >= u?
True
Let c = -6.5 - -6. Let h = 1.5 + c. Let v be 1*-6*(-5)/(-70). Which is greater: v or h?
h
Let d = -0.224 + 0.124. Is d equal to -73?
False
Let h = 0.065 + -0.265. Let d = -0.19 - -11.19. Which is bigger: d or h?
d
Let j(v) be the third derivative of v**6/120 - 2*v**5/15 + v**4/24 + 5*v**3/3 + 2*v**2. Let w be j(7). Let p be ((-6)/(-8))/(60/w). Which is smaller: p or 0?
p
Let m = 15710/28223 - 88/169. Which is smaller: m or 0?
0
Let s be ((-27)/6 + 3)/((-12)/56). Let o(z) = -7 - 4*z + 6*z - 4*z - z. Let i be o(-4). Is i > s?
False
Suppose r + 5*r - 48 = 0. Suppose 1 - r = -7*n. Is 3 equal to n?
False
Let d(g) = 24*g - 150. Let q be d(5). Which is smaller: q or -31?
-31
Suppose -798*k = -811*k - 546. Which is bigger: k or -81/2?
-81/2
Suppose 5*p - 3*y + 305 + 1887 = 0, -880 = 2*p - 2*y. Is -437 at least p?
False
Let i = -13/9 - -10/9. Let y = 17.09 + -17. Let u = y - 0.19. Is u smaller than i?
False
Let o = -37255 + 12517663/336. Let i = o + -1/48. Which is smaller: i or 1?
i
Suppose 3*p = y - 5*y + 5, -11 = -5*y + p. Suppose 8*u - 3*u + 210 = -4*b, y*u - 196 = 4*b. Which is smaller: -49 or b?
b
Let i = -505 + 774. Is 269 < i?
False
Let v(a) = a**2 + 20*a + 117. Let y be v(-15). Is y greater than -6?
True
Suppose -4*w + 2*c = -38, 4*c + 40 = -0*w + 4*w. Let o be 15/w*(-5 + 8). Suppose 3*b + 5*j = -0*j + 14, -b = o*j - 8. Which is bigger: 4 or b?
4
Let p = -13 - -10. Let g(v) = v**3 + 2*v**2 - 4*v - 4. Let a be g(p). Which is greater: 5 or a?
5
Let z(b) = 3*b - 43 - 4*b + 7*b. Let g be z(14). Which is smaller: g or 40?
40
Suppose 29*h - 31*h = -44. Let d be 312/1474 + (-4)/h. Is -1 less than d?
True
Suppose s - 108 = -5*n + 4*n, -25 = 5*n. Is s >= 451/4?
True
Let m = -4 - -8. Suppose -2*z = 2*j + j + 6, 0 = -j - m. Let l = 12 + -7. Which is greater: l or z?
l
Let q = -333 - -332. Which is smaller: 2/2007 or q?
q
Suppose 0 = 5*h + 2*t + 15, 2*h + 2*t = -h - 13. Let g = 95 + -135. Let b be -3 - (g/(-6))/(-2). Is b less than h?
False
Let n = -889 + 886. Is n > 2/17?
False
Let s = 33/4 + -313/36. Suppose -2*b - 2*p + 10 = -7*p, b = 4*p + 8. Is s at least b?
False
Let f(p) = p**2 + p - 26. Let m be f(-6). Let i be m*1/6*3/5. Which is greater: 1/9 or i?
i
Let j be 8 + -8 - (-32 - 2). Let t be j/(-6) - (-2)/3. Which is bigger: -18/5 or t?
-18/5
Let k = -40 - -20. Let w be 2/5 + 148/k. Which is smaller: -6 or w?
w
Let j = -7797195 + 4101327985/526. Let x = 2/263 + j. Is 7 at most as big as x?
False
Suppose x = 4*x + 87. Let n = -104 - -70. Let v = n - x. Is -4 > v?
True
Let s be 18/5 + (-6)/(-15). Suppose s*v - 10 = 26. Let u be (-57)/(-5) + (-28)/70. Is u > v?
True
Let s(u) = -u + 4. Let n be s(8). Suppose -2*c + 108 = 4*h, 3*h - 65 = 3*c + 25. Suppose -48 + h = 5*l. Is n bigger than l?
False
Let z = -410 + 410.2. Which is greater: 170 or z?
170
Let h = 10/187 + -27204/501721. Let u = h + 5504/185127. Let v = 16 - 17. Which is greater: u or v?
u
Let d be 3/(3 - 2) + 8126/(-2516). Let l = d + -561/296. Is -1 at most as big as l?
False
Let u = 317 - 294. Are 2 and u equal?
False
Suppose -24*g = 559 - 415. Let z be 2/(-5) - (-28)/(-5). Do z and g have different values?
False
Let h be ((-1)/(-3))/((-4)/(-6)). Let i = -48 + 48.07. Let n = 0.07 - i. Which is bigger: n or h?
h
Let z be ((-6)/2)/((-3)/(-7 - 2)). Let b(a) = -3*a - 1. Let f be b(2). Is z greater than or equal to f?
False
Let g be (-6)/33 - 23572/66. Let y = 354 + g. Is y greater than -3?
False
Let v(u) = u - 1. Let s(t) = -8*t. Let n(f) = 2*s(f) + 14*v(f). Let y be n(-7). Is -2/7 != y?
True
Let l = -37 - -40. Let b be 150/4*2/l. Which is greater: b or 26?
26
Let m = -47 - -50. Let g be (m/5)/((-3)/15). Which is smaller: -1/3 or g?
g
Let c be (-110)/(-105) - 20/35. Which is smaller: 0 or c?
0
Let z = 0.5 - 0.4. Let h = 25.8 + -16. Let a = h - 10. Are z and a unequal?
True
Let k = 8 - 5. Suppose -3*y + 5 = -10. Suppose -y*f + 4 = -f, -3