9 or d?
-2/9
Suppose -a + 3*k + k = 0, 2*k - 50 = -2*a. Suppose -4*d + a = d. Suppose 2*x - 3*p + 1 + d = 0, 0 = -p - 1. Which is bigger: x or -3?
-3
Suppose 4*w = -j + 83 + 38, -19 = -w - 4*j. Which is smaller: w or 30?
30
Let t = -11/33629 + 3772883/19672965. Let j = 2/65 + t. Is j > -0.1?
True
Let p be ((-530)/42)/((-4)/(-24)). Suppose -5*q + 3*l + 371 = -3, -3*q = l - 230. Let j = p + q. Which is bigger: 0.1 or j?
j
Let j = -159 + 792/5. Which is bigger: j or 5?
5
Let p = -173 + 149. Is -25 equal to p?
False
Let j(l) = -36*l. Let h be j(-5). Let b be (2/(-4))/((-15)/h). Does b = 5?
False
Let c = -2 - -2. Suppose -h - 3*k + 0 - 4 = 0, -5*h = -3*k + 2. Is h greater than c?
False
Suppose -110 = 4*y - t, y = -y - 3*t - 62. Does -27 = y?
False
Let n = 67 + -68. Is -1 smaller than n?
False
Let j = 6.16 + -0.16. Let a = 5.9 - j. Which is smaller: 0.05 or a?
a
Let h(a) = -a - 6. Let q be (-1)/(8/7 - 1). Let i be h(q). Suppose -3 = 2*f + i. Is f smaller than -3?
False
Let y = 6 - 4. Suppose -y*u = -u + 2. Which is smaller: -3/5 or u?
u
Let f be 3*4*1/309. Let q = 178/721 + f. Do 0 and q have different values?
True
Let j = 0.2 - 0.2. Let f = 0.73 - -0.27. Let x = f + j. Which is bigger: 1/6 or x?
x
Let b = 0.16 + -0.26. Is b greater than -2/55?
False
Let y = 22 + -17. Let v = -6 + y. Is v at least -1?
True
Let h be 3*(-5)/(75/4). Let m(s) = -s + 2. Let q be m(3). Is q at most as big as h?
True
Let k = -1.6 + -0.2. Let j = -2 - k. Which is greater: j or -1?
j
Let d = 3 - 1. Suppose -4*r - 2*z - d*z - 24 = 0, -r + z = -4. Suppose -3*s + 4*s + 2 = 0. Which is greater: s or r?
r
Let x = -9 - -9. Suppose m + 0 + 1 = x. Is -2/3 greater than m?
True
Let f be 182/(-33) + 4 + 126/(-33). Is -5 smaller than f?
False
Let h = 0.2 + -0.11. Let t = h - 5.09. Let a = t + 9. Do -0.1 and a have the same value?
False
Suppose 3*q + 6 = -k, 9 = -5*k + 3*k - 5*q. Let a(i) = i - 1. Let s be a(k). Which is bigger: 5 or s?
5
Let j = 3 + -5. Let y be (-1)/((-2)/(-14)) + 1. Let s be 27/y*2/12. Do j and s have the same value?
False
Suppose -19 = -3*f + 8. Which is greater: f or 8?
f
Let q = 79 - 87.7. Let w = -6 + 15. Let u = w + q. Which is bigger: u or -0.2?
u
Let b = -83 + 131. Let a = b + -199/4. Which is bigger: -1 or a?
-1
Let i = -3.1 - -3. Let y = -0.048 - 5.852. Let v = 6 + y. Is i <= v?
True
Suppose 3*x - x + 50 = 0. Which is smaller: -27 or x?
-27
Let l(o) = 2*o**2 + 6*o + 1. Let x be l(-4). Let y be (-1)/1*(-3)/x. Which is smaller: y or -0.2?
-0.2
Let f = 0 + -0.01. Let x = f + 0.01. Is x > -4?
True
Let m(v) = v**3 - v**2 - 2*v - 1. Suppose 0*l = -2*l + 4. Let h be m(l). Let y be -3 + 3 + 5/h. Is y at least as big as -5?
True
Let v be 7 + -9 + 2/3. Let r be (((-2)/8)/(-1))/(-1). Which is greater: v or r?
r
Suppose -4*m + 4*u = 20, -m - 5*u + 19 = -0. Suppose -4*h = -4*o - 8, 7*o + 1 = 4*o - 2*h. Is m equal to o?
True
Let c be ((-9)/18)/((-1)/(-6)). Let i be 9/(3 - 5 - c). Is i at most as big as 9?
True
Let f be 2/2*(4 - 4). Let s be (2 - f)/((-12)/(-54)). Are s and 8 non-equal?
True
Let f = -10 + 11. Which is greater: f or 2/3?
f
Suppose -2*j - 2*h - 60 = 0, 3*h + 13 = 1. Are j and -26 equal?
True
Let d = -78 + 52. Is -1 less than d?
False
Let p be ((-4)/(-8))/((-11)/12). Let w be 54/7 + 6/21. Suppose 2*j + 4*r + 0*r + w = 0, 4*r - 2 = 3*j. Is p >= j?
True
Suppose -w + 8 = -0*w + 3*b, w - 2*b = -17. Let r be w/(-6) + (-4)/12. Is 1 less than r?
False
Let j(v) = -3*v - 4. Let h be j(4). Is h smaller than -14?
True
Let u = -135 - -647. Let z = -9730/19 + u. Is z bigger than 1?
False
Suppose -9*r + 5 = -4*r. Suppose -4*j = -3*z - 0*j - 7, z = -4*j + 19. Let v = z - 2. Do r and v have different values?
False
Let f = -51 + 50. Is f at most -2/59?
True
Let i = -6 + 10. Let s be 364/(-8)*(-2)/(-1). Let y = 457/5 + s. Is i greater than y?
True
Let z = -19 - -21. Let a(y) = -2*y**2 + 3*y + 6. Let l(j) = j**2 - 4*j - 5. Let m(v) = 2*a(v) + 3*l(v). Let h be m(-5). Is h at most z?
True
Let o(z) = 6*z + 2 - z + 4*z**2 - 5*z**2. Let r be o(5). Let h(j) = j**3 + 13*j**2 + 11*j - 8. Let q be h(-12). Is q less than r?
False
Let x = -98 - -69. Let p = x - -32.9. Let i = -4 + p. Is i at least -0.1?
True
Let x be (-123)/(-36) + -3 - (-6)/(-9). Let j = -0.1 + 0.4. Let m = -0.9 + j. Is m < x?
True
Let g = 2.7 + 0.3. Let s = g + -3.2. Let x = s - -1.2. Is x less than -5?
False
Let s(z) = -z + 5. Suppose -5*f - 5 + 40 = 0. Let q be s(f). Let g be (1/((-7)/6))/q. Which is greater: 1 or g?
1
Suppose -5*l + 0*l = 30. Is -2 < l?
False
Let s = -0.58 + 0.68. Let r = -0.05 + 0.11. Which is bigger: s or r?
s
Let c = -7 + 2. Suppose -4*u - 5*u + 18 = 0. Suppose 2*v = -u*v - 16. Is v bigger than c?
True
Let g = -0.011 - 2.089. Let u = g + 1.6. Which is bigger: -2/7 or u?
-2/7
Suppose 5*m = 8*m + 9. Are m and -7/3 equal?
False
Let o be 2/(-1)*(-3)/(-6). Let l be 2/(o - 2*-1). Is -0.1 at least l?
False
Let c be (-2)/(-2) - (2 - 3). Let p = c + -1. Let s = 2/249 + 245/498. Is s < p?
True
Suppose 34 = -a + 3*a + 2*t, -3*t = 2*a - 39. Are a and 7 equal?
False
Let z(k) = 4*k**3 - k**2 + 2*k - 1. Let f be z(1). Suppose 5*l + 4*o - 28 = 0, -2*l + 3*l + 4 = f*o. Suppose -2*d = d - 5*j + 16, 0 = 4*d + l*j - 32. Is 3 != d?
False
Let v(t) = -t - 5. Let y(j) = 1. Let k be (0 - -4)*(-20)/(-16). Let r(g) = k*y(g) + v(g). Let f be r(-4). Is 4 less than f?
False
Let b = -196 + 4112/21. Suppose 0*t - 12 = 5*t - 3*q, 0 = -3*t - 5*q + 20. Which is smaller: t or b?
b
Suppose -24 = 4*v + 2*r, -4*v + 3 = r + 27. Let o = 7 + v. Is o at most as big as 1?
True
Let w(v) be the second derivative of v**3/2 + 4*v**2 + v. Let x be w(-4). Which is greater: x or 0?
0
Let g be (-1 - 1)*1/2. Let o = 0 + 0.02. Let b = 1.98 + o. Which is smaller: g or b?
g
Suppose 0 = -0*i + 4*i. Let j = i - -2. Are 3 and j equal?
False
Let c(s) = 2 + 3*s - s - 8. Let u be c(7). Suppose y - 2 = t, -4*t = -0*y + 4*y + u. Which is smaller: y or 1/3?
y
Suppose 0 = -3*v - v. Suppose w - 4 + 3 = v. Is 1 equal to w?
True
Suppose -a = 2, -2*c - 3*a + 0 - 4 = 0. Suppose 0 = 2*y - 3*y. Which is greater: y or c?
c
Let f = -4 + 3.7. Let j = 95 + -477/5. Do j and f have the same value?
False
Let h be -10*-4*(-4)/32. Suppose -2*w - 6 = -w. Is w < h?
True
Let h(f) = f - 3. Let r be h(5). Suppose -x + r = -0. Suppose 0 = 5*c + n + 12, 3*c + 14 = -x*c - 2*n. Does c = -2?
True
Suppose -4*c = -7*c - 3. Suppose 7*j - 165 = 2*j. Let t be -2 + -2*j/(-30). Is t >= c?
True
Let c be 1/5 - 22/(-40). Let h = -100 - -504/5. Let m = -3/10 + h. Which is greater: m or c?
c
Let f = 4 + 0. Which is greater: 2 or f?
f
Let u(s) = s**2 + 5*s - 14. Let t be u(-8). Which is greater: t or 11?
11
Let v be (-6)/(-33) + 95/(-220). Let c = 4 + -2. Let n be (-1)/c - 2/(-4). Which is bigger: v or n?
n
Let j be 48/(-66)*(-1)/12. Let m = -8/11 + j. Which is smaller: m or 0?
m
Suppose -v - 3*v + 6 = 5*w, 5*w - 14 = 4*v. Let s = 1 - 1. Which is greater: s or v?
s
Suppose -4*n = -7*n - 6. Let f be (n - -2)/(-7 + 8). Which is smaller: f or 4/9?
f
Let k = -659/4 - -164. Which is bigger: 0 or k?
0
Suppose -2*y - 3 = 29. Let z be 2*1 - 796/y. Let g = z - 52. Is g != -1?
True
Suppose -5 = -2*g - 5*o + 13, 5*g + 4*o - 79 = 0. Which is smaller: g or 18?
18
Let u be (-30)/24 + 1 + (-47)/(-92). Is 0 less than u?
True
Suppose -3*g = -12, g - 8 = -4*c + 5*g. Suppose -c*a - 30 = -a. Is a at least as big as -1?
False
Let q = 17 + -7. Suppose -5*w + q - 5 = 0. Is 5/3 > w?
True
Let t = -977/3 + 323. Is -4 less than t?
True
Let q(j) = j. Let f be q(3). Let d be ((-2)/6)/(1/(-9)). Suppose -5 = -d*o - a + 5, 5*o - 2 = 2*a. Is f smaller than o?
False
Let g be 12/7 - (-6)/21. Suppose g*h + 2 = 6. Which is greater: 3 or h?
3
Let f = -102 - -107. Which is smaller: 0.06 or f?
0.06
Let k = 188 - 188. Is -1/257 less than k?
True
Let d = 1499/10 - 150. Is 0 >= d?
True
Let y = 148 + -133. Which is bigger: 3 or y?
y
Let q(b) = b**3 + 6*b**2 - 8*b - 1. Let h be q(-7). Suppose p - 12 = -3*p. Is h at least p?
True
Suppose -19*t + 23*t - 60 = 0. Do t and 17 have the same value?
False
Let s = 0.71 + -0.7. Let l = s - -0.09. Which is bigger: l or -0.1?
l
Suppose 0 = -9*t + 10*t - 18. Let h = 24 - t. Which is greater: h or 5?
h
Let x(j) = -j - 3. Let m be x(-3). Is -4 greater than or equal to m?
False
Let p = -0.9 + 1. Let r = p 