v or 2/19?
v
Let u = 2 - 1. Are u and 3/7 equal?
False
Suppose -2*v - 2*z + 50 = 0, -3*v - v = -4*z - 76. Are v and 21 unequal?
True
Let l = -31 - -48. Is l equal to 17?
True
Suppose 32*s = 37*s - 35. Is s >= 3?
True
Suppose -2*v + v + 4 = u, 4*v = 3*u + 2. Let h be u + -3 + 2 + 1. Suppose -d - 6 = h*d. Is -1 >= d?
True
Let s be 58/(-6) + 28/(-21). Which is smaller: -10 or s?
s
Let a(x) = x + 11. Let j be a(-7). Let u(v) = v + 11. Suppose 2*d = 5*c - 16, 0 = 4*d + c + 57 - 25. Let s be u(d). Which is bigger: j or s?
j
Suppose 5*t - 3*y + 20 = 0, -3*y = -4*t - 4*y + 1. Which is smaller: t or -29?
-29
Suppose 5*b - b + 5*d - 39 = 0, -2*b + 4*d = 0. Let n = 6 - b. Suppose l = -n*l. Is 5/4 equal to l?
False
Let g(j) = j - 6. Let a be g(5). Let d = a - -1. Suppose -3*p + 2*u - 2 = 0, p - 4*u - 2 = 4. Which is bigger: p or d?
d
Let r(j) = 60*j. Let u be r(-2). Let l be 38/u - 6/(-15). Which is smaller: l or 0?
0
Let d(s) = s**3 - 2*s**2. Let n be d(3). Suppose 0*c = -c - n. Let o(l) = l + 10. Let u be o(c). Is u less than 0.2?
False
Let r = 54.65 - 55. Which is smaller: 2/3 or r?
r
Suppose -g + 5*r + 8 = 0, 5*g - 3*g - 9 = 3*r. Suppose 25*x - 33 = 17. Which is smaller: x or g?
x
Let b = 0.34 + -0.14. Is b greater than or equal to 2/9?
False
Let g(r) = -r**2 + r + 7. Let x be g(-4). Let f be (-9)/3 - 38/x. Which is greater: 0.1 or f?
0.1
Let y be (-9)/(-18) - (-10)/4. Suppose y + 6 = a. Which is greater: 7 or a?
a
Suppose 4*z + 0*z + 16 = 0. Let v(k) = k**2 - 6*k + 4. Let l be v(4). Is z < l?
False
Let f(y) = -y**2 + 10*y - 7. Let g be f(9). Let u(i) = -i**2 - 6*i + 2. Let a be u(-6). Are a and g non-equal?
False
Let k = 151 - 159.3. Let t = k + 8. Let o = 0.5 + t. Which is smaller: -2 or o?
-2
Let y = -34 + 25. Is y less than or equal to 0?
True
Let z be 12/(-9)*15/(-20). Is -2/77 <= z?
True
Suppose 0 = 5*o - 4*f + 6 - 38, f - 17 = -5*o. Let r(l) = -l**3 + 4*l**2 + 2*l. Let k be r(4). Suppose -28 = u - k*u. Is u <= o?
True
Suppose -u - 2*b + 2 = 5, 3*u = -2*b - 13. Is u > -7?
True
Suppose -4*x = -y + 33, -4*x + 0*y - 4*y = 28. Let o(f) = -f**2 - 8*f - 2. Let k be o(x). Suppose 0 = 3*w - 4*w. Which is smaller: k or w?
k
Let g = -137.8 - -156. Let y = 18 - g. Which is smaller: y or 0.07?
y
Let f = -5 + 5.2. Let k = -0.5 - f. Let t = k - -0.7. Does t = 2?
False
Suppose -3*j - 10 = -22. Suppose -4*k - 2*u = 0, -3*k + 0*k = -j*u. Let a(m) = m**3 - 7*m**2 + 7*m - 5. Let t be a(6). Are t and k nonequal?
True
Let v(g) = 2*g + 1 + 2*g - 5*g. Suppose 3*l - 4*c + 2 = -5, 0 = 3*l - 2*c - 1. Let s be v(l). Which is smaller: -3 or s?
-3
Let u = -331/5 + 66. Let n(x) = -x**2 + 4*x - 1. Let y be n(5). Let d = y - -6. Is u > d?
False
Let k = 3 + -4. Let o = 2 - k. Let h = o - 3. Is 2/3 greater than h?
True
Let j(i) = i**2 + 21*i. Let z be j(-21). Let d be (-4)/(-22) - 126/572. Is z bigger than d?
True
Let g = -31 - -125/4. Let c(y) = -y**3 - 10*y**2 - 10*y - 9. Let q be c(-9). Let m(t) = -t - 1. Let s be m(q). Which is greater: g or s?
g
Let t(w) = w**3 + 5*w**2 + 5*w + 4. Let j be (1 + 3)/(-2 + 1). Let d be t(j). Which is greater: d or -1?
d
Let m = 4 - 7. Let p = m - -3.04. Suppose 1 = -10*d - 9. Which is smaller: p or d?
d
Suppose 20 = -5*t, -6 = 2*d - d + 2*t. Suppose -q - d + 3 = 0. Do 5/3 and q have the same value?
False
Let o = 25.15 - 25. Let g = 0.1 - 0.15. Let i = g - o. Is 1 >= i?
True
Suppose 15 = 4*n - 13. Suppose 0 = 4*y - i - 17, -5*i = 4*y - 4 - n. Suppose 2*c - y*c = 0. Which is bigger: 6 or c?
6
Let f = -23 + 23.18. Which is smaller: 0.2 or f?
f
Let m = -3.4 + 3.7. Is 2 greater than m?
True
Let r(l) = -l**3 + 8*l**2 + 11*l - 7. Let w be r(9). Let c = 15 - w. Which is greater: c or 1?
c
Let i = 0.56 + -0.6. Which is bigger: i or -1?
i
Let a(g) = -g - 1. Let u(q) = -q**3 - 9*q**2 - q - 6. Let f be u(-9). Suppose -2 = -3*t - f*b + b, 0 = 2*b - 2. Let p be a(t). Which is smaller: 1/4 or p?
p
Let k be 12/(-18) - 148/(-6). Let o be 4/(-6) - k/(-9). Is 1 greater than or equal to o?
False
Let c(x) = x - 4. Let v be c(6). Suppose -2*s + 12 = 4*t, -v*s - 2*s = -8. Suppose -g - 4 = 2*a + 8, -g = -t*a - 8. Do g and -2 have the same value?
True
Let n(x) = -x**3 - 5*x**2 + 1. Let u be n(-4). Let k(o) = -o**2 - 7*o - 1. Let d be k(-6). Let c be (4/u)/((-6)/d). Is c not equal to 1?
True
Let c(x) = -x - 1. Let u be c(-1). Let p be (0 - (-2)/6)/(-1). Which is greater: u or p?
u
Let p be -2*(1959/981 - 2). Are 1 and p unequal?
True
Let l = -0.6 - 1. Let w = 1.6 + l. Which is greater: 0.5 or w?
0.5
Let l = 1026658822/1125 - 288699499122241/316353375. Let a = 184/669 - l. Let s = a + 1/97. Which is greater: s or 0?
s
Let t = -5155/14 - -368. Let i be (2 + 1 + -2)/(-1). Are i and t unequal?
True
Let l be ((-12)/(-5) - 2) + (-3)/(-5). Which is smaller: -2/85 or l?
-2/85
Let m be 1/2 - 4/(-8). Do m and -1/18 have different values?
True
Let u be (-18)/(-12)*8/474. Is 0 at most as big as u?
True
Let a be (-48)/(-15)*(-2)/37. Let f = 1/37 - a. Which is bigger: 2/9 or f?
2/9
Let s be (-6 - -3)/(24 - -1). Let x = 34/75 + s. Which is smaller: 1 or x?
x
Let n be 9/(-63) - 138/14. Are -10 and n equal?
True
Suppose -2*c + 6*c - 8 = 0. Is 1/23 != c?
True
Let q(g) = g**2 - 2*g + 6. Let u be q(4). Suppose 0 = -5*y + u - 4. Suppose -y*k = 2*k - 4. Is k less than 0?
False
Let t = 6 + -8. Let g = t + 1. Let z be (2 - 3)*(2 + -1). Are z and g nonequal?
False
Let l = 10 + -11. Let g = 0 + -3. Which is smaller: l or g?
g
Let y = -3 + 12. Let v = y + -6. Which is smaller: 2 or v?
2
Let j(s) = -74*s + 6. Let g be j(-2). Is 154 smaller than g?
False
Let u = -18.17 - -18. Which is smaller: 0.1 or u?
u
Let k = 0.05 - -0.04. Let z = 4.09 - k. Let m = -3 + z. Which is bigger: -2 or m?
m
Let c be 3/((-12)/(-14)) - 3. Is 2/9 at least as big as c?
False
Let z be (-2)/(-6) - (-8)/3. Is 2 less than or equal to z?
True
Let o be 12/(-28) - (-146)/14. Let d = o + -13. Which is smaller: d or -2?
d
Let a = 2/3 - 4/3. Suppose 0*m - 2*m + 4 = 3*p, 0 = -p - 2. Suppose 3*v = m*d - 20, -4*v - 1 - 3 = -d. Which is smaller: a or v?
a
Let f = -115 + 118. Let z be (-8)/(-18)*1/(-2). Which is smaller: z or f?
z
Let s(d) = -2 + 5 - 2*d**2 + 3*d**3 + 2*d - 2 + 3*d**2. Let i be s(-1). Does -2 = i?
False
Suppose 0 = -5*j + 2*o + 16 + 22, o = -4*j + 20. Let a = -10 + j. Let s(g) = -4*g**3 + g**2 - g. Let z be s(1). Is z < a?
False
Suppose -10 = 4*f - 2*b, 5*f - 3*b = -2*b - 8. Suppose -2 = 2*v + 2. Is v equal to f?
False
Let a = -3 + 3. Suppose a = -4*b - 4 - 4. Let s(u) = u**3 - 7*u**2 - 1. Let x be s(7). Which is smaller: b or x?
b
Let x = -2361 + 23579/10. Let a = 18/5 + x. Is -2 greater than or equal to a?
False
Let z(d) = d**3 + d + 4. Let w be 1 - (-1 + (2 - 0)). Suppose 2*v = 3*i - 7*i - 12, 3*v - 3*i - 9 = w. Let f be z(v). Do 3 and f have the same value?
False
Suppose -k + 20 = 5*f, 2*f - 1 = 5*k - 20. Suppose -1 = -r + 3*x - 0, 5*r - 5 = 5*x. Which is smaller: r or f?
r
Let y = -1 + 2. Let x(n) = -n - 10. Let b be x(-6). Let q = -4 - b. Do q and y have the same value?
False
Let c = -0.255 - -0.055. Which is smaller: -12 or c?
-12
Suppose -27 = -5*g + 8. Suppose -4*v = -4*t - 20, g = 5*v + 4*t - 0*t. Let f = -0.1457 - -0.0457. Which is smaller: f or v?
f
Let h = 60.97 + -61. Which is smaller: -1/6 or h?
-1/6
Let j = -0.24 - 0.16. Which is bigger: 3 or j?
3
Let u(r) = r**2 - 2*r - 2. Let j be u(-2). Suppose -d + 5*l - 21 = 0, d = l - j*l + 19. Do -2/7 and d have the same value?
False
Let c = 30 + -28.7. Let u = -0.3 + c. Suppose 20 = -4*x, -4*z + 17 = -4*x - 11. Is u >= z?
False
Let a(f) = -4*f - 3. Let u be a(-1). Do 1/10 and u have different values?
True
Let l = 22 + -31. Let m = l + 8. Is m less than or equal to -0.2?
True
Let l = -2 + -11. Are l and -14 equal?
False
Let i = -0.07 - -3.07. Let o = -4 - -3. Is o bigger than i?
False
Let n be (216/21)/(-4)*-7. Let l = -12 + n. Let j be ((-3)/(9/l))/(-2). Which is smaller: j or 2?
j
Let l = -36 - -36.05. Which is smaller: 1 or l?
l
Let m(s) = -s + s**2 - 5*s - 4 + 2*s - 2. Let r(l) = l**3 + 5*l**2 - 2*l - 5. Let k be r(-5). Let y be m(k). Is y at most -4/3?
False
Let o = 7 - 8. Which is smaller: o or 2?
o
Suppose 4*r - 15 = -3*s + r, r = -2*s + 5. Which is greater: 1/2 or s?
1/2
Let u(a) = -a - 7. Suppose t + 21 = -2*t. Let i be u(t). Let f be 26/42 - 2/6. I