- 4*u - 47 - 10 = 0, 0 = -4*u - 12. Let p be (-597)/n*(-10)/8. Let z = p + 50. Which is smaller: 1 or z?
z
Let a = 0.4 + -0.5. Let u = 0.4 - a. Let v = u + -0.3. Which is smaller: -0.1 or v?
-0.1
Let v = 1.3 - 0.3. Let o = -1 - -1.1. Let j = 0.1 - o. Which is smaller: v or j?
j
Let q = -10 - -4. Let b = q + 6.02. Let p = -3.98 - b. Which is smaller: -1/4 or p?
p
Let n = 41 + -22. Is n less than 19?
False
Let b = 81/2 - 40. Which is smaller: b or 58?
b
Let p be (-105)/(-14)*16/(-10). Let b be (2/(-24))/(8/p). Let u = 1 - 2. Are u and b unequal?
True
Suppose -3*t + 3 = -6*t. Let m = 1 - 1. Suppose 6 = 2*x + 4*q, x - 3*q + 8 + 4 = m. Are t and x equal?
False
Let c(i) be the third derivative of -i**4/24 + 5*i**3/6 - 2*i**2. Let b be c(8). Are b and -2 nonequal?
True
Let b = -0.001 + 0.201. Does -18 = b?
False
Let h = -46 + 137/3. Which is smaller: h or -11?
-11
Let h(r) = -r**3 - 13*r**2 - 13*r - 9. Let v be h(-12). Let x(f) = -f**3 + 3*f**2 + 4*f - 1. Let d be x(v). Are 11 and d unequal?
False
Let k = -38 - -227/6. Which is bigger: k or 0?
0
Suppose -x - 8 = -o - 3*x, -5*x = -10. Suppose j + j = o. Suppose -j + 0 = -2*y. Is 2 > y?
True
Let g = -8 - -7.55. Let o = g + 0.5. Let z = 3.05 - o. Which is smaller: -1 or z?
-1
Suppose -3*o + o + 10 = 0. Suppose 10 = 8*s - 3*s. Suppose 0 = -o*p + s + 3. Are 0 and p equal?
False
Let z be 18/15 - (-2)/(-10). Let d = 66 - 92. Let c = d + 77/3. Which is bigger: z or c?
z
Let s = -35 - 40. Let w be 365/s - (-2)/10. Is -4 greater than w?
True
Suppose -2*d + 2*t = 2, -5*d + t + 22 = 5*t. Let s be 14/(-4)*(-30)/42. Let i = 13/4 - s. Which is smaller: i or d?
i
Let o be -12*(27/(-6))/3. Let k be o/(-5)*15/(-6). Is 10 less than k?
False
Let h = 3 + -5. Let d = 48 + -50. Is d at most as big as h?
True
Let m(h) = h**3 + 7*h**2 - 10*h - 1. Let q be m(-8). Let a be q/(-5)*(-2)/(-6). Which is smaller: 1/15 or a?
a
Let z(c) = c**3 - 7*c**2. Let w be z(7). Is w not equal to -2/11?
True
Let s = 1.18 + 14.82. Do -0.4 and s have the same value?
False
Suppose 0 = -71*c + 73*c + 122. Which is greater: c or 1/4?
1/4
Suppose 3 - 7 = 2*a - 3*h, -5 = a - 3*h. Let v be 1/8*(-28)/(-2). Which is smaller: a or v?
a
Let j = 3 + -4. Suppose -5*d - 10 = -0*d. Let u = d - -2. Is u <= j?
False
Suppose 0 = -b - 3 - 1. Let l be (b/(-16))/((-13)/(-4)). Which is bigger: l or 1?
1
Let z(w) = -w - 5. Let f be z(-6). Let y be -2*f/(-8)*2. Which is greater: y or 0?
y
Let r be (-1)/(-2)*(-8)/(120/25). Let d(h) = -h**3 + 5*h**2 + 7*h - 5. Let b be d(6). Let m(j) = -3*j + 1. Let z be m(b). Which is greater: r or z?
r
Let d be (1/(-5 + 2))/2. Let l(q) = -q**3 - 9*q**2 + 10*q. Let g be l(-10). Let f = g - 0. Which is smaller: d or f?
d
Let t be (-6)/2*(-4)/(-4). Let i(f) = -f**2 - 8*f - 12. Let z be i(-6). Which is smaller: z or t?
t
Suppose 0 = -3*s + 4*s - 150. Let l be s/54 - (1 + 2). Is 1 at most as big as l?
False
Suppose 24 = -2*a + n + 2, -3*a = -5*n + 47. Is a greater than -8?
False
Let k(s) = 1. Let b(o) = 3*o - 5. Let w(v) = b(v) + 5*k(v). Let t be w(1). Which is smaller: t or -1?
-1
Suppose 6*n - 14 = 3*m + 2*n, -4*m - 2 = -2*n. Let s be (1/m)/((-4)/8). Which is smaller: s or -3/5?
s
Suppose h - 2*h + 6 = 0. Is h less than or equal to 7?
True
Let m = -0.43 - -0.53. Let a = 2.1 + -2. Let y = a - 0. Is m less than y?
False
Suppose 0 = 3*f - 7 - 11. Let d(g) = -4 - g + f + 1. Let o be d(3). Does -1/5 = o?
False
Let i(p) = -8*p + 30. Let b be i(4). Suppose 0 = y - 0 - 2. Which is greater: b or y?
y
Let t = 8 - 23. Is 0.3 >= t?
True
Let c = 3 + -2. Which is greater: c or 2/121?
c
Let w = -0.334 + 0.134. Is 6 at least w?
True
Let w be 1/5 - (-48)/210. Is w less than 0?
False
Let o = 2699 + -83676/31. Which is smaller: -1 or o?
-1
Let d be -1 - -26*1/22. Let i be (-1)/(-3)*(-4 - -1). Which is greater: i or d?
d
Let z = -2 - 0. Let f be (-1)/4 + 23/(-4). Let r = 2 + f. Which is greater: r or z?
z
Let u = -8 + 8. Which is smaller: u or -1?
-1
Let z be 5*((-14)/(-10) + -1). Let w(o) = -o**2 - o + 2. Let b be w(z). Let r be 18/4 + (-2)/b. Are r and 5 equal?
True
Let j be 1 + 2*-1 - 0. Suppose -5*l + 11 = -3*z, -3*z - 9 = -l - 2*l. Is l less than j?
False
Let s = 15 + -21. Is -6 <= s?
True
Let r(a) = 4*a - 3. Let i be r(3). Let q be (-1 - -3) + (-21)/i. Which is smaller: 0 or q?
q
Let v(c) = -2*c + 2. Let i(h) = 1. Let l(d) = 6*i(d) - v(d). Let m be l(-3). Suppose -12 = -5*x - 4*t, x - 2*t - t + 9 = 0. Are x and m equal?
False
Let s be (4/6)/((-2)/(-3)). Suppose -s = 3*j + 2. Does -1 = j?
True
Let h = -1 - -0.9. Are h and -3 equal?
False
Suppose -5*a - 60 = 45. Let v be ((-204)/5621)/(6/a). Let c = 4/73 + v. Is -1 at most c?
True
Suppose 2*p + 4*n = 0, 3*p + 2*p + 3*n = 0. Let r = -8 + 13. Let o = -6 + r. Which is smaller: o or p?
o
Let m be 54/(-10) - 4/(-10). Suppose 5*y + 5*i = 35, 5*y = 4*i - 2*i + 21. Let o = m + y. Which is smaller: -1/5 or o?
-1/5
Let q be 3/1 - 11/(11/(-9)). Is 10 equal to q?
False
Let i(w) = -w**2 - 2*w + 1. Let d be i(1). Let q be ((-2)/4)/((-1)/(-4)). Let a be (1 - (q - d))*-1. Is -2/3 >= a?
True
Let b = 33 + -21. Let y be b/(-7) - (6 + -8). Which is greater: y or 2?
2
Suppose -3*s + 19 = 4*i - 2*s, s - 4 = -i. Suppose 5*d - 15 = 3*d - 5*n, -12 = i*d - 4*n. Let b = 7 - 5. Is d <= b?
True
Let f = -1.58 - -1.78. Which is smaller: f or -59?
-59
Let x = 4 - 7. Suppose -4*v - 5*m = 17, -4*v - 16 = 4*m - 0*m. Is v not equal to x?
False
Let m be (430/205 - 2)/(-2). Is m less than or equal to -1?
False
Let n(q) = 4*q + 3*q + q**2 - q. Suppose -5*x - 2*h = 32, 28 = -4*x - 4*h - 0*h. Let m be n(x). Is 0 equal to m?
True
Let a = -7 - -7.06. Let j = 0 + 0.1. Is j at most as big as a?
False
Let x(c) = 7*c**2 + 2*c - 1. Let b be x(1). Let w be (-2)/((-3)/(63/(-6))). Let y = b + w. Which is greater: y or 0?
y
Suppose 2*s - 2 = 3*s. Which is smaller: -1 or s?
s
Let v = -19 - -22. Suppose -7*g = -v*g. Is g bigger than 3/13?
False
Let d = 0.1 + 1.9. Let c = 2.3 + -0.4. Let m = c - 2. Which is greater: d or m?
d
Let s = -0.3 + -1.49. Let b = s - 0.21. Which is smaller: b or -4?
-4
Let l(h) = 2*h + 14. Let c be l(-11). Let m(s) = 3*s - 1. Let v be m(1). Suppose 2*r - v = -16. Is r smaller than c?
False
Let f = -1139/588 + 23/12. Is 1 not equal to f?
True
Let z(o) = -o - 2. Let h be z(6). Let s = h - -6. Is s != -4/7?
True
Let g = -3 + 2. Let p = g - 0. Let d be (p/(-3))/((-1)/(-9)). Do 3 and d have the same value?
True
Let j = 80051/19745 - -6/19745. Let h = -38/11 + j. Which is greater: h or 2?
2
Let t = 43 + -22. Let k = -21.7 + t. Which is greater: 1 or k?
1
Let h be (-2)/(-8) - (-234)/72. Let i(j) = j**3 + 3*j**2 + j + 1. Let w be i(-2). Does w = h?
False
Suppose 2*k - 6*k = 4. Is k > -2?
True
Let n be (-25)/22*40/(-50). Which is smaller: 2 or n?
n
Suppose -10 = -3*s + 11. Suppose s = 4*o + 27. Let x be (-44)/(-90) - (-3)/o. Which is smaller: 0 or x?
x
Suppose 5*r = -3*a - 5, -2*a + 5 = 3*a - 5*r. Let g be (a - 0)/(5/(-5)). Is g at most as big as 1?
True
Suppose -l + b = 9, -l + 3 = -5*b + 32. Let h be 0/(3 + -6) + -1. Let i be (-4)/(-3)*3/h. Is i at least l?
True
Let h = 0 + -0.9. Let v = h + 0.6. Let n = 1.1 + -1. Which is smaller: v or n?
v
Let k = -52/11 - -446/99. Let j be 26/(-10) - (-2)/(-5). Let d be (-2 - (-5 - j))/3. Which is bigger: d or k?
d
Let i be (-2)/(1 + 4/(-3)). Suppose -w + i = 2. Which is smaller: w or 6?
w
Let k be (63/173)/(1/11) - 4. Is -1 > k?
False
Let b be 2/13 - (-6058)/169. Let g be (-42)/b - 2/(-4). Let x = -5.08 + 5. Which is greater: x or g?
x
Let w(l) = -l - 7. Suppose -5*h + 2*x - 29 = 0, -h - 5*x + 4 = -1. Let d be w(h). Which is smaller: -3 or d?
-3
Suppose 3*c - 5*c + 2*i + 20 = 0, 5*c - 42 = -3*i. Suppose 2*m + 1 = -2*g - c, 25 = -2*g - 5*m. Let a be ((-6)/4)/((-3)/4). Which is smaller: g or a?
g
Suppose 4*i + 26 - 14 = 0. Let c = 19 - 34. Let k be (-6)/(-10)*c/6. Is i less than k?
True
Let o = 1 + 0. Let j = 2 - o. Suppose 5 = 5*c - 0*c. Is j smaller than c?
False
Suppose 1 = -3*l - 5*z - 0*z, z + 2 = 0. Suppose f + l*f = 0. Which is greater: -1 or f?
f
Let a(m) = -m**2 + 5*m + 8. Let f be a(6). Which is bigger: f or 7?
7
Suppose 6*f + 6*f = -12. Which is smaller: f or -4/55?
f
Let t = -8 - -7.7. Let k = -0.5 - t. Let i = k + 0. Is -2 greater than or equal to i?
False
Let b = -47/5 + 48/5. Are b an