j, -4*z + 10*j = 5*j - 9. Which is smaller: 5/82 or z?
5/82
Suppose -50 = -5*z + 2*b, 2*z - 3*b = -2*z + 33. Let o be 78/z*(2 - 4). Do o and -13 have the same value?
True
Let p(j) = 7*j**3 + 5*j + 1. Let g be p(4). Is g > 469?
False
Let l be (106199/(-7582) + 14)/((-3)/(-4)). Do -1 and l have the same value?
False
Suppose y + 4 = -3*y, -71 = -4*j - 5*y. Suppose j = -b - 51. Is -70 at least b?
True
Let l be (-57)/90 - (-19)/(1995/14). Is l greater than 528?
False
Let f = -163 + 162. Let s = 10/11 + -8/11. Is s at most f?
False
Let l be -2*(-3 + 6)*(-10)/(-3). Let q = -17 - l. Is q less than 6?
True
Let h = 2/11531 - -1764235/46124. Let g = -38 + h. Let m = 2 - 1. Is g < m?
True
Let g = -120.85 + -0.15. Let d = g + 122. Is d bigger than 8?
False
Let p = -0.194 + 0.124. Let u = 41 - 40. Are u and p equal?
False
Let q(m) = -m**3 - 4*m**2 - m + 3. Let x be q(-1). Which is greater: -1/505 or x?
x
Let a be ((-11)/(-2))/(2/8). Suppose a*f - 18*f + 2520 = 0. Let o = f + 12603/20. Which is smaller: o or 0?
0
Let o(t) = -2*t**3 + 12*t**2 + 3. Let k be o(6). Suppose 4*g + 349 + 176 = -3*v, -2*g + k*v - 285 = 0. Is g less than or equal to -135?
True
Let c = -9 + 0. Let l(p) = -p**2 - 10*p - 10. Let f be l(c). Let z be (f - 0)/(7/2). Are -3 and z equal?
False
Let u = -1057753 - -478104703/452. Let f = -2/113 + u. Is f at least 0.13?
True
Let n be (-6)/4 + (-1 - 12357/(-4938)). Is 0 greater than or equal to n?
False
Let b = 0.49 - 0.53. Is b < -4/7?
False
Let s = 3 - -41. Suppose s - 254 = -6*z. Is z not equal to 34?
True
Let c(h) = 4*h**2 - 7*h - 3. Let p be c(7). Let y = p - 143. Which is smaller: y or -2/9?
-2/9
Let b(n) = -11*n + 1. Let f be b(0). Which is bigger: -1/64 or f?
f
Suppose -2*u - 378 = g, -3*u + 3*g = -0*u + 585. Let k = -334 - u. Let c = k - -1003/7. Which is bigger: -6 or c?
c
Let m(p) = -p**2 - 6*p + 5. Let s be m(-7). Let j(y) = y**3 + 2*y**2 + 2. Let o be j(s). Suppose -3*z = o*n + 12, -n = 5*z + 19 + 1. Which is greater: z or -7?
z
Suppose -6*f + 3*f + 5*h = -63, -5*f + 3*h = -89. Is f equal to 14?
False
Suppose 3*d + 2 = 2*p + 127, -2*p = -4*d + 130. Let g = p - -25. Is g greater than -30?
False
Suppose -2*w + 20 = -4*w. Let l be (15/w)/((-6)/(-16)). Let k be (-10)/l + 12/(-8). Are -1/7 and k non-equal?
True
Let v = -86 - -87. Is v != 2/71?
True
Let f be (-3)/(12/32)*(0 + 29). Which is smaller: -233 or f?
-233
Let y(n) = -2*n + 3. Let h be y(4). Let p be 30/8 + h/(-20). Is p greater than 4?
False
Suppose g + 4*g - 10 = 2*b, 2*b - 18 = -2*g. Which is smaller: -5 or g?
-5
Let s be ((15 - 19) + 35)/(2/(-20)). Which is smaller: s or -311?
-311
Suppose 0 = -r + 3*r + 4. Let s be 199 - (-1)/r*8. Let u be -3 - (0 - s/63). Is u > 0?
True
Let o = 59 + -20. Let v = o + -42. Which is bigger: 1 or v?
1
Let m = 6 - 0. Let w be 12*((-21)/m + 3). Let d(c) = c**3 + 6*c**2 - 2. Let l be d(w). Which is smaller: l or 0?
l
Let n = -0.374 - -0.174. Is -34 bigger than n?
False
Let i = -6 + 45. Suppose -5*z + 2*g - i = 0, 3*z + 5*g + 11 = -0*g. Suppose -30 = 3*l - 3*f, 5*l = 2*f - 26 - 9. Which is smaller: z or l?
z
Let u be -38*1 + (13 - (2 + 15)). Is -38 smaller than u?
False
Suppose -3*h - 231 + 123 = 0. Which is greater: h or -35?
-35
Suppose 5*z - 15 = -2*m, -2*z - z = -2*m - 25. Suppose z*y - 35 = -3*t, -t = y - 2*t + 1. Is 4 < y?
False
Let q = 10 + -10.05. Let u = q - 0.05. Let c = -47 + 45.8. Which is smaller: u or c?
c
Suppose -y - 4*a = -24, 2*y - 3*y + 27 = 5*a. Let k = -22 + y. Is k less than -10?
False
Let f be 0 - (1 - 1)/(-1). Let j = -0.3 + 0.4. Is f greater than j?
False
Let q = -3966 + 257783/65. Let h = 157/1560 - q. Which is smaller: 1 or h?
h
Let b = 14273 + -10062463/705. Let w = b - 769/22560. Let o = 6 - 5. Which is smaller: o or w?
w
Let b be (-5)/(0/(-7) - -1). Let l = 9 - 17. Is b bigger than l?
True
Suppose 1627 = 5*q + 497. Which is greater: q or 1/3?
q
Let m = -1877.1 - -2001. Let h = 123 - m. Is h at least as big as 7?
False
Let m = -22.2 - 8.8. Let q = m - -31.1. Is 0.006 >= q?
False
Let l = -282584/87 - -3248. Is 1 != l?
True
Suppose c + 2 = -3*i, -12 = -5*i + 5*c + 18. Do 14 and i have the same value?
False
Let t be 61/3 - 4/(-6). Let q be (-1)/(-2) - (-170)/68. Suppose 3*r + q*a + t = 0, -13 = r - 0*a + 4*a. Which is smaller: -2 or r?
r
Let o = 0.191 - 2.221. Let t = o - -0.03. Which is smaller: t or -1/6?
t
Suppose -6*a = -a + 10, -328 = -4*q + 2*a. Suppose 39 + q = -5*m. Are -26 and m unequal?
True
Let r(g) = -g**3 - 3*g**2 - 2*g. Let n(b) = -b**2 + 7*b - 8. Let u be n(6). Let v be r(u). Suppose 4*t + 12 = -v. Is t greater than 0?
False
Let w be ((-3)/(-1))/((-13)/65). Is w bigger than -7?
False
Let i = 27 - 66. Let n = i - -30. Which is greater: -3/8 or n?
-3/8
Let j = 29 - 21. Suppose 4*u - 31 = -4*g - 671, 0 = 2*u + 4*g + 328. Let y be (4 - u/18) + 1*-4. Which is bigger: y or j?
y
Let a = -168 + 187. Is 11 greater than or equal to a?
False
Let l = -9.1 + -1.9. Let f = 1 - l. Let g = f + -13. Are 0 and g non-equal?
True
Suppose 5*f - 3 = -8. Let w = -20/33 - -313/462. Is f greater than w?
False
Let m be -12 - (7 - 1560/3). Are 503 and m non-equal?
True
Let h = 429 + -428. Are h and -54 equal?
False
Let w = 0.293 + -0.293. Which is smaller: -274 or w?
-274
Let l be 8/(-6) - 676/(-516). Let z = 41/86 - l. Which is smaller: z or -10?
-10
Let y = 1452 - 1525. Which is smaller: -72 or y?
y
Suppose 13 = -6*j - 11. Is j at least as big as 11?
False
Let a = -189 + 113. Let h = a - -78. Which is smaller: 1 or h?
1
Let y(f) = 2*f**3 - 30*f**2 - 30*f + 1. Let z be y(-1). Are 15/124 and z nonequal?
True
Let w = -14 + -12. Let v(p) = p**3 - 12*p**2 + 10*p - 16. Let d be v(12). Let j be 4/w - (-16)/d. Are j and -0.4 equal?
False
Let s be ((-95)/(-57))/(-2 - -3). Are -4/17 and s equal?
False
Let r(u) = u**2 + 11*u - 21. Let n be r(-12). Let k(v) = v**3 + 11*v**2 - 10. Let t be k(-11). Which is greater: t or n?
n
Suppose -31*m = -29*m. Which is bigger: -1/166 or m?
m
Let s(t) = 14*t**2 - 26*t - 6. Let i(j) = 5*j**2 - 9*j - 2. Let c(q) = -11*i(q) + 4*s(q). Let g be c(6). Suppose 2 = n - 3. Which is smaller: n or g?
g
Let r = 1398 + 28. Let v = r - 188261/132. Let n = v + -1/33. Which is bigger: n or 2?
2
Let v(f) = -3*f + 1. Let p be v(1). Let x be p/4 - (-60)/(-16)*2. Let t(u) = -6*u**2 - u. Let y be t(1). Is y at most as big as x?
False
Let u = 4 + 0. Suppose -u*c = b - 3, -5*b = c + c + 21. Are 16/9 and c unequal?
True
Let n = 6/25253 + -2247877/1515180. Let r = 3/20 + n. Is r <= -2?
False
Let m(r) = r**2 + 20*r - 15. Let i be m(-21). Let n be i/(-4)*(-3)/(-9). Is n >= 18?
False
Suppose -l - 5*x = 14, 5*l = -5*x + 9*x + 75. Which is smaller: 130/11 or l?
l
Let p(y) = 4*y + 19. Let s be p(-7). Let c = s + 28/3. Which is smaller: c or 4?
c
Let i = -7240/5481 + 38/29. Let a(f) = f + 8. Let q be a(-7). Which is bigger: i or q?
q
Let l be (-7)/((-14)/26) + -12. Let y be (2 - 1)*1/13. Which is smaller: l or y?
y
Let l be 7 - -2 - 2/1. Let m be l/((-105)/(-18))*10. Which is smaller: 11 or m?
11
Let u(i) = -i**3 + 4*i**2 + 4*i + 7. Let k be u(5). Suppose -4*j - 5 = k*v - 15, 2*j - 8 = -2*v. Let s be 3 + 3/(-9)*0. Which is smaller: s or j?
j
Let j = -72 + 76. Which is greater: 1/9 or j?
j
Let s be (0 - 596/56) + (-7)/(-49). Which is greater: s or -2?
-2
Let z be (1 - 2653/2652)/((-10)/81483). Let f = -3/680 - z. Which is bigger: f or -3?
-3
Let p = -1522/2871 - 4/261. Let w(g) be the second derivative of g**4/12 + 2*g**3/3 - 41*g. Let t be w(-4). Which is bigger: p or t?
t
Suppose 4*d + 90 = 11*d + 83. Let h = -1884 + 891134/473. Is h less than d?
True
Suppose -3*u = -4*j - 16, 0 = -242*j + 240*j + u - 6. Suppose -4*m - g = -35, m + 0*g = -2*g. Is m at most j?
False
Suppose 0 = 4*b + 20, -2*g - b = 2*b - 41. Suppose 2*m + g = 6*m. Let i(t) = -t**2 + 8*t - 6. Let r be i(m). Which is bigger: 2/19 or r?
r
Suppose 6*s = -74 + 374. Is s equal to 51?
False
Suppose 3*i = -y + 10 + 8, 4*y + 4*i = 32. Suppose 24 = -5*o + y*n, -o - n + 12 = -4*o. Let a be o + 4 + 2/(-3). Which is greater: a or 0.07?
a
Let w = -0.0421 - -25.1421. Let q = -25 + w. Let h = -17 - -12. Is q greater than h?
True
Suppose 0 = 11*i - 13*i - 10. Let q be i/15 + 417/9 + -2. Which is bigger: 45 or q?
45
Let n = 0.206 + -0.606. Which is greater: n or -26?
n
Let m = 88 + -87.6