 12. Let t be (112/24)/(4/o). Let j be -4 + t + -1 + -3. Which is greater: -3/17 or j?
-3/17
Let t = -2.744 - -2.77. Is t less than or equal to 0?
False
Let b be 3 + -2 + (-36969)/21. Let k = b + 1755. Which is smaller: -5 or k?
-5
Let u = 35 - 51. Let p be (-6)/93*(2 - (-28)/u). Which is smaller: p or 1?
p
Suppose p = -0*p - o - 1, -5*o = -2*p + 33. Let n be (-13)/(-7)*(-14)/(-12) - p. Which is greater: -1 or n?
-1
Let g = 198 + -193. Is g at least 48/11?
True
Let i be 75/20 + (-1)/(-4). Suppose 4*m + 0*x = 5*x - 32, -3*x = i*m. Is m >= -5?
True
Let r be 2/(-3) - (3/(-18))/1. Let a = r + 1. Which is smaller: -8 or a?
-8
Suppose 3*p - 27 = 27. Let b = p - 15. Which is greater: 7/4 or b?
b
Let i(w) = -6*w**2 + 7*w + 41. Let x be i(6). Which is greater: -134 or x?
x
Suppose -24 - 66 = -5*g. Let j(t) = t**3 - 6*t**2 - 11*t + 83. Let i be j(6). Which is smaller: g or i?
i
Let j = 230 + -231. Let m = 0.2 + -0.1. Let x = -0.1 + m. Is j at least x?
False
Let h = -107 - -153. Is 48 less than h?
False
Let t = 193 + 214. Let i = -2843/7 + t. Which is smaller: 2 or i?
i
Let x = 535 - 536. Which is greater: x or 2/5493?
2/5493
Let d(j) = 0*j - 4*j - j - 2 + 2*j**2 + 7. Let i be d(5). Suppose -s = 4*s + i. Which is greater: s or -7?
s
Let a = 403 - 673. Let z be (-12)/a*15/12. Is -2/5 smaller than z?
True
Let q be 1/(1/(-4)) + -28 + 35. Suppose 8 = q*o - 7*o. Is -4/5 at most as big as o?
False
Suppose -4*y - 2*a + 29 = 7, -4*a - 1 = -y. Let h(b) = b - 1. Let n be h(1). Suppose 5*s = -n*f - f - 13, y*f = 2*s + 16. Which is smaller: -1 or s?
s
Suppose w = -149 - 134. Is 1/5 less than w?
False
Let z = 0.0777 + -35.3777. Let p = -649 + 684. Let r = p + z. Is r not equal to 6?
True
Suppose 2*i + 5*m = 4*i - 105, 5*m - 175 = -5*i. Let j = i - 41. Is j equal to 5?
False
Let h(c) = 6*c - 36. Let v(q) = 2*q - 12. Let g(o) = -3*h(o) + 10*v(o). Let s be g(13). Suppose s = 6*w - 4*w. Which is greater: 8 or w?
8
Suppose -19*z = -20*z - 8. Let r = 8 + z. Which is bigger: 1/14 or r?
1/14
Let w be ((-168)/(-12))/((-2)/15*-3). Suppose -w = 9*l - 143. Which is smaller: 0 or l?
0
Let s be 590/1200 - 2/4. Let t = -2/15 - s. Is -0.1 greater than t?
True
Suppose -2*n = -n. Suppose l + 6 = 11. Let w be (-3)/l - 9/(-15). Is n smaller than w?
False
Suppose -20*i - 538 = -178. Which is bigger: i or -109/6?
i
Let d(p) = 7*p**3 - 15*p**2 - 8*p + 48. Let s(h) = 8*h**3 - 14*h**2 - 9*h + 49. Let q(v) = 7*d(v) - 6*s(v). Let i be q(21). Do -6/7 and i have different values?
True
Suppose -2*d + 4 = -4*d. Let t be (-35)/(-42) - d/12. Suppose 0 = -5*y - t - 4. Which is greater: 2/9 or y?
2/9
Let s = -654 + 654. Which is smaller: 363 or s?
s
Let m be (276/(-161))/(2/14). Let k be (-73)/2 - (0 + m/(-8)). Which is greater: k or -40?
k
Suppose 0 = -2*g - 3*w + 14, g - 28 = -3*g - 5*w. Suppose -g = 3*k - 4*k. Suppose -15 = -o + 6*z - k*z, -4*o - z + 57 = 0. Is 13 less than o?
True
Suppose -v + 1 = 4*x, 0 = v - 2*x - 7. Which is smaller: 10/3 or v?
10/3
Suppose 28 = -3*t - t. Let n = -7 - t. Let i = -970/21 - -139/3. Which is bigger: i or n?
i
Let q = 25.63 - -0.37. Let g = 31.2 - q. Let z = 5 - g. Which is bigger: 2 or z?
2
Suppose 18*x + 5 = 13*x. Which is bigger: 1/64 or x?
1/64
Let n be ((-9)/(-78))/(-4 - (-350)/80). Let o(j) = -j**3 + 3*j**2 - 2*j + 1. Let k be o(2). Which is greater: k or n?
k
Let g be 4 - 1 - 6/(-2). Let t = g + -6. Which is greater: t or -2/15?
t
Let y = -452 + 468. Which is smaller: 17 or y?
y
Let w(u) = u**3 + 49*u**2 - 56*u - 263. Let p be w(-50). Is 37 equal to p?
True
Let w = -44.4 + -0.6. Let f = 26 + w. Is 1 <= f?
False
Let m = -106 - -90. Let y = 11 + m. Which is greater: -42/11 or y?
-42/11
Let o be 1*3/(-12)*(-3 - 0). Suppose 0 = 3*j + 4*q + 27, 4*q = -5*j - 5 - 32. Let b = -2 - j. Which is bigger: b or o?
b
Let q(k) = -157*k + 622. Let s be q(4). Let v be 1/(-4) - (-130)/(-24). Is s bigger than v?
False
Let m = -9.2 + 33. Let t = 30 - 7. Let n = m - t. Is -2/7 less than n?
True
Let b(q) be the second derivative of -3*q**5/20 + q**4/12 + q**3/3 + q**2/2 - 2*q. Let n be b(2). Let z be (4/6)/((-5)/n). Are 1 and z nonequal?
True
Let g(l) = 1 + 4*l - 2 - 4*l + l. Let t be g(1). Suppose t = 5*r + x, -x + 0*x + 2 = 3*r. Which is smaller: r or -2?
-2
Let f be 504/(-90) + (-3)/15. Which is bigger: -6 or f?
f
Let d = 1226563/147 - 8344. Do d and 1 have the same value?
False
Let a(r) = -7*r**2 - 4*r + 3. Let n be a(1). Let c be (-1 + -14)*n/3. Which is smaller: 39 or c?
39
Let k = -68539532/176785 + -5/70714. Let a = -326 - 62. Let x = a - k. Is 1 > x?
True
Let k = 934/5 - 1121/6. Let l = -1 + 1. Is k bigger than l?
False
Let g = -0.76 - -0.04. Let o = g - -0.71. Is o greater than or equal to 0.05?
False
Let u = -8.78 - 0.22. Let g = -13.02 - -0.02. Let h = u - g. Is h not equal to 1?
True
Let k be (-3)/(-18)*-1*2. Let r be ((-14)/5)/(((-3)/5)/(-3)). Which is bigger: r or k?
k
Suppose -7*p + 9*p = 174. Suppose 90*f = p*f - 3. Which is greater: 3/16 or f?
3/16
Suppose l + 5*f = -27, 0*l = 4*l - f + 3. Suppose 2 = 3*b - b, 2*j - 2*b = 6. Suppose -2*h - 3*q = -4, -4*h + j*q - 8 = 24. Which is smaller: h or l?
h
Suppose 0 = 4*r - 4*x - 2496 + 644, -5*x - 1850 = -4*r. Does r = 464?
False
Let x = 163/6 - 6665/246. Which is smaller: -1 or x?
-1
Let m be 15/(-30)*((-2 - -2) + -2). Let t be (m/(-2))/((-5)/(-2)). Suppose 5*b = -n - 8, 5*n + 8 = b - 6. Is t smaller than b?
False
Let d = 7 + -11. Let r = -857/20 + 218/5. Which is greater: d or r?
r
Let h be 11 + (5 - 6) + -3. Suppose 3*o - 3 = 0, -4*g - 3*o = -4*o - 23. Is g at least h?
False
Let z = -128 + 150.34. Let y = -23 + z. Let h = y + 0.26. Is -0.4 <= h?
True
Let d(j) = 8*j. Let n be d(-5). Let o(g) = -39*g**2 + 7*g + 7. Let s be o(-1). Which is smaller: s or n?
n
Let w be 9/(-14)*8/(-6). Let y = -56/15 - -586/165. Which is smaller: w or y?
y
Let t = 0 + -4. Let l(g) = 4*g - 29. Let k be l(23). Let u = 62 - k. Does t = u?
False
Let d = -70814/9 + 7876. Suppose -3*j = -5*t + 25, 3*t - 2*j = -2*t + 30. Which is smaller: t or d?
d
Let k = -20053 + 72575/3. Let y = -4188 + k. Let z = -51 - y. Is z equal to -1?
False
Suppose 214 = 4*n - 22. Let u = n - 41. Let h = u - 12. Is 16/3 greater than h?
False
Let r(j) = 2 - 10 + 7*j - 17 - 17. Let z be r(6). Which is greater: z or -3/83?
z
Let m = 119 - 120. Let n be (3 - 244/52)/m. Is n less than 1?
False
Let k = 74.014 - 0.014. Let m = k + -79. Is m > 6?
False
Let v = 107 + -427/4. Suppose -26 = 2*n + 86. Which is smaller: n or v?
n
Suppose -5*y = -3*d - 288 - 41, -4*d + 3*y = 424. Is -103 < d?
False
Let r(p) = p**2 - 2*p + 3. Let f(c) = c + 17. Let n be f(-14). Let t be r(n). Is 7 at most t?
False
Let k be (-6)/(-15)*(-6555)/114. Is -30 <= k?
True
Let x = -0.1 - 0. Let p = 0.0243 + -25.0243. Do x and p have different values?
True
Let r(f) = -7*f + 111. Let d be r(18). Let b be (-2)/(-1) - (15 + 4). Which is smaller: d or b?
b
Let o(s) = s - 8. Let r be o(7). Suppose 3 + 17 = -2*x + 4*c, -8 = 3*x + 5*c. Let z be 18/15*(-2)/x. Are z and r nonequal?
True
Let w = 30 - 50. Let a = 21.024 - 0.024. Let m = w + a. Is 0.03 < m?
True
Let b(p) = p**2 - 12*p - 4. Let h be b(12). Let m be (h + 1)*1/(-3). Let o be -4 + m/(4/22). Which is smaller: 2/3 or o?
2/3
Let q be -47 - (-7 + 1 + -3). Is q greater than or equal to -0.11?
False
Let b be (-2356)/310*15/(0 - -3). Which is smaller: b or -37?
b
Suppose -51 = -7*y - 16. Suppose 48 = 5*p - 2*t, 0*p - 20 = -4*p - 3*t. Which is greater: p or y?
p
Suppose -10 = -3*i - 19. Let w be (-3 - 1) + (2 + -2 - i). Which is smaller: w or 88?
w
Let v = 1.6 - 0.8. Let j = v + -1.4. Let g = j + 0.4. Which is smaller: -1/4 or g?
-1/4
Let s be 9/(-6)*(-18)/(-27). Is -1/85 less than s?
False
Let p = -0.1 - -2.1. Let j(d) = -d**3 - 4*d**2 + 10*d + 1. Let f be j(-5). Which is greater: f or p?
p
Suppose -5*j - 10 = 0, 3*l - 12 = l + 5*j. Let m(v) = -v. Let s(u) = -5*u - 5. Let a(t) = 6*m(t) - s(t). Let q be a(4). Does l = q?
True
Let a = 282 - 563. Let m = a + 397. Let x be m/28 + (-2)/14. Is -1 > x?
False
Let o(m) = -5*m - 6. Let h be o(-4). Let v = h + -14. Let s = 4 + v. Is 14/5 != s?
True
Let r(i) = -i**3 - 19*i**2 - 31*i + 50. Let v be r(-19). Which is bigger: v or -0.1?
v
Let s(h) = -h**3 - 5*h**2 + 7*h + 2. Let u be s(-6). Let d = 11 - u. Suppose -13187*w + 304 