 (-2)/1*1 - -5. Suppose -4*v = j + i, 4*j = -3 + 7. Is v at most as big as 0?
True
Let v = -1 - 0. Suppose -8*t = -4*t - 84. Let b be -2 - ((-36)/t - 0). Which is bigger: b or v?
b
Suppose -4*z - 12 = -2*z. Suppose -4*x = -0*x - 508. Let h = x - 887/7. Which is greater: h or z?
h
Let m(b) = b. Let p be m(-2). Is p != -10/13?
True
Let u be 1/(-15) + 4/10. Let o(p) = 2*p - 4*p + 9 + p. Let d be o(10). Is u less than d?
False
Let g be 2/(-12)*(-1 + 0). Which is smaller: 1 or g?
g
Let w = 7/43 - 221/301. Is 1 equal to w?
False
Suppose 0 = 5*r + 3 + 2. Does r = -1?
True
Let w = 10 + -5. Is w != 25/4?
True
Let w(q) = -q + 16. Let i be w(15). Is i <= -2/7?
False
Let n be (252/135)/(1/3). Which is bigger: n or 6?
6
Suppose -10*m = -5*m - 10. Let i be -5 + m - (-3 - 12). Is 12 greater than i?
False
Let l be 4*-1*(-3)/(-1998). Let h = -652/2331 + l. Does h = 2?
False
Let p = -1 + 0. Let h = -450 + 2699/6. Which is greater: h or p?
h
Let q(h) = -7*h - 10. Let w(y) = -8*y - 11. Let i(p) = 7*q(p) - 6*w(p). Let n be i(-4). Let f = -0.3 + 0.1. Which is bigger: f or n?
n
Suppose 0 = -j + 4*j - 15. Suppose -4*m = -8 + 16. Let p be (-4)/m*(j + -4). Is 1/2 equal to p?
False
Let i be (1/(-2))/((-2)/48). Suppose -z = z + i. Let a be (-6)/(-4) - (-27)/z. Is a <= -1?
True
Let q(b) = b**2 - 3*b + 1. Let d be q(2). Which is bigger: 1/63 or d?
1/63
Suppose -2*c - 5*r = 7, -1 = c + 4*r + 7. Is c at least 4?
True
Let l(a) = -17*a + 3. Let u be l(1). Which is greater: u or -15?
u
Let p = 0.013 + 0.097. Which is bigger: p or -0.3?
p
Let p be 2/(-1) + 14/4. Suppose -32*x = -28*x - 12. Is p at least x?
False
Suppose 5*t - 15 = -0. Let d(h) = h**2 - h - 2. Let q be d(3). Which is smaller: t or q?
t
Let u be 2/(-4)*-2 + 2. Let k be ((-11)/(-4) - 2)/u. Let d be (4 + -3)*(-1 - -1). Is k equal to d?
False
Let l = 8 + -13. Let g = -97 + 96. Which is smaller: g or l?
l
Let p be (-7)/21*6/13. Which is smaller: -1 or p?
-1
Suppose -2*r - 5*s = 145, -r + 2*s = -s + 56. Which is greater: -64 or r?
-64
Let j be (2 + -2)/(2*-1). Suppose 4*p + 101 = 5*y - 0*p, 68 = 3*y + 5*p. Let s be (-43)/28 - (-6)/y. Which is smaller: j or s?
s
Let q = 17735269 - 59714649415/3367. Let n = q + -1/259. Do n and -1 have the same value?
False
Let n be (-6)/(-10) + (-168)/(-20). Is 7 smaller than n?
True
Suppose -3*h - 24 = -6. Let c = 8 + h. Is 2 at least c?
True
Suppose -2*h - h + 9 = 0. Let k be (h - (-5 + 2))*1. Let o = -7 + k. Which is greater: o or 1/6?
1/6
Suppose 0 = 5*n - 9 - 51. Suppose 3*d - n = 6*d. Is -3 greater than d?
True
Let m = -1070 - -15173/14. Let f = m + -27/2. Which is bigger: f or -0.4?
f
Suppose 3*c = t - 8, -17 = 2*c + 4*t - 7*t. Let m be c - -87*3/258. Let r = m + 165/602. Is 0.4 at most r?
False
Let w be ((-6)/4)/((-3)/18). Let t = -9 + w. Which is smaller: 6/5 or t?
t
Let g = -5 + 7. Let l be ((2 - g)/1)/1. Is l less than 1?
True
Let p = -2.4 + 0.4. Let v = -6 + 5. Are v and p non-equal?
True
Let v = 0 + -6. Let d = -5 - v. Which is greater: d or 2/9?
d
Let a be 252/(-660) + 2/10. Which is smaller: a or -3?
-3
Let i = 2 + -3. Suppose 4*o = o + 18. Let v be (-7)/14*4/o. Which is bigger: v or i?
v
Let p(w) = -2*w**3 + 1. Let f be p(-2). Let x = f + -10. Let l be x/(-20) + (-2)/8. Which is bigger: l or 0?
0
Suppose -4 - 8 = -4*h. Suppose 2*q - h*q = 0. Let f be 6/(-30) + (-26)/(-80). Is f greater than q?
True
Let s be (-28)/(-7) - (0 + 0). Suppose -3*a + 7 - 36 = -s*r, 0 = -5*r - 4*a + 13. Is -1 at most as big as r?
True
Let y(n) = n**3 + n**2 - n. Let v be y(1). Let f be 40/6 + 43 + -49. Is v >= f?
True
Let f(c) = c + 3. Let i be 1/((-1)/(-12)*-2). Let h be f(i). Let k = 7 - 10. Is h < k?
False
Let o = 2911/21 + -421/3. Suppose -10*x = 14 + 16. Is o at most as big as x?
False
Let n be ((-314)/(-4)*-2 + -1)/2. Is n at least -79?
True
Let w be 106/13 - (-2)/(-13). Which is smaller: 9 or w?
w
Suppose i + u - 4 = -3, -i = 5*u + 7. Which is greater: 0.3 or i?
i
Let v = 16 - 22. Which is bigger: v or -4?
-4
Let q = 6/13 + 8/39. Is q > 0?
True
Let l be 0*(-1 - 0/2). Let x = l + -3. Suppose w = -3*w - 12. Is x bigger than w?
False
Suppose -6*k + 45 = -k. Suppose 4 = 4*m, -2*t - 5*m = -t - k. Which is smaller: t or 3?
3
Let s = -4423/33 + 134. Is s >= 1?
False
Let x = 0.23 + -0.1. Let c = -0.03 + x. Which is greater: 1/2 or c?
1/2
Let t be 5*((-72)/20)/6. Do t and -7 have the same value?
False
Suppose 2*g + 37 = 4*p - 101, -2 = -2*p. Is -67 <= g?
True
Let b(n) = 6*n**2 + 30*n - 4. Let u(a) = -a**2 - 6*a + 1. Let h(v) = 2*b(v) + 11*u(v). Let m be h(6). Is m at most as big as 18/5?
True
Let g = 7 + -8. Let w(l) = -18*l**3 - l - 1. Let j be w(g). Suppose 0 = 2*t + 3*i - i, -5*i + j = -t. Is t < -3?
False
Let w be 14/88 + 24/32. Which is greater: 0 or w?
w
Let c be 21/(-7) + (1 - -3). Let o be (7 - c)*2/18. Do o and 0 have different values?
True
Suppose -5*g = -2*u + 15, -5*u + 33 = 3*g + 11. Let p be ((-3)/9)/((-1)/15). Suppose -i = -p*i - 8. Which is smaller: i or g?
i
Let z = -16 + 17. Let d = -28/9 - -223/63. Is d at most as big as z?
True
Suppose 4*b + 0 - 8 = 0. Let a be 3 + (-3)/((-9)/(-6)). Is b at most as big as a?
False
Let k = -1199 - -39571/33. Which is bigger: k or 0?
k
Let d(x) = x**3 - 18*x**2 + 16*x + 17. Let v be d(17). Do v and 4/17 have the same value?
False
Let j = -27.7 - -19.4. Let s = -0.3 - j. Is s at most as big as -2/3?
False
Suppose 5*m + 77 - 17 = 0. Let k be (-2)/6 - 172/m. Let u be ((-7)/k)/(1/2). Is -6 >= u?
False
Suppose 0 = -14*m + 7*m - 70. Which is greater: m or 0.1?
0.1
Let s = -52 + 51.58. Let t = -0.02 - s. Let c = -1.4 + t. Is -0.1 smaller than c?
False
Let x be (-115)/(-3) - (40/(-12))/(-10). Which is bigger: x or 37?
x
Let g = 45757/62 + -738. Which is bigger: g or 0?
g
Suppose -2*a - 2*i = 6, -3*i - 11 = a - 0. Let g be (-1)/(a - -3 - 3). Which is smaller: -4/11 or g?
g
Suppose -3*k + 0*k = -45. Let t = k + -22. Let u be ((-2)/14)/(6/t). Which is smaller: 0 or u?
0
Suppose n + 1 = 2*n. Let w be ((5 - 3) + n)/4. Let x = w - 13/12. Which is smaller: x or -1?
-1
Let t be ((-2)/2)/(1/(-5)). Suppose 8*v - t = 3*v. Is 3/2 > v?
True
Let t = 8 + -10. Let c(s) = s**3 - 4*s**2 + 4*s - 1. Let n be c(3). Let h be ((-8)/6 + n)*-3. Is t smaller than h?
False
Let m = 856211/105 - 40742/5. Let n = 41/7 - m. Suppose -p = 5*q - 1 - 1, 5*q - 10 = -5*p. Which is greater: q or n?
q
Let h(c) = -c**3 - 2*c**2 - 2*c - 4. Let i be h(-2). Is -1/29 != i?
True
Suppose -3*r - 10 = 2*r. Let s be -2 + 3 + -1 + -3. Which is bigger: r or s?
r
Suppose -i + 0*i = 4*p + 36, 20 = -5*p + 5*i. Which is bigger: -7 or p?
-7
Let u(x) = -x - 4. Let p be u(-3). Which is greater: p or -12/5?
p
Let s = 44 + -42. Which is bigger: 5/8 or s?
s
Let k = -0.7 - -0.6. Is -8 < k?
True
Let r be ((-2)/(-15))/(5/10). Which is greater: -1 or r?
r
Let d = -0.72 + -3.88. Which is smaller: 0 or d?
d
Let i = 67/3 - 1535/69. Let o = 10 - 7. Let q = o + -4. Which is greater: q or i?
i
Suppose -5*r + 9 = -q + 44, q = r + 7. Which is smaller: r or -11?
-11
Let j = -2 - -3. Let t be -2*((-12)/8)/(-3). Which is smaller: j or t?
t
Let t be 3/(-6) + 34/4. Let q be (6/t)/((-11)/(-4)). Is q > -1?
True
Let d be (-2)/8 + 794/8. Let o = 33 - d. Let k = -196/3 - o. Which is greater: -3 or k?
k
Let p = -3.06 - -0.06. Let u = p - -3. Is u < -1/2?
False
Suppose -3*a + 246 = 5*o, 7*o - 3*o + 2*a = 198. Let x = o - 355/7. Does x = 1?
False
Let i = 9 - 6. Is i > -1?
True
Suppose d - 3*d - 5*j + 25 = 0, j + 12 = 3*d. Suppose -o + 10 = -6*o, d*o = 3*n - 40. Let x = n + -14. Which is bigger: -2/5 or x?
-2/5
Suppose 0 = -3*x - 6, -m = -0*m - 2*x. Let c = 6 + m. Let o be -8*(-4)/120*3. Is o greater than or equal to c?
False
Suppose -p + 3*p = 6. Let q be 2/p*(-6)/(-4). Is q bigger than -0.1?
True
Let u(f) = -f**3 + 8*f**2 - f + 12. Let s be u(8). Suppose 5*k = -d - 3 - 0, 0 = 4*d + 3*k - 5. Are s and d equal?
False
Let p = -32 + 34. Are p and 5 nonequal?
True
Let k(g) be the second derivative of g**5/20 - g**4/6 - 2*g**3/3 + 2*g**2 + 5*g. Let i be k(3). Is 1/11 < i?
True
Let k = -35 + 35. Is k less than -3?
False
Let w be (-6)/2 + (-2 - -2 - -2). Which is greater: w or -12/13?
-12/13
Let i = -1.1 + 1.1. Suppose 3 = -5*u - 7. Which is greater: u or i?
i
Let y = 5 + -4.5. Let b = y - 1.5. Suppose -5*a + 13 = l - 3, 0 = -4*l + 4. Do a 