100. Suppose 25 = -p - 16. Which is bigger: v or p?
v
Let h = 0.1304 + -0.1304. Suppose 5*w + 50 = 3*i, -4*i - 1 = 3*w - 0. Let n be -1 - (1 - (-34)/w). Which is greater: n or h?
n
Let t = 71 - 75. Let z be ((-6)/t - 0)/(-61 + 34). Which is smaller: z or 0?
z
Let r(f) = -17*f + 398. Let u be r(47). Is 3 at most as big as u?
False
Suppose 2*g = -g - 93. Suppose 0 = 13*j - 14*j - 28. Let q = g - j. Is q greater than or equal to 2?
False
Let q = -3480 + 87014/25. Which is bigger: q or 1?
1
Suppose p - 23 = -3*q, p = -103*q + 102*q + 11. Let u = -5771/6 - -967. Is u < q?
True
Let d = 84 + -147. Let z = d - -64. Which is greater: 4 or z?
4
Let j = -20.2 + 20. Let n = j + 3.2. Which is greater: 1 or n?
n
Let g(i) = 5*i**2 + 11*i - 2*i**2 + i + 9 + i**2. Let y be g(-4). Is y less than 25?
False
Let h = -0.26 - 9.24. Let i = h - -0.5. Let d be (-44 - -45)*1/(-2). Which is bigger: i or d?
d
Suppose 5*m - 4*d + 6*d + 336 = 0, 3*d + 207 = -3*m. Which is smaller: -60 or m?
m
Let a be (60/14)/((-162)/756). Which is bigger: a or -11?
-11
Suppose 0 = 3*o - k - k + 64, 0 = o - 2*k + 24. Let i be ((-5)/(2150/(-4)))/(4/o). Suppose p + 3 = -4*l - 1, -4*l - 5*p = 20. Does l = i?
False
Let f(l) = 22*l - 2 - 6*l**2 + l**3 - 20*l + 3*l. Let y be f(5). Is y at most as big as 4?
True
Suppose 0 = 13*a - 76 - 2. Suppose 5 = q + a. Is q less than -2/25?
True
Suppose -113 = 6*t - 23. Let b be (5/t)/(3/36). Let h(s) = -s**2 + 3*s + 7. Let f be h(5). Which is smaller: f or b?
b
Suppose -f + 8*k = 5*k - 54, k = -2*f + 143. Is 70 less than or equal to f?
False
Let m be -1*((-1)/(-1) + -1). Suppose g + 0*g = m, -g = 3*y + 24. Let x be 4/26 - (-4)/26*-53. Do y and x have different values?
False
Let c be 11 + -6 - (1 - 148/(-36)). Let f = -3 + 4. Which is bigger: c or f?
f
Let h be (0 - 3)/(19/(-1007)). Suppose -h*g + 156*g = -3. Which is greater: 2/65 or g?
g
Let h = 185 + -262. Let y = h - -79. Is y at most as big as -2/3?
False
Let x = 1111 + -944. Is x > 167?
False
Let c(u) be the third derivative of u**6/120 - u**5/10 + u**4/8 + 2*u**3/3 + u**2. Let x be c(3). Let h = x + 6. Is -7 >= h?
True
Let v be 243/4*(-4)/(-6). Let x = v - 39. Suppose 5*z = 2 + 13. Which is smaller: z or x?
x
Suppose -7*m = 2*m + 450. Let j = m - -61. Is -2 at most as big as j?
True
Let v = 204388/23 + -8885. Is 0 bigger than v?
False
Suppose -2*n - 20 = -40. Suppose 3*o - 44 = -5*w, -3 = 3*o - 2*w - 19. Is o <= n?
True
Let x = -155 - -155. Which is smaller: -2/1017 or x?
-2/1017
Let q be 21/(-42) - (-2 + 93/42). Is 0 at most as big as q?
False
Let a be (0 + 5)*(-216)/(-792). Which is greater: a or 0.04?
a
Let j be (1*-3)/(2/2). Let u be (-25)/10 - (4 + (-21)/6). Is u at most as big as j?
True
Suppose -l + 50 = 5*f, 2*f = -f + 12. Let q = 6 + l. Let i be q/45 + (-1 - 0). Is -0.1 less than or equal to i?
False
Let u = -16 + 16. Suppose 0*c + c = 5*r - 21, -r + 4*c + 8 = u. Let z be (-4 + r)/(1/1). Which is bigger: -9 or z?
z
Let w be 3*(-20)/72*2. Let m be (3/(-4*3))/(-1). Let g = 0 + m. Do g and w have different values?
True
Let p be 4 - -7 - (-1 - 0). Suppose 1 = 4*z - 2*u + 7, -3*z - p = -3*u. Is z less than or equal to -2?
False
Let b = -70 - 40. Let q be 69/1*22/b. Is -15 > q?
False
Suppose -53 + 13 = 5*z - 3*m, -2*z - 3*m = 37. Is -3/5 at least z?
True
Let h be (-77 - -64)*(0 + 1*-5). Is -2/11 greater than h?
False
Let q(k) = -13*k - 275. Let g be q(-29). Is g bigger than 908/9?
True
Let j(x) = -x**3 + x**2 - x - 5. Let r be j(-2). Suppose 61 + 74 = -r*y. Which is bigger: y or -12?
-12
Suppose -5*n - 66 = -1. Let u = -7 + -5. Which is smaller: n or u?
n
Let y = -113 - -114. Let x = 9 + -13. Let w be ((y - -1) + x)*-1. Is w bigger than 2?
False
Let z(j) = j**2 + 11*j - 1. Let b(g) = 3*g + 19. Let w be b(-10). Let v be z(w). Which is greater: v or -4/27?
-4/27
Let w = -1069 + 1066. Let s = -3.02 + 3. Let y = s + 0.72. Is w at most y?
True
Let u(h) = -23*h - 507. Let r be u(-23). Suppose 3*k = -0*l - 2*l - 69, 5*k + 4*l = -115. Let t = r + k. Which is bigger: t or 0?
0
Let r be ((-1)/2)/(2*7/28). Which is bigger: -6/35 or r?
-6/35
Suppose 2*h - 3*h = -2. Let c = 3 - h. Suppose -2*t = 4*l - 26, 3*l - 9 = -2*t + 12. Which is greater: c or l?
l
Let a be (-4)/(-6) + 522/27. Let b be (a/(-75))/((-28)/(-6)). Is 1 less than b?
False
Let v = -1.071 + 0.071. Let y = 0.1 + -1.5. Is y at least as big as v?
False
Let q = 63 - 57. Let k be -4 + 3 + (3 - q) + 3. Let g = -10319/5512 - 2/689. Which is bigger: g or k?
k
Suppose 8 = y + 3*k - 6, -5*k + 14 = -3*y. Let f be y + 2*(-33)/18. Let v = f - -22/15. Are 1 and v nonequal?
True
Suppose -2*f + 8 = a, 0 = -5*a - 2*f - 0*f + 64. Let m(n) = 2*n**2 + 19*n + 58. Let r be m(-5). Which is greater: r or a?
a
Let j be ((-66)/(-20) + -3)*-6. Let k be (-4)/20 - 6/(-5). Let i be -6 + 3 - (-1 + k). Is i at most j?
True
Let x be ((-54)/(-12))/(9/(-12)). Let n be 3*(x/(-117) - 0). Is -2 smaller than n?
True
Let q be (-45)/3*(-1 - 0)*81. Is q less than 1214?
False
Let m(p) = -p**2 + 16*p + 139. Let f be m(22). Which is smaller: f or -3?
-3
Let j(l) = -l + 4. Suppose 4*a + 12 = 32. Let d be j(a). Let z be -14 + -3 + d + 4. Is -15 at least z?
False
Let d = 1/112 + 445/336. Suppose -6*r = -2 - 10. Suppose 0*i - 6 = -5*i + t, i - t = -r. Which is greater: d or i?
i
Let p(j) = -3*j**3 - 2*j**2 - 4*j - 2. Let h be p(-1). Suppose -h*u + 87 = -117. Is u at least as big as 69?
False
Let l = 3/7 + -18/91. Let m = -88 + 88. Is l less than m?
False
Suppose -156*f + 154*f = -2. Let g = -457 - -12341/27. Which is greater: f or g?
f
Let m be (-2)/(-10) - (-42)/15. Suppose v + 10 = m*v. Let i be (-2)/v*(-30)/6. Which is smaller: i or 2/3?
2/3
Let a be ((-96)/(-28))/(-4)*7. Let u = 9 + a. Let k be (-14)/4*(-3 + 1). Is u equal to k?
False
Let l(w) = -w**3 + 10*w**2 + 17. Let z be l(11). Is -103 <= z?
False
Suppose -17*o + 27*o + 40 = 0. Suppose 0 = l - 2*t + 4 - 15, 0 = -5*l + 2*t + 23. Suppose 12 = -0*i - l*i. Is o equal to i?
True
Let s be (-21980)/110 - (3 - (-62)/(-22)). Is -200 < s?
False
Suppose 26*w = 29*w. Let b = 1 - 1. Is w equal to b?
True
Suppose 3 = -2*r - 2*l + 1, 0 = -5*l - 5. Is -1/1720 at most as big as r?
True
Let s = -5.96 + -0.04. Let n = -0.191 + 7.191. Let o = n + s. Is 22 < o?
False
Let r = 1056 - 1055. Which is bigger: r or 6/25?
r
Let l be 0 - (0 + 1) - -3. Suppose l*z - 46 = -12. Let b = -10 + z. Which is smaller: b or -1/3?
-1/3
Let r(u) = 82*u + 7. Let j be r(5). Let s(m) = 3 - 417*m + 2*m**2 + j*m - 2. Let i be s(0). Which is greater: i or 4/5?
i
Suppose m = -0*i + i + 11, -4*m - 1 = i. Let a = i - -73/8. Which is bigger: a or 4?
4
Let d be 0 + -325 - 4/(-12)*3. Let l = d - -10042/31. Is 0 greater than l?
True
Suppose 710 = 5*f - 5*x, 3*x + 716 = 5*f + x. Suppose -21*y + 13*y = f. Let m be 1 - 1 - (1 - -16). Is m greater than or equal to y?
True
Let q = 13 + -13.1. Let k = 2/3397 - -6700/159659. Which is greater: q or k?
k
Let n = 1.97 + -1.87. Let k = 13.72 - -0.28. Does n = k?
False
Let j = 1286 - 1291. Is -0.023 at most as big as j?
False
Let n = -705 - -982. Are n and 277 nonequal?
False
Let q = 267744/119 + -2250. Which is greater: -1 or q?
q
Suppose 24 = -5*x - 6. Let t be ((-4)/(-16))/((x/112)/(-1)). Are 6 and t unequal?
True
Let z be -7 - (3/9 - (-172)/(-3)). Let t = 3 + -9. Let s be (t/(-5))/(15/z). Is s at most 4?
True
Let s = -189 + 209.3. Let a = s - 20.2. Let n = 8.77 + 0.23. Do n and a have different values?
True
Suppose 2 = 8*d - 22. Let q be (-28)/(-5) - d - (-6)/(-10). Are -7 and q equal?
False
Suppose -6*s + 6 + 18 = 0. Suppose 5*d - 3*d + 4*x = s, -4*d + 4 = 4*x. Let n be 0 - (1 + -2)*0. Is d greater than n?
False
Let w = 64 + -36. Let p(c) = 5*c - 7. Let a be p(7). Is a at least as big as w?
True
Let x be ((-51)/24)/17 - 38/80. Is x <= 3/4?
True
Let j = 15 - 12. Suppose 3*s + 2 = -4*z + 5, 3*s - j = 5*z. Suppose n - 3*f + 2*f + 5 = 0, -3*n + s = f. Which is bigger: 2/11 or n?
2/11
Let k be 2/((-84)/18) - 627/(-1071). Is 1 not equal to k?
True
Let b = 1 - 4. Let m = b - 3. Let t = m - -9. Which is greater: t or -0.2?
t
Let j be (1 + -3)/((-2)/(-41)). Let l be (56/(-10))/(16/120). Which is bigger: l or j?
j
Let x = 24 - 16. Let i be 0 + 0 + (-2 - 4). Let f be (36/(-27))/(x/i). Which is smaller: 5/8 or f?
5/8
Let g = -21986 - -22007.142. Let m =