: -1 or q?
q
Let f be 1 - (-4)/(12/(-5))*-3. Which is greater: 0.1 or f?
f
Let b be (2/(-5))/(3/(-5)). Let r = -1.8 + 1.9. Which is smaller: r or b?
r
Let o = -6 + 7. Let b = 0 - o. Do -2 and b have different values?
True
Suppose -4*b - 10 = -5*m + 12, -20 = -4*m + 4*b. Suppose -3*h - 12 = 9. Let a be (-12)/(-7) + (-2)/h. Is a less than m?
False
Let l = 6 - 6. Does l = 3/11?
False
Let j = -75 - -11. Let g = j + 446/7. Which is smaller: -2/13 or g?
g
Let m = 22 + -67/3. Let y = 0.03 - 3.03. Let q = y + 5. Which is smaller: m or q?
m
Let g be ((-11 + -1)/(-3))/2. Let b(n) = n**3 - 8*n**2 + 7*n. Let i be b(7). Is g >= i?
True
Let l = 2.36 - -0.64. Which is greater: 2/11 or l?
l
Let p be (-2)/(-1) + 0 - -1. Let v = p - 4. Let g = -1 + 1. Is g not equal to v?
True
Let x = -25 - -22. Are x and -3 nonequal?
False
Let v = -24 - -23.95. Are v and -2/5 unequal?
True
Let x(o) = -4*o - 2. Let r be x(-2). Let w = 5 - r. Let k be ((-1)/2)/(2/4). Is k greater than w?
False
Suppose 2 - 5 = 3*d. Let c = 103/24 + -25/6. Which is bigger: c or d?
c
Let g(r) = r**3 - 12*r**2 + 10*r + 10. Let o be g(11). Let n be (3 + -4)*1/(-5). Which is greater: n or o?
n
Suppose -b = -0*b + 2. Let o be 48/70 + b/7. Let w = -0.3 + 0.3. Which is greater: w or o?
o
Let w(z) = z**3 + 13*z**2 + 2*z + 6. Let a be w(-13). Let d be 5*(-24)/a - 0. Which is smaller: d or 11/2?
11/2
Let d = -20 + 21. Do d and -6/7 have different values?
True
Suppose 3 = -2*l + 5. Suppose -h = -0*h + 3. Let o be h/(-9) + (-2)/(-6). Which is bigger: o or l?
l
Let r = -4 + 3. Let k = 13 + -13. Let v = r - k. Is v bigger than 0.1?
False
Let u be (2/12)/(12/(-18)). Does u = -2?
False
Let h = 3 + -8/3. Let r = 0.3 + 0.7. Which is greater: r or h?
r
Let d be 2/(-2 + 17/8). Suppose 0*z + 4*z = -d. Which is smaller: z or -5?
-5
Let y = 0.2 - 0.3. Let r = -0.1 + y. Let v = 5 - 4. Which is smaller: r or v?
r
Let i be (-2 + 0)*(-38)/(-4). Let t(o) = -2*o**3 - 2*o**2 + 2*o. Let d be t(1). Let w be i/(-42) - d/(-7). Is w less than or equal to 0?
False
Let z = 16 + -16. Is -2/49 smaller than z?
True
Suppose 17*l = 14*l - 135. Are -45 and l nonequal?
False
Let t = 258 - 4901/19. Which is greater: 1 or t?
1
Suppose -4*o + j + 29 = 0, 2*j + 0 = o - 2. Which is greater: o or 34/5?
o
Let h(a) = 3*a**3 - 4*a**2 + 2*a - 4. Let q be h(3). Which is bigger: 48 or q?
48
Let o = -4 + 20. Let f = o + -16. Do f and 0.2 have the same value?
False
Let j = 27 - 35. Is -9 > j?
False
Let m be (1/2)/(16/7). Let j = -245/96 + m. Do j and -2 have the same value?
False
Let n(a) be the third derivative of a**4/6 + a**3/6 + 2*a**2. Let x be n(-5). Let p = -96/5 - x. Are 0 and p non-equal?
True
Suppose 3*n - 1 = -2*l + 4, -2*n + 10 = 3*l. Let y be 1 + -1 - -2 - -1. Is y less than l?
True
Let y(n) = n - 8. Let g be y(5). Let u = -2 - g. Is 1/11 greater than u?
False
Suppose 4*s + 9 + 11 = 0. Do s and -7 have different values?
True
Let d be (-76)/(-18) - 18/81. Suppose -2*u = l - d, 3*u = u - 2*l. Is u bigger than 6?
False
Let x(y) = -y**3 - 4*y**2 - 3*y. Suppose -9 = l - 4*i + 2, 4 = 2*i. Let u be x(l). Is -1/3 greater than or equal to u?
False
Let v = -36 + 84. Let a = v + -25. Suppose -2*q - a = q - 5*t, 0 = 3*t - 12. Is q smaller than -1?
False
Let q be 14/6*8/28. Is -0.3 > q?
False
Let r be 3*(12/(-9))/(-4)*1. Suppose -j = -5*j + 20. Suppose -k - 3*k + 14 = -5*n, k + 3*n + j = 0. Is k smaller than r?
False
Let i be 1*(1 + -1 + 1). Suppose 2*m - i = 1. Which is bigger: m or -3/8?
m
Suppose -3*m = 3*u + 57, m + 5*u + 24 = -7. Let a = 9 + m. Let o be 3 + -2 - a/(-9). Is -1 less than o?
True
Let m(p) = 3*p**2 + 9*p - 2. Let d(a) = -8*a**2 - 26*a + 6. Let r(b) = -4*d(b) - 11*m(b). Let z be r(5). Which is bigger: z or -1?
-1
Let i = -4001/51 - -235/3. Let p = -1.2 + 9.2. Let v = 7 - p. Which is greater: v or i?
i
Let i be 6/21 - 78/28. Let j be (4 - 7)/((-1)/(-1)). Are i and j nonequal?
True
Let q(y) = y - 3. Let n be q(3). Suppose 2*j + n = -2*f - 2, -5*j + f = -19. Let g be j + -1 + (0 - -2). Which is bigger: g or 5?
5
Let j be (0/(1 + 0))/(-2). Let h = -82 + 84. Which is bigger: h or j?
h
Suppose -o - o = 10, -5*d + o = -175. Which is greater: -0.1 or d?
d
Suppose 12*d + 321 = -111. Which is bigger: d or -35?
-35
Let d = 1 + 1. Let i be (-2 + d)/1 + 2. Suppose -2*n - 20 = i*n. Which is bigger: 1/2 or n?
1/2
Let t = 7 - 9. Let v be t/(-7) + (-9)/(-42). Which is bigger: 1 or v?
1
Let o be (-2)/(-6) + (-1)/3. Which is smaller: o or 2?
o
Let k be (3/(-6))/((-3)/18). Let h be ((-9)/(-6))/k*0. Is 4/3 less than or equal to h?
False
Let p = 10 + -16. Let a = p - -7. Which is smaller: -2 or a?
-2
Let z = -0.3 + 0.4. Let y = -2.6 + 1.2. Let a = -1.9 - y. Which is bigger: a or z?
z
Suppose -54996 = 5*j - 3*s - 184164, 0 = 5*j + 5*s - 129160. Let u = -233431/9 + j. Let m = -104 - u. Is 0 equal to m?
False
Suppose 2*d + 1 - 55 = 0. Let z = d + -39. Let c be 5/7*z/10. Which is smaller: -2 or c?
-2
Let r = 0 + 4. Suppose -9*n + r*n + 25 = 0. Is n >= 4?
True
Suppose 2*c - 24 = 3*f, 3*f = -2*f - 4*c - 62. Is -9 != f?
True
Let k = 13 - 27. Let n be (3/(-8))/(k/(-8)). Which is smaller: 0 or n?
n
Let x be (-21)/(-36) + (-1)/3. Let f = 5.1 + -7.1. Which is greater: f or x?
x
Let v be 0/((-8)/20*-5). Let t = 0 + 5. Let u be (-34)/(-60) + (-2)/t. Is v equal to u?
False
Suppose -2*u + 5*i - 23 = 5, -28 = 2*u + 2*i. Is u less than or equal to -14?
True
Let n be (-1 + (-9)/(-7))*1. Suppose -y - 6 = -0*y + 2*a, 14 = 3*y - 2*a. Suppose y*f - 5*f + 2*h - 7 = 0, f - 5 = -3*h. Is n less than f?
False
Let k = -295/4698 + -1/162. Are k and 0.1 equal?
False
Let y be 1 - ((-2 - 2) + 3). Is y less than or equal to 0?
False
Let l(o) = -o - 23. Let u be l(16). Which is greater: u or -40?
u
Let r = -6 + 13. Let p(v) = v**3 - 8*v**2 + 8*v - 4. Let x be p(r). Suppose -4*y + x*y = 0. Is 2/9 greater than y?
True
Let k = -92 - -92. Which is smaller: -1/4 or k?
-1/4
Let u be ((-3)/9)/(5/75). Let t be u/(-2*1/2). Do t and 5 have different values?
False
Let d(s) = -s**3 - 3*s**2 - s - 2. Let h be d(-3). Let i be 1*2 - 5/3. Let j = i + -7/12. Which is smaller: j or h?
j
Let d(w) be the second derivative of w**4/12 + 2*w**3/3 + w**2/2 + 10*w. Let c = 5 + -9. Let j be d(c). Is j bigger than 1?
False
Let s = -0.4 - -0.1. Let p = s - -0.2. Let r = p + -0.9. Are -3 and r equal?
False
Let o be (-2)/(-5) - 144/(-40). Suppose 0 = -d + 1, o*t + t - 2*d + 22 = 0. Let z = -2/79 + -549/158. Is z > t?
True
Let d = -3 + 3. Suppose d = -5*m + 43 - 13. Which is bigger: 5 or m?
m
Let h = -0.025 - 0.975. Let v = -0.9 - 0.1. Is h <= v?
True
Suppose 3*x - 5*q = 23, 2*x + 2*q - 13 + 3 = 0. Let c be (4/6)/((-4)/x). Is c not equal to -0.05?
True
Let b(z) = z - 3. Let k be b(4). Let u be (-2 + (-52)/(-24))*(-28)/(-3). Is k at least as big as u?
False
Let u be (-1)/4*8/((-8)/4). Is u at most -2?
False
Suppose -7*c + 2*c = 0. Let k be 2*(180/88 - 2). Is k not equal to c?
True
Let d = 0.04 - -0.06. Does -1 = d?
False
Let n = -8 + 11. Let y = 0.35 - 0.15. Which is smaller: n or y?
y
Suppose -p - 2*i + 69 = 3*i, p + 4*i = 68. Let k = p - 259/4. Are k and -1 unequal?
True
Suppose -k + 24 = -3*y + 2*k, -18 = 2*y - 3*k. Let q(b) = b**3 + 7*b**2 + 6*b + 1. Let j be q(y). Is -1 != j?
True
Suppose -3*d + 5 = -4*d. Let a be 7/d - 2/(-5). Which is bigger: a or 1?
1
Let j = -8 - -1. Let x = 7.2 + j. Let f = 0.5 - 0.4. Is f >= x?
False
Let y = 0.1 - 0.2. Let g be (-38)/5 - (-27)/45. Let d be (-10)/(-12) + (-8 - g). Is y less than d?
False
Suppose 14 = o - 2*l, 0*o + 4*l = -o - 16. Suppose 2*x - o*q = -3*q - 15, -4*x + 5 = 5*q. Are -4 and x equal?
False
Suppose 1 = m - 0. Let g(a) = 0 - 8*a**2 + m - 2*a + 4*a. Let q be g(-1). Which is greater: 0.1 or q?
0.1
Let r(j) = -j**2 + 6*j + 2. Let g(t) = -1. Let x(a) = 2*g(a) + r(a). Let u be x(5). Suppose -k = -u*k. Which is bigger: k or 1/6?
1/6
Let d = 5 + -3. Let p be -3*-2*(-6)/(-9). Let r be (0 + p/(-2))/d. Do r and 2/7 have the same value?
False
Let i(n) = n. Let x be i(2). Suppose -3*m - 2*c - x = 0, 3*m = -c - 4*c + 13. Which is smaller: m or -6?
-6
Let p = 16 + -16.2. Are -2/3 and p nonequal?
True
Let u be 93/364 - (-2)/(-8). Let a = 401/6734 - u. Do 0 and a have the same value?
False
Let f = -5 - -3. Let n be (-2)/(-2) + 0 - 4. Let l be (-6 - f)*n/(-4). Is l bigger than -1?
F