28. Is q > j?
True
Let g(a) = -a**2 + 19*a - 32. Let v be g(13). Suppose 0 = -3*b - 5*z + v, -5*z = -z - 8. Which is smaller: b or 14?
b
Let j be (-2 + 4)*(5 + (-27)/6). Which is smaller: -13.8 or j?
-13.8
Let r(h) = -h**2 + 197 - 99 - 106 + 13*h. Let x be r(8). Which is bigger: x or -1?
x
Let u(z) = z**2 + 4*z + 3. Let k be u(-6). Let s be 3/k - (-3)/(-15). Let c be s/(2 - (-1 + 2)). Is -5/4 bigger than c?
False
Let f = 2/2047 + -283/16376. Which is bigger: f or 0?
0
Suppose -127 = f + 218. Is f at most -687/2?
True
Suppose 4*q = -2*q + 12. Suppose -q*o = -o. Suppose -u - 4*f - 3 = 0, 8*u - 4*u + 4*f = o. Which is bigger: 8 or u?
8
Let j be ((-2)/4)/((-6)/(-240)). Let k be ((-12)/10)/(6/j). Is 1 > k?
False
Let y = 73 - 62. Suppose 4*h = -2*x - 66, -21 = y*x - 10*x + 5*h. Which is bigger: x or 0?
0
Let t = 0.104 + -5.904. Let v = t + 5.81. Suppose -4*i - 4 = -0*i. Is i less than or equal to v?
True
Suppose -5*n + 7*n = -2. Let g = -123/221 + 214457/13260. Let w = g - 47/3. Which is bigger: w or n?
w
Let w = 9.521 + -0.221. Let x = -7 + w. Let y = -2 + x. Is -2/5 <= y?
True
Let l be (33/(-66))/(2/4). Is l smaller than 2/43?
True
Let u = 0.81 + -0.21. Let h be 6/39 + 4 + -6 + 2. Is u smaller than h?
False
Let n = 26 - 25.75. Let y = -0.25 + n. Is y greater than -23?
True
Let n = -35 - -36. Which is smaller: -9/22 or n?
-9/22
Let o = 22 - 20. Suppose 5*c - 4 = -4*u - 1, -6 = -5*c - 3*u. Suppose 20 = c*i + o*i. Is i > 7/2?
True
Let y(r) = -r**2 + 7*r + 8. Let k be y(8). Suppose -3*j + 3*n - 33 = k, -3*n + 0 = 3*j + 9. Is -2 smaller than j?
False
Let i be ((-280)/(-49))/((-4)/(-14)). Which is smaller: 59 or i?
i
Let w = 142 + -131.86. Let v = 0.14 - w. Let a be (-2)/6*(2 - ((-125)/(-4))/25). Which is smaller: v or a?
v
Suppose 0 = -3*b - 7 + 16. Let w(u) = -u**3 + 5*u**2 - 2*u - 3. Let m be w(b). Let c = -2.3 + 3.3. Which is smaller: m or c?
c
Suppose -10*m - 14*m = -m. Are m and 21/20 unequal?
True
Let g = 12 + -13. Let v be (g/13)/((-7)/(-34622)). Let f = 380 + v. Is -1 at most f?
True
Suppose p = 4, 2*d + 46*p = 44*p + 10. Is d >= -4/167?
True
Suppose -12*g + 18*g = 1452. Suppose -4*m - g = -2*o, o - 247 = 4*m - 0*o. Are m and -63 non-equal?
False
Suppose 5*t = 51*t + 1058. Is -23 less than t?
False
Let r = -91/145 - 5/29. Which is bigger: r or -18?
r
Let v = 659/33 + -216/11. Which is smaller: -0.67 or v?
-0.67
Let i(n) = -n**2 - n - 4. Let j be i(-9). Let q be 3*2/3 - j/(-34). Which is smaller: 1 or q?
q
Let r(b) = b**3 + 3*b**2 - 5*b + 23. Let p be r(-5). Which is greater: p or -136?
p
Let k = 0 - 1. Let f = -27049/69 + 392. Which is greater: k or f?
f
Suppose 0 = -4*z + 7*z - 18. Suppose 2*w = -5*g - w - z, w = -5*g - 2. Are 1/2 and g unequal?
True
Let j be (69/(-46))/((-3)/8). Suppose 0 = 2*g - 10, -3*g = v + j*v - 10. Which is greater: -3/46 or v?
-3/46
Let l = 53 + -158/3. Is 90 bigger than l?
True
Let v = -918 + 135865/148. Which is greater: v or -1?
v
Let x(v) = -8*v + 4. Let y(f) = -9*f + 5. Let p(d) = 4*x(d) - 3*y(d). Let o be p(-1). Let q be (-78)/126 - (-2)/o. Is q > 15?
False
Let m be 25 + 2/((-2)/(-3)). Let b be (14/(-1))/7 + m/9. Which is bigger: b or 1?
b
Suppose -2*i = 3*h + 45 - 16, -5*h - 5*i - 45 = 0. Is h greater than -11?
False
Let j be ((-38)/182 - (-62)/217)*-3. Is -8/7 > j?
False
Let h be ((-4)/(-3))/((-6)/18). Let m be 8 + (0 + -12)/h. Let u(i) = -i**3 + 11*i**2 + i - 3. Let a be u(m). Which is smaller: a or 9?
a
Let n = 215 + -191. Is n bigger than 23?
True
Let x = -3 - -13. Let s = -134 + 98. Let q be (-6)/4*264/s. Is x equal to q?
False
Let j = -17 + 21. Suppose -5*s = t - 15, j*t + 2*s - 6 = 2*t. Which is bigger: -29 or t?
t
Let a(x) = -x**3 + 17*x**2 - 21*x + 9. Let n be a(16). Let l = 137/2 + n. Which is smaller: -2 or l?
l
Let n = -14 - -17. Suppose 14 - 8 = n*j. Let x(g) = -g. Let u be x(j). Is -2 >= u?
True
Suppose w = 3*m - 3 - 8, -2*w = -3*m + 7. Suppose -12 = 5*i + w*f - 54, i = 2*f. Let q be (1*-9)/(i/8). Is q at least -11?
False
Suppose 2*k - 10 = 8. Let y be k/27 - 8/(-30). Which is smaller: -4 or y?
-4
Suppose -166 = -12*l + 662. Is 69 at least as big as l?
True
Let j be (6 - 9) + 8 + 208/(-45). Which is smaller: j or 1?
j
Let p(y) = y**2 - y - 9. Let x be (-3)/(6/(-8)) + -8. Let a be p(x). Let c be a/165 - (-2)/(-5). Is c < 0.02?
True
Let l be 1*((-4)/5 - 2967/(-15)). Which is greater: l or 196?
l
Suppose -6783 - 13957 = 20*r. Which is smaller: -1038 or r?
-1038
Suppose w - 6 = m + 2*w, 26 = -m - 5*w. Suppose 1 = 2*c + 3. Let k be (-4 - c)*(-1)/3. Which is smaller: k or m?
m
Let g = 20.996 - -0.004. Let v = g + -18. Which is smaller: -0.07 or v?
-0.07
Let q be (-2)/56 + (-1)/4. Let x = 28 - 28.09. Let c = 0.09 + x. Which is bigger: c or q?
c
Suppose -4*b + 8 = 3*w, 2 = -4*w + 18. Suppose 5*f = 7*f + 4. Let h be f + 1 - 28/(-26). Is b smaller than h?
True
Let b(f) = -f + 11. Let q be b(2). Let x(g) = -3*g + 27. Let z be x(q). Which is greater: z or -8?
z
Suppose -4*q + 5*q - 483 = -5*b, -2*b + 3*q = -200. Are b and 102 non-equal?
True
Let x = -17 - 10. Let n = x + 32. Let p be (18/45)/((-8)/n). Is p equal to 1/9?
False
Let h = -449/2 + 295. Which is smaller: 71 or h?
h
Let h = -29 + 37. Suppose -h*v - 175 + 39 = 0. Which is greater: v or -18?
v
Let u(l) = -l**3 - 6*l**2 - 3*l - 7. Suppose w - 8 = -14. Let f be u(w). Which is smaller: f or 10?
10
Let i = 44 - 43. Let x(f) = 22*f**3 + 1. Let y be x(i). Is y equal to 23?
True
Let c = -307 + 306. Is c smaller than -1/222?
True
Let p = 353 - 356. Which is greater: -13/5 or p?
-13/5
Suppose 5*a - 75 + 235 = 0. Let g = 24 + a. Which is smaller: -9 or g?
-9
Let y be 47*(-13)/(4 + 9). Which is smaller: 1/7 or y?
y
Let c(u) = 2*u**2 + 26*u + 64. Let r be c(-3). Which is bigger: 52 or r?
52
Suppose 3*b - 2*b - 5*d = -10, 3*d = -b + 6. Is 1/186 bigger than b?
True
Suppose 4*o - 10 = -2*z, 0*z - 9 = 3*z - 2*o. Let u be 5*(-1)/1*(-38)/(-266). Is z > u?
False
Let x = -29.4 + -4.44. Let h = x + 0.84. Are -1/2 and h nonequal?
True
Let h = 3 - 5. Let j = 1.9 + h. Let f = -25 - -24. Which is smaller: j or f?
f
Let f = -18 - -18. Which is smaller: -27/91 or f?
-27/91
Let c be (2/(-1638))/((-6)/9). Is 0 smaller than c?
True
Suppose -4*f - 142 = 14*p - 19*p, 2*p - 37 = f. Let z = -48 + 14. Is f at least as big as z?
True
Let r = -217 - -216.8. Is 32/3 not equal to r?
True
Let f = 20 + -1. Let w = -17 + f. Let o = 4 - 8. Which is bigger: o or w?
w
Let l be (-13)/(-39)*(-219)/(-70). Let t = l + -9/14. Is -2/3 < t?
True
Let d = -11 - -9. Let q be 2/((-342)/339) - d. Let x = q + 223/285. Is x less than or equal to 0?
False
Suppose -4*n = -t - 0*n - 54, 3*t + 82 = -4*n. Let h be ((-2)/1 - 1)*t/102. Which is bigger: h or -2/27?
h
Let l(h) = -5*h**3 + 2*h + 3. Let w be (-11)/9 + (-7)/(-189)*6. Let c be l(w). Are c and 6 equal?
True
Let n(u) = -19*u + 243. Let z be n(11). Is z < 38?
True
Let x be (2 - 0)*(-10)/20. Let c = -6002/15 + 400. Is x != c?
True
Let x be 2*((-56)/(-70) - (-21)/30). Which is smaller: 8/3 or x?
8/3
Let j(p) = 2*p**2 - p - 16. Let y be j(-5). Let k = -15 + y. Which is greater: k or 21?
k
Let o be 68/51*(-9)/(-2). Let i be (-2)/o*(-18)/(-6)*0. Let l be 1/(-15) - 2/(-5). Are i and l unequal?
True
Let g = 28561/243955 - 62/503. Which is smaller: 0 or g?
g
Let n(g) = -8*g - 95. Let j be n(-9). Which is greater: 3 or j?
3
Suppose 258 = 3*b + b + 3*y, -3*b + 199 = 5*y. Suppose -b = 4*p - g, 2*p + p = -5*g - 30. Which is smaller: p or -14?
p
Suppose -13*u - 13*u = 494. Is -26 != u?
True
Let x(c) = -12*c**3 - c**2 - 2*c - 1. Let u be x(-1). Let q be u*(-1 + (-4)/(-8)). Let w(l) = 5*l + 3. Let n be w(-2). Is n at least q?
False
Let k be (-28)/6*12/(-7). Let i be ((-228)/k)/((-3)/(-4)). Is i < -35?
True
Let v = 48 + -26. Suppose 4*d + 2*p = -58, 4*d - 3*p + 70 + 13 = 0. Let w = v + d. Which is smaller: w or 7?
w
Let j(t) = 4*t + 2. Let i be j(3). Let w = -84 - -98. Are i and w unequal?
False
Let v be -2854*(-1 + 33/22). Is -1427 greater than or equal to v?
True
Let d = -123 + 72. Let n = d + 56. Which is bigger: n or 1?
n
Suppose -44*z = -52*z + 8. Is 1/39 equal to z?
False
Let t = -628.65 - -631. Is t less than or equal to 1?
False
Suppose 5*b + 27 = o, -b - 4 = 1. Let j be o/(-8) + (-175)/(-364). Suppose -10 = -8*p - 2. Which is smaller: p or j?
j
Let u = -6083/4 