97. Let q = -11 + 12. Which is greater: q or j?
q
Let d be (-1 + -4 - 0/9) + 39. Let k = 95 - d. Is k less than or equal to 60?
False
Suppose 0 = -7*b + 3*b - 264. Let h be b - 2 - (1 - 1). Let k = h + 69. Which is bigger: -2/19 or k?
k
Let g(d) = 14*d + 14. Let b be (-41)/(-164) + (5/(-4) - 0). Let q be g(b). Is 2/707 greater than or equal to q?
True
Suppose 0*u = -5*u + 2110 - 27315. Which is smaller: u or -5040?
u
Let o(p) = -3*p - 17. Let t be o(-8). Let s(y) = -y**3 + 7*y**2 + y - 4. Let r be s(t). Suppose 5*g - 48 = -r*g. Is 5 less than or equal to g?
True
Let u(h) = -h**3 + 13*h**2 + 14*h - 15. Suppose -4*q + 2 = -4*i - 50, i - 2 = 0. Let x be u(q). Is x <= -256?
False
Let x = 114 - -122. Let q = -258 + x. Let b = 1 - 0. Which is bigger: q or b?
b
Let d be ((-113553)/(-4730) + -24)*1/(-15). Is 1 greater than d?
True
Let z = -0.686 + 0.727. Is 39 <= z?
False
Suppose 5*r + j + 64 = r, 3*r = j - 41. Let t be 742/(-30) - (-9)/r. Let b = -63 - -39. Is b greater than t?
True
Let l be (82 + -82)/(5 - 2 - 24/6). Do 17/405 and l have different values?
True
Let p = 2468/69 - 106/3. Let i = 641 + -642. Let v be (i - (-12 - -9))/(-2). Which is smaller: p or v?
v
Let w = -128.1684 + 129.07. Which is greater: w or -1?
w
Suppose -5 = j - v, -4*j = -v - 9 + 23. Let n be (j/18)/((-2)/(-7 + 5)). Let y = 0.9 - 1. Which is smaller: n or y?
n
Let n = -53 - -50. Let l(f) = 3*f + 19. Let c be l(n). Does 1/9 = c?
False
Let t = 4821 + -4813. Which is smaller: 76/11 or t?
76/11
Let r = 591 + -568. Let u = -13 - -15. Let x be -4 + 7 - (-38)/u. Does r = x?
False
Suppose -1649 = 3*h - 2165. Is 158 at most h?
True
Suppose -3*h = -y + 42, 5*h = -0*y - y + 10. Let s be 1248/y - 6/(-3). Which is smaller: s or 44?
s
Suppose 0*v - 5*v = -5. Suppose 2*s + 216 = 14*s. Suppose 6*t - s + 6 = 0. Which is bigger: t or v?
t
Let u be 3 + (26 - (-114175)/200). Is u != 600?
True
Suppose -2*v = -f + 14, 3*v - f = -0*f - 20. Let o = -3 - v. Suppose -3 = -t - 1, 3*b = o*t - 6. Is b at least as big as 9/19?
False
Let j(c) = 99*c - 1564. Let a be j(12). Which is smaller: a or -378?
-378
Suppose q = -v - 2*v + 15, -3*q - 10 = -2*v. Suppose q + 0 = 6*x. Let h be (-1 - (-616)/306) + -1. Is h != x?
True
Let g be (78/(-27) + 3)*(-14)/(490/(-3)). Which is greater: g or 1?
1
Suppose -2*g + 3*h + 2*h - 90 = 0, 3*g + 122 = h. Let t be (210/g - -6)/((-2)/(-16)). Which is smaller: 12 or t?
t
Let v be (-8 - 0*(-3)/15)*5. Let t = v + 24. Are -17 and t non-equal?
True
Let h(n) = n**3 - 23*n**2 - 112*n - 17. Let x be h(-4). Which is smaller: x or -17/47?
x
Let m(h) = h**2 - 7*h - 10. Let b = 61 + -30. Let s = -24 + b. Let y be m(s). Which is bigger: 0.4 or y?
0.4
Suppose 83 + 29 = 7*a. Let u(f) = f**3 + 4*f - 3. Suppose 0 = -4*v - 0 + 8. Let l be u(v). Is a > l?
True
Let s(p) = -20*p + 115. Let h be s(0). Suppose -3*o - 5*a + h = 0, 5*o = -a + 130 + 69. Do o and 39 have the same value?
False
Let v(f) be the third derivative of -f**4/8 - 4*f**3 - 149*f**2. Let d(n) = -6*n + 2. Let o be d(2). Let p be v(o). Is 6 != p?
False
Suppose -5*p + 168*a - 167*a = 557, -212 = 2*p - 4*a. Let g = 267 - 379. Is g less than p?
False
Let g = 3104 + -3104. Which is greater: g or 607?
607
Let x = 2.5527 - -120.5473. Are 0.03 and x non-equal?
True
Let w(i) = -i**2 - 8*i + 23. Let r be w(-10). Let n be (-2)/(-5)*(r + 0 + 2). Suppose 10*y + 8 = n*y. Is -9/5 != y?
True
Let b = 879 + -877. Suppose -9*w + 13*w - 1508 = b*i, 3*w = 2*i + 1132. Which is bigger: w or 377?
377
Let n be (-2463*(-4)/(-6) - -6) + -7. Is -1644 at least n?
False
Let y(h) = -h**3 - 9*h**2 + 15*h - 8. Suppose -65*z + 20 = -67*z. Let a be y(z). Is a <= -58?
True
Let u = 34560 + -34559.8. Let x = -117 + 55. Which is greater: u or x?
u
Let h = 0.3 - 0.27. Let j = -12.97 - h. Suppose 11*t = 18*t - 14. Are j and t unequal?
True
Let c be ((-320)/112)/((-2)/7). Suppose -c = -2*r + 4*d, 4*d + 1 = r - 0. Let h be 0 + (1 - 12/r). Which is greater: 0.15 or h?
0.15
Let d = -83 + -115. Let x = d + 186. Let g = -3 - -1. Is g <= x?
False
Let c be (9516/(-65))/(4/(-12) + 1). Is -219 at least c?
True
Suppose -2*u - 4*x + 26 = 0, 7*u - 78 = 2*u + 3*x. Let o(w) = -w**2 + 13*w - 1. Let c be o(u). Let g(z) = 16*z + 17. Let p be g(-3). Is p != c?
False
Let c(t) = -26*t + 574. Let x be c(20). Which is greater: 49 or x?
x
Let v be (-8050)/40 - (-6)/24. Is -401/2 equal to v?
False
Let u = -671.47 + 668. Let y = -3.37 - u. Which is bigger: 3 or y?
3
Suppose 91*y = 55*y - 72. Let f be (y - -4)/(8/(-7008)*3). Is -583 at most f?
False
Suppose -5*p + 3*f - 30 = 0, -f + 0*f = 3*p + 18. Suppose 0 = -3*s - 1749 + 1701. Are p and s unequal?
True
Suppose -4398*o + 21 = -4419*o. Let g = -7 + 11. Let d be 0 - (10/g + -1). Which is bigger: o or d?
o
Suppose 0 = 336*l - 290*l - 18860. Which is greater: l or 405?
l
Suppose -143*a + 141*a - 4 = -3*r, -4*r - 2*a = 4. Is r <= 35/122?
True
Let q = -503 + 69. Let b = q - -865/2. Which is smaller: b or 46?
b
Let j = -463 + 467. Suppose j*z = -f - 42, 1 = 2*z + 11. Which is greater: f or 2/9?
2/9
Let f be (1896/1185)/(4/2070*3). Is f < 277?
True
Let v be ((2/(-66))/((-33)/(-198)))/((-18)/99). Which is bigger: v or 52/51?
52/51
Let v = -7744 + 7739. Do -105/19 and v have the same value?
False
Let s = -88.6 - -72. Let b = s + -7.4. Let a = b - -26. Are -1/2 and a unequal?
True
Let c = -8268 - -8267. Which is smaller: 8/1553 or c?
c
Let y = -17.17 + 17.37. Is -1/98 not equal to y?
True
Let h(t) = -7*t**2 + 104*t + 11. Let i be h(15). Suppose -16 - 9 = 5*x. Is i smaller than x?
False
Let p = 37548.8 + -37549. Which is greater: -20/439 or p?
-20/439
Let z(v) = 4*v - 48. Let m be z(17). Let k = -186 - -208. Which is smaller: k or m?
m
Let s = 293 + -267. Let t = s - 26. Which is smaller: -55 or t?
-55
Suppose c = 48 - 4. Suppose i = 5*b + 4*i + 234, -4*b + i = 177. Let x = b + c. Which is greater: x or 0.06?
0.06
Let p(v) = -v**3 - 6*v**2 - 6*v + 8. Let a be p(-4). Suppose a = -9*r + 44 + 28. Suppose -3*n + 0*n + 15 = 0. Which is smaller: r or n?
n
Let n be 12866/(-56) - (-3)/4. Let l = 286 + -516. Which is bigger: n or l?
n
Suppose 0 = 3*u - 3*q + 258, -325*u + 59 = -326*u + 4*q. Is 58 >= u?
True
Suppose -4*w + 9 = -5*o, 4*w + 5*o = o + 36. Let r = 19 - 0. Let g(d) = -d**3 + 20*d**2 - 19*d + 5. Let b be g(r). Is b > w?
False
Suppose -4*s = -7*x + 9*x - 50, -3*s = -2*x + 15. Suppose 3*m + 56*w = 55*w + 12, 0 = 2*m + 3*w - x. Which is greater: m or 5?
5
Let d = -1/15026 + -89957/2990174. Is d > 1?
False
Let k = -9900/19 - -521. Which is bigger: k or -15?
k
Let q = -1336.8 + 1334.3. Is q greater than or equal to -8?
True
Let f be ((-30)/6 - -6)*(445 - (8 + -6)). Do f and 1/12 have different values?
True
Let n be (-48 - 154044/1620) + 1/(-9)*1. Which is smaller: -142 or n?
n
Let x be (-706)/(-2) + -63 + 67. Which is bigger: 360 or x?
360
Let a(p) = -p + 14. Let n be a(-6). Suppose -2*m = -76 + n. Are 29 and m equal?
False
Let m(r) = 7*r**3 - 6*r**2 + 7*r - 25. Let d(p) = 8*p**3 - 7*p**2 + 7*p - 28. Let a(q) = 5*d(q) - 6*m(q). Let b be a(3). Is b not equal to -56?
False
Let r be 2/12*(-51)/(-68). Does r = 27?
False
Let j(i) = 50*i + 4476. Let g be j(-87). Which is smaller: g or 154?
g
Let m be (15/6)/(1/(-2)). Let s(i) = -2*i + 5. Let l be s(m). Suppose -1 + 78 = 11*v. Which is smaller: l or v?
v
Suppose -2*i + 17 = -5*i + 4*k, 0 = 5*i - 4*k + 15. Let w be (-1)/(-2) - (4 - (-1)/2). Let m be (7 - 6) + (-7)/(-2) + w. Do i and m have different values?
True
Let t = -132 - -144. Let j(x) = x**3 - 12*x**2 - x + 13. Let q be j(t). Let p be 14/18 - (1 + 0). Which is bigger: p or q?
q
Let i = 1799/206 - 24/103. Which is bigger: i or -0.04?
i
Let i = -19683 - -19849. Is 14 at least as big as i?
False
Let o = 125.5 - 39.5. Let w = 25 - 86. Let v = o + w. Do v and 1 have the same value?
False
Let g(o) = -8*o**2 + 215*o - 32. Let h be g(26). Which is greater: 149 or h?
h
Suppose -55 - 35 = -15*p. Suppose 24*s - 162 = p*s. Which is greater: s or 3?
s
Let n = -123283171167/8 + 6625854022073639/429960. Let p = n - 2/10749. Does p = -28?
False
Let p(w) = w**2 + 23*w - 24. Let q be p(-24). Let a be (-1 - -2)*q/(-2 - -1). Is -0.224 smaller than a?
True
Suppose 0 = 3*f + r - 4636, 3*f + 2*f - 3*r = 7750. Let v = f + -103643/67. Which is smaller: -2/3 or v?
-2/3
Let l = -126