/(-10). Which is smaller: -2/11 or j?
-2/11
Suppose 3*u - 3*x - 15 = 0, x + 3*x - 28 = -2*u. Let b = 12 - u. Suppose 3 = b*z - 0*p - 3*p, -5 = 4*z + 5*p. Do z and 0 have different values?
False
Let p = -8 - -7.9. Suppose l = 5*j - 3*l - 1, -j - 2 = -3*l. Let q = j + 1. Which is smaller: q or p?
p
Suppose 0 = -y + 3 - 1. Suppose 5*g + 6 = y*g. Is g <= -3?
False
Let s = -0.2 + -0.1. Let h = 6 + -4. Which is smaller: s or h?
s
Suppose 5*f = 4*b - 4, -2*f - 1 = -0*b - b. Let c be 12/66*3/(-1). Is b at most as big as c?
False
Let h(v) = v**3 - 6*v**2 - 8*v + 1. Let l be h(7). Let j = 1 + l. Is j less than or equal to -6?
False
Suppose m = 3*n + 224, n + 3*m = 3 - 81. Let h be (-2)/8 + n/20. Let f = 3 + h. Is -2 at least as big as f?
False
Suppose 5*h + 4*g + 11 = -31, 0 = -5*h + g - 27. Is h at most as big as -3/5?
True
Let u be (-2)/(-6) + 14/(-6). Let h be ((-1 - 0) + 0)/1. Let m be u/(-4)*(1 - h). Is -1 greater than or equal to m?
False
Let v be (-2)/6 - -2 - 2. Are -2 and v non-equal?
True
Let r be 1/3 + 4/6. Let n = 8 - 6. Let j be 2 - 6*r/n. Is j greater than -1/4?
False
Let f = 4 - 3. Suppose n - 4 + f = -i, -10 = 5*i. Are n and 6 non-equal?
True
Suppose -5*d + 1 = -4*d. Suppose 2*u + 3 = d. Do -1/4 and u have the same value?
False
Let p = 5.9 + 0.1. Let o = 18 - 26. Let j = o + p. Is 0.1 equal to j?
False
Let o = -4 - -7. Let s(u) = -2*u - 1. Let y be s(-2). Suppose -o*z + y = 6. Is z < -1?
False
Let k = 1/1758 + 594643/879. Let f = 655 - k. Let r = f - -22. Is r bigger than -1/3?
True
Let k = 5 - 0. Let w = k - 4. Is w < -2/15?
False
Let h = -5 - -4. Let r = 1 + h. Which is greater: 4/3 or r?
4/3
Let v(u) = -7*u + 168. Let x(t) = 6*t - 168. Let z(n) = 5*v(n) + 6*x(n). Let m be z(0). Let s = m + 1514/9. Which is smaller: s or 0?
0
Let c = 50 + -65. Which is greater: -3 or c?
-3
Let h = 1 + -4. Let a be (1/2)/(h/(-6)). Do 3 and a have the same value?
False
Let h = 6 + -4. Suppose -7*b - 10 = -h*b. Let g be (-4)/b + -2 + -1. Which is smaller: -2 or g?
-2
Let w = -128 + 128. Which is greater: w or 1?
1
Suppose -6*v + 10*v = -48. Is -11 >= v?
True
Suppose 0 = z - 38 + 18. Let p be z/(-26) - 6/(-6). Which is greater: p or 0?
p
Suppose 4*o + d + 1 = 0, 30 = 3*o - 3*d + 12. Which is bigger: -2 or o?
o
Let j be 1 - ((-8)/(-3) - 3). Which is greater: 0 or j?
j
Let m be (3/6 + -1)*0. Let l(h) = -h**3 - 2*h**2 + 1. Let g be l(-1). Is m <= g?
True
Suppose -26 = 3*b - 65. Suppose b = 4*u + 5. Are 5 and u nonequal?
True
Suppose 2*j + 19 = 5*b, 2*j - 2 = b - 1. Suppose b*u = -t + 26, 2*t - 5*u = -2*u - 13. Which is bigger: 3 or t?
3
Let s be (6/24)/(3/6)*-36. Are s and -18 nonequal?
False
Let h be 0 + 2/(-12)*-2. Let n(t) = -t + 22. Let l be n(17). Which is greater: l or h?
l
Let m be 6/(-15) + 6/15. Suppose 0 = -4*q - m*q. Let x = 95/3 + -32. Is x greater than q?
False
Let z = -5 - 1. Let w be z*(3 - (-19)/(-3)). Let x be w/15*(-2 - 1). Which is bigger: -5 or x?
x
Let n = -4.6 + 5. Does n = 0.3?
False
Let i = 35 - -57. Suppose 4*p - 5*y = -3*y + i, p - 16 = 4*y. Which is smaller: p or 23?
23
Let p be ((-4)/(-78))/((-2)/3). Is 1 less than p?
False
Let z = 31/57 - 4/19. Let t be 2*3/(-6)*-1. Let n be 0 - (-2 - t/(-1)). Is z at most n?
True
Let z be 12/(-24) + 15/38. Let k(n) = -n**3 + 4*n**2 + 4. Let s be k(4). Let p be 2/8 + s/(-16). Which is bigger: p or z?
p
Suppose j = -2 + 7. Suppose -i + 7 = 2*w, j*w + 5*i = -0*w + 30. Do w and -3/7 have the same value?
False
Let v = -8 - -13. Suppose -8 = 3*u + 4*k, 0*u - v*k = 2*u + 17. Which is bigger: u or 5?
5
Suppose -16 - 2 = 3*w. Which is greater: -5 or w?
-5
Let o = -31 - -47. Let f be o/(-72) - (-47)/9. Let b = f + 3. Is b at most as big as 8?
True
Suppose 4*v - 27 = -7. Which is smaller: v or 8?
v
Let y = -54 - -20. Let a be ((-17)/y)/((-2)/(-4)). Which is smaller: a or 1/41?
1/41
Let f(x) = x**2 + 6*x - 6. Let l(k) = 2*k**2 + 11*k - 11. Let w(h) = 5*f(h) - 3*l(h). Let r be w(-4). Suppose -3*z = -4*z - 3. Which is bigger: z or r?
r
Let b = 360 + -3226/9. Which is bigger: b or 4?
4
Suppose 5*l = 141 + 89. Let v = -229/5 + l. Let x = -2 - -3. Are x and v non-equal?
True
Let m(s) = -5*s + 10. Let g be m(11). Let t be (-5)/g*6/(-4). Is t not equal to 0?
True
Suppose 0 = -3*m - v + 174, -2*m - 4*v - 23 = -149. Is m <= 56?
False
Let k = -10 + 9. Suppose -2*d - 3*d = -20. Are k and d unequal?
True
Let t = -43 + 48. Is 0.8 > t?
False
Suppose 4*b + 1 = 3*b. Let l = -2667/13 + 205. Is l <= b?
False
Let x = -0.87 - -0.85. Which is smaller: x or -1?
-1
Suppose -9*o - 9 - 9 = 0. Which is bigger: o or -1?
-1
Let a(k) = -k - 9. Let j be a(-9). Is 0 equal to j?
True
Suppose -5*t + 6 = 1. Let l = 3 - t. Is -1 > l?
False
Let s(c) = c + 26. Let b be s(-15). Let h = b + -18. Is h at least as big as -6?
False
Let f = 13 - 3. Let h = 9.8 - f. Which is bigger: h or 0.1?
0.1
Suppose 0 = -0*i - i. Suppose 2*d + i = -v + 1, d - 1 = 0. Let u = -23 + 45/2. Are v and u unequal?
True
Let f = 0 - 1. Suppose -5*y + 35 + 17 = -3*o, 2*y - 8 = -2*o. Let x = y + -7. Which is bigger: f or x?
x
Let l(h) = 3*h + 6. Let r(a) = 13*a + 25. Let b(p) = -9*l(p) + 2*r(p). Let k be b(-3). Does 0 = k?
False
Let w = 0.232 - 1.342. Let u = 0.11 + w. Is u smaller than -0.2?
True
Let d(q) = -q**3 + 7*q**2 - 7*q + 6. Let a be d(6). Let y be (3/(-4))/((-3)/12). Let z = y + -4. Which is bigger: a or z?
a
Suppose 0 = -j - 2*j + 9. Suppose 3*u + 3*y = 2*y - 1, -3 = 5*u + j*y. Suppose 4 = 3*p - 3*o + 1, -2*o + 5 = 5*p. Is u smaller than p?
True
Let q be -2 + 2 - -1*(-1)/(-3). Let o(u) = -u**3 - 2*u**2 + 4*u + 2. Let i be o(-3). Do q and i have different values?
True
Let v = 0.42 + -0.4. Let w = -0.02 + v. Let h = 0 - w. Is h at least as big as 0.1?
False
Let h be 1 - ((-28)/(-12) - 2). Let p = 3099/8 + -388. Is h at most p?
False
Let p = 0.2 + 0.2. Let u = p - 0.3. Suppose 0 = -4*a + a. Which is greater: u or a?
u
Let l = 6 + -9. Let w be 6/(-5)*(-10)/(-4). Are l and w equal?
True
Let s be (-1)/(9/3)*3. Is s smaller than 1/25?
True
Let x = -34/9 + 356/99. Let q(a) = -a**3 - 4*a**2 - a. Let p be q(-4). Suppose p*y - 4*s + 15 = s, y - 4*s = -12. Which is smaller: y or x?
x
Let r = -5 - -2. Let i = 2 - 0. Let v = i + -4. Which is greater: r or v?
v
Let t be 0*3/9*(-2)/4. Let q be 8/(-14) - (-1 + 0). Which is greater: t or q?
q
Suppose -5*x = -2*p - 27 + 220, 3*p = -x - 42. Let q = 28 + x. Are -11 and q non-equal?
False
Let t be (64/(-12) + 3)*6*1. Which is bigger: t or 4?
4
Let o be ((-4)/(-5))/(2/5). Let t be 0 - o*1/(-12). Which is smaller: t or 0?
0
Let a = 3/13 - 71/26. Let l be (17/102)/((-7)/(-12)). Is l greater than or equal to a?
True
Let p be (4/4)/(2/(-18)). Let u = 10 + p. Let r = -0.07 + -0.23. Is u >= r?
True
Let r(m) = -20*m - 6. Let c be r(-9). Let z = -2264/13 + c. Which is smaller: 0 or z?
z
Let u = 2 + 12. Let x be (-64)/31 - u/(-7). Is 0 <= x?
False
Let p = -61 + 60. Is -2/45 greater than p?
True
Let j = 64/35 + -12/5. Which is greater: -2/3 or j?
j
Let j = 259 - 2589/10. Suppose -6*b = -4*b. Is b smaller than j?
True
Let h(a) = -a**2 + 9*a + 3. Let c(l) = l**2 + 6*l + 9. Let j be c(-6). Let g be h(j). Let p = g + -13/4. Which is smaller: -1 or p?
-1
Let u be -27 + 5 + -3 + -1. Let x = u + 155/6. Are x and 0 unequal?
True
Let u be 9/12*-1 - -1. Let y = -1 + 2. Suppose -2*f + p - 1 = y, -3*f = 5*p - 10. Which is smaller: f or u?
f
Let q = 685/9 - 76. Let k = 1 - 0. Which is smaller: k or q?
q
Let m be (-22)/12 - (1 - 3). Suppose 4*n = 4, 4*y + 2*n - 5 = 1. Is m smaller than y?
True
Suppose -4*l + 6*l - 20 = 0. Let a = 9 - l. Do 1/8 and a have different values?
True
Let k be (3 - 2)/(2/14). Let w = k - 8. Which is greater: w or 1/8?
1/8
Suppose -31*m = -35*m + 140. Do 34 and m have different values?
True
Let f be (2/2)/(2/6). Suppose 0 = -5*s - 4*l - 9, f*s = 2*s + 5*l - 25. Are s and -4 equal?
False
Let q be 2 - (2 + -3) - 0. Suppose u = q*u. Let y be (0 + 1)*(-2)/(-12). Which is greater: u or y?
y
Let q = -5/27 + -19/189. Suppose 20 = -4*o + 8. Which is smaller: o or q?
o
Let u = -8 + 18. Which is bigger: 11 or u?
11
Let q be 2 - (0 + (-2 - 0)). Suppose -4 = -2*v, 4*t + v = 5*v + 8. Is q at most as big as t?
True
Let u(o) = -4*o - 1. Let a be u(-1). Suppose z - 4 = a. Let v(t) = -t + 5. Let c be v(z). Is -2 bigger than c?
False
Suppose -k = -