-4.17 - p. Which is greater: u or i?
i
Let o be (3374/(-48) - 0/1) + (-33)/99. Do o and -1 have different values?
True
Let x be (4 + 27/(-6))*(-33 + 1). Let n be x/40 - 78/170. Let z = -13/68 + n. Is z < 6?
True
Let k be (18/(-12))/((-2)/4). Suppose -2*r - 2*w = 92, -k*r - w - 136 = -0*w. Let f = r - -44. Which is smaller: 6/31 or f?
f
Let p = -3.34 - -2.34. Suppose -j = -5*j - 156. Let i be (1 - 0)/(13/j). Is i >= p?
False
Let q = 27513 - 27526. Which is smaller: -283 or q?
-283
Suppose 4*q + 45 = -k, 3*q - 16 = -2*k - 56. Let h = q - -123. Are h and 114 equal?
False
Let l be (1164/(-60) + 22)/(1/314). Which is smaller: l or 817?
l
Suppose -325 = 3*f + 19*i - 17*i, 2*f + 3*i = -225. Which is smaller: f or -28?
f
Let b be (-1)/(-2)*(-10 - -10). Suppose -4*l - 3*v + 17 + 136 = b, -2*v - 80 = -2*l. Suppose -10*u = -116 - 274. Is l greater than u?
False
Let l(k) = 20*k**2 + 25*k + 31. Let a(s) = 11*s**2 + 13*s + 16. Let c(u) = -11*a(u) + 6*l(u). Let t be c(8). Is 10 smaller than t?
False
Suppose 0 = 3*t - 18 + 3. Suppose -t*c - 3 - 12 = 0. Let u be -17 - (1*-4 + (c - -4)). Which is greater: u or 1?
1
Suppose -h + 0*h = -115. Let r = h - 156. Let s = r - -32. Which is smaller: s or -8?
s
Let w = 608 - 182. Let a = w + -412. Which is bigger: a or -4?
a
Let r = -15.9 - 16.3. Let l = r - -32.2. Which is greater: -89 or l?
l
Let a = -136 - -141. Suppose -6*k + 7*k + n + a = 0, 0 = -4*k + 5*n + 16. Which is bigger: k or -6/67?
-6/67
Let y(w) = w + 180. Suppose 0 = 11*t - 6*t + 60. Let z be y(t). Which is greater: z or 166?
z
Suppose 21*y - 6983 = 8821 + 9354. Which is smaller: 1197 or y?
1197
Let c = 9 - 6. Let j = 1/7975 - -23923/15950. Which is greater: c or j?
c
Let l = 147709/15 - 9843. Which is bigger: 5 or l?
5
Let q = 8401/6 - 1394. Let f = q + -47/12. Which is smaller: -3 or f?
-3
Let d = -246 - -226. Let s(a) = a**3 + 21*a**2 + 22*a + 55. Let u be s(d). Is u < 14?
False
Let a = 49 - -40. Let n be (1 - -4) + (-45)/10 - 0. Which is greater: n or a?
a
Let a = 2579 - 3332. Is -3 > a?
True
Let w be (-393*(-1)/(-20))/(3/(-4)). Let x = w + -26. Which is smaller: x or 1?
x
Let c(i) = 5*i**2 + 365*i - 39. Let o be c(-70). Is -1089 at least o?
True
Let q be (-88342)/(-236187) - (1287/253 + -5). Let d = -2/1467 + q. Which is smaller: -12 or d?
-12
Let h be ((-1)/4 + (-2679)/4)*(-131)/(-262). Which is smaller: -1672/5 or h?
h
Let b be ((-3486)/7636)/((-18)/(-8)). Which is smaller: 0 or b?
b
Let s = 2409 + -1395. Let x be (-28)/(-154) + s/(-11). Let o be (98/80 + -1)/(69/x). Is o at least 1/5?
False
Let j = -21462.39703 - -0.39703. Which is smaller: -0.1 or j?
j
Let j = 39754/49 + -811. Which is greater: j or -1?
j
Suppose -9 = b - 29. Let j be 4/10 + (-188)/b. Let i(y) = y**2 + 58*y - 1103. Let s be i(-73). Is s smaller than j?
False
Let d = 675.91 - 672. Let k = -1580.09 + 1581. Let v = k - d. Which is greater: 0 or v?
0
Let v = -67 - -36. Let y = v + 29. Let z = 121.21 - 121. Which is bigger: y or z?
z
Let k be ((-9)/6)/((-30)/400). Suppose -2*v + 2*r + k = 0, 2*v + 5*r - 39 = 9. Is 13 less than v?
True
Let a = -64 - -73. Suppose 23 - 5 = a*p. Suppose 0 = -p*n - 8, -2*n = 4*f + n + 48. Are -10 and f unequal?
True
Let h = -4949 + 4945. Let o be -1*((-7)/2 + 0). Is o > h?
True
Suppose g + 43 = -5*v, 629*g + v = 625*g - 286. Is g <= -41?
True
Let z = -122.8369 - 0.0631. Let j = z - -123. Let b = 2 - 1.8. Which is bigger: j or b?
b
Let g = -39096 - -119527/3. Let s be (4542/12 + -2)*-2. Let i = g + s. Is -8 > i?
False
Suppose -m + 13 = -4*s, -3*m = -2*m - 2*s - 9. Suppose 2*j + 28*g = 25*g - 14, -m*j - 13 = 2*g. Let u be (-38)/(-16) - 1 - 1. Do u and j have the same value?
False
Let b be (2 + -1)/((-15)/(-75)). Suppose k = -b*u + 15, -4*u + 3 = 3*k - 4*k. Suppose 0 = 2*y - 4*a + 6, -2*y = 3*y + 5*a - 15. Is y greater than or equal to u?
False
Let n = -427 - -426. Let a = -0.319 - -278.319. Is n smaller than a?
True
Let n be 12/(-22) - (-41160)/924. Suppose n*k - 3*k - 287 = 0. Suppose -8 = 3*i - 4*i. Which is smaller: k or i?
k
Let n = -3972 - -4040. Are n and 51 nonequal?
True
Let p = -1.14 - 0.82. Let h = p + 81.96. Let d = h - 81. Which is greater: -9 or d?
d
Let c = -54757/2 + 27378. Which is greater: 79.1 or c?
79.1
Let o be (-11 + 10)/((-1)/(-970)). Are -970 and o unequal?
False
Let t be (-213)/(-4)*5728/(-1074). Which is smaller: -286 or t?
-286
Suppose -5 + 5 = 7*i. Let x = -50941099/1105 + 766744/17. Let y = x + 998. Which is smaller: i or y?
i
Let m = 6427 - 6414. Is m <= 187?
True
Let o = -0.43 + 16.43. Let r = -15.8 + o. Let t = -951 + 931. Which is bigger: t or r?
r
Let k be (2 - -93 - 2)*34/204. Let u = k - 97/6. Which is greater: -6 or u?
u
Suppose -3*k - 3*u = 0, -3*k + 5*u - 7*u = -3. Suppose -8*l + 35 = 3. Let b be 0/(l + (-9)/k). Which is smaller: 1/27 or b?
b
Let w be (-4)/6 - 64/48. Suppose -3*d - 24 = d. Let z be -1 + (-1 - w) - (-135)/d. Which is smaller: z or -22?
z
Let v(s) = 8*s**3 - 168*s**2 - 660*s - 8. Let l be v(-4). Do -573 and l have different values?
True
Suppose -2*f = -2*o + 6, -2*o + 2*f + 4 = -f. Suppose 16 = -o*w + 11. Which is bigger: w or 5/28?
5/28
Suppose 17 = 2*t + 5*l, -l + 11 = t + 4*l. Suppose 7*d + 71*d = 936. Suppose 3*z = -d + t. Is 1/4 equal to z?
False
Let o(d) = 2*d**2 + 14*d - 25. Let f be o(-8). Let b = f + -217. Is -226 > b?
False
Let v(u) = -u**2 + 5*u - 3. Let b be v(5). Let c = 0.05422 - -0.00578. Which is greater: c or b?
c
Let y = -81 - -10. Let z = y - -71. Let w be (-4)/33*(-2)/(-8). Which is greater: w or z?
z
Let p be (-770)/(-264792)*(-8)/28. Are -1 and p equal?
False
Let l = -1025 - -1042. Let c = -8753 + 114003/13. Is c at most as big as l?
True
Suppose -p = -5*m + 13, -4*m + 6*m - 5*p = -4. Suppose 2*a = -2*q - 10, 6 = -2*a - m*q - 0*q. Which is bigger: a or -8?
-8
Suppose -4*u = -0*u + 4. Suppose 25 = 4*m + 2*z + z, -m + 13 = 3*z. Suppose -3*i - 2 - m = 0. Is i smaller than u?
True
Let k(w) = -2*w**3 - 25*w**2 + 18*w - 40 + 3*w**3 + 5*w. Suppose j = -5*c + 122, c + 1167*j = 1164*j + 30. Let q be k(c). Which is smaller: q or -63?
q
Suppose 3283 = 10*b + 14633. Is b smaller than -1133?
True
Let k(c) = -2*c + 51. Let z be k(-8). Let h = z - 0. Do h and 67 have the same value?
True
Let k(o) = -o**3 - 5*o**2 - o. Let d be k(-5). Let h be d/30*(-6 - (-956)/159). Which is smaller: 0 or h?
0
Let s = 333 - 222. Suppose 2*p + 21 = -s. Let n be (p/39 + 2)/2. Which is smaller: 1 or n?
n
Let a = -125 + 85. Let j be -17*-3*a/(-6405). Let d = -2/61 + j. Is d bigger than -1?
True
Let j = 1463 + -1500. Let u = 61.6 - 10.6. Let c = u + j. Which is smaller: -2 or c?
-2
Let k = 42 + -23. Let z = k - 9. Let y = -10.3 + z. Is -1.2 at least as big as y?
False
Let f = 3 - 2.9. Let s = -1555877/6 - -259319. Is f != s?
True
Let f be 145 - (-6 + (5 - 2)). Suppose 2*c + f = 4*j, -4*c - j - 83 = -3*c. Is c bigger than -80?
False
Let u be (2/(-3))/(2/(-108)). Suppose 12 - u = -4*f. Let s = 308/1231 - 1/4924. Which is greater: s or f?
f
Let t = -1708 - -154. Is t greater than -1554?
False
Let m = -3214 + 3227. Let n(i) = 14*i**2 - 2*i + 1. Let b be 7/5 + (-6)/15. Let j be n(b). Is m > j?
False
Let m = -14240 - -11910. Which is greater: m or -2332?
m
Suppose -42*k + 68 = -46*k - 2*s, 4*k + 58 = 3*s. Let v = k + 157. Which is bigger: v or 140?
v
Let g = 370/51 + 134/51. Let u = g - 180/17. Let a(t) = 32*t + 1214. Let x be a(-38). Is x at least u?
False
Let v be 143/(-124) + (-18)/(-24). Let p be 24/62*(-11)/44. Let s = p + v. Which is smaller: s or -1?
-1
Let y be ((-81)/756)/((-546)/4). Which is smaller: y or -1?
-1
Let p = 8377 + -8464. Which is greater: p or -1?
-1
Let d be ((-20)/(-3) - 6)*156. Let c be (-22)/(-16) - 39/d. Which is bigger: c or -2/397?
c
Let z be (-5 - -7) + ((-15)/(-50) - (-231)/(-70)). Is -4/8625 less than or equal to z?
False
Suppose -3*m + 3*h = -4 - 11, 0 = -4*m - 5*h - 25. Let r = 1107/2900 - 35/116. Which is bigger: m or r?
r
Let b = -2/621 - -629/2484. Let v = -1301 - -1250. Which is smaller: b or v?
v
Let n = -8464.169 - -8463. Is n > 3?
False
Let u = -14831272/835 + 17762. Is 0 less than u?
False
Let x = -417 + -17. Let q = -433 - x. Let n be 26/57 - 4/6. Is n less than q?
True
Let i = 7424.8385 - 7425. Is 1/2 <= i?
False
Let z = -562 + 499.4. Let h = -62.37 - z. Is 0.2 equal to h?
Fals