 46 - 36. Let k = -12 + z. Which is greater: i or k?
i
Let t be 6/27 + (-2)/9. Let x(v) = 9*v + 12. Let c be x(-7). Let k = c - -4129/81. Do k and t have different values?
True
Let b = 109522/5 - 22014. Let a = 110 + b. Is a at most 12?
True
Let m = -8 + 4. Let z = -10046/11 + 910. Which is smaller: m or z?
m
Suppose -2*c = 3*c + 55. Let f(l) = -46*l + 130. Let m be f(3). Which is smaller: c or m?
c
Let u = -78016/11 + 7097. Which is bigger: 5 or u?
5
Let j = -1747/7 - -250. Let q(z) = 10*z - 21. Let s be q(2). Is j not equal to s?
True
Let g = -34 - -31.23. Let n = -0.23 + g. Which is greater: 6 or n?
6
Let i be (50/(-125))/((6 - 3)/(-15)). Do i and 18/23 have the same value?
False
Suppose 2*r + 89 = 3*n, 11*n - 6*n - 148 = 3*r. Is 32 less than or equal to n?
False
Let a = -11 + 12. Suppose 4*s - a - 7 = 0. Suppose -4*c + 5 = 3*v - 1, 4*c = -v + s. Do c and 1/8 have different values?
True
Let q = -2234476/321 - -6961. Does 1 = q?
False
Suppose 4 = 2*q - j - 8, -3*j = -3*q + 24. Let s(w) = -w**3 + 5*w**2 - 5*w + 5. Let y be s(q). Is y bigger than -1/30?
True
Let z be (12/2)/(6/9). Let j = 11 - z. Let l be -3*j/6*-3. Is 5 smaller than l?
False
Let q = -7 + 9. Let x(w) = -w**3 + 8*w**2 - 4*w - 5. Let l be x(7). Suppose 15*h + 2 = l*h. Is h at least q?
True
Suppose 2*h - 158 = 6*k - 2*k, 0 = 4*h - 4. Let d be (-52)/k + (-34)/30. Does d = 1.5?
False
Suppose -4*q - 2 = 3*h, 0*h + 4*q - 4 = -2*h. Let b be h*(-2)/4*-1. Let j be (-2)/6*(18 + b). Which is bigger: -7 or j?
j
Let z = -8 - -7.4. Let m = -0.161 + 0.161. Is m smaller than z?
False
Let q(u) be the third derivative of u**4/12 - 25*u**3/6 + 5*u**2. Let t be q(17). Suppose -6*w - 3 = -t. Which is bigger: w or 3/26?
w
Let q(w) = -w**2 + w + 2. Let g be q(-2). Let j = -24/185 + -8616/2035. Which is greater: j or g?
g
Let x be ((-648)/63)/(8/(-28)). Which is smaller: x or 34?
34
Let s = -9 - -6. Let m be (5 - 1) + s - -2. Suppose 0*o - 4 = 3*g - 2*o, -3*o = 3*g - 21. Which is smaller: g or m?
g
Let k = -10.42 - -1.52. Let d = -9.31 - k. Let t = -0.51 - d. Which is smaller: t or -2/3?
-2/3
Suppose 0 = 4*f + 3*k - 5914, 0 = -5*f - 2*k - 0*k + 7389. Let q be 1/(-6) - f/(-42). Is 35 less than or equal to q?
True
Let l = 4 - 3. Let m = 31 - 30. Let t be 44/8 + -5 + m/(-2). Which is smaller: l or t?
t
Let y(v) = -v + 13. Let c be y(6). Suppose 0 = -x - 2*l - c, 0*x + 4*l = 2*x - 2. Are x and -5 non-equal?
True
Suppose 0 = -8*x + 3*x. Suppose -6*v + 22 = 64. Is v less than or equal to x?
True
Let w be 1/(-2)*92/10. Let v = 3267 + -3271. Is v at least w?
True
Suppose 4*s = -2*u + s + 12, s = 4. Let c be (-4472)/18 - (u + -2). Let m = c + 247. Which is smaller: m or 1?
m
Let i(c) = -4*c + 27. Let o be i(16). Let a = 33 + o. Do a and -4 have the same value?
True
Let g be 16/(-12)*(-4 - (-23)/5). Let w = 2 + -1. Let v be 3/2 - w/2. Which is greater: g or v?
v
Let v(q) be the second derivative of q**5/20 + q**4/4 - 5*q**3/6 - 3*q**2 + 9*q. Let m be v(-4). Is 6 less than m?
False
Let f be (-72)/144*(2/1 + -2). Which is bigger: f or 0.17?
0.17
Suppose -7 = w - 3*i, 4*w - 4*i + 7 = 3. Suppose 0 = w*d - 5*l - 31, 4*d - 32 - 12 = 4*l. Is d at least 26/3?
False
Let v(p) = 35*p + 89. Let s be v(-4). Which is smaller: -53 or s?
-53
Let f(t) = t**2 + 7*t + 3. Let n be f(4). Let w = 43 - n. Which is greater: 2/7 or w?
2/7
Let n = -23 - -40. Let a = 8 + n. Is 24 greater than a?
False
Suppose -5*b + 5*m = -45, -5*m + 11 - 31 = 0. Suppose b*z - 80 = z. Suppose 0 = 4*n - 3*n + z. Is n greater than -20?
False
Suppose -5*h - 3*n = 175, 3*h + 2*n + 32 = -74. Let a = 24 + h. Is a < -9?
False
Suppose 3*h = -b + 444, -8*b + 9*b + 732 = 5*h. Which is bigger: h or 146?
h
Let v(q) = -q**3 - 1. Let u = -1 + 0. Let s be v(u). Let x = 10279/5 + -2055. Do s and x have the same value?
False
Let o(q) = q**3 - 2*q + 4. Let v be o(0). Let f be ((-3)/(-8))/(-3 + 15/v). Let d(w) = -w + 4. Let n be d(3). Is n not equal to f?
True
Suppose 104 + 280 = -4*a. Let p be (21/(-4))/(18/a). Suppose p = r + 3*r. Which is smaller: -1 or r?
-1
Suppose 2*h = -h + 66. Let t = -24 + h. Is t bigger than -2?
False
Let s = -2126428/9597 + 1551/7. Is s less than 1?
True
Let q = -0.13 + 0.23. Let d = -1 - 0. Let i = d + 2. Is q bigger than i?
False
Let k = -106 + 115. Let y be ((-38)/95)/(k/10). Which is bigger: -5 or y?
y
Let c = -14.97 - 0.03. Let w = 3 + -6. Which is bigger: w or c?
w
Let g = 12 - 9. Suppose -g*p - 5 + 35 = 0. Let q = p + -9. Which is smaller: q or -0.09?
-0.09
Let j be (-10)/5*(-4)/(-8). Let c be -1 + j*(7 + -3). Let d be 4 + (21 + -1)/c. Which is bigger: d or 1/3?
1/3
Let y = -5215 + 5213. Let m be (2/4)/((-2)/(-4)). Is m at most y?
False
Let b = 12 + -11. Let d be 56/(-140)*(b + (-168)/(-2)). Is d bigger than -34?
False
Suppose 21 = -4*f + 1, -f = 2*c - 13. Let y = 20 + -3. Let w = y + -16.9. Is c bigger than w?
True
Suppose 0 = 4*b + j - 7, b - 8 = -2*b + 2*j. Let u be ((-3)/b)/(3/384*-4). Which is bigger: 49 or u?
49
Let a = -104 - -103. Which is greater: a or 150/11?
150/11
Suppose 0 = -4*t - 0*t + 128. Suppose 4*g + 60 = 4*r, 2*r - t = -3*g + 6*g. Which is smaller: 12 or r?
12
Let k(s) = s**2 - 1. Let b(x) = 3 + 1 + x + 1. Let a be b(-5). Let t be k(a). Which is greater: -3 or t?
t
Let s be ((-108)/8 - 3)*2. Let l be 1 - (-5)/((-15)/s). Suppose 6*b - l = 4*b. Which is bigger: b or 5?
b
Let o(y) = -y**3 + 7*y**2 - 14*y + 48. Let i be o(6). Which is smaller: 1/199 or i?
i
Let h = 4 + -1. Suppose h*v + 5*r + 16 = 0, 3*v + 2*r = r - 32. Let l be v/(-10)*25/10. Is 3 bigger than l?
False
Let y = 901 + -1281. Let g = -286987232/755463 - -10/44439. Let u = g - y. Is -1 less than or equal to u?
True
Let n = -67 + 736/11. Let t = 0 + 0. Suppose 0 = k - t*l - l, -2*k = 4*l. Which is smaller: n or k?
n
Suppose 34 = 3*w - r, 1 = -r - 0. Let u = 34 - 14. Suppose -52*m + u = -50*m. Which is bigger: m or w?
w
Suppose -349*c - 476 = -356*c. Suppose -c = 2*r - 64. Let u = -4 + 1. Which is bigger: r or u?
r
Let h be (1/(-10))/((-11)/(-22)). Suppose -4*o = -2*f + 8, -3*f - 5 = -2*f - 5*o. Suppose f*t = 5*t. Which is greater: h or t?
t
Let z(p) = p - 2. Let n be z(2). Let w be ((-492)/(-112)*(-1)/(-7))/3. Let o = w + 2/49. Which is greater: n or o?
o
Let t = 0.4 + -5.1. Let i = -5.7 - t. Which is smaller: i or 4?
i
Suppose -3*s - 5*w + 2 = -4*s, 0 = -3*s - 2*w + 11. Let r = 0.8 - -5.7. Let a = r - 3.5. Is s less than or equal to a?
True
Let b = -4/25 + 81/350. Let t(u) = u**3 + 3*u**2 + u + 3. Let z be t(-3). Suppose z = r - 2*r. Which is smaller: b or r?
r
Let g be (-4)/6*(-3)/2. Let b = -18 - -50. Let j be (b/(-456))/(2*(-2)/(-12)). Which is smaller: j or g?
j
Let n = -1.1 + 1. Let h = 0.6 - 0.2. Let m = 0.9 - h. Which is smaller: n or m?
n
Let q(d) = -16*d**2 + 95*d + 6. Let u be q(6). Does u = 279?
False
Let q = -2037 + 3083. Which is bigger: q or 1045?
q
Let b = 218 + -264. Which is smaller: -0.4 or b?
b
Let n = 22 + -18.3. Let l = n + -3.7. Is 1 at least as big as l?
True
Suppose 0 = -4*r + 15*r - 55. Suppose 4*g = -5*f - 70, r*f + 33 = g - 37. Is f bigger than -16?
True
Let v(s) be the third derivative of -131*s**6/120 - s**5/60 + s**3/6 + 12*s**2. Let x be v(1). Let r = x - -1177/9. Is 0.05 greater than r?
True
Suppose -5 = k + n, k - 6*k + n - 7 = 0. Let b(j) = 1. Let i(r) = r - 15. Let z(c) = 4*b(c) + i(c). Let h be z(8). Which is smaller: h or k?
h
Let y be (12 - -6)/(-6) - 1155/(-384). Which is greater: 1 or y?
1
Let v(j) = j**2 - 8*j + 7. Let o be v(7). Suppose o = 3*i - 3. Which is smaller: i or -1/6?
-1/6
Let d(s) = -s - 6. Let k be d(-10). Let i be (-102)/84 + 6/k. Which is greater: -56 or i?
i
Let r(y) = -4*y - 12. Let l be r(3). Is -25 != l?
True
Let o be (-25)/(-12) - (-3)/(-36)*-2. Which is smaller: o or -5?
-5
Let u(k) = k**3 - 8*k**2 - 8*k - 4. Let r be u(9). Suppose 20 + 10 = r*m. Let s be ((-4)/m)/(10/(-45)). Is s less than 2?
False
Suppose -30*a + 4 = -29*a. Let n be a/6*4 - -1. Let r be (-4)/10 + (-119)/(-35). Is n smaller than r?
False
Let m = 3 - 174. Is m greater than 2/3?
False
Let r be (-1966)/(-1 + 25/(-1)). Let a = 227/3 - r. Are a and 0 unequal?
True
Let q be -1 - (246/66 - 5). Which is greater: -1 or q?
q
Let g = -220.2 + 219. Which is smaller: -0.08 or g?
g
Let k(x) be the third derivative of 13*x**6/20 + x**5/60 + 