Let l be g(-6). Suppose 3*q - l = -3*q. Which is greater: q or -12?
q
Let s(v) = 3*v - 27. Let c(m) = m - 9. Let z(t) = 11*c(t) - 4*s(t). Let x be z(8). Suppose 0 + x = -i. Which is smaller: 0.05 or i?
i
Let c = 50 + -43. Suppose -x + 35 = 5*m, 13 = 5*x - 5*m - 12. Which is smaller: c or x?
c
Suppose 94*i = 92*i - 1150. Which is bigger: i or -576?
i
Suppose 0 = 22*z - 555 + 2557. Let a = z + 112. Is a != 0.1?
True
Let q = 157 - 155. Suppose 2*l = -l + 6. Suppose 3*w = -l*w. Is w < q?
True
Let a = -0.26 - -0.22. Let g = a + -0.06. Is g < 1/5?
True
Let s = 72/151 - -37685/453. Which is smaller: s or 84?
s
Suppose 0 = -3*d - 3*w - 0*w - 15, 2*w + 12 = -3*d. Let h(i) = 3 + 0*i**2 - 2 - i + i**2. Let o be h(d). Which is bigger: o or 6?
o
Suppose -3*y - 33 = 198. Let j be (-4)/(-14) + (-55)/y. Let o = 2/115 + -248/1035. Which is bigger: j or o?
j
Let i(w) = w**2 + 10*w + 3. Let y be i(-10). Let s(g) = g**3 - 2*g**2 - 3*g + 2. Let u be s(y). Suppose 3*l - 4 = -2*d, l = -u*d + 2 + 2. Is -3/17 > l?
False
Let f be -3 - (-6 + 1686/582). Is -1 equal to f?
False
Let n = -7 - -9. Suppose 8 + n = -5*g. Is -7 greater than g?
False
Let w = 195 - 196. Let c(a) be the first derivative of -a**4/4 + a**3/3 + a**2/2 - 1. Let l be c(w). Are -2 and l unequal?
True
Let w = 2 + -3. Suppose -30 = -2*p - 3*p. Let j be (-1*(p - 3))/1. Is j at least as big as w?
False
Let p be (-120)/(-72) - 111/63. Let g = -38 - -264/7. Is p greater than or equal to g?
True
Let p = -16.86 + 17. Let f = p - 4.14. Suppose -s = -0*s. Which is smaller: s or f?
f
Let p = -314 - -315. Which is bigger: -1/195 or p?
p
Suppose 40 = 4*l - 0. Suppose -2*c = -l, 4*h - 7*c = -5*c + 2. Which is smaller: h or 2?
2
Suppose 8*j - 7*j - 6 = 0. Suppose -2*a - j = 4*q, 3*a = -5*q - 0*q - 7. Let y(f) = 2*f**3 - f**2 + f + 1. Let c be y(-1). Is q bigger than c?
True
Let i = -0.0698 + -0.0302. Is 10/7 bigger than i?
True
Let w(g) = -g - 17. Let a be w(-17). Let v be 22 - a - (-1 + 3). Let r be (-41)/(-119) - v/70. Which is smaller: r or -1?
-1
Let o be (4/(-6))/((-2)/(-3)). Let b be (-3)/2 - 34/(-4). Suppose -3*y = -7*y - 3*u - b, -5*y = -3*u + 29. Is o greater than y?
True
Let i be -5 - -2 - (2 + -9 - -4). Which is smaller: i or 2/93?
i
Suppose 0 = 22*z - 46*z - 1560. Which is bigger: -68 or z?
z
Suppose 2*x = 3*l - 1 - 10, -5*x = -l + 8. Which is smaller: x or 2/27?
x
Let o = -16 + 41. Let l = o + -18. Which is smaller: -2/7 or l?
-2/7
Let x = -20 + -28. Let h = x + 50. Is h > 0.6?
True
Let x = -45 + 68. Suppose x = -3*d - 13. Suppose -39 = -6*m + 9*m. Is m != d?
True
Suppose -4*l + 6 + 7 = r, 2*l - 4*r = -16. Let i = 281 + -270. Which is bigger: i or l?
i
Let h = 305 - 306. Is 103 smaller than h?
False
Let j be (-6)/(-15)*(-10)/802. Which is greater: j or 0?
0
Let k be (-6)/(-21) + 93914/238. Let r = k - 395. Let t = 18 - 18. Which is greater: r or t?
t
Let q = -53 - -35. Let o = -17.5 - q. Which is smaller: 1/4 or o?
1/4
Suppose 2*d = -3*q + 1, -3*d + 6 = -4*q - 4. Let z(t) = -3*t**2 - 9*t - 6. Let o be z(-5). Let r be ((-4)/9)/(12/o). Is r <= d?
True
Suppose -4*x + 1191 - 101 = 3*d, 4*x + 4*d - 1092 = 0. Which is greater: 270 or x?
x
Let a = 217 - 216. Which is greater: a or 34/5?
34/5
Suppose a + 337 = 4*o, -15*o = -10*o - 4*a - 413. Does o = -2/7?
False
Let x be 12/(-15)*(-10)/2. Let v be 4/2 - (-2 + x). Let j = 325/2 + -1301/8. Does v = j?
False
Let t = 368 + -590. Which is smaller: t or -223?
-223
Suppose -3*w = -z - 6, -4*z + 10 + 17 = 5*w. Let j be (0 + -158)/(-1*z). Let x = j - 52. Which is bigger: 0 or x?
x
Let h = 3488234 + -219753389/63. Let z = h + -85. Which is smaller: 1 or z?
z
Let w = -52 + 50. Let o be (-3)/(-3) - (60 - 1). Let a be (-120)/o + w/1. Is -1 < a?
True
Let s = 2/1415 + -45286/4245. Which is bigger: s or -11?
s
Let x(o) = -o - 18. Let k be x(-19). Is k != 20/13?
True
Let z(c) = c**3 - 9*c**2 + 54*c. Let l be z(6). Which is smaller: 0.4 or l?
0.4
Let y = -51 + 51. Let v = -8.05 + 8. Is y less than v?
False
Let y be (-13)/22 + (-3)/(-6). Suppose -16*q = -77 + 93. Is q equal to y?
False
Let m(i) be the second derivative of i**5/20 - 5*i**4/12 + 2*i**3/3 - 3*i**2/2 - 2*i. Let n be m(4). Let u be n/((-36)/(-15) + -3). Which is bigger: u or 4?
u
Let f be (-3436)/46 + (3 - 5). Let n = f + 107197/1380. Let g = 17/20 - n. Is -2/5 bigger than g?
False
Let h be 0/(49/(-28) + (-6)/(-8)). Which is bigger: h or -3/895?
h
Suppose -5*d + 1256 - 361 = 0. Is d at most as big as 178?
False
Let z = -137 + 150. Which is smaller: 20 or z?
z
Let o = -178/63 + 28/9. Let b(p) = -4*p - 2. Let z be b(4). Let g be ((-3)/z)/(2/(-6)). Which is smaller: g or o?
g
Let p = 0 - -1. Let t(i) = -11*i + 87. Let d be t(8). Is p greater than or equal to d?
True
Let z = -950 + 959. Are -0.2 and z equal?
False
Let q be ((-45)/(-675))/((-2)/(-1555)). Which is smaller: 51 or q?
51
Let a be ((-4)/8)/(-24*2/(-39)). Is 1 at most a?
False
Let t = 54 - 49.9. Let f = t - 1.1. Let s(x) = x + 4. Let y be s(-2). Is y less than or equal to f?
True
Suppose 0 = 2*g - 7 - 15. Suppose 5*i - 1 - g = 2*t, 5*i + 2*t - 8 = 0. Let j be 1 + i - 5 - -6. Is j not equal to 1?
True
Let j = 1944 + -1063. Is j > 881?
False
Let z be 3 - 62/3*(-51)/(-374). Which is smaller: z or 1.5?
z
Let r = -0.3 + 0.25. Let b = -845 + 846. Is b > r?
True
Let k be (-120)/(-16)*24/(-10). Let r be k/(-30) + 4/(-15). Which is smaller: -0.2 or r?
-0.2
Let d = 13 + -21. Let r(q) = q**3 + 7*q**2 - 8*q + 10. Let h be r(d). Let t be 14/(-30) - 2/h. Which is smaller: 7/4 or t?
t
Let m = 632406649 + -1076988412907/1703. Let h = -642/131 - m. Let l = h + 70. Is -1/5 < l?
True
Let m(g) be the third derivative of -g**5/60 - g**4/3 + g**3/2 + 7*g**2. Let d be m(-8). Suppose d + 1 = 4*l. Which is bigger: -1/5 or l?
l
Let g = -0.015 + -0.885. Which is bigger: g or -10?
g
Let f(a) = 3*a - 7. Let r(d) = d - 3. Let o(s) = -4*f(s) + 10*r(s). Let h be o(4). Let m(w) = -2*w**3 + 3*w**2 - 4*w + 2. Let q be m(2). Is h bigger than q?
False
Let v(y) = -y**2 - 12*y + 135. Let f be v(7). Which is smaller: 25 or f?
f
Suppose -g = -2*c + 3*g - 26, 3*g - 21 = 2*c. Which is greater: 0.8 or c?
0.8
Let n be (-12)/4*(-8)/6. Let q be (-10 + 3)*(-4 - (-116)/14). Let m be (-38)/n + q/20. Is m at most as big as -11?
True
Let t = 1761.6 + -1760. Which is smaller: -0.5 or t?
-0.5
Let o = 8 - 7.81. Let q = o + 3.91. Let s = q + -4. Is 0.06 less than or equal to s?
True
Let f be (3 - (-2849)/35) + 4/(-10). Let y be 9/f + (20/16)/(-5). Which is smaller: 0 or y?
y
Suppose 2*j - 3 = -1. Is 2/131 less than or equal to j?
True
Let j be ((-1)/5)/(184/36110). Which is smaller: -38 or j?
j
Let v = -319/6 + 671/12. Is v at least as big as 4?
False
Let i = 2/2951 - 569553/14755. Which is smaller: i or -39?
-39
Suppose 2*w + 8 = 0, -3*w = -a - 2*w + 4. Let g be 1 + ((-5)/(-14))/(1/(-4)). Is a at most as big as g?
False
Let s(b) = -3*b - 2. Let y be s(-2). Suppose -2*l = -y*l - 10. Let t be (-19)/(-6) + l/30. Which is smaller: 8/3 or t?
8/3
Let y = -2203/785 + 1/157. Suppose -6 - 2 = -4*c. Suppose g = -q - 3, c*q - 1 = -g - 4. Is y bigger than g?
True
Let i = -43.0046 - -0.1046. Is 0.2 at least i?
True
Let p = 252 - 254. Which is smaller: 109 or p?
p
Let d = -318 - -313. Which is greater: -64 or d?
d
Suppose -q - 15*y = -17*y + 5, -4*q + 5*y = 32. Are -128/9 and q nonequal?
True
Let n = -74 - -77.1. Let c = n - 3.2. Is 16 at least c?
True
Let n = -0.04 - -0.24. Let z = 0.127 - -22.673. Let s = 23 - z. Are n and s non-equal?
False
Let h(g) = -2*g + 7. Let p be 50/15*6/(-4). Let n be h(p). Suppose -3*d - 4*t + n = 0, -6 - 4 = -5*d - 3*t. Which is smaller: -1/8 or d?
d
Let j(g) = -6*g - 241 - g**2 - 2*g + 231. Let k be 4/14 + (-74)/14. Let s be j(k). Is s equal to 6?
False
Let n = -444 + 444.4. Do n and -86 have the same value?
False
Let n = -5 - -4.9. Let i = -18.948 + -0.052. Let a = 35 + i. Is n bigger than a?
False
Suppose 4*b - 341 = -x, -5*x + 26 - 106 = -b. Let c = b - 74. Do -3 and c have different values?
True
Suppose 3*y = -3*m + 45, -43 = -4*m + 3*y - 18. Let o = m + -6. Suppose 6 = -5*c - o. Is c <= -5/6?
True
Let g = 4 + 1. Suppose -4*y = -1 + g. Let x be -6 + (y - (0 + 0)). Is x < -4?
True
Let p be 2 + 1 + 0/(-1). Let x = -53 - -107. Let i = x + -52. Is i at least as big as p?
False
Suppose l - 4*d = 9