1?
False
Let b(i) = i**2 + 4*i + 3. Let k be b(-4). Suppose -k*p + 12 = -5*z, 2 = -5*z - 5*p + 22. Is -2/17 equal to z?
False
Let k = -7864/11 + 714. Let h = -48/77 - k. Suppose -4*i - 4 + 0 = 0. Is i less than h?
True
Let f(l) = 18*l - 2. Let g be f(4). Which is greater: g or 71?
71
Suppose 3*f = 6*f - 6. Let z = 1 + f. Suppose -3*a - z = 0, 3*a + 3 = -0*r + 4*r. Which is smaller: r or 6/7?
r
Let o be 0 + -2 + (-156)/(-81). Is o equal to -1?
False
Let i = 1.12 + -0.02. Which is smaller: 1/3 or i?
1/3
Suppose 4*w + 3*d + 46 = 2*d, 5*d = w + 22. Suppose 0 = -0*k + 4*k - 72. Let z = k + w. Is z greater than 5?
True
Suppose -3*k = -0 + 3. Which is bigger: -3 or k?
k
Let a = -12 - -7. Let l = a - -4. Let t = 2 + -4. Which is smaller: l or t?
t
Suppose n = 1 + 1. Suppose -5*i = -n*i. Which is smaller: -6/7 or i?
-6/7
Let k = -388 - -2726/7. Is 0.1 greater than k?
False
Let q(k) = 2*k**3 - k**3 + 8*k**2 - 2*k**2. Let a be q(-6). Suppose 2*v - 2 = -0*v. Which is bigger: a or v?
v
Suppose 3*i = 2*f - 9, 3*i - 9 = 2*f - 6*f. Suppose 9 = 5*t + 3*w, -4*w + 4 + 0 = 4*t. Are t and f equal?
True
Let c be 8/6*63/(-6). Which is bigger: -15 or c?
c
Suppose -3*h - 11 = 19. Are h and -10 equal?
True
Suppose 0*a = 4*a. Is a bigger than -5/23?
True
Let o be 1/(28/15) + (-2)/7. Which is smaller: o or 31?
o
Suppose 3*k = -2*k. Which is smaller: -2/9 or k?
-2/9
Let n = -57 - -7. Is n < -1?
True
Let w = 0.1 - 0.3. Let k = -1 - -1. Let b be ((-3)/(k - 3))/3. Do b and w have the same value?
False
Let d(o) = o**3 - 5*o**2 - 5*o - 7. Let y be d(6). Is -1 smaller than y?
False
Suppose -5*z = 20, 2*p - 3*z - 21 = 5. Which is smaller: 2/3 or p?
2/3
Let n(u) = -u**2 + 9*u - 9. Let g be n(7). Suppose -g*h = -h - 4. Let j = 681/8 + -85. Which is bigger: j or h?
h
Let z be -3*1 - (2 - -8). Let l = z + 9. Suppose 0 = -j - 0*j - 6. Is l < j?
False
Let t(r) = -2*r - 7. Let n be t(-5). Is n less than 14/5?
False
Let t = 10 + -15. Let z be (-1)/((t - -3) + 1). Let f be (-4)/2*2/(-12). Are z and f nonequal?
True
Let t(z) = z**2 + 2*z - 1. Let n be t(-2). Let j be n + 3 + 1/1. Suppose -5*l = j*m + 10, 2*l = m + 8 - 1. Which is bigger: l or 2?
2
Let w = 3 - 2. Let h = -88/239 - 489158/2151. Let n = h - -228. Is w greater than or equal to n?
True
Suppose z + 17 = -0*z. Let a = -253/15 - z. Is a less than 1?
True
Suppose -2*d - 4*y = -16, -5*d + 4*y = -1 + 3. Which is smaller: 12/7 or d?
12/7
Let y be (3 - 2) + 0 + 25/2. Is 14 bigger than y?
True
Let o(r) = 4*r**2 - 9*r. Let m(l) = -l**2 + 2*l. Let p(z) = 9*m(z) + 2*o(z). Let w be p(1). Let v be (4/(-40))/(2/(-8)). Which is smaller: w or v?
w
Suppose -2*g = 3*s, 3*g = 2*g + 4*s. Which is smaller: -2.6 or g?
-2.6
Let u be 10/8 + (-21)/(-28). Let s be 2 + ((-4)/u)/2. Is 1 at least s?
True
Let m = 119 - 117. Is 3 < m?
False
Suppose -1 = -2*a + 3. Let v be a/(-5) - (-2)/5. Which is smaller: 3/4 or v?
v
Suppose 2*d - 3 = 3. Suppose d*x = 2*x. Let c be -1*1 - (-10)/6. Is c bigger than x?
True
Suppose 2*u + 6 = -4*g - 0*g, 2*g = -2*u - 2. Which is greater: u or 1/42?
u
Suppose 4*n + 64 = 8. Let h be 3/(-5)*(-9)/((-27)/(-2)). Do h and n have different values?
True
Let i be 1/2 + (-23)/38. Let p(m) = m**2 - 9*m + 1. Let k be p(9). Which is smaller: k or i?
i
Let x = 0 - 0. Let j = 49/95 - 6/19. Which is greater: j or x?
j
Let t be (-6 + 5)*6 - (-5 - -1). Let w = 397/20 + -103/5. Which is smaller: w or t?
t
Suppose 3 = -2*s + 9, 2*s - 1 = 5*l. Suppose t - 3 = -l. Suppose -2*u - 2*u = -a + 5, a + 1 = -t*u. Which is bigger: 5/6 or a?
a
Suppose w - n = -0*n - 20, 4*w = 5*n - 85. Let d = w - -9. Is -7 smaller than d?
True
Let q(t) = 2*t**2 + 7*t + 5. Let v be q(-2). Which is smaller: -3/22 or v?
v
Suppose -3*w + 23 = -5*j - 2, 0 = -2*j + 4*w - 10. Let y(g) = -g - 6. Let r be y(j). Let x = r + -2. Is x at most as big as -3?
True
Let z = 8.97 - 9. Which is smaller: z or 1/2?
z
Suppose -2*v - 392 = -5*p, -3*v - 62 - 6 = -p. Let y be p/5*(-2)/4. Which is greater: -9 or y?
y
Let w be (-8)/14 - 50/(-112). Suppose -2*t - 14 = -z + t, 3*z - 3*t = 12. Is z less than w?
True
Suppose -5*v + 2*w = -18, -v - w = 2*w + 10. Let b(q) = q**2 + 2 + 0 + q - v*q**2. Let p be b(2). Is p bigger than 1/7?
False
Let o = -26 - -26.053. Which is bigger: 0 or o?
o
Let l be (20/(-5) + 5)*68. Is l > 70?
False
Suppose -5*t + 8 = 13. Are -3 and t unequal?
True
Let g = 3/8 + -1/8. Let a = 3 - -1. Which is smaller: g or a?
g
Let t be ((-6)/(-4))/((-12)/(-9)). Which is greater: t or 2?
2
Let p be 4/10 + (-2)/5. Let h(a) = -a**3 + 3*a**2 + 4*a + 3. Let b be h(4). Let y = b - 4. Is p > y?
True
Suppose 5*i - i = 28. Let f = i + -6. Which is greater: -1 or f?
f
Let m(k) = -k**3 + 6*k**2 - 2*k - 3. Let o be m(4). Suppose -g = 2*g - o. Suppose -5*y - g = 3. Which is greater: y or -2/5?
-2/5
Let d = 124/7 - 18. Is 0.06 at most d?
False
Let t = 51 + -33. Let x be (-2*4)/(44/t). Let d = x - -191/55. Is -1 less than or equal to d?
True
Suppose 0 = f - 2*p, 5*f - 4*p = 13 - 1. Suppose w - u = -1, f*u = 3*w - 6*w - 3. Let t be (1 + -2)/(6/2). Is w equal to t?
False
Let a = -3.94 + 4. Let b = a + 2.94. Let n = b - 2. Which is greater: -1 or n?
n
Suppose -i - 4*i = -5. Suppose 0 = 3*d + d, 2*f + 5*d - 4 = 0. Suppose -4*c + f*x + 16 = -2, -x - 3 = c. Is i greater than or equal to c?
False
Let f be (-2)/5 + (-16)/(-30). Suppose -2 - 4 = -3*c. Let h = c - 2. Is h > f?
False
Let v(o) = o + 5. Let u be v(-5). Let w = -119 - -51. Let x be (-8)/w*(u + 1). Which is bigger: x or -1?
x
Let b = -118 + 127. Is b > 9?
False
Let a be (-248)/(-322) - 42/49. Suppose 3*b - 2*b - 1 = 0. Is a at most b?
True
Let k(s) = -2*s**2 - 15*s - 3. Let t be k(-7). Which is bigger: t or 9/2?
9/2
Let t be 3 + (-5)/1 + 3. Suppose -3*o = -32 + 2. Suppose -2 = 4*z - o. Is z <= t?
False
Suppose -2*d - 2 = 2*t, 3*d + 2*t + 2 = 1. Let v be d + (42/(-10))/3. Let i = -4 + 5. Is i at least as big as v?
True
Let u be (-1907227)/(-13830) + (-4)/8. Let d = u - 7/1383. Let j = 137 - d. Is 1 smaller than j?
False
Suppose -h + 4*h = -3. Suppose 4*q + 12 = 5*k, 0 = -2*k - 5*q + 5 - 20. Which is smaller: k or h?
h
Let b(f) = f**3 + 17*f**2 + 15*f - 18. Let u be b(-16). Let x be (-9 - -14) + 8/u. Which is bigger: -2/7 or x?
x
Let k(j) = -j + 23. Let a be k(23). Which is bigger: a or -117?
a
Let v = -264 - -1845/7. Is v bigger than 1?
False
Suppose 2 = -5*y + 3*d - 0, 2*d = 2*y. Let a(j) = -4*j**3 - 2*j - 1. Let t be a(y). Suppose t*l - 10 = 2*b, 3*l = 6*l - 3*b - 15. Which is greater: l or 1/5?
1/5
Let i = 20 - 8. Let r be (-10)/(-14) + i/42. Which is smaller: 1/19 or r?
1/19
Let x = -7 - -13. Let p be 15/x - (-1 - -2). Do 3 and p have the same value?
False
Let v be (10 + -4)/((-26)/226). Let n(z) = -52*z. Let u be n(1). Let y = v - u. Are y and 0.1 non-equal?
True
Suppose -f = -4*s, s - 9 - 12 = -5*f. Suppose -k - f*d + 1 = 0, 0*k + 5*k = d + 5. Does 1 = k?
True
Let o(u) = 3*u**3 - 3*u**2 - u**2 + 6*u**2 - 1. Let f be o(-1). Let i = -2/7 + 4/7. Which is smaller: f or i?
f
Let r = -16.9 - -17. Which is smaller: 3 or r?
r
Suppose -l + 6 = 3*j - 14, 11 = j - 4*l. Let p(v) = -v**3 + 6*v**2 + 8*v - 9. Let a be p(j). Is -3 greater than or equal to a?
False
Suppose -2*m = 2*v - 3*m - 7, -4*m - 24 = -4*v. Which is bigger: v or -2/55?
v
Let r = 1/126 - 29/126. Which is bigger: r or -0.01?
-0.01
Suppose -126 + 10 = 4*z. Let n = -86/3 - z. Let j(q) = q**2 + 3*q + 1. Let c be j(-1). Is n < c?
False
Let n = 481.0916 + -2.0816. Let o = n + -477. Let w = o - 0.01. Is 0.1 bigger than w?
False
Let d be ((-12)/2)/((-2)/1). Suppose -5*c - d*n - 1 = 0, 4*n + 5 = -5*c + 2. Is 0 >= c?
False
Let z be (-3)/(-9) + (-1)/3. Let q be (4/5)/(5/(-25)). Let c be (q/10)/((-16)/10). Are z and c nonequal?
True
Let h = 391/91 - 29/7. Suppose -5 = 5*z - 0. Let p be (z/2)/(2/4). Which is smaller: p or h?
p
Suppose 3 + 1 = 2*n. Is 2 greater than n?
False
Let n be ((-212)/416)/((-9)/164). Let i = -120/13 + n. Is 0 less than or equal to i?
True
Let a(f) = f + 4. Let w be a(-5). Which is smaller: -12/7 or w?
-12/7
Suppose 0 = 3*p + p. Suppose p = 2*f - 2, -k = 2*f - 5*f + 1. Is 6 < k?
False
Let s = 0.03 + -0.01. Let g = -0.08 - s. Which is smaller: g or 3?
g
Let y = -16 + 18. Which is bigger: -0.4 or y?
y
Let g = -125 + 124.967. Are g and -0.1 unequal?
True
Suppose -8 = -5*g + 17. 