17 = -4*r, -17 = 2*r - 5*p. Suppose i + 6 = r*i. Which is smaller: 1 or i?
1
Let g be ((-4)/9)/((-4)/(-12)). Suppose -5*h - 5*u = -3*u + 4, -3*h = 4*u - 6. Which is greater: h or g?
g
Let o be (-1 + 0)/((-5)/(-10)). Does o = -16/9?
False
Let y be (-4)/183*24/16. Which is bigger: 1/4 or y?
1/4
Suppose -3*p + 2 = -7. Suppose 7 + 5 = p*x. Let l = 0 - -3. Which is smaller: l or x?
l
Let o(b) = b**3 - b**2 + b - 2. Let z be o(2). Let h(d) = -d**2 + 3*d - 3. Let l be h(2). Let a = z - l. Is a greater than or equal to 5?
True
Let c = 133 - 132.9. Are c and 5 unequal?
True
Let m(c) = -c - 7. Let b be m(-10). Let j = 5 + -4.7. Let d = -0.1 + j. Which is smaller: d or b?
d
Let z be 7 + -3 + (-4)/(-1). Let m be 1/(-3) + (-425)/(-51). Do z and m have different values?
False
Let r be ((-3)/3)/(1/(-2)). Suppose 4*b = 4*k, k = 6*k - r*b + 6. Let j = -101 + 399/4. Which is greater: j or k?
j
Let j = -4 + 14. Let v = j - 5. Which is greater: 4 or v?
v
Let x = -3.7 + 4. Let r = -0.7 - x. Which is greater: -2 or r?
r
Let m = -53 - -163/3. Which is greater: m or 1?
m
Let z = 106616 + -960572/9. Let c = -114 - z. Let l(b) = b**3 - 18*b**2 + 29*b + 48. Let g be l(16). Does c = g?
False
Suppose 0 = -0*b + 3*b + 3. Is b at most as big as -12?
False
Let x = -16 + 22. Suppose -5 = g - x. Which is smaller: 0 or g?
0
Let t be (-2)/(-5) - (-176)/(-715). Which is smaller: -1 or t?
-1
Let y = 0.3 + 0.6. Let n = 1.1 + y. Which is bigger: -6 or n?
n
Let g(p) = 3*p - 1. Let w be g(-1). Let d be ((-6)/8)/((-4)/(-16)). Do w and d have different values?
True
Suppose -21 + 9 = 2*c. Is c greater than 1/2?
False
Let h(j) = -j - 1. Let s(c) = -12*c**2 - 4*c - 3. Let v(m) = 4*h(m) - s(m). Let b be v(1). Is 12 >= b?
True
Let x be (-10)/(-25) + 74/(-10). Which is smaller: -23/3 or x?
-23/3
Let i = -0.8 - -0.5. Let j = 0 - i. Let r = -1.3 + j. Do 0 and r have different values?
True
Suppose 0 = -5*s - t + 13, -7*s - 5*t = -3*s - 2. Is 5 less than s?
False
Let u(m) = 0 - 5*m - 10 + 3*m. Let s be u(-7). Which is greater: 2 or s?
s
Let v(i) be the first derivative of 7*i**2/2 + 4. Let m be v(4). Let d be 7/m - 14/(-8). Is 2 at least d?
True
Let u = -628/39 + 24458/1443. Let k = 18/37 + u. Let f be 1 + (-1 - 0/(-1)). Is k at most as big as f?
False
Let y = 76 - 226/3. Suppose k - 5*d = 6*k + 5, k - 3*d = 11. Suppose 5*i = -k + 7. Is y at least as big as i?
False
Let w be (1/(-2))/(-1)*0. Let d = w - -2. Which is smaller: -1/4 or d?
-1/4
Let d be (-3)/(-2) + 3/6. Suppose -1 = -d*y + 1. Suppose -3*c = 5*x + 5, -6*x = -5*x + y. Do c and -1 have different values?
True
Let n(d) = -112*d + 8. Let z be n(5). Let h be 4*-4*3/z. Are h and 0 nonequal?
True
Let t = 17 + -12. Suppose -7*a = -t*a. Which is smaller: a or 2/31?
a
Suppose 4*h - 5*f - 34 = -15, -5*h + 2 = f. Which is bigger: h or -1/153?
h
Let h be -14 + 10 - (-1 - 1). Let d be (2 + -1)*h/20. Is 0 >= d?
True
Let a(x) be the third derivative of x**5/20 + x**4/12 - x**3/6 - 3*x**2. Let m be a(1). Suppose -5*c = 3*p - 4, 0 - 1 = m*c + p. Is 4 > c?
True
Let q be 14/77*3/(27/(-6)). Which is smaller: q or 1?
q
Suppose 0 = -g + 4*c - 6, 5*g - 2*c = c + 4. Suppose 6*x - w + 4 = 2*x, -5*w = -g*x - 2. Is 2/11 greater than or equal to x?
True
Suppose c - 9 = 2. Let w be -1*((-12)/c + 1). Let i(x) = x**3 + 5*x**2 - 14*x + 79. Let n be i(-8). Is n less than w?
True
Let u = 31 + -6. Let k be u/(-35)*(-12)/10. Is k less than 1?
True
Suppose m - u - 16 = 6, u = 0. Suppose 3*a = -3*h - 3, 0 = -4*a + 3*h - 5 + m. Let i(b) = b**2 + 5*b + 3. Let v be i(-5). Is a greater than v?
False
Let w = -323/336 + 15/16. Which is smaller: -1 or w?
-1
Let d = -74 - -74.1. Is d <= -2.6?
False
Let k = 10.24 + -0.24. Which is bigger: k or 0.1?
k
Let z be 117/6 + (-1)/2. Is z at least as big as 19?
True
Let d be (-11)/(-3) - 4/6. Suppose 2*x = -j + 2*j, -x = -j - 1. Let b be (-2)/x - (5 + -5). Which is smaller: d or b?
b
Let d = -11.9 + 11. Let i = -2.1 + d. Which is greater: i or 0.1?
0.1
Suppose 2 = -3*c + 5. Is c at most 2?
True
Let v be (-3 + 3)*(3 - 2). Is -5/6 smaller than v?
True
Suppose -17 = -3*x - 4*k, 5*k - 14 + 4 = 0. Suppose -d + 2*d + x = 0. Is d greater than or equal to -3?
True
Let g = 387 - 5028/13. Which is smaller: 0 or g?
0
Suppose -8*w + 42 = -11*w. Is w > -9?
False
Let w = -0.62 + 2.62. Is 1/5 greater than w?
False
Suppose -2 = -0*j - 2*j. Let n be 2/4 - (4 - j). Which is smaller: -2 or n?
n
Let m = 1249/2332 + -32/53. Are m and 0 non-equal?
True
Let x(w) = -w**3 - 6*w**2 - 6*w - 3. Let j be x(-5). Let o = -6 + 5. Which is bigger: j or o?
j
Let i be ((-12)/(-10))/((-11)/55). Is 2 bigger than i?
True
Let g = -54 - -47. Which is smaller: g or -23/3?
-23/3
Suppose -5*a = 5*m - 15, a - m = -1 - 4. Which is bigger: -5/8 or a?
-5/8
Suppose -2*b + z = -3, 9 = -4*b + 2*b - 3*z. Is 9 >= b?
True
Let d(s) be the second derivative of -s**3/6 - 3*s**2 - 2*s. Let c be d(-6). Let p be 1/2 - 7/6. Which is smaller: c or p?
p
Let c(w) = -2*w**3 - 4 + 3*w**3 + 5. Suppose -4*r - 1 = -5. Let l be c(r). Does l = 2?
True
Let v be ((-1)/3)/(-1*3/(-45)). Are -8 and v non-equal?
True
Suppose 20 = 5*z + 5*u, -u = 2*z + 2*z - 10. Let d(a) = -a**2 + a + 2. Let v be d(z). Is v > 0?
False
Let h = 1.5 + -2.46. Let f = h - 0.04. Which is greater: f or 0.1?
0.1
Let r be -2*1/(-3 - -4). Suppose y = 7 - 9. Is y greater than r?
False
Let g = 58/115 - 7/23. Which is greater: 0 or g?
g
Suppose 1 = -i + 2*i. Let o(h) = -7*h**2 - 7*h - 10. Let w(n) = -3*n**2 - 4*n - 5. Let m(g) = 2*o(g) - 5*w(g). Let s be m(-5). Is s <= i?
True
Let c(p) = -p - 4. Let u be c(-7). Let o be (-5)/15 - (-1)/u. Is o at least -2?
True
Suppose -y - 2*t + 14 = 0, 5*y - 3*t = -0*t + 5. Suppose 0*c = y*c - 20. Suppose 0 = c*f + 4 + 11. Are f and 0.1 equal?
False
Let j be 27 + 2 + (-2)/(12/9). Which is greater: j or 29?
29
Suppose -q = 2*v - 13, 2*q + 3*v - 24 = -3. Let p = q + 3. Let b be 1/((-3)/3 - p). Does b = -1?
False
Let v be -3 - (10/(-5) - -17). Are v and -18 equal?
True
Let k = -118 + 229/2. Let w = -3 - k. Which is smaller: 0 or w?
0
Let l = -42 + 64. Let x be 3 + -2 - l/14. Suppose 5*t = 2*n - 5 - 9, 4*t - 2*n = -12. Is t smaller than x?
True
Let z = 10 - 8. Let u = 2 + -2. Let o = u - 0.1. Which is greater: z or o?
z
Let n be -5 + 1 + 27/9. Which is smaller: 1/10 or n?
n
Suppose 0*x + 3*x - 18 = 0. Let a = 0.05 - -4.95. Let m = 4.9 - a. Which is smaller: m or x?
m
Let b(l) = l**2 - 3*l - 2. Let j be b(4). Suppose 0 = j*v - 5*v + 3. Which is smaller: v or 3?
v
Let j = 176 - 1230/7. Let w = 287 - 7173/25. Which is smaller: j or w?
w
Let y = -7 - -7. Does 1 = y?
False
Let l = -0.3 + 2.7. Let t = l - 2. Let c = -0.3 + t. Is -1/4 bigger than c?
False
Let x = 2.2 - 2.3. Which is greater: x or -2.1?
x
Let w = -29563/4 + 7269. Let m = w + 121. Suppose -u + 0 = 2. Which is bigger: u or m?
m
Let m = 17.84 + -18. Let y = m + 5.16. Which is bigger: y or 0?
y
Let x = 1.6 - -1.4. Which is smaller: -0.2 or x?
-0.2
Let d be (-38)/(-56) - (-4)/(-16). Do d and 1 have the same value?
False
Let q be (2/(-5))/(3/(-5)). Let a = -0.7 + 0.2. Let f = 0.4 + a. Is q at most as big as f?
False
Suppose -2*d + d + 5 = 0. Suppose -40 = -12*z + 4*z. Suppose -4*i + 0 - d = -z*c, 4*c - 4 = -i. Is i greater than or equal to -0.2?
True
Let f = -4 + 6. Which is smaller: f or 1?
1
Suppose -3*q = -5*t + 25, 2*q + 3*t = -q + 15. Suppose 5*u = -q*u + 5. Is 2/27 bigger than u?
False
Let j be 15/(-60) + 6/(-8). Is 1/6 < j?
False
Let m(l) = -l**3 + l**2 - l. Let v(g) = 2*g**3 - 7*g**2 + 5*g + 5. Let o(a) = m(a) + v(a). Let r be o(4). Which is smaller: r or -10?
r
Let x = -1892.09 - -1883. Let g = x - -0.09. Is g equal to -2?
False
Let w = -386/65 - -32/5. Let t = -37/52 + w. Is -3 < t?
True
Let q = -28 - -227/8. Let y = 9 - 9. Is y < q?
True
Let g be 1318/3*2/12. Let f = -73 + g. Let n = 1.9 - 2. Which is greater: f or n?
f
Let b = 93 - 96. Which is smaller: -19/5 or b?
-19/5
Let x(f) = -f**2 + 3*f. Let q be x(3). Let i = 5/111 + -34/3219. Which is smaller: i or q?
q
Let w(t) = -t**2 - 5*t + 6. Let k(p) = -p**3 - 8*p**2 - 6*p + 1. Let a be k(-7). Let l be w(a). Let m be (1/2 + l)*2. Which is bigger: 2/5 or m?
m
Let w = -20 - -16. Let y be w/10 + 0/7. Suppose i + 0 = -5*u - 6, 0 = 4*u - 4*i. Is u greater than or equal to y?
False
Let l = 2 + 0. Let y(q