- 6*m - 76. Let b be z(-31). Suppose -33 = 11*a + b. Is a less than or equal to -13?
True
Let k(s) = -111*s + 9989. Let g be k(90). Which is greater: -1/8044 or g?
-1/8044
Let f be 2/(-4)*((-3 - -5) + -6). Let o(j) = -3*j + 2. Let q be o(-12). Suppose 2*v + 53 = -4*x + 5*x, 4*x = -2*v - q. Which is greater: v or f?
f
Let l = -25632 - -25616. Which is smaller: l or -17?
-17
Let h(f) = -204*f - 292. Let v be h(12). Is v less than -2740?
False
Suppose 14281*n - 14295*n - 15974 = 0. Is n > -1142?
True
Let o = 402 + -2012/5. Let n = 13847/3817 + 3/347. Which is smaller: n or o?
o
Suppose 8*k + 10 = -230. Let n = -46 - k. Suppose 2*b + 0*u = 5*u - 33, 0 = -2*u + 2. Which is bigger: b or n?
b
Let p be (7140/75)/(-28) - -3. Is p < -238.3?
False
Let c = -26197/4 + 6488. Which is smaller: -61 or c?
c
Let z be 246/(-10)*(30/(-4))/(6/(-12)). Which is smaller: -367 or z?
z
Let x(n) = -n**2 - 4*n - 7. Let u(l) = 2*l**2 + 7*l + 13. Let t(j) = 4*u(j) + 9*x(j). Let f be t(-6). Let z = -31 + 343/11. Which is greater: z or f?
f
Let k be ((-756)/504)/(3/54). Let v = 11 - 36. Is k > v?
False
Let u be -4 + (-95)/(-25) - 19/(475/220). Which is smaller: 9 or u?
u
Let m = -7339 - -7197. Let z be -1 - 4006/(-28) - 0. Let w = z + m. Which is smaller: 0.1 or w?
w
Let y(f) = 4*f**3 - 3*f**2 - 12*f - 4. Let m(v) = -9*v**3 + 6*v**2 + 24*v + 7. Let c(i) = 3*m(i) + 7*y(i). Let d be c(5). Which is greater: -19 or d?
d
Let r = 1088 + -1647. Is -3/11 greater than r?
True
Let u = 138.866 - 139. Let w = -3.534 - -3.5. Let v = u - w. Are v and -2/7 non-equal?
True
Let x(p) = 7*p - 2*p**2 + p + 21 + 10*p. Suppose 5*q - 3*m = 62, 5*q - 34 = -14*m + 10*m. Let d be x(q). Which is smaller: 1/61 or d?
1/61
Let g(x) = -1 - x**2 - 5*x - 8*x**2 + 8*x**2 + 4*x. Let v be g(0). Is -1/50 >= v?
True
Let a(p) be the second derivative of 5*p**3/6 + 7*p**2 + p. Suppose 0 = 5*i - 3*z, -4*i + 3*z - 2 = -5. Let t be a(i). Which is bigger: 1/20 or t?
1/20
Suppose 18 - 66 = -4*l. Suppose -10*s = -l*s + 38. Suppose -2*p - 3*p + s = t, -3*t + 2 = 4*p. Is 3 not equal to t?
True
Let y = 1881/14 + -69933/518. Suppose 4*f = 3*u - 12, 0*u = 3*u - 5*f - 15. Is y greater than u?
False
Let k be (-298)/4*(-2 - 0). Let n be -17*(44 + 14384/(-272)). Which is smaller: k or n?
k
Let y be (-504)/(-665) - (-3)/(-5). Let f = -6345 + 6346. Which is smaller: y or f?
y
Suppose 0 = -22*z + 14*z - 248. Which is smaller: z or -309/10?
z
Suppose 3*d - 3*f - 12 = 0, 24*f - 19*f - 10 = -d. Let l be 1528/(2 - 10) + d. Is -186 at most as big as l?
True
Suppose 2*w + 2*w + 376 = 0. Suppose 3*m + 5*d + 8 = 0, 0 = 4*m + 8*d - 5*d - 4. Suppose 0 = -7*o + 11*o - m*k + 384, 0 = -5*o - 2*k - 466. Are w and o unequal?
False
Let f = 1231.8568 + -1.8568. Which is bigger: f or -4?
f
Suppose -11*x + 17*x + 11614 - 226 = 0. Do -1896 and x have different values?
True
Let v = 2138 - 2137.92. Let f(t) = 4*t - 4. Let o be f(3). Suppose 5*r + s + 4 = 0, 8*r + o = 3*r - 2*s. Which is smaller: r or v?
r
Let j = 2.51 + -108.51. Let q = j - -108.2. Is 3 not equal to q?
True
Suppose 3*z - 84 = 2*n, -n + 74 = 2*z + 25. Let h = z + -24. Suppose 0 = 4*u - 3*w - 39, -17 + 7 = h*w. Which is smaller: -0.2 or u?
-0.2
Let c(j) = -j**3 + 15*j**2 - 19*j + 57. Let s(y) = -y**3 + 15*y**2 - 22*y + 57. Let n(t) = -4*c(t) + 5*s(t). Let d be n(14). Is -223 > d?
False
Suppose 0 = -18*w + 15*w + 6. Suppose 3*b = 2*v - 23, v - 3*b + 7 = w*v. Let j be 6/(-18) - v/6. Which is bigger: j or 0.18?
0.18
Suppose -91*g + 44669 - 39937 = 0. Let r be (-340)/(-6) - 2/3. Is r at most as big as g?
False
Let g = 35 + -33. Suppose 4*m = g*m - 28. Let h = -18 + 20. Which is smaller: h or m?
m
Suppose -40301 = -9*i + 34813. Which is smaller: i or 8347?
i
Let u = 60599 - 28542143/471. Is -1 <= u?
True
Let u be (-2964)/(-10)*(1 + 136/24). Is 1976 < u?
False
Let i(g) = -g**2 + 28*g + 140. Let u be i(33). Let r be ((-3)/3 - -2)/(u/(-50)). Is 32/25 greater than r?
False
Suppose 2*r + 2*r = -236. Let f be -2*(-12)/40 + 24/(-40). Suppose f = 8*l + 575 - 95. Which is bigger: r or l?
r
Suppose 84*i - 22209 = 167967. Are i and 2264 non-equal?
False
Let g(y) = 9*y + 330. Let a be g(-30). Does a = 29?
False
Let q = -16036 - -15906. Let m be (-57)/45 - (-18)/30. Is q > m?
False
Let z be 921*(-30)/(-22491) - 1. Let q = z - -1/147. Let v(l) = -l**2 + 40*l + 4224. Let g be v(-48). Is g < q?
True
Let u(w) = -4*w + 18*w - 7*w + 30 - 10*w - 3*w. Let f be u(5). Let d(m) = -m**3 + 6*m**2 + m - 3. Let l be d(6). Which is smaller: l or f?
f
Let d(j) = -2*j + 4. Let f be d(0). Suppose 5*u + 13 = f*u + 5*t, t = 2. Let y(k) = -k**3 + k + 10. Let m be y(u). Is m < 33?
False
Let i be ((-54)/(-45))/(3/15). Suppose -w + i*z - 4*z = 10, 3*z - 12 = 0. Do w and 27 have different values?
True
Let q = -0.1 + -0.3. Suppose -6*p + 8*p = 82. Let k = p - 35. Which is smaller: k or q?
q
Let g = -36242 + 36241.9. Let m be -2 + 45 + 1 - 2. Is g greater than m?
False
Let m = 1.05 + -0.05. Suppose 3*u = -2*z + 21, 22 = -9*u + 11*u + 4*z. Let r be u + 1 + 332/(-55). Is r bigger than m?
False
Suppose 0 = 3*o - 2*j + 158, 0 = 2*o + 17*j - 14*j + 127. Let h = -673/12 - o. Does h = 1?
False
Let u = -151.47 + 3.47. Let c = 354.9 - 355. Are u and c equal?
False
Let t = 274 - 282. Let i be t/(-72) - (-2)/9. Is 12 greater than i?
True
Let p = 118 + -191. Let b be (-5)/p*4/(-10). Let k be -2*(-2)/(-8)*(3 - 3). Is b bigger than k?
False
Let y be -50*(-80)/675 + -6. Which is smaller: 1 or y?
y
Suppose 0 = -5*o + 172 + 98. Let y be 5 + -6 + 3 + (1 - -51) + 1. Which is bigger: o or y?
y
Let d = 4818 - 4817.96. Let z be 200/(-56) + (-1 - -4). Is d <= z?
False
Let j = -464 - -3025. Are j and 12809/5 equal?
False
Suppose -h = 27153 - 24515. Is -2641 bigger than h?
False
Let y(b) = 22*b - 285. Let l be y(0). Let w = l + 345. Let d = 152 + -93. Which is bigger: w or d?
w
Let p(o) = o**3 + 2*o**2 - 65. Let z be p(0). Let f = z - -70. Let u(i) = -i**3 + 4*i**2 + 2*i + 4. Let h be u(f). Which is greater: -10 or h?
-10
Let q be (-1516)/1000 + 108/72. Which is smaller: -1 or q?
-1
Let k = 32.1062 + 1.9316. Let b = -0.0622 - k. Let u = 4.9 - b. Which is greater: u or -0.2?
u
Let v = -0.04 - -0.093. Let g = v - -0.047. Which is greater: g or -1.36?
g
Suppose 1793 = 4*p + 7245. Is p >= -1364?
True
Let w be (-82)/(-2) - (120 - 111). Which is smaller: 540/17 or w?
540/17
Let j be 2/((-10)/15) + 450. Suppose 2*b - 4*c = -226, -108 = -3*b - 4*c - j. Are -0.1 and b nonequal?
True
Suppose -4*x - 226 = -234. Suppose 0 = h - 2*g + g - 30, 2*g - 76 = -x*h. Are h and 164/5 non-equal?
True
Let o be 285/(-9120)*(2 - 34). Let r be (4/6)/(10 + 2). Which is smaller: r or o?
r
Suppose 0 = 2*a - 10 - 16. Let q(m) = -m**2 + 7*m + 28. Let b(o) = -o**2 + 5*o + 29. Let n(t) = 2*b(t) - 3*q(t). Let i be n(a). Which is greater: i or 3/35?
3/35
Let j(o) = o**2 + 13*o - 90. Let k be j(-18). Suppose 15*f + 779 + 331 = k. Are -75 and f equal?
False
Let v be 18*1*(-5 - (-11)/3). Let n = 74 + v. Let w be 5/n*(-110)/4. Is w less than or equal to -3?
False
Let b = -52367 - -42626743/814. Which is smaller: b or -1?
-1
Let v(n) = -n**3 + 11*n**2 - 6*n + 1. Let o = 462 - 451. Let w be v(o). Which is smaller: w or -63?
w
Let z = -15680 + 15681. Is z bigger than 87/8?
False
Let o = 1.4708 - 1.5708. Is o greater than or equal to 216?
False
Let l = 2870 - 2873.34. Are 0.5 and l equal?
False
Let a = -1.04 - -115.04. Let u = -160 + a. Which is bigger: -0.4 or u?
-0.4
Suppose 82 = 5*h - 3*v + 97, 0 = -2*h + 2*v - 10. Are 1/4387 and h equal?
False
Suppose -24 = -5*q - 3*z, 5*q - z - 6 - 6 = 0. Suppose -q*x + x - 4 = -2*j, -3*j = x + 18. Let m be (4/x)/((-32)/(-12)). Is m >= -0.01?
False
Let v be 7 - 10 - -6 - 0. Suppose 0 = 30*w + v*w - 528. Which is bigger: w or 152/9?
152/9
Let s = -8.3 + 8.69. Let c = s - 0.56. Let n be (-4)/6 + (-5)/((-180)/42). Is n > c?
True
Let y = 55 - 59.98. Let r = -0.02 + y. Let s be ((-1)/10)/(((-434)/112)/(-31)). Do s and r have the same value?
False
Let t(x) = 23*x**3 + 7*x - 6. Let m be t(1). Suppose m = p - 4. Is p at most as big as 2/5?
False
Suppose -20*i - 332 = -352. Are 62/277 and i equal?
False
Let d = 186.9 + -186.9. Which is greater: 0.234 or d?
0.234
Let t be -2*((-2)/8 - 81726505/(-9260)). Let i = t - -17651. Let h = i + 15772/2315. Which is bigger: h or