29. Is -10/9 < u?
True
Let l = -2595/4 + 652. Suppose i - 4*b - 180 = -3*i, i - 3*b - 35 = 0. Let y be (4/i)/((-2)/10). Which is greater: l or y?
l
Let p be (-1 - -3)/(206/(-103))*11/(55/10). Let o = -82/19 - -529/171. Is o not equal to p?
True
Let s(r) = 17*r + 21. Let y be s(3). Let q be -4*-3*66/y. Suppose 0*i - 3*i = -36. Which is smaller: q or i?
q
Let i be (-1)/(-3) - 29460/(-405). Let a = i + -73. Is a less than 0?
False
Suppose 5*x - 2966 = 4*m, x + 2*x = -3*m + 1785. Let o = x - 545. Which is smaller: 57 or o?
o
Let h be (90*-2)/(-5) - -3. Let g = -38 + h. Let f = 2/1319 + -9277/29018. Which is smaller: g or f?
f
Let s be (-3030)/100 - 11/2. Which is smaller: s or -2/3?
s
Suppose 14*b - 15*b + 141 = 0. Let i = 98 - b. Let p = 45 + i. Do p and 6/7 have the same value?
False
Let b(w) = w - 6. Let c be b(9). Suppose -c*n + 12 = 5*r, -19 = -4*r + 4*n - 3. Suppose -12 = 4*o + o + r*p, 5*o - p = 4. Is -1/78 less than o?
True
Let b(j) = 152*j - 13514. Let r be b(92). Which is greater: 472 or r?
472
Suppose -2*l - 24 = -5*g, 4*l + 27 = 4*g + 3. Suppose -4*f - 2*q + 13 = -29, -q = -g*f + 51. Which is smaller: 5 or f?
5
Let q = 1822 + -4033. Which is greater: 3 or q?
3
Suppose 2*s = -2*x - 1188, -12 + 2 = -5*s. Let n = 597 + x. Is -1/357 >= n?
False
Let v be 1/(-2) + (-24)/(-432)*891. Which is smaller: v or 333/7?
333/7
Let v = 147.031784 + -0.031784. Let k = -1.1 - -0.1. Which is bigger: k or v?
v
Let d = -3500.98 + 3501. Let y(w) = -2 - 3*w**2 - 2*w**3 + 0 + w + 3 + 8*w**3. Let h be y(1). Which is bigger: h or d?
h
Suppose -528*b = -510*b + 90. Is -5/11 at most b?
False
Let x = 19 + -17.36. Let g = x - -0.36. Let k be 2 - (0/(-4) - -6). Which is smaller: g or k?
k
Let k = -0.046 + -205.954. Let x = k - -215. Which is smaller: x or -1?
-1
Suppose 18*h + 33920 = -114*h - 28*h. Which is smaller: h or -2985/14?
-2985/14
Let h be (-3 - -1)*(-17)/(-544). Let z(s) be the first derivative of s**2/2 + 2*s - 2. Let a be z(-3). Do a and h have the same value?
False
Let l be (-2)/24 - ((-931)/5292)/(1274/606). Which is smaller: l or 0?
0
Let z = -23 + 148. Let b = 130 - z. Let y = -2 + 3. Is y >= b?
False
Let p be 1836/(-6970)*(6/(-3) - 3). Is p less than or equal to -0.1?
False
Suppose 1 = -4*b + q, -2*q + 6 = 2*b - 6. Which is greater: b or -27?
b
Suppose 5 = -w + 2*c, -4*w - 260*c = -264*c + 8. Which is smaller: -2/2053 or w?
-2/2053
Let b = 195684 - 3326598/17. Suppose 3*s + 4*z = -5, 2*s - s = -3*z - 5. Which is smaller: b or s?
s
Let h be (2 - 0)*(531/120 - 1). Let s = 7/20 - h. Which is bigger: s or -6?
-6
Let t(q) = q**3 + 13*q**2 - 49*q - 7. Let v be t(-16). Suppose 5*b + v = -5*i - 6, b + 9 = 5*i. Which is smaller: -2/661 or i?
-2/661
Let c(j) = 40 + j**3 + 42 - 8*j**2 - 118 + 41 - 6*j. Let i be c(10). Suppose i - 77 = -4*p. Is p at least as big as -16?
False
Let y = -1512 - -1709.3. Let a = 213 - y. Let q = a + 1.3. Which is greater: q or -1?
q
Let l(g) = 469*g - 1875. Let o be l(4). Which is bigger: o or 0.6999?
o
Let a be (4 + -62 + -8)/(3 + -2). Let o be a/(-121) + 567/(-253). Which is smaller: o or -1?
o
Let x = -32 + 95. Let d = x + -61. Suppose 0 = -3*g + 3, 0 = -6*z + z + 2*g - d. Which is smaller: z or -2/75?
-2/75
Let o = -27.9 - 291.1. Let f = o - 13. Which is smaller: -2/3 or f?
f
Suppose b - 32*y + 27*y + 3142 = 0, -5*y + 25 = 0. Which is bigger: -3120 or b?
b
Let h = 27221/18425 + 37/275. Which is greater: h or -1/6?
h
Suppose 178*l = -167*l. Do 8/593 and l have the same value?
False
Let z(g) be the second derivative of g**4/12 - 13*g**3/3 + 119*g**2/2 + 24*g. Let f be z(20). Which is bigger: f or -70?
f
Suppose -4*l - g = -2869, -2*l - 6*g + 5*g + 1437 = 0. Suppose -166 = 11*c - l. Does 51 = c?
False
Let o be (4/(-25))/((-6)/15). Let s = -0.147 - 34.853. Let w = 23 + s. Is w <= o?
True
Suppose -14*h + 1104 = 2*h. Let r = 3 + h. Let m be ((-3)/(-10))/(r/60). Do 3/8 and m have the same value?
False
Let k = -296 - -298. Let d be (-17 - -20)/(k - (-111)/(-51)). Which is bigger: d or -16?
-16
Let g(c) = c**3 + 4*c**2 - 2*c - 2. Let j be g(-4). Let x = -6.5 + 168. Let w = x - 162. Which is smaller: j or w?
w
Let t be ((-6)/12)/((-2)/64). Suppose -3*d + 3*h = -0*h + 6, -t = 2*d + 4*h. Let n be 0 + 2 + -3 + -1. Which is smaller: d or n?
d
Let j be (48/(-52))/6 - 82/(-26). Suppose -4*r + 3*u - 299 = 0, 3*u - 77 = -j*r + 4*r. Are r and -74 unequal?
False
Suppose 2*b + 3*v - 180 = -2*v, -3*b + 5*v = -245. Let r = 442 - b. Is 357 greater than r?
False
Let w(r) = -r**2 - 15*r - 40. Let c be w(-11). Suppose -7 = 3*t - 4*n, 15*t = 16*t + 5*n - c. Which is bigger: 12 or t?
12
Let v be (8/(-14))/((-13632)/(-994) - (-2 + 16)). Is v less than -24/19?
False
Suppose 11827 = -10*q - 21*q - 3084. Which is smaller: q or -483?
-483
Let k = -2386.7 - -2813. Let j = k - 404. Let r = j + -22. Which is bigger: -6 or r?
r
Let k = 20947560/11 - 121809767051/63965. Let n = 2/1163 - k. Is n greater than or equal to -4?
False
Let c(u) = -u**2 - 2*u - 5. Let b be c(0). Let l be (-540)/(-175) + b - 2/7. Let z be (-5)/(-2)*18/(-15). Is z less than or equal to l?
True
Let l(c) = c**3 + 15*c**2 + c + 7. Let z be l(-15). Let g = -45 - -48. Suppose 31 = -g*h - 4*b + 5*b, -4*h - 32 = b. Is z < h?
False
Let n be 1*3 + (-5)/(95/38). Is -4/163 <= n?
True
Let g = -766942 + 766941. Let z be 2/8 + (-530)/2312. Are g and z equal?
False
Let x(q) = 7 + 0*q + 1 - q**2 - 2 - 11*q. Let w be x(-11). Suppose -2*z + w = 0, -5*z = 4*r - 2*r - 17. Is r at least -4/35?
True
Let x = 253 - 250. Suppose -5*b + 1 = 2*z - x, -5*b + 52 = -4*z. Is -4 < z?
False
Suppose 3*o = -d + 1, -4*d + 4*o - 44 = -0*o. Let a be 68*(d - (-7 - -1)). Is -136 < a?
False
Let k = 118025/30014 + 31/698. Which is smaller: 3 or k?
3
Let o be 6/39 - (-6237)/273. Suppose i - j - 16 = 0, i + i + 2*j = 32. Suppose -o*q + 22*q = -i. Which is smaller: -2/5 or q?
-2/5
Suppose 4*q + 381 = 77. Let x be ((-3)/(-6))/((-2)/q). Suppose 0 = 4*w - 4, -188*k + 3*w = -186*k - 35. Is x >= k?
True
Let m = -806.327 - -806. Let j = m + 0.527. Let d = -2 - -1.99. Which is smaller: d or j?
d
Let z = -1701/5 - -9581/30. Which is greater: z or -22?
z
Suppose 3*v + 3*u - 1608 = 0, -2*v + u - 4*u + 1074 = 0. Which is bigger: 531 or v?
v
Let y = 32689356275/39 - 3059796215088/3653. Let t = -576738 + y. Let q = t + 2/281. Which is smaller: 1.6 or q?
q
Let i = 22.619 + -11.619. Which is greater: -4/303 or i?
i
Let s(i) = 18*i**2 - 267*i + 7. Let n be s(15). Which is smaller: n or 57?
n
Let t = 1981 - 1980. Does 213 = t?
False
Suppose -5*u - 29 = -2*o, -u - 16 = -3*o + u. Let l be 8/o + (-5 - -8 - -59). Let g = -48 + l. Which is bigger: g or -1/3?
g
Suppose -d + 53 = 4*p - 32, 3*p = 5*d - 310. Suppose 7*l - d + 65 = 0. Which is greater: 83/6 or l?
83/6
Suppose 4*g + 150*q = 151*q - 1, 3 = 3*q. Which is smaller: g or 1/2549?
g
Let o be 495/(-729) - 28/(-42). Are o and 0.2 non-equal?
True
Let a = 1682 + -1683. Let f be 2/(-25)*240/(-8). Which is bigger: a or f?
f
Let s be -28 - ((-4)/6)/(7/(-42)). Let d(z) = 2*z**2 + 48*z - 93. Let t be d(s). Do t and 419 have the same value?
True
Suppose 0 = -2*w + 101 - 103, 0 = l - 3*w - 5. Which is smaller: -2.4 or l?
-2.4
Suppose c = 83 - 11. Let a = c + -44. Let o = -84 - -113. Is a equal to o?
False
Let b = 42 + -40. Let a(p) = -2*p + b*p + 3 + p + p. Let n be a(-2). Which is bigger: -1/34 or n?
-1/34
Let f(y) = 2*y**2 - 4*y + 6. Let j be (-3 - 35/(-15))/(1/(-3)). Let n be (-4 - -12)*j/(-4). Let d be f(n). Is 54 at most d?
True
Let l(m) = -880*m + 5299. Let o be l(13). Is o smaller than -6141?
False
Let d(h) = -107*h - 4 + 34*h + 42*h + 41*h. Let t be d(-12). Are t and -125 nonequal?
True
Let y = 347 - 81. Is 799/3 > y?
True
Let y(c) = 29*c + 173. Let o be y(-6). Let k = -2249/1955 + 27/23. Which is smaller: o or k?
o
Let z be (-647)/(-15) + 2/(-15) + 2. Suppose -z = g - 22. Is -156/7 != g?
True
Let g = 3949 + -4055. Is -98 less than g?
False
Let x be 1*10 - (-30 - -28). Let w be (-1)/2*(x - -48) - 0. Which is greater: w or -37?
w
Suppose 14*t + 12*t - 9*t = -6*t. Which is smaller: 1/10894 or t?
t
Let c be 1 + (-3 - (4 - 7)). Let p be c - (-801)/6*(-3)/27. Which is bigger: -15 or p?
p
Let u(j) = 12*j**2 + j - 13. Suppose -c - 4*c = -15. Let g be u(c). Which is greater: 97 or g?
g
Suppose 3*r = 4*u - 247,