5*k + 12 = t, 0 = -5*f - 4*k - 89. Which is smaller: f or -16?
f
Let d be (2/(-3) + 1)*3. Let x be -6*8/336 + (-10193)/(-7). Let o be 16/x + (-2)/13. Is o greater than d?
False
Let l = -17 - -13. Let v be (-30)/3*l/(-150). Is 0 != v?
True
Let p = 871 + -8721/10. Suppose 4*o - 2*z - 1 - 1 = 0, 4*z + 17 = -5*o. Which is bigger: o or p?
o
Let y(j) = 90*j**2 - 53. Let v be y(7). Suppose 1283 - v = 29*p. Are -106 and p nonequal?
False
Let n = 1740 + -8644/5. Is n at most as big as 1/29?
False
Suppose -6*a + 264 = -10*a. Let v be (-9)/5 + 1 - a/77. Is 1 greater than v?
True
Let o be 4/215*(-10)/(-4). Suppose -z = -14 + 22 - 7. Which is smaller: o or z?
z
Let j(k) be the first derivative of k**3/3 + 13*k**2/2 + 34*k + 19. Let h be j(-9). Let d = 71/6 + -889/66. Which is smaller: h or d?
h
Let a = -26 + 27. Let m be (-32)/((-20)/14 + (-36)/(-84)). Let f = m - 29. Which is greater: a or f?
f
Let i = -7/41 - -802/3977. Let s = -178 - -186. Suppose -12*j + 4 = -s*j. Which is smaller: i or j?
i
Suppose 68838 = -124*i + 266. Are i and -543 equal?
False
Let n = -447 - -392. Let l = n - -154. Which is smaller: l or 100?
l
Let f be (-11)/(198/45)*(-63330)/25. Is f less than 6333?
False
Suppose 0 = 3*z - 16 + 34. Let l be (-2)/4*-56*z/(-684). Is l not equal to -1?
True
Let b = 13390 + -67133/5. Let p(k) = k**2 + 17*k + 14. Let u be p(-13). Which is smaller: b or u?
u
Let i = 510/23 + -3547/161. Is i > 1.6?
False
Suppose 12*a - 16*a - 8 = 0. Let m be -4*a/(-24)*3. Which is smaller: -11/5 or m?
-11/5
Let v be (2/177)/((-1)/(54/12)). Let c be (-8)/36 - 536/(-1062). Let u = c - v. Which is smaller: -1 or u?
-1
Let z be 0/((1 + -2)/((-32)/(-32))). Is -4/81 less than z?
True
Suppose -2*n - 76 = 2*t, 3*n = t - 305 + 371. Which is greater: t or -1067/23?
t
Let j = 5759 + -5756. Which is smaller: j or 106/37?
106/37
Let p(r) = -22 - 10 - 16*r**2 - 2 + 0*r**3 + r**3 + 2*r. Let q be p(16). Let b be (q + 4)*-2 + 5. Which is smaller: -1/10 or b?
-1/10
Let p(h) = -4*h**2 + 71*h - 11. Let m be p(16). Is -37 <= m?
True
Let l(d) = -d**3 + 208*d**2 - 825*d + 1881. Let f be l(204). Which is bigger: -9 or f?
f
Let k = -12225.72 + 12223. Is k at least as big as 15?
False
Let o = -9635 - -9634. Which is bigger: o or -14/155?
-14/155
Let z be 1 + -2 - 4/4. Let o = 27 + -23. Let p be o/5 + 14/(-105). Does z = p?
False
Let f be (-8)/(-12)*2574/52. Which is smaller: 31 or f?
31
Suppose -273*u + 35 = -475*u + 237*u. Is u at least 5/38?
True
Let z = -5273754/259 + 20362. Let n(c) = -c**3 - 5*c**2. Let t be n(-5). Which is bigger: t or z?
z
Suppose -3*m = 0, -22*m = -5*h - 23*m + 10. Let z be (46 - 46)*(h + -1). Which is bigger: z or -22/23?
z
Let l(n) = -n - 2. Let a be l(-5). Let d = 20 + 28. Let m = d + -48.1. Which is smaller: a or m?
m
Let v(x) = -x**3 + 10*x**2 - 18*x - 36. Let u be v(6). Is -7/674 less than u?
True
Let o be -1*((-3 - 1) + 7). Let x be (354/(-295))/(o/5). Which is bigger: 36/13 or x?
36/13
Let l be 24*((-87)/(-580))/(42/20). Let s = 13 + -8. Do l and s have the same value?
False
Let z(q) = -84*q + 1422. Let h be z(17). Which is greater: h or -128/25?
-128/25
Let q = -797/14 + -6337/28. Let w be 286 + -1 + 2*1. Let p = q + w. Which is greater: -1 or p?
p
Let k = -537 - -555. Suppose 133 = -k*y - 47. Which is smaller: 6 or y?
y
Let b be (0/(-4 - -10))/(11/(44/(-12))). Are 26/103 and b non-equal?
True
Let j = -4146 - -3854. Which is greater: j or 2?
2
Let t be ((-250)/(-1000))/(6/(-8)). Which is smaller: t or 428?
t
Let r(t) = -t**3 - 37*t**2 - 39*t - 108. Let q be r(-36). Is q < 2/4803?
True
Let o be 2/(-8) + (-5)/((-124600)/6470). Is 1 smaller than o?
False
Let k be (2 - (-4)/(-3)) + (-26350)/(-19740) + -2. Is 0 greater than k?
False
Let y = 99.66 + -99.545. Is 37 less than y?
False
Let r = 729 + -1721. Let x be (-4)/(-3 + 2) + r/244. Which is smaller: -0.1 or x?
-0.1
Let o be 12 - -5*99130/(-41305). Is o greater than or equal to 1?
False
Suppose -10*x - 32*x + 42 = 0. Are -12/869 and x non-equal?
True
Let d be 156/468 + (-4097)/(-3). Which is smaller: 1 or d?
1
Suppose r - 7 = -2*r + 5*y, -3*r - 4*y = -16. Suppose -11*b - 168 = -r*b. Let c be -1*b/(-90)*1/4. Which is bigger: 1 or c?
1
Let h be 0 + -3*(-2)/(-6). Let v be ((4/1494)/(-2))/((-11)/(-33)). Which is greater: v or h?
v
Suppose 30 = o - 3*z - 0*z, 0 = -4*z. Suppose -s - 82 = -o. Let v be (-300)/s - (-3)/(-1). Do v and 2 have the same value?
False
Suppose 16348*g = 16356*g - 21008. Are 2623 and g equal?
False
Let j = -1195 + 8347/7. Let s = -587/231 - j. Which is bigger: 1 or s?
1
Let c = 8709 + -8688. Is 12 smaller than c?
True
Let h = -8371 - -8371. Which is smaller: -25/41 or h?
-25/41
Suppose 281*m - 146*m - 146*m = -20438. Is 1853 bigger than m?
False
Let b(q) = -q**3 - 4*q**2 + 2*q - 10. Let r be b(-5). Suppose -288 = -r*h + h. Suppose -3*o - d + h = -4*d, -72 = -3*o - 4*d. Is 26 greater than or equal to o?
True
Let h = 288.87 - 6.87. Let y = h - 308. Is y at most 2?
True
Let d = -3812/5 - -756. Suppose 15 = -3*h - 3*o, o + 10 = -h - h. Is h at least d?
True
Let c(l) = l**3 + 15*l**2 - 3. Let t be c(-7). Let b = 1169/3 - t. Let n = 0.24 - 0.06. Does b = n?
False
Let x be (43 + -111 + 76)*13/(-22). Suppose 2 + 4 = -b. Is x smaller than b?
False
Suppose 5*g + 4*a + 32 = 0, 2*a - 40 + 54 = -2*g. Which is bigger: -2159 or g?
g
Let f = -2 - -12. Let z = f - 59/6. Which is smaller: 47 or z?
z
Let d = 3911 - 3680. Which is smaller: d or 5?
5
Let k be 35 - 30 - -1*125. Suppose 0 = -143*j + k*j + 130. Is j at least 17/2?
True
Let i be 5/(4 + -3) - 2. Let a = i - 24. Let y be 330/(-75)*(5 + 0). Does y = a?
False
Let p be 8 + (-44561)/(-14850) + -11. Let u = -1016/4725 + p. Let w be (-2 + (4 - 2))*-1. Is u equal to w?
False
Let a = -0.012 - -0.072. Let c = -54.94 - a. Let w = c + 55.1. Do -12/13 and w have the same value?
False
Let b(g) be the second derivative of -g**5/20 - g**4/3 - g**3/6 + 2*g**2 - 18*g. Let v be b(-3). Let a be ((-4)/17)/((-1)/15*-5). Is a > v?
True
Suppose -4*q + j + 1525 = 0, -511 = -4*q + 5*j + 1018. Let y = -321 + q. Is y not equal to 298/5?
True
Suppose -528 = 27*p - 11*p. Let n be (p - -33)/(0 - 1). Is n != 3/4?
True
Let a = -1 + 1. Let k = 25213/15470 + -139/85. Which is greater: k or a?
a
Let f = 177.151 + -0.151. Let y = -177.7 + f. Which is greater: y or -12?
y
Suppose 13 = -4*o + 25. Suppose 7*s - o*s - 8 = 0. Suppose s*g - 104 = -6*g. Are g and 13 equal?
True
Let g = -1016.32 - -1046. Let m = g + -30. Let j = -9.68 + m. Is j at least -0.2?
False
Suppose -11*h + 36*h = 100. Suppose -h*c - 3*m + 41 = 0, 2*c + 22*m - 25*m - 25 = 0. Is -18 less than c?
True
Let l = -11099 - -11101. Let n = -136523 + 4777791/35. Let t = n + 87/5. Is l at most as big as t?
True
Let p = 38075/291592 + 13/7112. Which is smaller: p or 1?
p
Let i be 0*((-3)/(-2) - 1). Suppose -5*h = -2*u - 7530, -2*u + 2998 = -0*h + 2*h. Let k = h - 94750/63. Is k greater than i?
True
Let u = 2892 - 66546/23. Let f be (-6)/(-15) - (-6)/(-15). Which is greater: f or u?
f
Let g(z) = 2*z**2 + 17*z + 7. Let d be g(-9). Suppose h - 3 = u, -2*u + 3 = -3*h + d. Let l be 22/154 + (26/h)/2. Which is smaller: 12/23 or l?
12/23
Suppose -122*n = 4*n - 160612 - 84710. Is 1948 < n?
False
Let a = 4195 + -4196. Which is greater: -4/3519 or a?
-4/3519
Let q = 3072 - 3065. Does q = 39?
False
Suppose 4*w + 41 = -5*i, -w - 14 = 6*i - i. Suppose -4*u - 7 = -4*r - 3, -2*u = 4*r - 4. Let z be r*-1*(-4)/(-638). Which is smaller: z or i?
i
Let d = 502 - 597. Let p = -114.9 - -207.8. Let s = d + p. Is 2/7 equal to s?
False
Suppose -4*h = 5*z + 84 - 609, 0 = 3*h + 3*z - 396. Let i = h - 182. Is -47 smaller than i?
False
Let k(l) = 324*l - 149. Let s be k(10). Is 3092 at most s?
False
Let b(f) = -20*f - 25. Let j be b(-7). Suppose -j = -2*h - 67. Does 24 = h?
True
Suppose -5*w - 67 = -4*w. Let g = w + 41. Is -28 less than g?
True
Let w be (1 - 16) + (-522)/(-36). Let c = -19 + 6. Is w greater than c?
True
Let s = 4 + -6. Let i be (s - -3)/(6/(-68)). Suppose -3*t - 25 = 2*h, 0*h = 18*h - 72. Which is bigger: i or t?
t
Let l be (7/(21/(-222)))/2. Let q = l + 42. Let v be ((0 - 0)/(q - 2))/1. Is 3/4 at most as big as v?
False
Let c = 6139 + -5788. Is 347 at most c?
True
Suppose 2*u - 3*u - 3 = -5*j, -3*j + u + 1 = 0. Let y = -2060 + 158622/77. Which 