 - m**2. Let o(r) = -r - 1. Let v(a) = o(a) + u(a). Let i(z) = z + 3. Let h be i(-3). Let t be v(h). Do -3 and t have different values?
True
Let n = -13.1 + 12. Let x = 9.1 + n. Which is bigger: 1/4 or x?
x
Let s(c) = -c - 5. Let v be s(-6). Suppose 0 = -3*z + 7*z - 80. Let g = z + -61/3. Which is smaller: v or g?
g
Suppose -p + 8 = 2. Suppose -2*y - 14 = -p. Is -4 < y?
False
Suppose -16 = -2*a + 3*a + 4*d, -2*d - 8 = -4*a. Let n be ((a - 0)/(-4))/(-2). Are -6/11 and n equal?
False
Let m(q) = q**2 + 5*q - 6. Let v be m(-6). Suppose 4*c - 2*c + 3*b - 12 = 0, 5*c - 4*b + 16 = v. Is c smaller than -2?
False
Let u = -9/55 - -1/33. Is 1 at least u?
True
Suppose -16 = -4*d + 5*s, d = -0*d + 5*s + 19. Let q = 4 - 6. Which is bigger: q or d?
d
Let k = 6 - 6.2. Let z = -0.4 - k. Which is greater: z or -1/3?
z
Suppose -1 = -c + 1. Suppose 20 = 5*l - 6*j + j, c*l + 16 = -4*j. Which is greater: -1 or l?
l
Let l = 9.2 - 11.2. Let z = 4 - 3. Is l at most z?
True
Let t be (-1)/5 + (-42)/(-60). Suppose f - 2*f = 0. Is f > t?
False
Let t = 2.3 + -2. Let i = 0.1 - t. Suppose -20 = 3*p - 11. Which is smaller: p or i?
p
Let f = 11.4 - 0.4. Let l = 13 - f. Which is smaller: l or -1/3?
-1/3
Suppose -40 = 5*v + 35. Let d = -10 - v. Suppose -4*x - k = 12 + 15, 5*k + 45 = -d*x. Which is smaller: -7 or x?
-7
Let n be (-24)/(-16) + 187/(-126). Let x = -2/16119 - 78790/112833. Let a = x - n. Which is greater: a or -2?
a
Let s = -28.1 + 28. Which is smaller: 1/16 or s?
s
Let u = 0.8 - 1.8. Is 1/15 at most u?
False
Let l = 0.1 - -0.1. Let u be 68/28 + 15/(-35). Is u bigger than l?
True
Let u be (-2)/3*(-9)/6. Let g be 3 - (-2 + -2)/(-2). Is g bigger than u?
False
Let f be ((-7)/(-2))/((-2)/4). Let i = -2 - f. Suppose i*n - 3 = 2*n. Which is greater: n or 2/5?
n
Let v be 9/(-15) - (-4)/(-10). Suppose -3*j - 4 = -j. Let r be (j/(-4))/((-2)/4). Is r greater than v?
False
Suppose 5*y + 2 + 18 = 0, 3*k - y - 34 = 0. Which is smaller: 32/3 or k?
k
Suppose -5*m - 8 = 12. Let p = m + 2. Let o be 1 + ((-10)/4 - p). Is 5 greater than o?
True
Let y be (-3*(-2)/9)/((-8)/12). Which is greater: -10/17 or y?
-10/17
Let k = 89/3 + -803/27. Which is greater: 0 or k?
0
Let y = -18 + 37/2. Let h = -6 - -6.3. Let x = h + 0. Is y at least x?
True
Let p = 0.8 + -1.1. Is p bigger than -10?
True
Let f be 760/3296 + 1/(-4). Let r = f - -113/515. Let b = -4 + 3.9. Which is bigger: b or r?
r
Suppose 2*f - 9 + 1 = 0. Suppose f*i - 3*y = -27, -2*i - 3*y + 10 = 1. Let z be (-46)/(-40) + i/4. Is z at least as big as -1?
True
Let u be (4 - 0) + (-2)/(16/(-74)). Which is smaller: 14 or u?
u
Let q = 9 - -3. Which is greater: q or 10?
q
Suppose 4*o - 193 = -5*i + o, -2*i + 78 = 2*o. Does 38 = i?
True
Let r = 1.1 - 1. Let q = -0.76 - -0.7. Let i = -0.06 - q. Which is smaller: r or i?
i
Suppose 0 = 3*r + 4*s - 2*s + 5, r + 4*s - 5 = 0. Let l(n) = -2*n**2 - 4*n - 2. Let v be l(r). Let m = 6 + v. Which is smaller: -2/9 or m?
m
Let k be 2 - 1/(-2)*2. Suppose -3*v - 9 = k*j, 0 = -4*j + 3*v + 4 + 19. Let n = 0 - j. Is -3 greater than or equal to n?
False
Let q(f) = 4*f + 30. Let y be q(-7). Is 5/3 less than or equal to y?
True
Let d = -40 - -9. Is d at least as big as -30?
False
Let q(a) = a + 4. Let o be q(-5). Are 2 and o unequal?
True
Let r = -4.99 + 5. Is 0.2 != r?
True
Let b = 17 - 18.4. Let g = -0.6 + b. Which is greater: 0.1 or g?
0.1
Suppose 13*m - 9*m - 36 = 0. Which is bigger: 11 or m?
11
Let d(c) = 2*c**2 + 2*c + 1. Let z be d(-2). Suppose z + 0 = -f. Which is greater: f or -2?
-2
Let i(j) = j**2 + 3*j - 7. Let x be i(-5). Suppose -2*p - x = p. Let r = 2 + p. Is 3/8 bigger than r?
False
Let g(i) = -2*i - 8. Let t be g(-5). Suppose -6*q + q = -2*j + 7, 4*q + 2 = -t*j. Which is greater: q or -4?
q
Let f = 7 - 5. Let o(a) = a - 4. Let n(p) = p - 4. Let w(x) = -5*n(x) + 6*o(x). Let b be w(5). Which is smaller: b or f?
b
Suppose 4 + 26 = -3*z. Let c = z - -12. Which is smaller: 4/3 or c?
4/3
Suppose 30*b - 35*b = -5. Is 1/2 at most b?
True
Let q = 63 + -38. Is 25 bigger than q?
False
Let f = -53 + 38. Let n = f - -14. Is n greater than or equal to -1/25?
False
Let i(k) be the first derivative of k**4/4 + 2*k**3/3 + 3*k**2/2 + 2*k + 1. Let q be i(-2). Let m be (q + 5)*1/(-8). Is m > 0?
False
Let v(l) = l**2 + 5*l - 9. Let x be v(-5). Which is smaller: x or -11?
-11
Let t = 14 - 18. Which is smaller: t or -22/5?
-22/5
Let z = 192 + -173. Is 20 less than or equal to z?
False
Let d be 0 - (12/10)/2. Which is bigger: -2 or d?
d
Let m = 3 + -4. Suppose 0 = 5*n - 4*p - 6, -5*n + n - p = 12. Is m bigger than n?
True
Let y be 1/(-1)*(-1 + -2). Suppose -2*k - j + 2 = 2*j, y*j - 32 = 4*k. Which is bigger: k or -13/3?
-13/3
Let g(h) = h**3 - 5*h**2 - 3. Let m be 3/18 + 29/6. Let p be g(m). Let b be 1 + -2 + (1 - 3). Is b at least as big as p?
True
Suppose -4*x + 14 = -v - 3, 5*x - 40 = 5*v. Let i = v - -26/5. Is i <= -1?
False
Let z(v) = -v**3 - 5*v**2 + 5. Let b be z(-5). Suppose b*p - 52 = -3*r, p - 3*r + 44 = 5*p. Do p and 8 have the same value?
True
Let k(d) be the second derivative of d**3/3 + d**2/2 - 3*d. Let z be k(1). Suppose -z*j - 8 = -7*j. Which is bigger: 1 or j?
j
Suppose -77 = -4*w - 81. Let x be (2*1/(-4))/1. Which is greater: w or x?
x
Let f be 132/(-21) - 4/(-14). Let s be (f/(-15))/((-13)/(-5)). Which is smaller: -0.1 or s?
-0.1
Suppose 0 = -2*g - 3*w + 24, g + 0 = -w + 12. Suppose -g = -3*y - y. Which is smaller: y or 0?
0
Let k = 53 + -319/6. Which is bigger: k or 0?
0
Let c be 3 - 610/125 - -2. Is 0 not equal to c?
True
Let g(p) be the second derivative of -p**3/6 + 9*p**2/2 + 6*p. Let q be g(5). Does q = 2?
False
Let o be 140/(-12) + 2/2*4. Is -7 at least o?
True
Let x = -67/4 + 17. Is -2/11 > x?
False
Let q be (-100)/35*(-14)/4. Suppose 2 = -j + a, 3*j - 5*a + q = -2. Let w be (5 - 3) + -1 + j. Which is smaller: 3 or w?
w
Let f be 30/(-26) - 12/(-78). Which is smaller: -2/23 or f?
f
Suppose 2*k - 2*c = 10, -2*k + 4 = -4*c - 10. Let u = k - 7. Let h = u + 5. Which is greater: h or 1/14?
h
Let d = 16/7 - 57/28. Let c be 1/(2 - (-18)/(-14)). Let s = -19/10 + c. Is d at least s?
True
Let y = 63 - 62. Is -1/40 bigger than y?
False
Let x = -0.025 - -0.025. Is x greater than -0.041?
True
Suppose -4*p + 4 = 3*g + 18, 0 = 5*g + 10. Let d(h) = h**2 - h + 1. Let w be d(0). Let q = w + p. Is q at most 2/7?
True
Let q be (0/(7 - 3))/1. Let v be (-1)/((-1)/(1 - 0)). Is q at least v?
False
Let n = 23/5 - 171/35. Which is bigger: 0.73 or n?
0.73
Let o(h) = h**3 - 3*h**2 + h - 3. Let y(c) = c**2 - 7*c - 5. Let i be y(8). Suppose 3 + 6 = i*g. Let l be o(g). Which is smaller: 1 or l?
l
Let b be 0 + 2 + (-6654)/(-84). Let w = b + -82. Let a = w - -2/7. Which is smaller: 1 or a?
a
Let q(z) = z**3 - 3*z**2 - 3*z - 1. Let l be q(4). Suppose -4 = l*x + x. Which is smaller: -6 or x?
-6
Let l(x) = x**2 - 9*x - 9. Let b(t) = t + 10. Let s be b(0). Let o be l(s). Which is smaller: 2 or o?
o
Let c = 9 - 9. Which is smaller: c or -4?
-4
Suppose -o + 4 = 2, -5*g - 4*o + 133 = 0. Suppose 3*j = g - 7. Let w be (-4)/j - (-3)/(-9). Which is bigger: -6 or w?
w
Suppose -1 = 3*r + s, 5*s = -5*r + 3*s - 1. Which is bigger: r or -1/45?
-1/45
Let i = 0.55 - 0.45. Which is smaller: -1/31 or i?
-1/31
Let u = -0.04 + -0.96. Which is greater: 3/8 or u?
3/8
Let s = -0.63 + 0.6. Let u = -1.97 + s. Let k = -245/4 + 62. Which is smaller: k or u?
u
Suppose 8*b - 3*b = 0. Let j(q) = -q**3 - 2*q**2 + 4*q + 4. Let a be j(-3). Which is greater: b or a?
a
Suppose 2*n - 1 = d, 4*n = -0*n. Let o be d*((-21)/9 - -2). Is -1 at least o?
False
Let d(t) = -t**2 - 4*t - 4. Let r be d(-3). Let j = -306 + 2146/7. Is j less than or equal to r?
False
Suppose 0 = -2*m - 4*m - 6. Let h be 0/(-15)*(m - 0). Which is smaller: h or 2/13?
h
Let x = 4.782 - -0.258. Let q = -0.04 + x. Is 0 != q?
True
Let f = 137 + -138. Is f at least -7?
True
Let a be (0 - 3)/(1/2). Let s(k) = -k**2 - 7*k - 2. Let x be s(a). Is 2 at most x?
True
Let x be (-4 - (-376)/50) + -2 - 2. Which is bigger: x or -1?
x
Let n = 57 - 57. Let r be (2 - 0 - 1) + -2. Is r smaller than n?
True
Let h = -51 + 148/3. Which is greater: h or -3?
h
Let g = -6 - -18. Suppose 0 = 3*n + g. Let l be ((-3)/n)/(45/8). Which is smaller: l or -1?
-1
Let q = -1.9 + 2. Let h = -8 + 0. Let b be h/(-12)*6/(-10). Is q