-5. Are q and o non-equal?
True
Suppose -2*h + 6*h + 2*y = 6, 3*h - 5 = -y. Suppose g - 3 = 0, 5*q + g = h*g + 112. Which is bigger: q or 24?
24
Let h = 13 + -6. Suppose -4*a = 12*a - 48. Suppose h*r = a*r - 4. Which is greater: r or 0.05?
0.05
Let n be (-2)/4 - (-82)/4. Suppose -7*j - 20 = k - 2*j, -j + n = 5*k. Suppose 2*b - 4*b - 4 = v, -4*v - 3 = -k*b. Is -2 bigger than v?
False
Let t = 16 + -14.7. Let u = -1.3 + t. Let d = u + 15. Which is greater: -2/7 or d?
d
Let h = -1.8866 + -0.1134. Is 134 > h?
True
Let l = -1.0408 - -0.0408. Is l bigger than 136/7?
False
Let o(y) = -4*y + 1. Let t be o(1). Let z(c) = c**3 + 5*c**2 + 6*c + 4. Let q be z(-3). Suppose 21 = -4*x - 5*j, -x - 18 = q*x - 2*j. Which is greater: x or t?
t
Let p = -7 + 18. Let i = -9.75 + p. Let y = -0.25 + i. Is y <= 0?
False
Suppose 36 = -2*b - 4*x, 3*b + x + 4*x + 50 = 0. Which is greater: b or 3?
3
Let n be 4 + -1 + 3 + -1. Suppose n*c - 25 = 0, -3*a = -0*c + 4*c - 119. Let j = -32 + a. Which is greater: 2/11 or j?
j
Suppose -71*z + 13 = -58*z. Are -1/7 and z non-equal?
True
Let u = -34 - -24. Let v be 9/(-45) - 2/u. Which is smaller: v or 9/10?
v
Let s be ((-3432)/(-573) - 2) + -4. Let r = -392/955 - s. Is 2 less than r?
False
Let h = 283 - 282. Is h < -1/136?
False
Suppose 17*r = 14*r + 66. Is r at most 27?
True
Suppose -5*c = -4*c - 1. Let x be (56446/(-29139))/c - -2. Let d = x + -2/883. Is d at most as big as 1?
True
Suppose -2*o - 4*t + 3*t - 8 = 0, -o - 4 = -3*t. Suppose 0*d = 4*d. Which is bigger: o or d?
d
Let r = 78 - 77. Suppose 0 = 2*w + 2*w - 8. Let l be (-4)/w + 47/23. Is r at least l?
True
Let u = 28 - -15. Are u and 47 nonequal?
True
Let r = -29 + 51. Let s be r*((-4)/(-4) - 3). Let z be (-184)/s - (6 + -2). Is z > 1?
False
Suppose 11*x - 558 = -7*x. Which is smaller: 1 or x?
1
Let x = -12 + 15. Let r be 3/(-2)*(-20)/x. Let l be (-42)/r + (-4)/(-20). Which is greater: l or -5?
l
Let w = -467 - -457. Do w and -6 have the same value?
False
Let n = -681 + 605. Is n > -0.07?
False
Suppose -5*o - 5*x + 7 = -3, 4*x = 2*o - 10. Suppose -v + d - 6*d = -11, -3*v = o*d + 27. Let j = v + 14. Are j and 2/7 non-equal?
True
Let s = 973 - 1996. Is -0.1 not equal to s?
True
Suppose b + 3*m = 7, -5*m + 56 = -4*b + 33. Let c be 10*(2 + (-3)/2). Let d be 3/6*(-6)/c. Do b and d have different values?
True
Let t = -63 - -63. Suppose -n = 2*x - t*n + 11, 5*x + 23 = -n. Are x and -4 equal?
True
Let v(o) = o**3 - 10*o**2 + 10*o - 9. Let x be v(9). Let k be 5 + (-80)/(-6) - 2/(-3). Suppose 0*a = a - 5*j - 24, a - k = 4*j. Is a at most as big as x?
True
Let x be ((-1)/(-3)*3)/1. Let c be ((-4)/(-7))/((-18)/(-63)). Let m be 4 - (c - 5 - -6). Is x smaller than m?
False
Let r = -29.94 - -1.44. Let f = -30 - r. Let k = f - -1.5. Are k and -9 unequal?
True
Let b = -0.563 + 1.163. Is -25 greater than b?
False
Suppose -5*t + 7*t - 301 = -f, -2*t + 4*f = -316. Which is smaller: t or -3?
-3
Let i = 6 - -7. Let a = -7 + i. Suppose -a*j = -4*j. Is 0.4 >= j?
True
Let h(m) = -3*m + 37. Let q be h(11). Let a = 0 - 0. Let g be q - ((1 - a) + 4). Is g greater than or equal to 1/4?
False
Suppose -32*j - 3*s + 14 = -34*j, 0 = 2*j - 5*s + 22. Let x = -69 - -31. Do j and x have the same value?
False
Let i = 0.7 - -0.3. Let h be (-28)/(-4)*16/28. Let o = h + -30/7. Which is smaller: o or i?
o
Let m = 46 + -21. Suppose 4*c - 5 = i - 0*i, 2*c + m = -5*i. Let l be ((-2)/(-16))/(2/(-4)). Which is smaller: c or l?
l
Let d = -6498 - -11501459/1770. Which is smaller: d or 0.1?
d
Let o(p) = -p**2 - p + 44. Let m be o(0). Let c = m + -33. Which is bigger: 10 or c?
c
Let w be (26/96*62)/(456/3). Let f = -1/341 + 533/65472. Let x = f - w. Which is greater: 0 or x?
0
Let q(i) = 3*i + 27. Let u(a) = -1. Let l(g) = -2*q(g) - 54*u(g). Let z be l(3). Let v = 19 + z. Is v < -4/13?
False
Let s = 7064/7 + -8575703/8498. Is 1 != s?
True
Let s = -23.47 + 23.42. Do s and -1/10 have the same value?
False
Suppose 20*t + 1525 - 565 = 0. Which is bigger: t or -520/11?
-520/11
Let p be -3 - -16*1 - (-2 + 0). Let a(j) = j + 5. Let b be a(p). Is b at most 20?
True
Suppose 0 = -6*f + f - 5*n - 145, 2*n = 5*f + 110. Which is bigger: -254/11 or f?
-254/11
Let f = 0.746 + -0.246. Let r = -8 + 5. Let g = r + 2. Which is smaller: f or g?
g
Let k = 0.09 - 0.16. Let b = 4.07 + k. Let i = 5 - b. Which is smaller: 0 or i?
0
Let s(h) = h**3 + 4*h**2 + 2*h - 3. Let j be s(-3). Is -7/15 <= j?
True
Let w be 12/18 + 14/6. Suppose 8 = -w*i + 5*y - 0*y, -4*i - 32 = 4*y. Let q = -3 - 3. Is i > q?
False
Let l = 2.76 + 0.44. Let j = -44 - -17.8. Let w = j + l. Which is greater: -0.1 or w?
-0.1
Suppose 14*x - 17*x + 84 = 0. Is 57/2 at most x?
False
Let l(n) = 4*n**2 + 9*n - 13. Let m be l(9). Suppose 3*r = -5*r - m. Is r greater than -48?
False
Let h = -426 - -427. Let d = -4182/95 - -44. Is d greater than h?
False
Suppose 4*u + 4*a - 11 = 9, 0 = -4*u - a + 11. Let i = 7 + -12. Let s = i - -3. Which is bigger: s or u?
u
Let q be ((-2)/6)/(1/(-60)). Is q > 17?
True
Let v = 96 - 100.9. Let f = v + 6. Let k = f + 0.9. Which is smaller: k or 5?
k
Let d be (-2)/(-4 + (-18)/(-4)). Which is bigger: -16/5 or d?
-16/5
Let t(q) = -q**3 + 4*q**2 - 2*q. Let k be t(2). Let p be (-8)/(-20) + k/(-10). Suppose -2*c - 4*n + 8 = 0, 3*c - 2*n - 12 = -p*c. Is c < 9/2?
True
Suppose 0 = -2*h + 5*h + 390. Let l be (6/h)/(32/(-320)). Let f be 1 + 2/3 + -1. Which is smaller: l or f?
l
Let r = -482/5 + 96. Let u be ((-13)/1 - -3)/(-5 - -4). Let x = -10 + u. Which is smaller: r or x?
r
Let c(l) = -11*l + 23. Let x be c(-10). Let a = -141 + x. Is -26/3 less than a?
True
Let l = -2/541 + 575/9197. Suppose 0 = 4*j - j + 3. Which is smaller: j or l?
j
Let k(w) = 7*w**2 - w. Let b be k(-1). Suppose -b*a + 7 = -9*a. Suppose h - 2*c = 1 - 17, 25 = 5*c. Which is greater: a or h?
h
Let n = -4 - -3. Let s be 228/(-76)*(-1)/(-8). Which is smaller: s or n?
n
Suppose -n - 5*a + 7*a + 6 = 0, -5*n = -4*a - 18. Is 0 less than n?
True
Let o = -2 + 2.02. Let a = o + 0.05. Let z = a + -1.07. Which is bigger: -3/2 or z?
z
Let x be (-10)/35 + 144/14. Let o be 240/9*24/x. Let i = -316/5 + o. Which is smaller: 1 or i?
i
Let f(g) = 2*g**2 - 5*g + 4. Let n be f(2). Let o be n + 14/(-6) + (-114)/(-18). Is 4 not equal to o?
True
Let l(s) = -s**3 - 8*s**2 - 6*s + 10. Let f be l(-7). Suppose f*k = 1 - 4. Is -3 bigger than k?
False
Let t be (2 - (17 + 1))*99/(-36). Let r = 43 - t. Is -2/31 at least r?
True
Let i = -1520 + 1521. Is -2/359 <= i?
True
Suppose 41*l = 26*l - 495. Let u be 1*-35 - -1 - -1. Is l less than or equal to u?
True
Suppose 14*l = 9*l + v, 4*l - v + 1 = 0. Is -3/517 <= l?
True
Let p = -1/499 - 5933/27445. Let x be (-3 - 496/(-165))/(8/4908). Let d = x + p. Is d < 3?
False
Let v(z) = -3*z**2 - 11*z + 4. Let q be v(-4). Let r = 368.6 - 374. Is q greater than or equal to r?
True
Let v = -0.37 + 0.07. Let u be 51/(-12) + 2/8. Is u > v?
False
Let v(s) = -5*s. Let f be v(4). Let z = 12 - f. Is 33 less than z?
False
Suppose -214*p - 14 = -200*p. Is 13/27 less than p?
False
Let t be 1 + (136/(-44) - -1). Are -1 and t non-equal?
True
Let z = 274 - 193. Does z = 0?
False
Let a be 21/(-14)*8/(-3). Suppose -1 = a*f - 9. Let o = -261/35 - -62/7. Which is smaller: o or f?
o
Let d = -4 + -45. Let b = d + 48.8. Is b <= 6/7?
True
Let f = -0.4 + 0.6. Let p = 32 - 39. Which is bigger: p or f?
f
Let z = 63 - 184/3. Which is smaller: z or -8/5?
-8/5
Let r = -32 - -97/3. Let v = 5 - -26. Let s = v - 30. Is r greater than s?
False
Let x(p) = -p + 68. Let q be x(27). Is 40 bigger than q?
False
Let u = 66/7 - 309/35. Suppose -5*f + 6 = -3*f. Suppose 0 = -0*r - f*r. Which is smaller: u or r?
r
Let b = 693 - 693. Is b smaller than -2/547?
False
Let r(j) = -9 - 14*j + 10*j + 5*j. Let w be r(7). Let i = 1 + w. Do i and 2/5 have the same value?
False
Let z be 0 + ((-133)/42)/(-19). Is 0.6 > z?
True
Let b = -0.072 + 1.072. Let r = -0.06 - 0.74. Which is smaller: b or r?
r
Let y = -28 - -28.31. Let z = 3.31 - y. Is z equal to 0.1?
False
Let i(n) = n**2 + 15*n - 18. Let u(d) = d**3 + 12*d**2 + 2*d + 9. Let f be u(-12). Let x be i(f). Which is smaller: -17 or x?
x
Let q = 391 - 236. Is q > 156?
False
Let k = -0.025 + 0.035. Let g = -8.11 - -8. Let f = g + k. Is -0.13 bigger than f?
False
Let o(f) = -f**2 - 11*f - 5. 