 k or o?
o
Let p = 99 - 90. Do 4 and p have different values?
True
Suppose -4*f - 3*u + 3 = 0, -4*f = 6*u - 2*u. Let k be ((-20)/25)/((-1)/5). Suppose -f*p = -5*h + 6, k*p - 21 = p - 4*h. Which is bigger: p or 2?
p
Let g = 163/2 + -80. Let t(n) = n**2 - 10*n + 11. Let r be t(9). Suppose 2*l - 3*l = -r*z + 1, z + 3*l - 4 = 0. Which is smaller: g or z?
z
Let b = 4/21 - 41/105. Which is greater: b or 0?
0
Let q = 13.8 - 1.8. Let v = -10.7 + q. Let k = v - 0.3. Which is smaller: 2/3 or k?
2/3
Let q = -1 - -8. Let s be (-6)/8*q/14. Is 1 greater than or equal to s?
True
Let t = -0.09 - -0.08. Let z = t - -2.01. Which is smaller: z or -4?
-4
Suppose 6*t + 220 = 5*t. Let l be 22/(-121) + (-51)/t. Which is greater: l or 1?
1
Let c be -2 - (4 - (-292)/(-44)). Which is smaller: c or 1?
c
Let j(r) = -r**3 + 8*r**2 - 5*r - 15. Let z be j(7). Do z and -0.04 have the same value?
False
Let y be -1*(4/(-14) - (-1860)/1120). Is -2 < y?
True
Suppose -3*c - x - 693 = 0, -2*c + 76 = -3*x + 549. Let z be 8/(-4) - (-2532)/(-11). Let v = c - z. Is v at most as big as 1?
True
Let r be (124/6)/(5/(-10)). Suppose -p + 40 = l, -6*l + 4*p = -l - 209. Let b = r + l. Is 1 greater than b?
True
Let c = -110 + 992/9. Which is greater: c or 0?
c
Let x be 1008/(-507) + (-7)/((-7)/2). Is x <= 1?
True
Let l(k) = 4 + 0*k**2 + k**2 - 4*k - 3 - 5. Let u be l(6). Let d be u/6*-3 + 1. Is -0.1 smaller than d?
False
Let q = -6/19 - 45/38. Suppose 4*d = -5*v + 6*d - 9, 5*d - 14 = 4*v. Do q and v have the same value?
False
Let d be 0 - 0/(6 - 3). Suppose -7*g - 45 = 4*w - 2*g, -w - 5*g - 30 = d. Let q be 0/(-3) + w + 4. Which is greater: q or -0.3?
-0.3
Let n = 20 - 20.04. Let r = -3.96 + n. Is r at most as big as 0.1?
True
Let u(f) = 4*f**2 - 4*f - 6. Let w be u(-3). Is 42 greater than or equal to w?
True
Let j = -9 - -15. Let s = j + -8. Is s bigger than -0.1?
False
Let x = 0.22 - -0.38. Let f = 1.81 - 0.21. Let m = x - f. Which is smaller: 0 or m?
m
Suppose 2*t + 2*w = 5*t - 2, 4*w = t - 14. Which is greater: -0.3 or t?
-0.3
Suppose 16 = -3*y - y. Let m = -28 + 19. Let h = m - -6. Which is smaller: y or h?
y
Let r = -34 - -32.7. Let x = r - -1.8. Is x < -2?
False
Let w(n) = -n**3 - n**2 + 5*n + 2. Let k be w(-3). Let h = 7 - k. Suppose -f = -h*f + 3. Is 2 less than f?
True
Let m = 2/77 - -69/308. Suppose 2 = 2*b + 4. Is m > b?
True
Let o = 7 + -5. Suppose -19 = -2*d - 3*d - 4*h, 5*h - 11 = -o*d. Suppose c - 8 = d*f, -12 = -5*c + 2*c + 5*f. Is -3 less than or equal to c?
True
Let d(s) = 2*s + 6. Let y be d(-4). Let h(k) = k**3 - 7*k**2 + 3*k - 6. Let m be h(4). Let c be 2 - (-1)/(15/m). Is c less than y?
False
Suppose 9*w - 9 = -27. Which is greater: w or -8?
w
Let s(n) = -2*n - 2. Let q be s(-5). Let t be q - (6 - (1 - -2)). Suppose -b - 2 = -3*z, 3*z - 7*b - 1 = -t*b. Is z smaller than 1?
False
Let y(x) = -5 + 7*x - 2 - 6*x. Let m be y(4). Is m < 2/3?
True
Let r = -2 + 2. Suppose r*q + 2 = 2*q. Does 1 = q?
True
Let u be (-30)/14 + (-4)/(-28). Is u at least -6/11?
False
Let i be (-8)/(-4)*2/(-2). Which is greater: i or -1?
-1
Suppose 3*c + 69 = 3*i, -3*i - 7*c = -3*c - 41. Is 6 greater than or equal to i?
False
Let p = 219 + -1309/6. Is p less than or equal to 0?
False
Let w = -1 - -2. Suppose -2*a = 2*n - 6*a + 20, a - 5 = 5*n. Let b = w - n. Do 0 and b have the same value?
False
Suppose 5*s - h = -30, -2*s + 2*h = -7*s - 45. Which is smaller: -19/3 or s?
s
Let b = -10 + 18. Let x = b - 11. Which is bigger: -1/6 or x?
-1/6
Let n = -35/138 + 2/23. Suppose -2*t - 20 = -2. Let o(x) = -x**2 - 10*x - 9. Let q be o(t). Is n equal to q?
False
Let t = 21 - 14. Suppose -n + t = -0*n. Suppose 2*u = n*u. Which is greater: 0.3 or u?
0.3
Let t be (-28)/(-70) + 6/(-10). Suppose -v = -0*v. Which is smaller: v or t?
t
Let i be 29 + -25 + (-58)/13. Which is smaller: 0.05 or i?
i
Suppose 5*b - 30 = -5*i, -4*b = i - 8 - 7. Are 13/4 and b unequal?
True
Let z = 1.091 + -0.091. Which is bigger: 0.15 or z?
z
Let z be 2/(-5) - (-34)/10. Let d be (-18)/4 - (-6)/z. Is -3 at least as big as d?
False
Let i be (-2)/(-10)*(-5)/(10/2). Let h be 2/4*(-1 - -3). Let l = h - 0. Which is greater: l or i?
l
Suppose -26 - 4 = 3*g. Let j be ((-4383)/(-15))/(28/g). Let y = -207/2 - j. Which is smaller: y or 1?
y
Let n = -5 - -7. Let v = 0.6 + -0.2. Let z = v - 0.5. Is z bigger than n?
False
Let k be 3 - ((-17)/(-3) - 3). Which is bigger: k or -0.1?
k
Let u = -19 + 30. Is u at most 11?
True
Let b = -12 - -13. Let y = 15.61 - 16. Let v = y + -0.01. Which is greater: b or v?
b
Suppose -5*y + 3*b = -0*y - 12, 0 = y - 4*b - 16. Let m = -54 + 376/7. Which is smaller: y or m?
m
Let d = 1189 - 4965/4. Let r = 52 + d. Which is smaller: r or 16?
r
Let n(r) = -12*r**2 - 3*r - 1. Let a be n(-1). Is -13 not equal to a?
True
Let y = -12 + 18. Let o be 0 + (2 - y/8). Let k = o - 1. Is -1/2 equal to k?
False
Suppose 0 = -2*v - 2*v - 3*w + 8, 5*v = -w - 1. Which is bigger: v or 75?
75
Let h be (-4)/(-2)*3/6. Let j = -405/8 - -51. Is h less than or equal to j?
False
Suppose 0 = 2*a + r + 56, -4 = 3*r + 2. Let k = -47 - a. Let p be ((-5)/k)/(2/4). Is 1 bigger than p?
True
Let l = 3 + -4. Let h(q) = -3*q**3 + 2*q + 2. Let w(x) = x**3 - x**2 - x - 1. Let s(t) = h(t) + 2*w(t). Let d be s(l). Is -2 bigger than d?
False
Let q be (78/9)/((-14)/(-21)). Let h = -2 + q. Is h at most as big as -1/2?
False
Let h = 2 - -1. Suppose h*n + 0*n - 12 = 0. Let u be ((-6)/n)/(9/12). Is -2 at most u?
True
Let h be (2 - 0)*(-1)/15. Are h and 1 non-equal?
True
Let w = 21 + -29. Let c be (-6)/w - (0 - -1). Suppose 2*o = 4*f + 6 + 2, -3*f + 2*o - 8 = 0. Which is greater: c or f?
f
Let q = -71/42 - -11/6. Is q greater than 6?
False
Suppose -3*x - 14 - 7 = 0. Do x and -7 have the same value?
True
Suppose -2 = -38*u + 36*u. Which is smaller: 2/79 or u?
2/79
Let h = 9.1 + -8.9. Which is bigger: h or 1.2?
1.2
Let g be 0 + (2 - (-38)/(-20)). Which is greater: g or -1?
g
Let w(l) = l + 7. Let y be w(-6). Is 1/177 less than or equal to y?
True
Let f(j) = -j**2 - 2*j + 8. Let t be f(2). Suppose 6 = -2*u - 4. Which is smaller: u or t?
u
Let a = 7 - 6. Is a less than or equal to 2/7?
False
Suppose 3*x - f - 22 = 0, 2*x + 3*x + 5*f - 10 = 0. Let t be x/(-15) + (-2)/(-5). Which is bigger: -1/11 or t?
t
Let n be 18/(-45) - (-73)/(-5). Which is smaller: -17 or n?
-17
Let w = -1871/13 + 144. Suppose -5*g = 4*y + 24, 5*y - 5*g - 3 = -3*g. Is y bigger than w?
False
Let j(p) = -3*p**2 + 10*p - 2. Let i be j(3). Let h be 26/(-28) + (-2)/(-4). Does i = h?
False
Let k be ((-46)/8)/(1/(-4)). Which is greater: k or 0?
k
Suppose -3*g = -3 - 6. Let r be ((-6)/9)/(-1)*6. Suppose g*k = k - r. Is -1/2 at most as big as k?
False
Suppose -2*z + 4*r = 2*z - 20, 3*z + 5 = -2*r. Suppose n + 3*j + j - 36 = 0, 0 = 5*j - 20. Let u be (-4)/10 + (-12)/n. Is z <= u?
False
Let t be ((-9280)/48)/((-2)/6). Let z be t/(-150) + 1 + 3. Which is smaller: z or -2?
-2
Let g be ((-28)/(-10))/(-2) - -1. Let p be ((-6)/(-4))/(3/(-8)). Let l be p/22 + 224/264. Which is bigger: g or l?
l
Let a be ((-4)/10)/(2/(-30)). Let g be a/10 + (-9)/15. Suppose -5*k = -3*c + 10, k = 4*c - 3*k - 8. Are g and c unequal?
False
Let q be (4/((-48)/(-4)))/(4/(-3)). Is q > -41?
True
Let l = 1 + -0.8. Let o = 0.2 - l. Let v = o + -0.1. Is v bigger than 1?
False
Let n(z) = -z**3 - 6*z**2 - 2*z + 5. Let a be n(-5). Let r = -10 - a. Let t = -7.3 + -0.7. Which is bigger: t or r?
r
Let n = 25.25 - 0.25. Is 2 smaller than n?
True
Suppose v - 3*d + 6 = -5, -4*v + 4*d = 4. Suppose v*a = -w + 13, 3*w + 2 = 2*a - w. Suppose 5 - 8 = a*q. Does -1 = q?
True
Let d = -25 - -18. Let n = -7 - d. Is -1 at least n?
False
Suppose 15 = 5*u, 2*u - 20 = -4*l + 6*u. Let w be 46/l - (-6)/(-8). Do w and 4 have different values?
True
Let m be (-2)/4 + 93/114. Which is greater: m or 0?
m
Let l = 64/2325 + -10/93. Is l greater than or equal to 1/3?
False
Suppose 0 = w - 0*w. Suppose -f = -4*r - w*f - 2, -4*f - 13 = 5*r. Let y = -2 - -1.8. Is r greater than y?
False
Suppose a + 14 = -3*q, 3*a + 3*q = -4 - 8. Is a > 2/9?
True
Let j(r) = -2*r - 2. Let u be j(-3). Suppose -3*m + 50 + 1 = 0. Let n = m + -15. Which is smaller: n or u?
n
Let j = -0.15 + 0.65. Let x = 0.6 - j. Is -1 at most x?
True
Suppose -4*b - 4*i + 8 = 0, b - 7 = -2*b - 4*i. Let o be -3 - -4 - (-862)