 y(m) = 2*m - 10. Let j be y(6). Let c(b) = 3*b - 1. Let z be c(j). Let i be -2 - (z/2 + 0). Is i != 0.1?
True
Let k = 21 - -10. Let g = k + -24. Is 9 less than or equal to g?
False
Let l be 4/204*(-16 - 4). Let q = -1/17 - l. Which is greater: 1 or q?
1
Suppose -2*v + 5*s = -10, -2*v + 11 = -5*v + s. Which is smaller: v or 1/80?
v
Let r(o) = -3*o**2 + 15*o. Let u be r(5). Let a be 1 - (4 + (-506)/170). Which is smaller: u or a?
a
Let d = 1501 + -1762. Is d != 4?
True
Let h(s) = 4*s - 4. Let w be h(-1). Let n be (w/(-28))/(5/70). Let d be 2/n - 6/(-4). Is 2 >= d?
True
Let r = -14368 - -143853/10. Is 16 smaller than r?
True
Let k(v) = 3*v**3 + 26*v**2 + 2*v + 22. Let n be k(-9). Let p = n + 77. Which is greater: p or 3?
3
Let h = 3/5 + -1. Let n = 0 + 5. Suppose -2*r + 1 + 2 = o, -n*o - 3*r + 8 = 0. Is o >= h?
True
Suppose 0 = 3*o + 2*o. Let x = -113821/36140 + -1/1807. Let w = -13/4 - x. Are w and o nonequal?
True
Suppose i + 4 = 0, -5*q = -2*i - 3*i - 125. Which is smaller: 185/9 or q?
185/9
Let k(y) = -y**3 + 8*y**2 + 11*y - 13. Let z be k(9). Suppose -z*f = 4*w - 22, 2*w = -2*f - 0*w + 8. Let p be (f + -9)*8/(-138). Which is smaller: p or 1?
p
Let c = -324 - -350. Let z(d) = -2*d + 9. Let k be z(-8). Which is smaller: k or c?
k
Let w be ((-20)/(-4))/(-5) - 15. Let a be 3/4*w/30. Let f = 2/7 + 1/21. Is a > f?
False
Let a = 132 - 93. Is 35 <= a?
True
Suppose 0 = 2*m + m + 9. Let x be (m + -2)*12/(-70). Let t(j) = j**2 + 4*j - 3. Let c be t(-5). Does c = x?
False
Suppose -3*l - 16 = -4*f, 3*f - 12 = 5*l + 11. Let t be ((-2)/l)/((-9)/12). Let c be 0/(4 - (-4 + 7)). Which is bigger: t or c?
c
Suppose -12*s - 6 = -234. Suppose -f + s = 7. Which is smaller: f or 13?
f
Suppose -5*n + 10 = -5*z, 6*z - 3*z + 2 = 5*n. Let u(x) = x - 11. Let q be u(8). Which is greater: q or n?
n
Let z(o) be the third derivative of o**5/30 - o**4/8 - o**3/3 - 12*o**2. Let p be z(2). Which is smaller: 2/49 or p?
p
Suppose -5*c = -c - 8. Suppose 0*a = a - v + c, 3*a + 46 = -5*v. Which is smaller: a or -5?
a
Suppose -1 + 149 = -4*v + 3*s, 0 = 3*v + 2*s + 128. Suppose -4*u + 2*m = 152, 3*u + 391*m - 395*m + 99 = 0. Is u != v?
True
Let i = -39 - -50. Suppose 6*r - 5 = -i. Is r at most as big as -1/31?
True
Let x be -2 + 5 + 4/(1448460/(-281735)). Let v = x - -2/8047. Is v less than or equal to 3?
True
Let f be 8/(-2) - (2 + 0). Let s = f - -1. Let l = -252 + 245. Is s bigger than l?
True
Let a = -338/45 + 242639/32310. Is a greater than -1?
True
Let n be 7 - 4 - 1/1. Suppose 4*c - 84 = 5*o, 4*o + 30 = 2*o - n*c. Let x = -15 - o. Is x greater than 0?
True
Let u = 0.27 - 0.07. Let s be (-1)/(-1) + (-1482)/2142. Let n = 4/21 - s. Which is greater: u or n?
u
Suppose -5*c + 2 = -3*c. Let h be 25/55 + (0 - c). Let n = h + 65/99. Is 0 greater than n?
False
Let m = 1128 + -1048. Which is smaller: 85 or m?
m
Let h be (11 - -1)/((-39)/26). Let w be (-30)/h + -1 + -2. Which is smaller: w or 0?
0
Suppose 4*f + 4*i - 66 = -22, 0 = f - 2*i - 8. Suppose 0 = -2*v - 2 - f. Let o be (-18)/48*(-4)/v. Which is smaller: o or 1?
o
Let i be (-3)/(27/40) - 2. Let v = -56/9 - i. Suppose 9 = s - 5*j, 4*s + 5*j + 69 = 55. Is v at most as big as s?
False
Suppose 15*n = 3*w + 11*n + 23, 5*n = -5*w + 20. Which is bigger: w or 13/29?
13/29
Suppose o + 4*s - 8 = 0, -4*o - 10 = 18*s - 23*s. Which is smaller: o or 5/79?
o
Let n be ((-45)/30)/(3/1348). Let a be n/40 + (-30)/75. Let r = -361/20 - a. Which is smaller: r or -2?
-2
Suppose -1 = -g + 4*i + 1, -4*g + i - 22 = 0. Let x(a) = -5 - 110*a**2 + 17*a + 111*a**2 + 32. Let t be x(-15). Which is greater: g or t?
t
Let i(k) = k**3 - 9*k**2 + 9*k - 10. Let m be i(8). Let t(x) = x - 1. Let v be t(11). Let o be ((-9)/(-90))/(4/v). Which is smaller: m or o?
m
Let k = 2218 + -10988/5. Is k at most 20?
False
Let f = 462 + -473. Which is greater: f or -134/13?
-134/13
Let f = -0.2 + -1.8. Let l = 2.7 - 22.7. Which is smaller: l or f?
l
Suppose 2*q + 3*q = -25, -4*q + 37 = 3*x. Suppose -5*j - 31 = x. Let y be (j/4)/((-2)/4). Is 4 at least y?
False
Let b = -0.29 - -7.29. Let z = -18 + b. Is z at most as big as -2/11?
True
Let v be 11*(3 - 2) + 1. Suppose -v = 3*g + 12. Let m = 491 - 500. Is g < m?
False
Suppose 0 = -2*f + f + 4. Let u(q) = q**3 - q**2 - 3*q + 5. Let i be u(3). Let v be f/i*(-14)/114. Which is smaller: v or -1?
-1
Let y = -11 - -16. Let x(c) = c - 3. Let p be x(y). Suppose -p*m + 8 = 2*m. Is m less than or equal to -1/3?
False
Suppose 40 = -5*p + 5*o, 0 = 2*p + p + 3*o + 36. Let t be 0 + p/(-1) - 0. Let i = 14 - t. Is i at most as big as 5?
True
Suppose 3*l + 4*f = 1, 5*l - 9*l + 2*f - 6 = 0. Is l at most as big as -18/29?
True
Let r = 2 + -1. Let g be (3/9)/(r/6). Let m be 71/(-88) - 1*(-4)/22. Is g < m?
False
Let n be ((-14)/(-8))/(6/(-24)). Let k = n + 3. Let v = k + 6. Is v at most 5/3?
False
Let u = 32 + -32.32. Let s = u - -0.21. Is s equal to -0.3?
False
Suppose 17 = 3*k - 4*h - 0*h, 3*h = -3*k + 24. Which is bigger: -0.44 or k?
k
Suppose -3*p - 4*u + 7 = 0, 5*p - 4*u - 10 = 23. Suppose 0 = 8*n - p*n. Which is bigger: n or 6/35?
6/35
Let a = 7 - 11. Let r = 3.86 + a. Let m = 0.14 + r. Which is greater: m or -1/7?
m
Suppose 0 = -4*d - 23 - 1. Suppose 9*y + 70 = -5*y. Is d < y?
True
Suppose 0 = -u - 3*x - 4, -2*u - 10 = -u + 5*x. Suppose 3 = u*s - 17. Suppose s*p - 5 = d + 5, -p + 3 = 0. Which is smaller: d or 0.2?
0.2
Let p = 0.0928 + -0.0328. Is p smaller than 2/21?
True
Let g(v) = -2*v + 9 - 6 + 11 + 0*v. Let k be g(10). Let u(o) = -o - 2. Let a be u(k). Is a bigger than 6?
False
Let o(w) = -21*w - 168. Let n be o(-11). Is 63 at least n?
True
Let f(i) = -i**3 + 6*i**2 + 14*i - 48. Let v be f(7). Which is smaller: v or -1/10?
-1/10
Suppose j + 1 = -3*k, -4*j + k = 3*k - 16. Suppose -10*p + 15 = -j*p. Which is smaller: p or 11/5?
11/5
Suppose 19*r - 42 = 33*r. Let g(n) = n**2 - 4*n + 2. Let v be g(4). Are v and r unequal?
True
Let h = 3192 - 3191. Let z(c) = 2*c + 5 + 3*c + c**2 - 1. Let t be z(-4). Is h > t?
True
Let v = 16.903 + 0.097. Let h = -22 + v. Which is greater: h or 1/9?
1/9
Let t be (39/9)/(6/(-18)). Which is smaller: -116/9 or t?
t
Let a = -19.908 - 0.092. Let g = -13 - a. Let o = 2 - 1. Which is smaller: g or o?
o
Let w be (70/735)/((-297)/(-105)). Which is bigger: w or 0?
w
Let b = -54.849 - 0.151. Is -1 < b?
False
Let c be 86 - (-1 + -3 + -2). Is c != 91?
True
Let c be (-12)/12*6 + 1*4. Which is smaller: 2 or c?
c
Let v = -9 + 5. Suppose -5*h - 2*z = -35 + 29, 5*z - 15 = 0. Which is smaller: v or h?
v
Let y = -34 + 34. Is y less than or equal to -1/197?
False
Let r = -257 - -437. Suppose -2*b - 7*b = r. Which is greater: -22 or b?
b
Suppose 382 = 5*z - 38. Let p = z - 46. Is p smaller than 39?
True
Let s = -27 - -24. Let z be 2*s/336*349. Let o = z + 41/7. Which is smaller: 0 or o?
o
Let w be ((-1218)/(-196) - 6)*14/10140. Which is greater: 0 or w?
w
Let h(l) = l**2 - 2*l. Let z be h(2). Let r = -2960/781 + 42/11. Let f = r - -57/497. Which is greater: f or z?
f
Let h = 0.0533 + 43.7467. Let o = h + -44. Is o at least 0?
False
Let m be 3*(-2 - -1 - (-40)/24). Let v be (3/(-3) - 1*3)*m. Which is bigger: -7 or v?
-7
Suppose -12 = -4*b, -153 - 74 = -2*x - 3*b. Let h = x - 109. Is h less than 1/17?
True
Let a = -42 - -42.1. Suppose 2*x = -0*x - 4. Which is bigger: x or a?
a
Let o(f) = -f**3 - 12*f**2 - 12*f - 13. Let n be o(-9). Let h be ((-3)/(-9))/(n/12). Which is bigger: -1/4 or h?
h
Let j be (-143)/22*(-6)/1. Is 39 < j?
False
Let r = 418 - 424. Suppose -4*c + 9 = -x, 5*c - 10 = 2*x - 1. Let y be 1 + ((-33)/x - -3). Is y greater than r?
False
Let u = -1991/3 - -671. Let s(y) = y**3 + 9*y**2 + 8*y + 12. Let b be s(-8). Let p = b - 6. Which is bigger: p or u?
u
Suppose -36 = 7*h - 3*h. Suppose 0 = 4*k - 160 - 0. Suppose k = -4*i + 2*y, 3*i - y = -6*y - 17. Is h < i?
False
Let r = 529 - 539. Does r = 1/2?
False
Let b(s) = -s**3 + 8*s**2 - 7*s - 1. Let h be b(2). Let g = -51 + 81. Suppose -o - g = -4*o. Do o and h have the same value?
False
Let f = -147 - -146. Is -111 less than or equal to f?
True
Suppose 0 = 4*d + 7 - 239. Suppose 24 = 2*a - d. Is a less than or equal to 2/3?
False
Let t = -4 - -5. Let l = 0.13 - -11.87. Let w = 7 - l. Is t greater than w?
True
Let d = 1.9 - 1.8. Let h = 37 - 37.2. Is d at least as big as h?
Tr