 - 193. Let q(v) = -3*v + 1. Let n be q(-8). Is n less than or equal to o?
True
Suppose 2*h - 118 = 2*x, -131*h - 2*x + 323 = -126*h. Is h bigger than -16?
True
Let v = -1.1329 - -1.1348. Is 8 greater than or equal to v?
True
Let l = -7 + 54. Let f(t) = -25*t + 580. Let r be f(21). Are l and r equal?
False
Let m = -9.677 - 0.223. Let k = -9.8 - m. Let x be 26/(-11) - (-2 + 0). Which is smaller: x or k?
x
Let v = 6567 + -6389. Which is smaller: v or -5?
-5
Let j = -5.209 + 6.009. Which is greater: 19 or j?
19
Let d(l) = l**2 + 34*l + 107. Let a be d(-36). Let s be 2/a*33/(-66). Which is greater: s or -1?
s
Let q = -0.2214 - -0.3214. Is q bigger than 4833?
False
Suppose 8*u = 149 + 115. Let g = 132 - 132.2. Is u at least as big as g?
True
Suppose 8 = 4*t, -9*t = 2*l - 5*t - 10. Let o be 0 + (-32)/(-60)*(-1)/36. Which is greater: o or l?
l
Suppose 6*y + 2*y = 688. Let q be 3*y/6 + (-8)/2. Suppose 0 = 3*b - 2*c + c - 123, -4*b = 2*c - 154. Do q and b have the same value?
False
Suppose 5*z + s = 26, -36*z + 39*z = 4*s + 11. Suppose -2*m = -3*t - 55, 11*t + 43 = 9*t - z*m. Which is smaller: -24 or t?
-24
Let d = -191 - -124. Let u = d - -67. Do u and -4 have different values?
True
Let s(z) = -15*z - 59. Let i = -488 - -484. Let u be s(i). Is -4/79 not equal to u?
True
Let a = -7487 + 52407/7. Is 1/4631 equal to a?
False
Let a = 13 - -4. Suppose -a*s + 19*s + 142 = 0. Is -72 < s?
True
Suppose -b = 3*o - 1 - 2, 0 = -3*b + 3*o + 9. Suppose 4*m + b*i = -9, -2*m - 5*i - 16 + 1 = 0. Which is greater: m or 2/157?
2/157
Suppose 10*k = -2*v + 5*k - 1820, k - 8 = 0. Is v less than -923?
True
Let f = -2 - -1. Suppose 3*l + 3 = 0, -5*r - 6*l = -8*l + 113. Let x be r/(-72) + 10/80. Is f >= x?
False
Let b = -53502 + 53502.92. Let m = 0 + 1. Is b greater than m?
False
Let k(u) = u**3 + 15*u**2 - u - 17. Let y = -594 + 579. Let t be k(y). Let o be 2 + (43/(-9) - -2). Is t < o?
True
Let b be 13525232/(-631026) + (-132)/(-242). Let k = -2/3187 + b. Are k and -20 unequal?
True
Let s = -498 - -3165. Are s and 2666 non-equal?
True
Suppose 10*z = 7*z + 5850. Let d be 2/4*0 + z/(-42). Let b = d - -46. Is -1 <= b?
True
Let h = -8 + 12. Suppose t = 3*k + 18, 2*t + 0*k - h*k = 28. Let v = 50 - t. Does 44 = v?
True
Suppose 4*y + 7 = -9. Let d be -7 - y - -2 - -32. Suppose -d + 81 = -5*u. Is -10 at least as big as u?
True
Let a be 2/(1 + -7)*(-36)/12. Which is greater: -765 or a?
a
Let h = 67339203/2113 + -31869. Which is smaller: h or -1?
-1
Suppose -x + 39 = 5*m, 0 = -x + 5*m - 1 - 0. Suppose -4*t + 23*t + x = 0. Is -2/145 equal to t?
False
Let q be (3/9)/(7/357). Suppose -27 = 2*j + 5*s, 2*j + 6*s = 3*s - q. Which is bigger: -34 or j?
j
Let f = 323 + -10658/33. Let a be (-14)/(-2) + 102/(-17). Is f at most as big as a?
True
Let w(x) = 29*x - 23*x - x**2 - 6 - 2. Let t be w(7). Suppose -3*d + 3 = -p - 0, -3*p + 4*d - 24 = 0. Does t = p?
False
Let u = -2.8 + 3. Let s = u + -0.1. Let r = 102.176 + -102.17. Which is bigger: s or r?
s
Let w = 2450 - 2470.98. Let m = w + -2.82. Let c = -0.8 - m. Which is smaller: -2/3 or c?
-2/3
Let x = 5938 + -4101. Is x at most as big as 1837?
True
Let c = 155 + -158. Let j be c*4/12 + (-312)/(-10). Is 31 < j?
False
Let j = 263 - 164. Let q be (0 + (-9)/(-12))*(-216)/j. Which is smaller: q or -3?
-3
Let d be 1/(-6)*200/(-20)*3. Suppose d*a - a = -4*a. Are a and 1/78 non-equal?
True
Suppose 71 = -11*k + 60. Are k and -1/2985 non-equal?
True
Let z = -375/14 - 37795/42. Let a = -928 - z. Is a < 0.5?
True
Suppose -1495 = -2*x + 5*u, 0 = 4*x - 3*u + 486 - 3483. Let l = x + -14258/19. Which is bigger: -1 or l?
l
Let j be ((-1)/(-181))/(16*(-6)/(-64)). Which is smaller: -8 or j?
-8
Let q = 80.118 + -0.118. Let c = 80 - q. Let n = -0.08 - -4.08. Is c != n?
True
Let c = 6.351 + -4.451. Is 7.2 smaller than c?
False
Let k = 55011352/2227 - 24702. Let g be (1 + (-2)/(-4))*(-71284)/33405. Let s = g - k. Is s less than or equal to -2?
True
Let r(x) = 5*x**2 + 9*x + 5. Let d be r(-3). Suppose -2*n - 5*z = 6 + d, 0 = -5*n + 3*z - 57. Let t be -3 - (13/18)/(4/n). Which is greater: -1 or t?
t
Suppose 0*p = y + 3*p - 20, y = 2*p. Let q be y - 18 - (0/1)/(-2). Do q and -13 have the same value?
False
Let w be (-163 - -163) + (1 - 229). Which is bigger: -236 or w?
w
Let s = 13.4183 - -0.5817. Let c = -2.9 - -6.9. Which is greater: s or c?
s
Let h(q) = 20*q - 34. Let d be h(6). Let t(a) = -2*a**3 - 64*a**2 - 63*a + 53. Let z be t(-31). Which is smaller: d or z?
z
Let x be 6280/(-219015)*9/(-4). Let q(i) = -i**2 - 2*i. Let r be q(-3). Let z be 1*(1*r)/(-3). Are z and x unequal?
True
Let j(i) = -i**3 - 3*i**2 + 23*i - 17. Let n be j(-7). Let x = -95 + n. Is -77 at least x?
True
Let x be 1332/(-16) + -1 - 6. Let h = x - -91. Let c = -34 + 56. Is h at most as big as c?
True
Suppose -4*h + 6*h = 7*a + 5, 3*h - 16 = 2*a. Which is bigger: -5491 or a?
a
Suppose -4*z = -3*z. Suppose 0 = 32*y - 8*y + 1536. Let d be 4/2 - 3/((-108)/y). Is d smaller than z?
False
Let p = 3 - 3.2. Let u be ((-7)/3)/(((-8296)/(-102))/(-61)). Is u < p?
False
Let u(g) = -g**2 - 6*g - 3. Let v be u(-2). Suppose -4*r = n - 24, -18 = 3*r - 6*r + v*n. Let t = r - 43/6. Is t at least as big as -2?
True
Let g = -31 - 26. Let z be -21*4/(-3)*-2. Which is smaller: z or g?
g
Let h = 39 - 15. Suppose 2*f = 4*d + h, 0*f + 16 = 5*f + d. Let p be (-10)/f*(-24)/(-170). Is p at least -1?
True
Let b = -2 - -2.2. Let d = 110720 - 110681. Is d != b?
True
Suppose -16*z + 19*z = 144. Let x = 18 - z. Let o = x - -29. Are 2/51 and o equal?
False
Let l be (-27)/10*(-412)/2781. Which is greater: -20445 or l?
l
Let y = -12578/7 + 968504/539. Suppose -2*c = f - 2*f - 3, 3*c - 2*f = 5. Are y and c nonequal?
True
Let k(t) = -10*t**2 + 6*t + 1. Let q be k(3). Let j = 136 + -64. Let f = j + q. Is f >= -2/9?
True
Suppose -3*s = 5*i + 107, -i = 2*i + 3*s + 69. Let o be (i/30)/(-19)*2/(-3). Let k be 6/33 + (-9)/(-11). Are k and o nonequal?
True
Suppose 32 = -4*f + 4*k, f = 4*f - 4*k + 22. Let w be (4/10)/((-1)/f*4). Let n be 2*((-7)/(-14))/(w + -2). Which is smaller: n or 4/31?
n
Let r = -3 - 0. Let k be r/7 + 16/(-28). Let n be (-414)/(-90) - (4 + k). Which is bigger: -2/9 or n?
n
Let c be (2/376)/((-2)/(-12)*(38 - -2)). Is c less than or equal to -1?
False
Let m = 248 + -4706/19. Suppose -14*p + 9*p + 10 = 0. Suppose -4*r - 2*a = -p, -r = -3*a - 2 - 2. Is r < m?
False
Suppose -6*l = -l + 725. Let c = l - -1886/13. Let i be (0 - -1)*1/5. Which is smaller: i or c?
c
Let y be -6*(-2 - 195/9). Let c = 1 + -1. Which is smaller: y or c?
c
Suppose 34*p + 45*p = 104*p - 27950. Is p less than 1107?
False
Let m be 2/(-68) - (-20197868)/(-3247). Is -6220 greater than or equal to m?
True
Let r be -1 - -2 - 168210/195. Let w(d) = -108*d**3 + 3*d + 3. Let v be w(-2). Let o = r + v. Do -1 and o have the same value?
False
Let i = 4 - 1. Let n be i/7 + (-712)/28. Let j be ((-6)/(-9))/(11640/972 + -12). Is j > n?
False
Suppose -97*k = 6*k + 29*k + 1320. Which is smaller: k or -406?
-406
Let b be -4*((-26)/8 - 0). Suppose -4*w - x - 32 = 0, 21 = 4*w + 5*x + 53. Let o = w - b. Which is smaller: o or -39/2?
o
Suppose -28*b + 167 + 757 = 0. Is 357/11 greater than or equal to b?
False
Let z = 98.32 + -103.42. Let v = 14.1 + -13. Let c = z + v. Which is greater: c or -0.01?
-0.01
Let l be (-85)/(-918)*3/(-10). Let k = 34 - 26. Let i be -2*(-1 + 12/k). Which is greater: i or l?
l
Let p(i) = -i**3 - 5*i**2 - 3*i - 7. Let b be p(-6). Let t = 43 - b. Let w be (-2 - t/1) + 18. Are 20 and w equal?
True
Let p(g) = -g**3 - 10*g**2 - 33*g - 30. Let s be p(-12). Let v = s - 640. Let q be 1*(0 + -1 + 14). Which is smaller: v or q?
q
Let q(i) = 2*i - 2. Let c be 18/4*(-20)/6. Let m be q(c). Suppose 5*k = 4*d - 145, -d - 147 = 4*k + 2*d. Which is smaller: k or m?
k
Let c = 225 + -205. Let r = -4 + 7. Suppose -r*u = 2*w - 7*u - 44, -5*w + 4*u + 104 = 0. Is w less than c?
False
Let k = 3687 - 4054. Is k <= -4/3?
True
Suppose 406015 = 184*c + 81991. Is 5279/3 greater than or equal to c?
False
Suppose -34*d + 9*d + 7857 = 56*d. Is 83 at least as big as d?
False
Suppose -4 - 131 = -x. Suppose 3*j - x = 5*d, -2*d + 5*j = -d + 49. Which is smaller: -23 or d?
d
Let s be (-18)/(-1 - 5) + 537*1. Let q be 274/(-2130) + 72/s. Which is bigger: -1 or q?
q
Let r(v) = v**3 - 1