/k. Suppose -3 = -3*d - 0, -3*b + 2*d - a = 0. Do b and -3 have different values?
False
Let z be 12/14 - (-7)/(-7). Let n = -1 + 2. Is z bigger than n?
False
Suppose -t = 4*t + 360. Let h = 431/6 + t. Which is smaller: 1 or h?
h
Let z(i) = i**2 - 9*i + 9. Let d(v) = -v + 3. Let m be d(-5). Let o be z(m). Which is bigger: 4/5 or o?
o
Suppose -5*w = -6*w + 3. Which is smaller: w or 0?
0
Let d = -2 - -7. Let b = -7 + 11. Suppose 4*c = -b*i + 2*c - 2, c - 6 = 5*i. Which is smaller: d or i?
i
Suppose 3*y - 2*y = 0. Is 1/4 < y?
False
Suppose 0 = 7*k - 5*k - 24. Suppose -3*s = 3*w + k, -2*s = -4*w - w - 13. Which is greater: -3/11 or s?
-3/11
Let o = 0.5 - -0.4. Let k = -0.1 - o. Is 2/7 < k?
False
Let a be 1 - (-1)/((-3)/(-6)). Let s(z) = z**3 - z**2 - 3*z. Let q be s(a). Are 8 and q nonequal?
True
Let z be (2 + (-10)/4)*4/(-6). Which is greater: -1 or z?
z
Let c be (3 - (-8)/6)*3. Is c smaller than 13?
False
Let j be -11 + -7 + 8/2. Is -16 at most as big as j?
True
Suppose -4*m = -0*m - 16. Suppose m = -5*g + g. Let u = g + -1. Is -3 less than u?
True
Let g = -7/39 + -2/13. Let d be -2*3/3*1. Let u = d - -2. Which is bigger: u or g?
u
Let f be -4 - -8 - (2 + 0). Suppose 0 = 2*y - 2 - f. Do y and 1 have the same value?
False
Let q = -4 - -3. Let y(t) = t + 1. Let p be y(q). Which is bigger: -4/7 or p?
p
Let p(r) = 4*r - 6. Let a be p(3). Suppose -2*v = 10, -3 = 2*b - v - a. Which is greater: b or -1/6?
-1/6
Suppose d + k = -2*k + 6, 3*k = 5*d + 24. Which is smaller: d or 0?
d
Let w(x) = x**2 + 15*x + 26. Let a be w(-13). Which is smaller: a or 1/23?
a
Let m = -131 - -133. Is 1 != m?
True
Let u = -5 + 0. Let j be (-2)/(-110)*-2*u. Let s be -2 - -2 - (1 - 2). Does j = s?
False
Let z be 6/12*(-2 + 12). Suppose 4 = -z*g + 9*g. Is g at least as big as 1/32?
True
Let l = -68/3 + 275/12. Is -0.15 less than l?
True
Let d = -47 - -189/4. Let c = -2 + 3. Is c greater than d?
True
Suppose 0*o + 258 = 3*o. Which is greater: 87 or o?
87
Let q(c) = c**2 - 2*c + 7. Let o be q(-6). Are 57 and o unequal?
True
Suppose -3*l + 10 = 1. Suppose -k = -3*k. Suppose -5*c - l - 2 = k. Which is smaller: c or 0?
c
Let w = 62 + 84. Which is smaller: 147 or w?
w
Let r be (3 - -1) + 3 + -5. Suppose -4*h + 2*h + r = 0. Is 2 > h?
True
Let d be 52/91 - 300/(-14). Let v = 17 - d. Let z be (2 + 2)*(-3)/4. Are v and z nonequal?
True
Let p = 31 + -35. Let a be 3*(-2 + 2/3). Is a not equal to p?
False
Let k = -6.86 + -0.14. Let q = k - -6. Let z = q - -1.2. Which is smaller: 0.1 or z?
0.1
Let z = 22/17 + -178/85. Let u = -4 + 2. Which is greater: z or u?
z
Let o(p) = -2*p + 3*p**2 + 9*p - 4*p**2 + 2*p**2. Let y be o(-7). Which is smaller: 2/37 or y?
y
Let i = -3/38 + -23/190. Suppose 3*z = -0*z. Let y = z - 1/4. Is i not equal to y?
True
Let v be 459/(-12) + 3/(-4). Let r be (-6)/(-9) + 23/v. Is r <= 1?
True
Suppose 3*i = j + j - 19, 4*i = 3*j - 26. Suppose 2*k - 6 = -j, -z + 1 = -k. Do z and 3 have the same value?
True
Let o = -10 + 9. Let d = -52 - -463/9. Let f = -11/36 - d. Is o less than or equal to f?
True
Let d(b) = -2*b**3 - 5*b**2 - 3*b. Let m be d(-4). Let o be 2/m - 1/5. Which is greater: 2 or o?
2
Let v be (6 - (-2)/(-2))*1. Suppose 9 = v*x + 4. Is x >= -1/7?
True
Suppose -2*w - 3*w - x - 9 = 0, -2*x - 8 = 0. Let t(g) = 2*g**3 - g**2 - g. Let n be t(w). Let m be 1/3 - n/(-18). Are m and 0 equal?
False
Suppose a - 4*t - 16 = 2, -3*a - 14 = 5*t. Which is smaller: 8/11 or a?
8/11
Let h = 0 + -0.1. Let v = -14 - -14.12. Let m = v + 0.88. Which is smaller: m or h?
h
Let o(j) = -j**3 - 4*j**2 - j + 2. Let c be o(-2). Let u be (16/c)/4 + -2. Which is greater: -4 or u?
u
Let m = 3 + -1. Suppose 30 = m*p + 10. Let c be (1/6)/((-5)/p). Is c <= -1?
False
Let r = 117/70 + -11/10. Is -0.07 <= r?
True
Suppose -10 = -3*b + 2*z, 0 = -b + 5*b + 4*z - 20. Let x(y) = -y. Let j be x(-4). Is b smaller than j?
False
Let z = 0.06 - -2.94. Let m = 0 - z. Let b = -3 - m. Which is greater: b or -1/4?
b
Let k = -17/6 - -31/30. Does k = -1?
False
Let v be 12/(-60) - (-94)/(-5). Which is smaller: v or -18?
v
Let k be ((-6)/(-12))/(2/(-4)). Is k < 6/37?
True
Let y(f) = -4*f - 17. Let t be y(-5). Suppose -5*c + 8*c - t = 0. Which is greater: -3/10 or c?
c
Let s(w) = 5*w**3 - w**2 + 1. Let z be s(1). Suppose z*v = 3*v + 10. Which is smaller: 4 or v?
4
Suppose -m - 1 = -2. Which is bigger: m or -2?
m
Let u = 4 - 3. Let f = u + -0.8. Is f less than or equal to -3/5?
False
Suppose -4*a - 44 = w, 7*a - 5*w + 10 = 4*a. Is 0 less than a?
False
Let u = -11 - -11. Is u at most as big as -2/29?
False
Let m = -0.06 + 0.06. Let l = m - 1. Let f be 7/(238/72) - 2. Which is smaller: f or l?
l
Suppose 2*l + 7 - 5 = 0. Let b = 2/79 - 168/395. Is l not equal to b?
True
Suppose -6*d - 284 = -8*d. Is d < 141?
False
Let z(i) = -i**3 + 14*i**2 - 19*i - 17. Let q be z(12). Is q not equal to 43?
False
Suppose 3*l = -0*l. Let s be -1*(-1*3 - l). Let h be 2/s - 5/(-15). Which is smaller: h or 2/3?
2/3
Suppose 5*d - 1 = 14. Let j(x) = x**3 - 2*x**2 + 1. Let n be j(d). Suppose -4*t + p - n = -p, 0 = 4*t - p + 7. Which is greater: -1/7 or t?
-1/7
Let c(h) = -h**3 - 5*h**2 + 2*h + 7. Let o be c(-5). Suppose 2*y + 12 = y - 2*m, 0 = 4*y - m + 3. Is o > y?
False
Let d = 6 + -3. Let n(x) = -2*x. Let p be n(1). Let i = p - -16/7. Is d <= i?
False
Let s(a) = -22*a**2 + 8*a + 1. Let p be s(-1). Which is smaller: p or -30?
-30
Let j be (3 - 2)*3/(-12). Let w be 14/(-18) - 4/18. Is w <= j?
True
Let s be ((-30)/4)/(-2 - 1). Which is bigger: 2 or s?
s
Let p be (-20)/4 + 7/(7/2). Are -3 and p equal?
True
Let u(f) = -f**3 - 3*f**2 + 5*f + 5. Let a be u(-4). Let q be (-4)/(-12)*1*3. Is q < a?
False
Let d be 14/42*(-3)/53. Is d > 0?
False
Suppose 3*b + 5*l = -9 - 0, 0 = 5*b + 4*l + 15. Let d be (-15)/38 - b/6. Which is smaller: -1 or d?
-1
Let h be (-54)/(-15) - (-2)/5. Suppose 0 = i + 2*g + 3, 5*g = -2*i - 5 - h. Suppose -2 - i = -5*l. Is 3/4 not equal to l?
True
Let l(a) = 4*a**2 - 10*a - 11. Let v be l(5). Which is smaller: v or 40?
v
Let c = -20 + 24. Let d(k) = -k**3 + 5*k**2. Let j be d(c). Which is smaller: j or 15?
15
Let x(h) = -h**3 + 10*h**2 - 10*h + 13. Let j be x(9). Is 3 equal to j?
False
Let k = 18 - 12. Suppose -3*w + 9 = -k*w. Let u = 0.9 - 1. Is w at least u?
False
Suppose 0*p = -3*p + 3*b - 18, 3*p = -5*b - 18. Let c(f) = -f**2 - 8*f - 8. Let u be c(p). Are 4 and u unequal?
False
Suppose 5*q = 0, -5*h = -0*h - 4*q - 55. Which is smaller: 10 or h?
10
Let k(t) = -6*t + 1. Let c be k(-1). Let h = 6 + 0. Let f = h - c. Which is smaller: 3/8 or f?
f
Let g = 6 + -3. Suppose 5*o = 3*o - 20. Let t = o - -14. Which is smaller: t or g?
g
Suppose -2*j = 3 - 1. Let y(v) = -v**2 + 6*v - 1. Let i be y(5). Suppose -7*c + 3*c = -i. Which is smaller: j or c?
j
Suppose -12 + 2 = -2*d. Suppose 0 = d*g + 4 + 1. Which is smaller: g or -0.05?
g
Suppose 5*a + 6 = -9. Let y be a/(((-81)/(-6))/3). Which is smaller: y or -1?
-1
Let k = 18 - 19. Which is smaller: 1/9 or k?
k
Let h be 2/(-1) - -2*7. Suppose h + 8 = 5*q. Are q and 4 nonequal?
False
Let y = 732403/11 - 1025364357/15400. Let m = 139/175 + y. Let l = -10/11 + m. Which is smaller: 0 or l?
l
Suppose w = -w + 6. Let m be (-7)/(-20) - w/5. Is -1 > m?
False
Let q = -2 + 2. Let r be (-76)/(-16) + (-5 - -1). Which is greater: r or q?
r
Let u = -7 + 10. Suppose -u + 1 = -d. Let g be (-1)/(-2) + 3/2. Is g smaller than d?
False
Suppose -6 - 9 = v. Let s = 16 + v. Which is bigger: -1/40 or s?
s
Let x = 4 + -1. Let q = x - 2.7. Let j = q - 0.2. Which is greater: 1 or j?
1
Suppose -5*y + 16 = -24. Let f = y - 23/3. Is 0 != f?
True
Suppose -2*z = r, -10*z + 5*z = -4*r + 26. Let q be 0 + r*1/10. Let m be 0 - (1 + -3)/2. Which is bigger: q or m?
m
Suppose 6*n = 2*n + 32. Suppose n + 12 = b. Suppose 3*g + 5*r - r = -b, 3*g - 2*r - 10 = 0. Which is bigger: -1 or g?
g
Let k = 7 - 7.04. Let d = k + -0.26. Let t = -3 - -5. Which is smaller: t or d?
d
Let o be -2 - (1 - (-92)/(-64))*4. Which is bigger: o or 37?
37
Let z = 0.19 - -0.11. Let b = -0.27 - 0.03. Let n = b + z. Is n greater than 0?
False
Suppose -40*x + 33*x - 42 = 0. Which is greater: 0 or x?
0
Suppose 9 = 4*a - 3*a. Let m = 6 - a. Let u = 90/11 - 358/33. Do u and m have the same value?
False
Let i be (-12)/(-6) - (2 - 2). Let m be 4 - 1 - i - -2. Is 