
Let s = 3.61 + -3.71. Is -1/2 at least as big as s?
False
Let j = 4 + -4. Let t = -8.2 - -8. Let w = j - t. Are -2 and w equal?
False
Let d = 1/1888 - 5747/156704. Let y = d + -139/747. Which is smaller: -1 or y?
-1
Let t = 64/5 - 827/65. Suppose -3*p = 4*q - 70, 0 = 3*p - 4*q - q - 34. Suppose 17*i - p*i = 0. Is i greater than t?
False
Let v = -0.88 - -1.08. Let u(t) = t**2 + 5*t + 2. Let y be u(-5). Is v bigger than y?
False
Let d = -1.56 + -0.14. Let h(l) = 9*l + 5. Let r be h(3). Let g = 97/3 - r. Do g and d have different values?
True
Let m be 154/33*765/(-10). Is m at most -355?
True
Let b be 10/(-35) + 86/7. Let d be (b/9)/(4/30). Suppose -j = -5, -3*m - 4*j - 2 = -d. Is -3 bigger than m?
True
Let t(l) = 2*l**2 - 17*l + 48. Let x be t(9). Suppose -x = -3*m - 0*m. Which is smaller: 18 or m?
18
Suppose 98 + 0 = -h. Let a be 4/(-42)*h/336. Which is greater: -1 or a?
a
Let s = 355 - -381. Let a = s + 97. Let r = -9169/11 + a. Is 0 <= r?
False
Let i = -8424 - -8429. Let o = 2/33 + -41/132. Which is smaller: o or i?
o
Let c(t) = -7*t - 92. Let d be c(-12). Is d at least -39/5?
False
Let f(r) = r**3 - 13*r**2 + 7*r - 14. Let z be f(13). Let x be (-2)/14*z/(-6). Which is bigger: x or 2?
2
Let p(k) = k + 4. Suppose 2*j + 3*a - 8 = 4*j, -2*j = -a + 12. Let g be p(j). Which is smaller: 1/3 or g?
g
Suppose 37 = a + 2*v, 5*a - 111 - 44 = -4*v. Suppose 4*p - 5*y = 114, 4*p + 16 = -3*y + 114. Are p and a non-equal?
True
Let n = -388 - -453. Is 3 greater than n?
False
Suppose 14 = -7*m + 49. Suppose -o = -m*n + 4*o + 605, -4*n = -5*o - 485. Are 121 and n equal?
False
Suppose 5*r + 2*d = -2*d - 18, 4*r + 3*d + 14 = 0. Let f be r*1 - 16/48. Is -1 at least as big as f?
True
Let o be 1/(-1) + (-164)/((-8)/(-2)). Let k = o - -295/7. Which is greater: -1 or k?
k
Let y be 6866/36 + (-6)/27. Let b = y + -183. Which is smaller: b or 8?
b
Suppose 0*b - 3*b = -2*j - 12, 3*j + 2*b - 8 = 0. Suppose -5*f + 25 = 4*g, j*f = 4*f + 12. Let y be (12/(-18))/(g/(-3)). Does -1 = y?
False
Let i be (11/((-44)/(-3)))/(9/8). Which is smaller: i or -48?
-48
Suppose -2*l + 36 = -28. Which is greater: l or 31?
l
Let w = 98 + -25. Let x = 58 - w. Is -14 at most as big as x?
False
Suppose 86 + 394 = 10*y. Suppose -5*n - y = 4*j, 0*j + j + 3 = n. Suppose 3*p - 3*h + 27 - 6 = 0, -5*h = 3*p + 37. Is p bigger than j?
False
Suppose 12*h - 13*h - 2 = 0. Let l be h + 4 + 30/(-3). Let d(i) = -i**3 + 3*i**2 - 3*i + 1. Let g be d(2). Is l > g?
False
Let z = -0.049 - -30.049. Let n = -16 + z. Let v = -13.9 + n. Does 0.01 = v?
False
Suppose -4*p = -2*c + 90, -2*c + 30 = -2*p - 58. Let s = c + -43. Are -1/2 and s equal?
False
Let w be (-5)/(14*(-4 + 5)). Let d = w - -117/406. Do 1/2 and d have the same value?
False
Let k = 2.41 - -0.49. Let r = 0.042 - 3.032. Let f = k + r. Is f <= 0?
True
Let q be 4*(4 + -1)*(-1)/(-2). Suppose 0 = -2*g + q. Is 3 >= g?
True
Suppose 4*f - y = 12, 19 = f - 3*y + 5. Suppose -2*u - m = -10, -f*u + 3*u - 2 = m. Let c be u*3/4 - 2. Which is smaller: c or -0.1?
-0.1
Let l be (-35)/(-14)*2 + (-11 - -4). Is l >= 5/14?
False
Let x(o) = -11*o + 78. Let b be x(7). Let y = 1 + -1. Let z be y - 2/118*2. Which is smaller: b or z?
z
Let f be (994/147 - (-4)/(-42)) + -6. Which is smaller: f or -3?
-3
Let m = -2213 + 2220.907. Let g = 0.107 - m. Is 0.1 equal to g?
False
Let b(v) = -2*v - 2. Let l be b(0). Let f be 22/66*(1 - (-5)/l). Is 11 >= f?
True
Let k = -3.943 + -0.057. Let o(y) = y**3 + 6*y**2 - 8*y - 7. Let h be (-7)/((-21)/(-12)) - 3. Let p be o(h). Which is bigger: k or p?
p
Let c(y) = -y**3 - 8*y**2 - 2. Let w be c(-8). Let r be w/(-3)*(-1)/19. Which is bigger: r or -1?
r
Let c = 9.69 + -1.09. Let l = c - -32.4. Which is smaller: l or -2/9?
-2/9
Suppose 4*v + 31 = -5*u, 3*u - 5*v + 4*v + 22 = 0. Let o be (-18)/66*u - (1 - 0). Which is smaller: o or 0?
0
Let k(c) = 16*c + 6. Let o be k(4). Suppose -3*v - n = -5*n - o, -2*v + 3*n = -48. Let g be 10/(-4) + v/6. Which is smaller: g or 0?
0
Let i be (6/(-12))/(1/2)*-11. Let u be 1*-2 + 7 + (-34)/(-6). Which is bigger: u or i?
i
Suppose -y - 3 = -1. Let i = -56 + y. Let u be (-6)/i*(-4)/6. Is -1 < u?
True
Let u = -1/427 + 977/427. Is u >= 3?
False
Let y = -2/5 - 0. Let c(d) = 6*d - 78. Let x be c(13). Are y and x equal?
False
Suppose -4*j + 11*j = 14. Which is greater: 0.02 or j?
j
Let m = 27774/7 + -3846. Let u = 121 - m. Suppose -p - p = 2, 3*p = b - 3. Which is smaller: b or u?
u
Let v = -4 - -3. Let w be 5*((-27)/(-15) - v). Let m(a) = -2*a**2 + 20*a - 19. Let d be m(8). Is w bigger than d?
True
Let d be 1522/(-2) + (2 - (8 + 0)). Which is smaller: d or -768?
-768
Suppose s - 68 = 4*v - 206, -2*s = -2*v + 72. Is v smaller than 36?
True
Suppose -9*h = -5*h - 80. Suppose 0 + 20 = z. Is z greater than h?
False
Let k(o) = -o**3 + 6*o**2 - 3*o + 9. Let j be k(6). Let g = -16 - j. Suppose 102 = -50*i + 221*i - 69. Is g at least as big as i?
False
Suppose -7*l + 7 = -8*l. Let j = -6 + -1. Is j at most l?
True
Let v(d) = 4*d**2 + 5*d + 10. Let u be v(-4). Let r be ((-32)/u - -2)*(-6)/4. Is r at least as big as -3?
True
Let r = -1.0901 + 0.0901. Which is smaller: -537 or r?
-537
Let z be 0*(-13 + 9 + (-9)/(-2)). Which is smaller: 2/137 or z?
z
Let w be (-2 - (-9)/6)*-4 + -4. Let y be 9/12 - w/(-8). Is -7 greater than y?
False
Let t(n) = n + 7. Let m be t(-5). Let l = -389 + 4297/11. Which is smaller: m or l?
l
Suppose 3*f - 1 + 2 = -q, 0 = q + 1. Let i be (-2)/6 + (-3)/(-9). Suppose -5*w = 2*c + 3, 3*w - 2 = -5*c - i. Is f less than or equal to w?
False
Suppose 0 = 2*f - k + 3, f + 2 + 3 = 4*k. Let c(s) = 19*s**2 - 3*s - 2. Let u be c(f). Is 20 smaller than u?
False
Suppose -m - 2*p + 2 = 0, 2*m + m + 5*p - 8 = 0. Let d = 7 - m. Which is greater: -6/31 or d?
d
Let f be (-4 - 0)*5*(-1 + 0). Let o(y) = y**3 + 14*y**2 + y + 34. Let d be o(-14). Is f < d?
False
Let f(s) = -s**2 + 5*s - 4. Let c be f(6). Let b = c - -9. Let n be 189/98 + 2/b. Which is smaller: 1 or n?
n
Let s(y) = y**3 - 12*y**2 + 2*y - 19. Let v be s(12). Which is smaller: v or 19/4?
19/4
Suppose -5*i + 3 = 2*f - 16, 2*i - 4 = f. Suppose -3*z - 3*q = 3, 0 = -0*z - 4*z + 2*q + 2. Suppose z - 1 = l - 2*k, 0 = l - 3*k + f. Is l bigger than -1/7?
True
Suppose 0 = -94*y + 86*y. Which is smaller: y or -1/652?
-1/652
Suppose 15*i = 27*i. Is -1/163 != i?
True
Let q(b) = b - 5. Let c be q(7). Suppose -2*k = 2*n + c, -n + 2*k - 4*k = 2. Is n at least as big as -1?
True
Let v = 1113 + -28941/26. Suppose 0*k - 2*k = -2. Is v bigger than k?
False
Let n(g) = -12*g - 60. Let i be n(-5). Do i and 4/9 have different values?
True
Let k be (-558)/(-3)*(-5 - (-54)/12). Which is smaller: 1 or k?
k
Let t = 3.4 - -1.7. Let u = t + 1.9. Let k = 6.97 - u. Is k less than -1?
False
Suppose -5*g = -3*o + 12, -2*g + 3*o + 4 = 4*o. Which is smaller: 3/41 or g?
g
Let p be 68/17 - 73/(-48). Let t = -61/16 - p. Which is smaller: t or -9?
t
Let g be (143 + (-4 - 0))/(10 - 9). Which is bigger: 418/3 or g?
418/3
Suppose -54 = -2*s + 8. Let w = -3 + s. Let t = -30 + w. Is -6/7 < t?
False
Let g = -370 - -397. Is 27 less than g?
False
Let c be -1*(39/(-786))/(-13). Is -1 < c?
True
Let a be 36903/126 - (-4)/14. Let u = a - 292. Suppose -35*p + 22*p = 0. Which is smaller: p or u?
p
Suppose 0*o - 5*m - 329 = 3*o, 0 = -o + 3*m - 133. Which is greater: o or -119?
o
Let y be (-2 - -1) + 0 + 2. Suppose 10 = -3*g - 5. Let p be g/(-3) + (-2)/6. Is y at most as big as p?
True
Let w = 148 - 148. Is 1/62 at least w?
True
Suppose -40*t + 44*t = 2*n - 12, 0 = 4*t + 16. Which is greater: n or -54?
n
Let b(y) = -y + 1. Let s = 5 - -2. Suppose 10 = s*r - 12*r. Let h be b(r). Which is bigger: -1 or h?
h
Let v be 3/(-12) + (-7)/(-28). Let l be 3 + (-3 + -6 - -3). Is v not equal to l?
True
Let u be 4 - (2 + (-756)/(-48)). Is -14 greater than u?
False
Let k be (-4)/(8 + -9) + 57. Which is smaller: k or 60?
60
Let u(x) be the second derivative of x**4/6 - 17*x**3/6 + 7*x**2/2 + 4*x. Let b be u(8). Which is smaller: b or 1/17?
b
Suppose 15 = -3*u + 33. Suppose 0 = 2*j - m + 1, 3*j - 4*m + u = -m. Which is smaller: -2/17 or j?
-2/17
Let h = -618/5 + 20404/165. Let d(q) = -q**2 - 7*q - 10. Let r be d(-4). Suppose -r*v + 3*v = -1. Does v = h?
False
Suppose 2*b + 4 = 2. Let q be ((-34)/85)/((-7)/(-25)). Is q smaller than b?
Tr